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