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
