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
