3 x^2+y^2+z^2-1; x*y*z-1; x^3-y*z;