c_1, x_1, x_2, x_3, x_5, x_6, 
c_1*(5+12*x_1)
-6*c_1*x_1+5*x_5
10*x_2*x_6-x_1
12*c_1^2*x_1*x_2+10*c_1*x_2*x_3+10*c_1*x_2+x_1
