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