x0^2*x1^2*x2^4*x3^4*x4^4 - 2*x0^3*x1^2*x2^3*x3^3*x4^5 - 2*x0^2*x1^3*x2^3*x3^3*x4^5 + x0^4*x1^2*x2^2*x3^2*x4^6 - 2*x0^3*x1^3*x2^2*x3^2*x4^6 + x0^2*x1^4*x2^2*x3^2*x4^6 - 2*x0*x1^3*x2^5*x3^3*x4^3 - 2*x0^3*x1*x2^3*x3^5*x4^3 + 8*x0^2*x1^3*x2^4*x3^2*x4^4 + 4*x0*x1^4*x2^4*x3^2*x4^4 + 4*x0^4*x1*x2^2*x3^4*x4^4 + 8*x0^3*x1^2*x2^2*x3^4*x4^4 - 2*x0^3*x1^3*x2^3*x3*x4^5 + 4*x0^2*x1^4*x2^3*x3*x4^5 - 2*x0*x1^5*x2^3*x3*x4^5 - 2*x0^5*x1*x2*x3^3*x4^5 + 4*x0^4*x1^2*x2*x3^3*x4^5 - 2*x0^3*x1^3*x2*x3^3*x4^5 + x1^4*x2^6*x3^2*x4^2 - 2*x0^2*x1^2*x2^4*x3^4*x4^2 + x0^4*x2^2*x3^6*x4^2 - 10*x0*x1^4*x2^5*x3*x4^3 - 2*x1^5*x2^5*x3*x4^3 - 4*x0^3*x1^2*x2^3*x3^3*x4^3 - 4*x0^2*x1^3*x2^3*x3^3*x4^3 - 2*x0*x1^2*x2^5*x3^3*x4^3 - 2*x0^5*x2*x3^5*x4^3 - 10*x0^4*x1*x2*x3^5*x4^3 - 2*x0^2*x1*x2^3*x3^5*x4^3 + x0^2*x1^4*x2^4*x4^4 - 2*x0*x1^5*x2^4*x4^4 + x1^6*x2^4*x4^4 - 6*x0^4*x1^2*x2^2*x3^2*x4^4 + 12*x0^3*x1^3*x2^2*x3^2*x4^4 - 6*x0^2*x1^4*x2^2*x3^2*x4^4 - 2*x0^2*x1^2*x2^4*x3^2*x4^4 + 8*x0*x1^3*x2^4*x3^2*x4^4 + x0^6*x3^4*x4^4 - 2*x0^5*x1*x3^4*x4^4 + x0^4*x1^2*x3^4*x4^4 + 8*x0^3*x1*x2^2*x3^4*x4^4 - 2*x0^2*x1^2*x2^2*x3^4*x4^4 + 8*x0^3*x1^2*x2^3*x3*x4^5 + 2*x0^2*x1^3*x2^3*x3*x4^5 - 10*x0*x1^4*x2^3*x3*x4^5 - 10*x0^4*x1*x2*x3^3*x4^5 + 2*x0^3*x1^2*x2*x3^3*x4^5 + 8*x0^2*x1^3*x2*x3^3*x4^5 - 4*x0^4*x1^2*x2^2*x4^6 + 12*x0^3*x1^3*x2^2*x4^6 - 12*x0^2*x1^4*x2^2*x4^6 + 4*x0*x1^5*x2^2*x4^6 + 4*x0^5*x1*x3^2*x4^6 - 12*x0^4*x1^2*x3^2*x4^6 + 12*x0^3*x1^3*x3^2*x4^6 - 4*x0^2*x1^4*x3^2*x4^6 + 8*x0*x1^3*x2^5*x3^3*x4 + 8*x0^3*x1*x2^3*x3^5*x4 + 4*x1^5*x2^6*x4^2 - 24*x0^2*x1^3*x2^4*x3^2*x4^2 - 12*x0*x1^4*x2^4*x3^2*x4^2 - 2*x1^3*x2^6*x3^2*x4^2 - 12*x0^4*x1*x2^2*x3^4*x4^2 - 24*x0^3*x1^2*x2^2*x3^4*x4^2 + 8*x0^2*x1*x2^4*x3^4*x4^2 + 8*x0*x1^2*x2^4*x3^4*x4^2 + 4*x0^5*x3^6*x4^2 - 2*x0^3*x2^2*x3^6*x4^2 + 16*x0^3*x1^3*x2^3*x3*x4^3 - 32*x0^2*x1^4*x2^3*x3*x4^3 + 16*x0*x1^5*x2^3*x3*x4^3 + 2*x0*x1^3*x2^5*x3*x4^3 + 4*x1^4*x2^5*x3*x4^3 + 16*x0^5*x1*x2*x3^3*x4^3 - 32*x0^4*x1^2*x2*x3^3*x4^3 + 16*x0^3*x1^3*x2*x3^3*x4^3 - 4*x0^3*x1*x2^3*x3^3*x4^3 - 68*x0^2*x1^2*x2^3*x3^3*x4^3 - 4*x0*x1^3*x2^3*x3^3*x4^3 + 4*x0^4*x2*x3^5*x4^3 + 2*x0^3*x1*x2*x3^5*x4^3 - 20*x0^2*x1^3*x2^4*x4^4 + 22*x0*x1^4*x2^4*x4^4 - 2*x1^5*x2^4*x4^4 - 12*x0^4*x1*x2^2*x3^2*x4^4 + 12*x0^3*x1^2*x2^2*x3^2*x4^4 + 12*x0^2*x1^3*x2^2*x3^2*x4^4 - 12*x0*x1^4*x2^2*x3^2*x4^4 - 2*x0^5*x3^4*x4^4 + 22*x0^4*x1*x3^4*x4^4 - 20*x0^3*x1^2*x3^4*x4^4 + 8*x0^5*x1*x2*x3*x4^5 - 32*x0^4*x1^2*x2*x3*x4^5 + 48*x0^3*x1^3*x2*x3*x4^5 - 32*x0^2*x1^4*x2*x3*x4^5 + 8*x0*x1^5*x2*x3*x4^5 - 4*x1^4*x2^6*x3^2 - 8*x0^2*x1^2*x2^4*x3^4 - 4*x0^4*x2^2*x3^6 + 40*x0*x1^4*x2^5*x3*x4 + 8*x1^5*x2^5*x3*x4 + 48*x0^3*x1^2*x2^3*x3^3*x4 + 48*x0^2*x1^3*x2^3*x3^3*x4 + 2*x0*x1^2*x2^5*x3^3*x4 - 2*x1^3*x2^5*x3^3*x4 + 8*x0^5*x2*x3^5*x4 + 40*x0^4*x1*x2*x3^5*x4 - 2*x0^3*x2^3*x3^5*x4 + 2*x0^2*x1*x2^3*x3^5*x4 - 8*x0^2*x1^4*x2^4*x4^2 + 16*x0*x1^5*x2^4*x4^2 - 8*x1^6*x2^4*x4^2 - 12*x1^4*x2^6*x4^2 + 54*x0^2*x1^2*x2^4*x3^2*x4^2 + 12*x0*x1^3*x2^4*x3^2*x4^2 - 6*x1^4*x2^4*x3^2*x4^2 + x1^2*x2^6*x3^2*x4^2 - 8*x0^6*x3^4*x4^2 + 16*x0^5*x1*x3^4*x4^2 - 8*x0^4*x1^2*x3^4*x4^2 - 6*x0^4*x2^2*x3^4*x4^2 + 12*x0^3*x1*x2^2*x3^4*x4^2 + 54*x0^2*x1^2*x2^2*x3^4*x4^2 + 4*x0*x1*x2^4*x3^4*x4^2 - 12*x0^4*x3^6*x4^2 + x0^2*x2^2*x3^6*x4^2 - 16*x0^3*x1^2*x2^3*x3*x4^3 - 96*x0^2*x1^3*x2^3*x3*x4^3 + 96*x0*x1^4*x2^3*x3*x4^3 + 16*x1^5*x2^3*x3*x4^3 + 8*x0*x1^2*x2^5*x3*x4^3 - 2*x1^3*x2^5*x3*x4^3 + 16*x0^5*x2*x3^3*x4^3 + 96*x0^4*x1*x2*x3^3*x4^3 - 96*x0^3*x1^2*x2*x3^3*x4^3 - 16*x0^2*x1^3*x2*x3^3*x4^3 - 4*x0^2*x1*x2^3*x3^3*x4^3 - 4*x0*x1^2*x2^3*x3^3*x4^3 - 2*x0^3*x2*x3^5*x4^3 + 8*x0^2*x1*x2*x3^5*x4^3 + 40*x0^4*x1^2*x2^2*x4^4 - 112*x0^3*x1^3*x2^2*x4^4 + 96*x0^2*x1^4*x2^2*x4^4 - 16*x0*x1^5*x2^2*x4^4 - 8*x1^6*x2^2*x4^4 - 8*x0^2*x1^2*x2^4*x4^4 - 20*x0*x1^3*x2^4*x4^4 + x1^4*x2^4*x4^4 - 8*x0^6*x3^2*x4^4 - 16*x0^5*x1*x3^2*x4^4 + 96*x0^4*x1^2*x3^2*x4^4 - 112*x0^3*x1^3*x3^2*x4^4 + 40*x0^2*x1^4*x3^2*x4^4 - 24*x0^3*x1*x2^2*x3^2*x4^4 + 54*x0^2*x1^2*x2^2*x3^2*x4^4 - 24*x0*x1^3*x2^2*x3^2*x4^4 + x0^4*x3^4*x4^4 - 20*x0^3*x1*x3^4*x4^4 - 8*x0^2*x1^2*x3^4*x4^4 + 40*x0^4*x1*x2*x3*x4^5 - 40*x0^3*x1^2*x2*x3*x4^5 - 40*x0^2*x1^3*x2*x3*x4^5 + 40*x0*x1^4*x2*x3*x4^5 - 16*x0^5*x1*x4^6 + 64*x0^4*x1^2*x4^6 - 96*x0^3*x1^3*x4^6 + 64*x0^2*x1^4*x4^6 - 16*x0*x1^5*x4^6 - 16*x1^5*x2^6 - 32*x0^2*x1^3*x2^4*x3^2 - 16*x0*x1^4*x2^4*x3^2 + 12*x1^3*x2^6*x3^2 - 16*x0^4*x1*x2^2*x3^4 - 32*x0^3*x1^2*x2^2*x3^4 - 20*x0^2*x1*x2^4*x3^4 - 20*x0*x1^2*x2^4*x3^4 - 16*x0^5*x3^6 + 12*x0^3*x2^2*x3^6 - 32*x0^3*x1^3*x2^3*x3*x4 + 64*x0^2*x1^4*x2^3*x3*x4 - 32*x0*x1^5*x2^3*x3*x4 - 40*x0*x1^3*x2^5*x3*x4 - 32*x1^4*x2^5*x3*x4 - 32*x0^5*x1*x2*x3^3*x4 + 64*x0^4*x1^2*x2*x3^3*x4 - 32*x0^3*x1^3*x2*x3^3*x4 - 16*x0^3*x1*x2^3*x3^3*x4 + 176*x0^2*x1^2*x2^3*x3^3*x4 - 16*x0*x1^3*x2^3*x3^3*x4 - 10*x0*x1*x2^5*x3^3*x4 + 4*x1^2*x2^5*x3^3*x4 - 32*x0^4*x2*x3^5*x4 - 40*x0^3*x1*x2*x3^5*x4 + 4*x0^2*x2^3*x3^5*x4 - 10*x0*x1*x2^3*x3^5*x4 + 128*x0^2*x1^3*x2^4*x4^2 - 112*x0*x1^4*x2^4*x4^2 - 16*x1^5*x2^4*x4^2 + 12*x1^3*x2^6*x4^2 - 24*x0^2*x1*x2^4*x3^2*x4^2 + 12*x0*x1^2*x2^4*x3^2*x4^2 + 12*x1^3*x2^4*x3^2*x4^2 - 16*x0^5*x3^4*x4^2 - 112*x0^4*x1*x3^4*x4^2 + 128*x0^3*x1^2*x3^4*x4^2 + 12*x0^3*x2^2*x3^4*x4^2 + 12*x0^2*x1*x2^2*x3^4*x4^2 - 24*x0*x1^2*x2^2*x3^4*x4^2 + 12*x0^3*x3^6*x4^2 - 64*x0^5*x1*x2*x3*x4^3 + 256*x0^4*x1^2*x2*x3*x4^3 - 384*x0^3*x1^3*x2*x3*x4^3 + 256*x0^2*x1^4*x2*x3*x4^3 - 64*x0*x1^5*x2*x3*x4^3 + 48*x0^3*x1*x2^3*x3*x4^3 + 176*x0^2*x1^2*x2^3*x3*x4^3 - 96*x0*x1^3*x2^3*x3*x4^3 - 32*x1^4*x2^3*x3*x4^3 - 32*x0^4*x2*x3^3*x4^3 - 96*x0^3*x1*x2*x3^3*x4^3 + 176*x0^2*x1^2*x2*x3^3*x4^3 + 48*x0*x1^3*x2*x3^3*x4^3 - 16*x0^4*x1*x2^2*x4^4 - 48*x0^3*x1^2*x2^2*x4^4 + 160*x0^2*x1^3*x2^2*x4^4 - 112*x0*x1^4*x2^2*x4^4 + 16*x1^5*x2^2*x4^4 + 16*x0^5*x3^2*x4^4 - 112*x0^4*x1*x3^2*x4^4 + 160*x0^3*x1^2*x3^2*x4^4 - 48*x0^2*x1^3*x3^2*x4^4 - 16*x0*x1^4*x3^2*x4^4 + 16*x0^2*x1^4*x2^4 - 32*x0*x1^5*x2^4 + 16*x1^6*x2^4 + 64*x1^4*x2^6 + 32*x0^4*x1^2*x2^2*x3^2 - 64*x0^3*x1^3*x2^2*x3^2 + 32*x0^2*x1^4*x2^2*x3^2 - 88*x0^2*x1^2*x2^4*x3^2 - 48*x0*x1^3*x2^4*x3^2 + 40*x1^4*x2^4*x3^2 - 12*x1^2*x2^6*x3^2 + 16*x0^6*x3^4 - 32*x0^5*x1*x3^4 + 16*x0^4*x1^2*x3^4 + 40*x0^4*x2^2*x3^4 - 48*x0^3*x1*x2^2*x3^4 - 88*x0^2*x1^2*x2^2*x3^4 + x0^2*x2^4*x3^4 + 22*x0*x1*x2^4*x3^4 + x1^2*x2^4*x3^4 + 64*x0^4*x3^6 - 12*x0^2*x2^2*x3^6 - 64*x0^3*x1^2*x2^3*x3*x4 + 352*x0^2*x1^3*x2^3*x3*x4 - 224*x0*x1^4*x2^3*x3*x4 - 64*x1^5*x2^3*x3*x4 - 40*x0*x1^2*x2^5*x3*x4 + 48*x1^3*x2^5*x3*x4 - 64*x0^5*x2*x3^3*x4 - 224*x0^4*x1*x2*x3^3*x4 + 352*x0^3*x1^2*x2*x3^3*x4 - 64*x0^2*x1^3*x2*x3^3*x4 + 16*x0^3*x2^3*x3^3*x4 - 96*x0^2*x1*x2^3*x3^3*x4 - 96*x0*x1^2*x2^3*x3^3*x4 + 16*x1^3*x2^3*x3^3*x4 - 2*x1*x2^5*x3^3*x4 + 48*x0^3*x2*x3^5*x4 - 40*x0^2*x1*x2*x3^5*x4 - 2*x0*x2^3*x3^5*x4 - 128*x0^4*x1^2*x2^2*x4^2 + 320*x0^3*x1^3*x2^2*x4^2 - 192*x0^2*x1^4*x2^2*x4^2 - 64*x0*x1^5*x2^2*x4^2 + 64*x1^6*x2^2*x4^2 - 88*x0^2*x1^2*x2^4*x4^2 + 160*x0*x1^3*x2^4*x4^2 + 96*x1^4*x2^4*x4^2 - 4*x1^2*x2^6*x4^2 + 64*x0^6*x3^2*x4^2 - 64*x0^5*x1*x3^2*x4^2 - 192*x0^4*x1^2*x3^2*x4^2 + 320*x0^3*x1^3*x3^2*x4^2 - 128*x0^2*x1^4*x3^2*x4^2 - 336*x0^2*x1^2*x2^2*x3^2*x4^2 - 12*x0*x1*x2^4*x3^2*x4^2 - 6*x1^2*x2^4*x3^2*x4^2 + 96*x0^4*x3^4*x4^2 + 160*x0^3*x1*x3^4*x4^2 - 88*x0^2*x1^2*x3^4*x4^2 - 6*x0^2*x2^2*x3^4*x4^2 - 12*x0*x1*x2^2*x3^4*x4^2 - 4*x0^2*x3^6*x4^2 - 32*x0^5*x2*x3*x4^3 - 224*x0^4*x1*x2*x3*x4^3 + 256*x0^3*x1^2*x2*x3*x4^3 + 256*x0^2*x1^3*x2*x3*x4^3 - 224*x0*x1^4*x2*x3*x4^3 - 32*x1^5*x2*x3*x4^3 + 48*x0^2*x1*x2^3*x3*x4^3 - 16*x0*x1^2*x2^3*x3*x4^3 + 16*x1^3*x2^3*x3*x4^3 + 16*x0^3*x2*x3^3*x4^3 - 16*x0^2*x1*x2*x3^3*x4^3 + 48*x0*x1^2*x2*x3^3*x4^3 + 16*x0^6*x4^4 + 96*x0^5*x1*x4^4 - 528*x0^4*x1^2*x4^4 + 832*x0^3*x1^3*x4^4 - 528*x0^2*x1^4*x4^4 + 96*x0*x1^5*x4^4 + 16*x1^6*x4^4 - 32*x0^3*x1*x2^2*x4^4 - 88*x0^2*x1^2*x2^2*x4^4 + 128*x0*x1^3*x2^2*x4^4 - 8*x1^4*x2^2*x4^4 - 8*x0^4*x3^2*x4^4 + 128*x0^3*x1*x3^2*x4^4 - 88*x0^2*x1^2*x3^2*x4^4 - 32*x0*x1^3*x3^2*x4^4 - 192*x0^2*x1^3*x2^4 + 96*x0*x1^4*x2^4 + 96*x1^5*x2^4 - 96*x1^3*x2^6 + 192*x0^4*x1*x2^2*x3^2 - 192*x0^3*x1^2*x2^2*x3^2 - 192*x0^2*x1^3*x2^2*x3^2 + 192*x0*x1^4*x2^2*x3^2 + 128*x0^2*x1*x2^4*x3^2 + 160*x0*x1^2*x2^4*x3^2 - 112*x1^3*x2^4*x3^2 + 4*x1*x2^6*x3^2 + 96*x0^5*x3^4 + 96*x0^4*x1*x3^4 - 192*x0^3*x1^2*x3^4 - 112*x0^3*x2^2*x3^4 + 160*x0^2*x1*x2^2*x3^4 + 128*x0*x1^2*x2^2*x3^4 - 2*x0*x2^4*x3^4 - 2*x1*x2^4*x3^4 - 96*x0^3*x3^6 + 4*x0*x2^2*x3^6 + 128*x0^5*x1*x2*x3*x4 - 512*x0^4*x1^2*x2*x3*x4 + 768*x0^3*x1^3*x2*x3*x4 - 512*x0^2*x1^4*x2*x3*x4 + 128*x0*x1^5*x2*x3*x4 - 64*x0^3*x1*x2^3*x3*x4 - 832*x0^2*x1^2*x2^3*x3*x4 + 256*x0*x1^3*x2^3*x3*x4 + 256*x1^4*x2^3*x3*x4 + 40*x0*x1*x2^5*x3*x4 - 32*x1^2*x2^5*x3*x4 + 256*x0^4*x2*x3^3*x4 + 256*x0^3*x1*x2*x3^3*x4 - 832*x0^2*x1^2*x2*x3^3*x4 - 64*x0*x1^3*x2*x3^3*x4 - 32*x0^2*x2^3*x3^3*x4 + 96*x0*x1*x2^3*x3^3*x4 - 32*x1^2*x2^3*x3^3*x4 - 32*x0^2*x2*x3^5*x4 + 40*x0*x1*x2*x3^5*x4 + 192*x0^4*x1*x2^2*x4^2 + 128*x0^3*x1^2*x2^2*x4^2 - 896*x0^2*x1^3*x2^2*x4^2 + 640*x0*x1^4*x2^2*x4^2 - 64*x1^5*x2^2*x4^2 - 32*x0^2*x1*x2^4*x4^2 - 48*x0*x1^2*x2^4*x4^2 - 112*x1^3*x2^4*x4^2 - 64*x0^5*x3^2*x4^2 + 640*x0^4*x1*x3^2*x4^2 - 896*x0^3*x1^2*x3^2*x4^2 + 128*x0^2*x1^3*x3^2*x4^2 + 192*x0*x1^4*x3^2*x4^2 - 112*x0^3*x3^4*x4^2 - 48*x0^2*x1*x3^4*x4^2 - 32*x0*x1^2*x3^4*x4^2 + 64*x0^4*x2*x3*x4^3 + 352*x0^3*x1*x2*x3*x4^3 - 832*x0^2*x1^2*x2*x3*x4^3 + 352*x0*x1^3*x2*x3*x4^3 + 64*x1^4*x2*x3*x4^3 - 32*x0^5*x4^4 + 96*x0^4*x1*x4^4 - 64*x0^3*x1^2*x4^4 - 64*x0^2*x1^3*x4^4 + 96*x0*x1^4*x4^4 - 32*x1^5*x4^4 + 128*x0^4*x1^2*x2^2 - 256*x0^3*x1^3*x2^2 + 256*x0*x1^5*x2^2 - 128*x1^6*x2^2 + 352*x0^2*x1^2*x2^4 - 64*x0*x1^3*x2^4 - 528*x1^4*x2^4 + 64*x1^2*x2^6 - 128*x0^6*x3^2 + 256*x0^5*x1*x3^2 - 256*x0^3*x1^3*x3^2 + 128*x0^2*x1^4*x3^2 - 128*x0^4*x2^2*x3^2 + 128*x0^3*x1*x2^2*x3^2 + 1248*x0^2*x1^2*x2^2*x3^2 + 128*x0*x1^3*x2^2*x3^2 - 128*x1^4*x2^2*x3^2 - 8*x0^2*x2^4*x3^2 - 112*x0*x1*x2^4*x3^2 + 96*x1^2*x2^4*x3^2 - 528*x0^4*x3^4 - 64*x0^3*x1*x3^4 + 352*x0^2*x1^2*x3^4 + 96*x0^2*x2^2*x3^4 - 112*x0*x1*x2^2*x3^4 - 8*x1^2*x2^2*x3^4 + x2^4*x3^4 + 64*x0^2*x3^6 + 128*x0^5*x2*x3*x4 + 256*x0^4*x1*x2*x3*x4 - 384*x0^3*x1^2*x2*x3*x4 - 384*x0^2*x1^3*x2*x3*x4 + 256*x0*x1^4*x2*x3*x4 + 128*x1^5*x2*x3*x4 - 32*x0^3*x2^3*x3*x4 + 352*x0^2*x1*x2^3*x3*x4 + 256*x0*x1^2*x2^3*x3*x4 - 384*x1^3*x2^3*x3*x4 + 8*x1*x2^5*x3*x4 - 384*x0^3*x2*x3^3*x4 + 256*x0^2*x1*x2*x3^3*x4 + 352*x0*x1^2*x2*x3^3*x4 - 32*x1^3*x2*x3^3*x4 + 16*x0*x2^3*x3^3*x4 + 16*x1*x2^3*x3^3*x4 + 8*x0*x2*x3^5*x4 - 128*x0^6*x4^2 + 1152*x0^4*x1^2*x4^2 - 2048*x0^3*x1^3*x4^2 + 1152*x0^2*x1^4*x4^2 - 128*x1^6*x4^2 + 32*x0^4*x2^2*x4^2 - 192*x0^3*x1*x2^2*x4^2 + 1248*x0^2*x1^2*x2^2*x4^2 - 896*x0*x1^3*x2^2*x4^2 - 192*x1^4*x2^2*x4^2 - 16*x0*x1*x2^4*x4^2 + 40*x1^2*x2^4*x4^2 - 192*x0^4*x3^2*x4^2 - 896*x0^3*x1*x3^2*x4^2 + 1248*x0^2*x1^2*x3^2*x4^2 - 192*x0*x1^3*x3^2*x4^2 + 32*x1^4*x3^2*x4^2 + 40*x0^2*x3^4*x4^2 - 16*x0*x1*x3^4*x4^2 - 32*x0^3*x2*x3*x4^3 - 64*x0^2*x1*x2*x3*x4^3 - 64*x0*x1^2*x2*x3*x4^3 - 32*x1^3*x2*x3*x4^3 + 16*x0^4*x4^4 - 192*x0^3*x1*x4^4 + 352*x0^2*x1^2*x4^4 - 192*x0*x1^3*x4^4 + 16*x1^4*x4^4 - 512*x0^4*x1*x2^2 + 256*x0^3*x1^2*x2^2 + 1024*x0^2*x1^3*x2^2 - 768*x0*x1^4*x2^2 - 192*x0^2*x1*x2^4 - 64*x0*x1^2*x2^4 + 832*x1^3*x2^4 - 16*x1*x2^6 - 768*x0^4*x1*x3^2 + 1024*x0^3*x1^2*x3^2 + 256*x0^2*x1^3*x3^2 - 512*x0*x1^4*x3^2 + 320*x0^3*x2^2*x3^2 - 896*x0^2*x1*x2^2*x3^2 - 896*x0*x1^2*x2^2*x3^2 + 320*x1^3*x2^2*x3^2 + 16*x0*x2^4*x3^2 - 16*x1*x2^4*x3^2 + 832*x0^3*x3^4 - 64*x0^2*x1*x3^4 - 192*x0*x1^2*x3^4 - 16*x0*x2^2*x3^4 + 16*x1*x2^2*x3^4 - 16*x0*x3^6 - 512*x0^4*x2*x3*x4 - 384*x0^3*x1*x2*x3*x4 + 1792*x0^2*x1^2*x2*x3*x4 - 384*x0*x1^3*x2*x3*x4 - 512*x1^4*x2*x3*x4 + 64*x0^2*x2^3*x3*x4 - 224*x0*x1*x2^3*x3*x4 + 256*x1^2*x2^3*x3*x4 + 256*x0^2*x2*x3^3*x4 - 224*x0*x1*x2*x3^3*x4 + 64*x1^2*x2*x3^3*x4 + 256*x0^5*x4^2 - 768*x0^4*x1*x4^2 + 512*x0^3*x1^2*x4^2 + 512*x0^2*x1^3*x4^2 - 768*x0*x1^4*x4^2 + 256*x1^5*x4^2 - 64*x0^3*x2^2*x4^2 - 192*x0^2*x1*x2^2*x4^2 + 128*x0*x1^2*x2^2*x4^2 + 320*x1^3*x2^2*x4^2 + 320*x0^3*x3^2*x4^2 + 128*x0^2*x1*x3^2*x4^2 - 192*x0*x1^2*x3^2*x4^2 - 64*x1^3*x3^2*x4^2 + 256*x0^6 - 512*x0^5*x1 - 256*x0^4*x1^2 + 1024*x0^3*x1^3 - 256*x0^2*x1^4 - 512*x0*x1^5 + 256*x1^6 + 128*x0^4*x2^2 + 256*x0^3*x1*x2^2 - 2048*x0^2*x1^2*x2^2 + 512*x0*x1^3*x2^2 + 1152*x1^4*x2^2 + 16*x0^2*x2^4 + 96*x0*x1*x2^4 - 528*x1^2*x2^4 + 1152*x0^4*x3^2 + 512*x0^3*x1*x3^2 - 2048*x0^2*x1^2*x3^2 + 256*x0*x1^3*x3^2 + 128*x1^4*x3^2 - 192*x0^2*x2^2*x3^2 + 640*x0*x1*x2^2*x3^2 - 192*x1^2*x2^2*x3^2 - 8*x2^4*x3^2 - 528*x0^2*x3^4 + 96*x0*x1*x3^4 + 16*x1^2*x3^4 - 8*x2^2*x3^4 + 768*x0^3*x2*x3*x4 - 384*x0^2*x1*x2*x3*x4 - 384*x0*x1^2*x2*x3*x4 + 768*x1^3*x2*x3*x4 - 32*x0*x2^3*x3*x4 - 64*x1*x2^3*x3*x4 - 64*x0*x2*x3^3*x4 - 32*x1*x2*x3^3*x4 + 1024*x0^3*x1*x4^2 - 2048*x0^2*x1^2*x4^2 + 1024*x0*x1^3*x4^2 + 32*x0^2*x2^2*x4^2 + 192*x0*x1*x2^2*x4^2 - 128*x1^2*x2^2*x4^2 - 128*x0^2*x3^2*x4^2 + 192*x0*x1*x3^2*x4^2 + 32*x1^2*x3^2*x4^2 - 512*x0^5 + 1536*x0^4*x1 - 1024*x0^3*x1^2 - 1024*x0^2*x1^3 + 1536*x0*x1^4 - 512*x1^5 - 256*x0^3*x2^2 + 1024*x0^2*x1*x2^2 + 512*x0*x1^2*x2^2 - 2048*x1^3*x2^2 - 32*x0*x2^4 + 96*x1*x2^4 - 2048*x0^3*x3^2 + 512*x0^2*x1*x3^2 + 1024*x0*x1^2*x3^2 - 256*x1^3*x3^2 - 64*x0*x2^2*x3^2 - 64*x1*x2^2*x3^2 + 96*x0*x3^4 - 32*x1*x3^4 - 512*x0^2*x2*x3*x4 + 256*x0*x1*x2*x3*x4 - 512*x1^2*x2*x3*x4 - 256*x0^3*x4^2 + 256*x0^2*x1*x4^2 + 256*x0*x1^2*x4^2 - 256*x1^3*x4^2 - 256*x0^4 - 1024*x0^3*x1 + 2560*x0^2*x1^2 - 1024*x0*x1^3 - 256*x1^4 - 768*x0*x1*x2^2 + 1152*x1^2*x2^2 + 16*x2^4 + 1152*x0^2*x3^2 - 768*x0*x1*x3^2 + 64*x2^2*x3^2 + 16*x3^4 + 128*x0*x2*x3*x4 + 128*x1*x2*x3*x4 + 128*x0^2*x4^2 - 512*x0*x1*x4^2 + 128*x1^2*x4^2 + 1024*x0^3 - 1024*x0^2*x1 - 1024*x0*x1^2 + 1024*x1^3 + 256*x0*x2^2 + 256*x1*x3^2 - 256*x0^2 + 1536*x0*x1 - 256*x1^2 - 128*x2^2 - 128*x3^2 - 512*x0 - 512*x1 + 256 - 1/(2^32)