c_1, x_1, x_2, x_3, 
-x_3*(-512*x_2+3*c_1)
x_2^2+x_3^2-1
