x_1, x_2, x_3, 
x_2^2+x_3^2-1
4*x_2^6*x_3^6+12*x_2^4*x_3^8+12*x_2^2*x_3^10+4*x_3^12-4*x_1^4*x_2^2*x_3^4-4*x_1^4*x_3^6-20*x_2^4*x_3^6-40*x_2^2*x_3^8-20*x_3^10+x_1^8+6*x_1^4*x_2^2*x_3^2+10*x_1^4*x_3^4+9*x_2^4*x_3^4+50*x_2^2*x_3^6+41*x_3^8-8*x_1^4*x_3^2-28*x_2^2*x_3^4-44*x_3^6+2*x_1^4+6*x_2^2*x_3^2+26*x_3^4-8*x_3^2+1
