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