-4*x3^8*x1^3*x4*x2*x0^3-56*x3^6*x1^3*x4^3*x2*x0+32*x2^2*x0^2*x1^2*x3^10+20*x3^8*x0^2*x4^2+8*x3^8*x0^4*x2^2+7*x3^8*x4^4*x1^2+x3^8*x4^4+6*x3^8*x4^4*x1^4+16*x3^8*x0^4*x2^4+32*x3^9*x0^3*x2^3+x0^6*x3^6-8*x4^5*x3^5*x1+2*x3^9*x1^2*x0^3*x2+28*x0^2*x2^4*x4*x3^5*x1+2*x0*x4^2*x2^3*x3^5+32*x4^2*x1^2*x3^4*x0^2+44*x4^2*x1^2*x3^6*x0^2+28*x0^2*x4*x2^2*x3^5*x1+8*x3^4*x2^2-8*x4^2*x3^8+16*x0^2*x3^10-8*x3^10*x1^4+x3^12*x1^4-16*x3^10*x4*x2*x0*x1+44*x2^2*x3^4*x4^2*x1^2+32*x2^2*x4^2*x1^2*x3^2+x4^6*x3^6+16*x3^4+16*x3^4*x1^2+22*x3^6*x1^2*x0^2*x2^2+x0^4*x3^6*x1^2*x4^2+22*x3^6*x1^2*x4^2*x2^2+16*x3^10*x0^2*x2^2+6*x4^2*x1^2*x3^10-32*x3^7*x0^2*x2^2*x4*x1^3+10*x3^3*x0*x4^2*x2^3+24*x0*x1*x3^6*x4*x2-28*x3^8*x1^3*x0*x4*x2+6*x0^2*x2^2*x3^2+8*x1^2*x2*x0*x3^11+16*x0^4*x2^4*x3^6+6*x0^4*x2^4*x3^4+16*x4^4*x1^4*x3^4+8*x4^4*x3^4*x1^2-4*x3^3*x0^3*x2+8*x3^5*x0^3*x2+16*x3^3*x0^2*x2^4*x4*x1+28*x3^3*x0^2*x4*x2^2*x1-32*x3^3*x4^2*x0*x1^2*x2+48*x0^3*x3^7*x2+10*x0^3*x3^7*x1^2*x2-32*x0^2*x4*x2^2*x3^9*x1-40*x0^2*x4*x2^2*x3^7*x1+8*x4^2*x0*x3^9*x2+8*x4*x0^2*x3^9*x1+20*x0^2*x1^2*x3^10-4*x4*x3^11*x1^3+8*x4*x3^9*x1^3+16*x3^9*x4*x1+12*x2^2*x4^3*x1^3*x3^5+12*x2^3*x0^3*x1^2*x3^7+48*x0^3*x2^3*x3^7+48*x4^3*x1^3*x3^5+48*x4^3*x3^5*x1+8*x4^3*x3^7*x1+10*x4*x0^2*x3^9*x1^3+2*x4*x0^2*x3^7*x1^3-48*x3^8*x1*x2^3*x4*x0^3+16*x4^2*x1^4*x0*x3^9*x2+28*x4^2*x0*x3^9*x1^2*x2-20*x3^3*x0*x2^3*x4^2*x1^2-32*x3^5*x0*x2^3*x4^2*x1^2-24*x2^3*x4*x0*x1*x3^2-16*x4*x2*x0*x1*x3^2-20*x3^7*x2^2*x0^2*x1*x4^3+3*x4^4*x2^2*x3^4-20*x0^2*x2^2*x4*x1^3*x3^9-4*x4^5*x1*x3^7+10*x4^3*x3^5*x1*x2^2+2*x4^3*x3^3*x1*x2^2+14*x1^4*x2*x3^9*x0+10*x1^4*x2*x3^11*x0+3*x3^10*x1^4*x0^2+8*x3^8*x1^4*x4^2+7*x3^10*x1^4*x4^2+x3^12*x1^6+2*x3^8*x1^2*x0^4*x2^2-8*x4*x1^5*x3^9-4*x4*x1^5*x3^11-4*x2^5*x0^3*x3^3+8*x2^2*x4^3*x1^3*x3^3-8*x4^4*x3^4-8*x4^4*x3^6+x0^4*x3^4-8*x0^4*x3^6+12*x4^3*x1^3*x3^7*x0^2+16*x3^7*x1^2*x4^4*x2*x0-32*x3^7*x1^2*x4^2*x2*x0^3-28*x3^8*x1^3*x4^3*x2*x0+x3^6*x4^4*x0^2*x2^2-4*x4^5*x1^3*x3^7-24*x3^10*x1^3*x4*x2*x0+28*x4^4*x3^5*x0*x1^2*x2+8*x3^3*x4^2*x0*x2+8*x3^3*x4*x0^2*x1-4*x3^5*x4^2*x0*x2+32*x0^3*x3^9*x2+54*x0^2*x2^2*x3^4*x4^2*x1^2+80*x4^2*x1^2*x3^6*x0^2*x2^2+44*x4^2*x3^6*x0^2*x2^2+22*x4^2*x3^4*x0^2*x2^2-4*x3^7*x4*x0^2*x1-4*x2^3*x3^6*x1^3*x0*x4-2*x2^5*x4*x0*x1*x3^2-28*x4^3*x2*x3^6*x0*x1-12*x3^6*x2^3*x0*x1*x4-28*x3^4*x2^3*x0*x1*x4-12*x3^6*x1^3*x4*x2*x0+7*x0^4*x2^2*x3^4+8*x0^4*x2^2*x3^6+8*x4^4*x1^2*x3^6+16*x4^4*x1^4*x3^6+20*x4^2*x3^4*x0^2+38*x4^2*x3^6*x0^2+x4^6*x3^6*x1^2+16*x4^2*x1^2*x3^2-8*x3^2*x2^2+16*x4^2*x3^2+32*x3^4*x4^2-8*x3^4*x0^2-8*x3^4*x2^4-8*x3^2*x2^4+32*x3^4*x4^2*x1^2+20*x3^4*x1^2*x2^2+20*x4^2*x2^2*x3^2+38*x4^2*x2^2*x3^4+x2^4+8*x2^4*x3^4*x0^2+7*x2^4*x0^2*x3^2+x2^6+32*x3^6*x2^2+32*x3^6*x1^2+8*x3^6*x4^2+8*x3^6*x0^2+3*x2^4*x3^4*x1^2+3*x2^4*x4^2*x3^2+16*x3^6*x0^2*x2^2+16*x3^6*x4^2*x1^2+38*x3^6*x1^2*x2^2+20*x3^6*x4^2*x2^2+20*x3^6*x0^2*x1^2+8*x3^6*x1^4*x4^2+8*x3^6*x0^2*x2^4-8*x3^8*x0^4-8*x3^8*x1^4+2*x3^6*x1^4*x2^2*x4^2+x3^2*x1^2*x2^4*x4^2+2*x3^6*x1^2*x2^4*x0^2+44*x3^8*x1^2*x0^2*x2^2+38*x3^8*x1^2*x0^2+3*x3^8*x1^4*x2^2+x2^6*x0^2*x3^2+32*x4*x3^5*x1^3+8*x0*x2^3*x3^3+32*x3^7*x0*x2^3+8*x3^8*x1^2+10*x1^2*x2^3*x3^5*x0+2*x1^3*x2^2*x3^5*x4-4*x3*x0*x2^5+2*x4^2*x2^4*x3^4*x0^2-4*x1*x2^2*x3^5*x4+8*x1^2*x2*x3^5*x0+14*x1*x2^4*x3^3*x4+2*x1^2*x2^3*x3^7*x0+10*x1^3*x2^2*x3^7*x4+8*x1*x2^2*x3^7*x4-4*x1^2*x2*x3^7*x0+48*x0*x3^5*x2^3-8*x0*x2^5*x3^3+16*x2*x0*x3^3+48*x2*x0*x3^5+32*x2*x3^7*x0+48*x4*x3^7*x1+48*x4*x3^7*x1^3+32*x4*x1*x3^5-4*x3*x0*x2^3+10*x3*x1*x2^4*x4+8*x3*x1*x2^2*x4-8*x3^3*x0^3*x2^3+32*x3^8*x4^2*x0^2*x2^2+20*x1^2*x2^2*x3^8-2*x3^10*x1^5*x0*x4*x2-8*x0^3*x2^5*x3^5-8*x4^3*x1^5*x3^7+32*x4^3*x1^3*x3^3+32*x4^3*x3^3*x1+32*x0^2*x3^8*x2^2+32*x3^6+32*x0^2*x3^8+16*x3^8-2*x4^5*x2*x0*x1*x3^6+54*x3^8*x1^2*x0^2*x2^2*x4^2+28*x4^2*x1^4*x0*x3^7*x2-40*x4^2*x0*x3^5*x1^2*x2+28*x4^2*x0*x3^7*x1^2*x2+x2^2*x3^10*x1^4*x0^2+16*x3^8*x2^2-8*x3^10*x1^2+3*x4^4*x3^6*x0^2+3*x3^6*x0^4*x4^2+2*x2^2*x4^4*x1^2*x3^4+22*x3^8*x0^2*x4^2*x1^2+2*x3^8*x0^2*x1^4*x4^2+x4^2*x3^10*x1^6-4*x3^5*x0^5*x2-12*x0^3*x3^8*x1*x4*x2-24*x4^3*x2*x3^8*x0*x1-4*x4^3*x3^9*x1-8*x4^3*x1^3*x3^9-4*x4^3*x3^9*x1^5+8*x3^9*x1^2*x0^3*x2^3+10*x0^4*x3^5*x1*x4+10*x4^3*x0^2*x3^7*x1+12*x3^5*x0^3*x2^3*x4^2-4*x3^5*x0^5*x2^3-28*x3^4*x1*x2^3*x0^3*x4-8*x4^5*x1^3*x3^5+10*x4^4*x2*x3^7*x0+2*x4^2*x2*x3^7*x0^3+3*x3^8*x0^4*x1^2+8*x3^7*x0^3*x2^3*x4^2-8*x3^7*x0^5*x2+14*x0^4*x3^7*x1*x4-24*x0^3*x3^4*x1*x4*x2+2*x4^4*x3^6*x1^2*x0^2+8*x3^5*x1^3*x0^2*x4^3+10*x4^2*x2*x3^5*x0^3+2*x3^5*x0^2*x1*x4^3+x3^6*x0^6*x2^2-48*x3^4*x1^3*x4^3*x2*x0-4*x4^3*x2*x3^6*x0^3*x1+14*x4^4*x3^5*x0*x2-56*x3^6*x0^3*x2^3*x1*x4+28*x3^7*x2^2*x0^4*x1*x4-12*x4^3*x2*x3^4*x0*x1-28*x0^3*x3^6*x1*x4*x2-8*x3^7*x0^5*x2^3-2*x4*x2*x3^6*x0^5*x1-32*x3^5*x2^2*x0^2*x1*x4^3-20*x3^5*x1^2*x4^2*x2*x0^3+16*x3^5*x2^2*x0^4*x1*x4-4*x3^4*x1*x2^3*x4^3*x0+2*x3^6*x0^4*x2^2*x4^2-1/(2^32)