c_1, c_2, x_1, x_2, x_3, x_4, 
c_1*x_2+c_2*x_4+x_3
-x_1*x_2^4-2*x_1*x_2^2*x_3^2-2*x_1*x_2^2*x_4^2-x_1*x_3^4-2*x_1*x_3^2*x_4^2-x_1*x_4^4+16*x_2^3-12*x_2^2*x_3-4*x_2^2*x_4-16*x_2*x_3^2-32*x_2*x_3*x_4+16*x_2*x_4^2+4*x_3^2*x_4-4*x_4^3
-c_2*x_1*x_2^4-2*c_2*x_1*x_2^2*x_3^2-2*c_2*x_1*x_2^2*x_4^2-c_2*x_1*x_3^4-2*c_2*x_1*x_3^2*x_4^2-c_2*x_1*x_4^4+16*x_2^3-4*x_2^2*x_3-12*x_2^2*x_4+16*x_2*x_3^2-32*x_2*x_3*x_4-16*x_2*x_4^2-4*x_3^3+4*x_3*x_4^2
-c_1*x_1*x_2^4-2*c_1*x_1*x_2^2*x_3^2-2*c_1*x_1*x_2^2*x_4^2-c_1*x_1*x_3^4-2*c_1*x_1*x_3^2*x_4^2-c_1*x_1*x_4^4-16*x_2^2*x_3-16*x_2^2*x_4+12*x_2*x_3^2+8*x_2*x_3*x_4+12*x_2*x_4^2+16*x_3^3+16*x_3^2*x_4+16*x_3*x_4^2+16*x_4^3
