x_1, x_2, x_3, 
x_1^2+x_2^2-1
-x_1^2*x_3^2-x_2^2*x_3^2-2*x_1*x_3-1
