c_1, c_2, c_3, c_4, x_1, x_2, 
c_1^2*c_2^2-c_1^2*c_4^2+2*c_1^2*c_4*x_2+c_1^2*x_1^2-c_2^2*c_3^2+2*c_2^2*c_3*x_1-c_2^2*x_1^2-c_1^2
c_1^4*c_2^4-2*c_1^4*c_2^2*c_4^2+2*c_1^4*c_2^2*x_1^2+c_1^4*c_4^4+2*c_1^4*c_4^2*x_1^2+c_1^4*x_1^4-2*c_1^2*c_2^4*c_3^2+4*c_1^2*c_2^4*c_3*x_1-2*c_1^2*c_2^4*x_1^2+2*c_1^2*c_2^2*c_3^2*c_4^2-2*c_1^2*c_2^2*c_3^2*x_1^2-4*c_1^2*c_2^2*c_3*c_4^2*x_1+4*c_1^2*c_2^2*c_3*x_1^3+2*c_1^2*c_2^2*c_4^2*x_1^2-2*c_1^2*c_2^2*x_1^4+c_2^4*c_3^4-4*c_2^4*c_3^3*x_1+6*c_2^4*c_3^2*x_1^2-4*c_2^4*c_3*x_1^3+c_2^4*x_1^4-2*c_1^4*c_2^2-2*c_1^4*c_4^2-2*c_1^4*x_1^2+2*c_1^2*c_2^2*c_3^2-4*c_1^2*c_2^2*c_3*x_1+2*c_1^2*c_2^2*x_1^2+c_1^4
