4*x7^2*x0^2+48*x0^2*x1^2+16*x1^2*x3^2+28*x1^2*x2^2+4*x1^2*x4^2+16*x2^2*x5^2+4*x2^2*x6^2+4*x3^2*x5^2+28*x0^2*x5^2+16*x0^2*x6^2+28*x0*x1*x4*x5+8*x0*x1*x4*x6+8*x0*x1*x4*x7+4*x0*x4*x5*x6+4*x0*x4*x5*x7+16*x1*x3*x4*x5+56*x0*x1*x3*x5+16*x0*x1*x3*x6+8*x0*x1*x3*x7+8*x0*x3*x5*x6+4*x0*x3*x5*x7+48*x2*x1*x3*x5+2*x2*x4*x5*x7+4*x2*x4*x5*x6+4*x2*x1*x4*x7+4*x2*x1*x4*x6+24*x2*x1*x4*x5+8*x2*x1*x3*x6+4*x2*x1*x3*x7+8*x2*x3*x5*x6+4*x2*x3*x5*x7+104*x2*x0*x1*x5+56*x2*x0*x1*x6+28*x2*x0*x1*x7+48*x2*x0*x5*x6+24*x2*x0*x5*x7+16*x2*x0*x6*x7+8*x2*x4*x5^2+8*x2^2*x1*x7+16*x2^2*x1*x6+4*x2^2*x6*x7+8*x2^2*x5*x7+40*x2^2*x1*x5+16*x2^2*x5*x6+16*x2*x3*x5^2+20*x2*x1^2*x4+16*x2*x0*x6^2+4*x2*x0*x7^2+40*x2*x0*x5^2+4*x3*x4*x5^2+16*x1^2*x3*x4+8*x0*x4*x5^2+24*x0*x1^2*x4+72*x0*x1^2*x2+40*x1^2*x2*x3+48*x0*x1^2*x3+16*x1*x3^2*x5+72*x0^2*x1*x5+48*x0^2*x1*x6+24*x0^2*x1*x7+40*x0^2*x5*x6+20*x0^2*x5*x7+16*x0^2*x6*x7+x2^2*x7^2+16*x0*x3*x5^2+4*x1*x4^2*x5+x4^2*x5^2-1/(2^32)