c_1, c_2, c_3, x_4, 
(c_1*x_4-c_2*c_3)*c_3*(c_1*c_3-2*c_2^2+x_4)
c_1^2+c_2
-c_1^2*c_3^2+c_1*c_2*x_4-2*c_1*c_3*x_4-c_2^2*c_3-x_4^2
