c_1, c_2, c_3, x_1, x_2, x_3, x_4, x_5, x_7, x_8, 
c_1
x_2
x_7
x_8
c_2^2+x_3
2*x_4*x_5-c_1
-c_2^4-2*c_2*c_3+3*x_5^2
-c_2^3+3*c_2*x_1+c_3
