4*x+2*z*x=0, 2*z*y-4*y=0, x^2+y^2=1