symmetric reduction((x^2 - y^2) - 0.5, {x, y})