c_1, x_1, x_2, x_3, x_4, 
x_1
c_1^2-c_1*x_2+x_3
c_1^2-2*c_1*x_2+x_2^2+1
c_1^2-c_1*x_2-c_1+x_2+x_4
