c_1, c_2, c_3, c_4, c_5, x_10, x_11, x_12, x_2, x_3, x_4, x_7, x_8, x_9, 
c_1
c_2
c_3
x_3
x_4
x_7
x_8-c_2
x_9-c_3
c_4^2+x_12^2
c_1*c_4+x_12*x_2+c_5
