x_1, x_2, x_3, 
x_2^2+x_3^2-1
-8*x_1*x_3^6+12*x_1*x_3^4-4*x_1*x_3^2+2*x_2*x_3-x_2
