c_1, x_1, x_2, x_3, x_5, x_6, 
c_1*(x_2^2-12)
x_1*x_2-6
12*c_1^2+x_2*x_5
-8*c_1^2*x_2^2+x_2^3*x_3+x_2^2-6
-4*c_1^3*x_2^2+x_2^3*x_6-c_1*x_2^2+6*c_1
