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