c_1, x_1, x_2, x_3, x_4, x_6, x_7, 
x_4
-c_1*(12*c_1*x_6^2-x_2)
x_1*x_2-1
x_2*x_7-c_1
8*c_1^2*x_6^2-4*c_1^2+x_2*x_3+1
