SymmetricReduction((x^2 - y^2) - 0.5, {x^2-1, x})