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