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