c_1, x_1, x_2, x_4, x_5, x_6, 
6*c_1^3+x_2*x_5^2
2*x_2*x_4+x_1
-8*c_1^4*x_2-c_1*x_1^2+4*x_2*x_6
