c_1, x_1, x_2, x_3, x_4, 
c_1*x_1*x_2-2*x_3*x_4
c_1*x_1*x_3-2*x_2*x_4
c_1*x_2*x_3-2*x_1*x_4
x_1^2+x_2^2+x_3^2-1
