Simplify a x y