c_1, c_2, x_1, x_2, x_3, x_4, x_5, x_8, x_9, 
c_1
x_8
6*c_1^2*x_2+c_2*x_3+2*c_2*x_4
x_1*x_3*x_9^2+2*x_1*x_4*x_9^2-12*c_1*c_2*x_2
-2*c_1^3*x_2+c_1*x_3*x_5+c_2
