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