x^2 + y^2 = 1 produces a CAS error: can't call method simplify on undefined
x^2 + y^2 = 1 produces a CAS error: can't call method simplify on undefined