c_1, c_2, c_3, c_4, c_5, c_6, x_1, x_2, x_3, x_4, 
x_4*(c_1*c_6^2+c_2*c_6-c_4*c_6-x_3)
c_6*x_4*(c_3*c_6+c_5-x_1)
c_6*x_4*(c_5*c_6-c_6*x_1+x_2)
-x_4*(c_3*c_6+c_5-x_1)
-x_4*(c_5*c_6-c_6*x_1+x_2)
