(x^2-y^2)->(x^2+y^2).