c_1, x_1, x_2, x_4, x_5, 
c_1*(x_5^2+x_4-x_5)
2*c_1*x_4+x_2*x_5
x_1*x_5^2-x_1*x_5-x_4
