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