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