c_1, c_2, c_3, c_4, x_1, x_2, x_3, 
-8*c_2*c_3*c_4*x_1^4*x_3+8*c_1*c_2*c_3*c_4*x_1^2*x_3-8*c_1*c_3*c_4^2*x_1^3+4*c_2^2*x_1^4*x_3+4*c_3^2*x_1^4*x_3+4*c_4^2*x_1^4*x_3-8*c_1*c_2^2*x_1^2*x_3+4*c_1*c_2*c_4*x_1^3-4*c_1*c_3^2*x_1^2*x_3+4*c_1^2*c_2^2*x_3-4*c_1^2*c_2*c_4*x_1+4*c_1*c_3*x_1^3-4*x_1^4*x_3-2*c_1^2*c_3*x_1+4*c_1*x_1^2*x_3-c_1^2*x_3
128*c_1*c_2*c_3^3*c_4^3*x_1^6+64*c_2^2*c_3^2*c_4^2*x_1^8-256*c_1*c_2^2*c_3^2*c_4^2*x_1^6-64*c_1*c_3^4*c_4^2*x_1^6-64*c_1*c_3^2*c_4^4*x_1^6-64*c_2^3*c_3*c_4*x_1^8-64*c_2*c_3^3*c_4*x_1^8-64*c_2*c_3*c_4^3*x_1^8+192*c_1^2*c_2^2*c_3^2*c_4^2*x_1^4+224*c_1*c_2^3*c_3*c_4*x_1^6+96*c_1*c_2*c_3^3*c_4*x_1^6+96*c_1*c_2*c_3*c_4^3*x_1^6+16*c_2^4*x_1^8+32*c_2^2*c_3^2*x_1^8+32*c_2^2*c_4^2*x_1^8+16*c_3^4*x_1^8+32*c_3^2*c_4^2*x_1^8+16*c_4^4*x_1^8-256*c_1^2*c_2^3*c_3*c_4*x_1^4-64*c_1^2*c_2*c_3^3*c_4*x_1^4-64*c_1^2*c_2*c_3*c_4^3*x_1^4-64*c_1*c_2^4*x_1^6-64*c_1*c_2^2*c_3^2*x_1^6-64*c_1*c_2^2*c_4^2*x_1^6+64*c_1*c_3^2*c_4^2*x_1^6+64*c_2*c_3*c_4*x_1^8+96*c_1^3*c_2^3*c_3*c_4*x_1^2+96*c_1^2*c_2^4*x_1^4+48*c_1^2*c_2^2*c_3^2*x_1^4+48*c_1^2*c_2^2*c_4^2*x_1^4-48*c_1^2*c_3^2*c_4^2*x_1^4-160*c_1*c_2*c_3*c_4*x_1^6-32*c_2^2*x_1^8-32*c_3^2*x_1^8-32*c_4^2*x_1^8-64*c_1^3*c_2^4*x_1^2-16*c_1^3*c_2^2*c_3^2*x_1^2-16*c_1^3*c_2^2*c_4^2*x_1^2+144*c_1^2*c_2*c_3*c_4*x_1^4+96*c_1*c_2^2*x_1^6+32*c_1*c_3^2*x_1^6+32*c_1*c_4^2*x_1^6+16*c_1^4*c_2^4-40*c_1^3*c_2*c_3*c_4*x_1^2-104*c_1^2*c_2^2*x_1^4-8*c_1^2*c_3^2*x_1^4-8*c_1^2*c_4^2*x_1^4+16*x_1^8+48*c_1^3*c_2^2*x_1^2-32*c_1*x_1^6-8*c_1^4*c_2^2+24*c_1^2*x_1^4-8*c_1^3*x_1^2+c_1^4
-64*c_1*c_2*c_3^3*c_4^4*x_1^5-32*c_2^2*c_3^2*c_4^3*x_1^7+128*c_1*c_2^2*c_3^2*c_4^3*x_1^5+32*c_1*c_3^4*c_4^3*x_1^5+32*c_1*c_3^2*c_4^5*x_1^5+32*c_2^3*c_3*c_4^2*x_1^7+32*c_2*c_3^3*c_4^2*x_1^7+32*c_2*c_3*c_4^4*x_1^7-64*c_1^2*c_2^2*c_3^2*c_4^3*x_1^3-96*c_1*c_2^3*c_3*c_4^2*x_1^5-48*c_1*c_2*c_3^3*c_4^2*x_1^5-48*c_1*c_2*c_3*c_4^4*x_1^5-8*c_2^4*c_4*x_1^7-16*c_2^2*c_3^2*c_4*x_1^7-16*c_2^2*c_4^3*x_1^7-8*c_3^4*c_4*x_1^7-16*c_3^2*c_4^3*x_1^7-8*c_4^5*x_1^7+80*c_1^2*c_2^3*c_3*c_4^2*x_1^3+16*c_1^2*c_2*c_3^3*c_4^2*x_1^3+32*c_1^2*c_2*c_3*c_4^4*x_1^3+24*c_1*c_2^4*c_4*x_1^5-8*c_1*c_2^3*c_3*c_4*x_1^4*x_2+16*c_1*c_2^2*c_3^2*c_4*x_1^5+24*c_1*c_2^2*c_4^3*x_1^5+8*c_1*c_2*c_3*c_4^3*x_1^4*x_2-32*c_1*c_3^2*c_4^3*x_1^5-32*c_2*c_3*c_4^2*x_1^7-16*c_1^3*c_2^3*c_3*c_4^2*x_1-24*c_1^2*c_2^4*c_4*x_1^3+8*c_1^2*c_2^3*c_3*c_4*x_1^2*x_2-8*c_1^2*c_2^2*c_3^2*c_4*x_1^3-24*c_1^2*c_2^2*c_4^3*x_1^3-8*c_1^2*c_2*c_3*c_4^3*x_1^2*x_2+16*c_1^2*c_3^2*c_4^3*x_1^3+4*c_1*c_2^4*x_1^4*x_2+4*c_1*c_2^3*c_3*x_1^5+4*c_1*c_2^2*c_3^2*x_1^4*x_2+4*c_1*c_2*c_3^3*x_1^5+76*c_1*c_2*c_3*c_4^2*x_1^5-4*c_1*c_3^2*c_4^2*x_1^4*x_2-4*c_1*c_4^4*x_1^4*x_2+16*c_2^2*c_4*x_1^7+16*c_3^2*c_4*x_1^7+16*c_4^3*x_1^7+8*c_1^3*c_2^4*c_4*x_1+8*c_1^3*c_2^2*c_4^3*x_1-8*c_1^2*c_2^4*x_1^2*x_2-4*c_1^2*c_2^3*c_3*x_1^3-4*c_1^2*c_2^2*c_3^2*x_1^2*x_2+8*c_1^2*c_2^2*c_4^2*x_1^2*x_2-52*c_1^2*c_2*c_3*c_4^2*x_1^3+4*c_1^2*c_3^2*c_4^2*x_1^2*x_2-36*c_1*c_2^2*c_4*x_1^5-12*c_1*c_3^2*c_4*x_1^5-12*c_1*c_4^3*x_1^5+4*c_1^3*c_2^4*x_2-4*c_1^3*c_2^2*c_4^2*x_2+8*c_1^3*c_2*c_3*c_4^2*x_1+30*c_1^2*c_2^2*c_4*x_1^3+2*c_1^2*c_3^2*c_4*x_1^3+2*c_1^2*c_4^3*x_1^3-4*c_1*c_2^2*x_1^4*x_2-4*c_1*c_2*c_3*x_1^5+4*c_1*c_4^2*x_1^4*x_2-8*c_4*x_1^7-8*c_1^3*c_2^2*c_4*x_1+4*c_1^2*c_2^2*x_1^2*x_2+4*c_1^2*c_2*c_3*x_1^3-4*c_1^2*c_4^2*x_1^2*x_2+12*c_1*c_4*x_1^5-c_1^3*c_2^2*x_2-c_1^3*c_2*c_3*x_1+c_1^3*c_4^2*x_2-6*c_1^2*c_4*x_1^3+c_1^3*c_4*x_1
