c_1, c_2, c_3, c_4, c_5, c_6, x_10, x_11, x_3, x_4, x_7, x_8, x_9, 
c_3
c_4
x_3
x_4
c_2*(x_11+c_5)
-c_4+x_8
x_7-c_3
c_5^2+x_11^2
c_1*c_5+c_1*x_11+c_6
