c_1, c_2, c_3, c_4, x_1, x_2, x_3, 
(c_1*c_2-x_2+1)^3*x_3*x_1*(c_1*c_2*x_3-c_1*c_2-x_2*x_3+x_2+2*x_3)
-c_1*(c_1*c_2*c_3*x_1-c_1*c_2*c_4*x_1-c_1*c_2*c_3+c_1*c_2*c_4-c_3*x_1*x_2+c_4*x_1*x_2+2*c_3*x_1+c_3*x_2-2*c_4*x_1-c_4*x_2-c_3+c_4)
-(c_1^2*c_2^2*x_3-2*c_1*c_2*x_2*x_3+3*c_1*c_2*x_3+x_2^2*x_3-3*x_2*x_3+2*x_3-1)*x_1
-(c_1*c_2-x_2+1)^4*x_3*x_1*(c_1^2*c_2^2*x_3^2-3*c_1^2*c_2^2*x_3-2*c_1*c_2*x_2*x_3^2+2*c_1^2*c_2^2+6*c_1*c_2*x_2*x_3+3*c_1*c_2*x_3^2+x_2^2*x_3^2-4*c_1*c_2*x_2-3*c_1*c_2*x_3-3*x_2^2*x_3-3*x_2*x_3^2+2*x_2^2+3*x_2*x_3+2*x_3^2+3*x_3+1)
