32*x3^2*x4^3*x1^2+4*x4*x0^2*x3^2-2*x3*x1*x2-2*x0*x2*x3^3+2*x5*x2*x3^2-16*x3^3*x4^3*x1*x2+16*x3^2*x4^3*x0*x1+16*x3^2*x4^3*x5*x2-16*x3*x4^3*x1*x2-8*x4^2*x0*x2*x3^3-24*x4^2*x3*x1*x2+24*x4^2*x5*x2*x3^2-24*x4^2*x1*x2*x3^3-8*x4^2*x3*x0*x2+24*x4^2*x0*x1*x3^2-8*x4^2*x5*x3^3*x1-8*x4^2*x3*x5*x1-12*x4*x1*x2*x3^3-8*x4*x5*x3^3*x1+4*x4*x1*x3^4*x0+12*x4*x5*x2*x3^2-4*x4*x5*x3^3*x0-8*x4*x3*x0*x2+12*x4*x0*x1*x3^2-4*x4*x3*x0*x5-12*x4*x3*x1*x2-8*x4*x3*x5*x1-8*x4*x0*x2*x3^3+x3^4*x1^2+x5^2*x3^2+x0^2*x3^2+x3^2*x2^2+x3^2*x1^2+32*x3^2*x4^3+4*x4^2*x2^2+16*x4^2*x3^2+2*x2*x5-2*x1*x2*x3^3-2*x3*x0*x2+2*x0*x1*x3^2-2*x5*x3^3*x1-2*x3*x5*x1+x2^2+16*x3^2*x4^4+16*x3^2*x4^4*x1^2+16*x3^2*x4^4*x2^2+32*x3^2*x4^3*x2^2+24*x4^2*x3^2*x2^2+24*x4^2*x3^2*x1^2+4*x4^2*x3^4*x1^2+4*x4^2*x5^2*x3^2+4*x4^2*x0^2*x3^2+2*x1*x3^4*x0-2*x5*x3^3*x0-2*x3*x0*x5+4*x4*x3^4*x1^2+4*x4*x5^2*x3^2+8*x4*x3^2*x1^2+8*x4*x3^2*x2^2+4*x4*x2*x5+4*x4*x2^2+x5^2+x3^4*x0^2-1/(2^32)