Simplify xy*xy