c_1, x_1, x_2, x_3, x_5, x_6, 
c_1*x_5+5*x_2
-c_1*x_5+10*x_3
10*c_1*x_6-x_5
12*c_1^2*x_5*x_6+120*c_1*x_1*x_6+10*c_1*x_6+x_5
