c_1, x_1, x_2, x_3, x_4, x_5, 
x_5
x_3*(c_1-1)
x_4*c_1
x_1*x_2*c_1
x_1*x_3*c_1
x_1*x_4*c_1
-c_1*x_3
-x_4*(c_1-1)
-x_1*x_5*c_1
c_1*x_1*x_5-x_2
