c_1, x_1, x_2, x_3, x_4, x_5, 
x_1*(c_1*x_5+x_1*x_5-2*x_2)
x_1*x_2*(-x_1+c_1)
x_1*x_3*(-x_1+c_1)
-x_1*(2*c_1*x_3-c_1*x_4-x_1*x_4)
-x_2*(2*c_1+3*x_1)
-x_4*(-x_1+c_1)
-2*x_1*x_2*c_1
x_1*x_5-2*x_2
-c_1*x_3+2*c_1*x_4-3*x_1*x_3+2*x_1*x_4
