x_1, x_2, x_3, 
x_2^2+x_3^2-1
-16*x_2^2*x_3^4-16*x_3^6+12*x_2^2*x_3^2+20*x_3^4-x_2^2-5*x_3^2+1
