2*x7^2*x0^2+24*x0^2*x1^2+8*x1^2*x3^2+24*x1^2*x2^2+2*x1^2*x4^2+24*x2^2*x5^2+8*x2^2*x6^2+8*x3^2*x5^2+24*x0^2*x5^2+8*x0^2*x6^2+24*x0*x1*x4*x5+4*x0*x1*x4*x6+4*x0*x1*x4*x7+8*x0*x4*x5*x6+4*x0*x4*x5*x7+16*x1*x3*x4*x5+4*x3*x4*x5*x6+x3*x4*x5*x7+48*x0*x1*x3*x5+8*x0*x1*x3*x6+4*x0*x1*x3*x7+16*x0*x3*x5*x6+8*x0*x3*x5*x7+56*x2*x1*x3*x5+x2*x4*x6*x7+4*x2*x4*x5*x7+12*x2*x4*x5*x6+4*x2*x1*x4*x7+8*x2*x1*x4*x6+28*x2*x1*x4*x5+16*x2*x1*x3*x6+8*x2*x1*x3*x7+24*x2*x3*x5*x6+12*x2*x3*x5*x7+4*x2*x3*x6*x7+96*x2*x0*x1*x5+48*x2*x0*x1*x6+24*x2*x0*x1*x7+56*x2*x0*x5*x6+28*x2*x0*x5*x7+16*x2*x0*x6*x7+4*x2*x3*x6^2+x2*x3*x7^2+14*x2*x4*x5^2+12*x2^2*x1*x7+24*x2^2*x1*x6+8*x2^2*x6*x7+14*x2^2*x5*x7+48*x2^2*x1*x5+28*x2^2*x5*x6+28*x2*x3*x5^2+14*x2*x1^2*x4+16*x2*x0*x6^2+4*x2*x0*x7^2+2*x2*x4*x6^2+48*x2*x0*x5^2+8*x3*x4*x5^2+8*x1^2*x3*x4+12*x0*x4*x5^2+12*x0*x1^2*x4+48*x0*x1^2*x2+28*x1^2*x2*x3+24*x0*x1^2*x3+16*x1*x3^2*x5+4*x3^2*x5*x6+2*x3^2*x5*x7+48*x0^2*x1*x5+24*x0^2*x1*x6+12*x0^2*x1*x7+28*x0^2*x5*x6+14*x0^2*x5*x7+8*x0^2*x6*x7+2*x2^2*x7^2+24*x0*x3*x5^2+x4^2*x5*x6+4*x1*x4^2*x5+2*x4^2*x5^2-1/(2^32)