c_1, c_2, x_1, x_2, x_3, 
x_3
c_1*(1+2*c_1)
x_1-24
112*c_1^5-192*c_1^3*x_2+72*c_1*x_2^2+c_2
