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
