FORM by J.Vermaseren,version 3.1(Oct 17 2002) Run at: Mon Feb 6 16:14:28 2006 *====================================================================== * FILE: Bhabha2_refine.frm * * created by SA on 03.2.2006 *====================================================================== #- B60 loaded Time = 0.01 sec Generated terms = 679 B6 Terms in output = 679 Bytes used = 13828 B6 = + PR0(1,1,1,1,1,1,-1,0,0)*Irr(-1) * ( 160 - 224*d*s^-1*t + 48*d*s^-1* t^2 + 256*d*s^-1 + 32*d*s*t^-1 + 56*d*s + 48*d*s^2*t^-1 + 104*d*t - 192*d - 20*d^2*s - 24*d^2*s^2*t^-1 - 32*d^2*t^-1 - 28*d^2*t + 72*d^2 + 4*d^3*s + 4*d^3*s^2*t^-1 + 4*d^3*t - 8*d^3 + 448*s^-1*t - 96*s^-1* t^2 - 512*s^-1 - 64*s*t^-1 - 64*s - 32*s^2*t^-1 + 128*t^-1 - 128*t ) + PR0(1,1,1,1,1,1,0,-1,0)*Irr(-1) * ( 416 + 32*d*s^-1*t - 16*d*s^-1*t^2 - 64*d*s*t^-1 + 80*d*s + 128*d*t^-1 + 136*d*t - 384*d + 16*d^2*s* t^-1 - 32*d^2*s - 32*d^2*t^-1 - 44*d^2*t + 104*d^2 + 4*d^3*s + 4*d^3* t - 8*d^3 - 64*s^-1*t + 32*s^-1*t^2 + 64*s*t^-1 - 64*s - 128*t^-1 - 128*t ) + PR0(1,1,1,1,1,1,0,0,-1)*Irr(-1) * ( - 576 + 192*d*s^-1*t - 32*d*s^-1 *t^2 - 256*d*s^-1 + 32*d*s*t^-1 - 136*d*s - 48*d*s^2*t^-1 - 128*d* t^-1 - 240*d*t + 576*d - 16*d^2*s*t^-1 + 52*d^2*s + 24*d^2*s^2*t^-1 + 64*d^2*t^-1 + 72*d^2*t - 176*d^2 - 8*d^3*s - 4*d^3*s^2*t^-1 - 8* d^3*t + 16*d^3 - 384*s^-1*t + 64*s^-1*t^2 + 512*s^-1 + 128*s + 32*s^2 *t^-1 + 256*t ) + PR0(1,1,1,1,1,1,0,0,0)*Irr(0) * ( 256 + 8*d*s + 32*d*t - 64*d - 512* s^-1*t + 128*s^-1*t^2 + 512*s^-1 + 128*s*t^-1 + 96*s - 256*t^-1 ) + PR0(1,1,1,1,1,2,0,0,0)*Irr(0) * ( 768 - 24*d*s*t + 48*d*s + 32*d*s^2 + 128*d*t - 32*d*t^2 - 128*d - 8*d^2*s^2 - 1536*s^-1*t + 768*s^-1* t^2 - 128*s^-1*t^3 + 1024*s^-1 + 256*s*t^-1 + 64*s - 32*s^2 - 512* t^-1 - 256*t ) + PR4(1,1,2,0,0,0,0,0,0)*Irr(0) * ( 400 + 24*d*s^-1*t - 48*d*s^-1 - 288 *d*s*t^-1 + 384*d*t^-1 - 488*d - 4*d^2*s^-1*t + 8*d^2*s^-1 + 120*d^2* s*t^-1 - 136*d^2*t^-1 + 208*d^2 - 20*d^3*s*t^-1 + 16*d^3*t^-1 - 36* d^3 + d^4*s*t^-1 + 2*d^4 - 32*s^-1*t + 64*s^-1 + 240*s*t^-1 - 352* t^-1 ) + PR7(1,1,2,0,0,0,0,0,0)*Irr(0) * ( - 384 - 24*d*s^-1*t + 48*d*s^-1 + 48*d*s*t^-1 - 96*d*t^-1 + 472*d + 4*d^2*s^-1*t - 8*d^2*s^-1 - 24*d^2* s*t^-1 + 48*d^2*t^-1 - 204*d^2 + 4*d^3*s*t^-1 - 8*d^3*t^-1 + 36*d^3 - 2*d^4 + 32*s^-1*t - 64*s^-1 - 32*s*t^-1 + 64*t^-1 ) + PR9(1,1,1,1,0,0,0,0,0)*Irr(0) * ( - 368 + 32*d*s^-1*t - 64*d*s^-1 + 288*d*s*t^-1 - 384*d*t^-1 + 440*d - 8*d^2*s^-1*t + 16*d^2*s^-1 - 120* d^2*s*t^-1 + 136*d^2*t^-1 - 184*d^2 + 20*d^3*s*t^-1 - 16*d^3*t^-1 + 32*d^3 - d^4*s*t^-1 - 2*d^4 - 32*s^-1*t + 64*s^-1 - 240*s*t^-1 + 352* t^-1 ) + PR9(1,1,1,2,0,-1,0,0,0)*Irr(-1) * ( 32 - 480*d*s*t^-1 + 576*d*t^-1 - 32*d + 192*d^2*s*t^-1 - 176*d^2*t^-1 + 8*d^2 - 32*d^3*s*t^-1 + 16*d^3 *t^-1 + 2*d^4*s*t^-1 + 416*s*t^-1 - 576*t^-1 ) + PR9(1,1,1,2,0,0,0,0,0)*Irr(0) * ( - 64 - 96*d*s^-1*t + 32*d*s^-1*t^2 + 64*d*s^-1 - 320*d*s*t^-1 + 244*d*s + 264*d*s^2*t^-1 - 32*d*t^-1 + 32*d + 112*d^2*s*t^-1 - 94*d^2*s - 108*d^2*s^2*t^-1 + 4*d^2*t - 12* d^3*s*t^-1 + 16*d^3*s + 18*d^3*s^2*t^-1 - d^4*s - d^4*s^2*t^-1 + 192* s^-1*t - 64*s^-1*t^2 - 128*s^-1 + 288*s*t^-1 - 224*s - 224*s^2*t^-1 + 64*t^-1 - 16*t ) + PR11(1,1,1,2,0,0,0,0,0)*Irr(0) * ( - 416 - 8*d*s^-1*t + 16*d*s^-1 + 304*d*s*t^-1 - 352*d*t^-1 + 296*d - 64*d^2*s*t^-1 + 48*d^2*t^-1 - 64* d^2 + 4*d^3*s*t^-1 + 4*d^3 + 32*s^-1*t - 64*s^-1 - 448*s*t^-1 + 640* t^-1 ) + PR12(1,1,1,1,0,0,0,0,0)*Irr(0) * ( 352 - 32*d*s^-1*t + 64*d*s^-1 - 48 *d*s*t^-1 + 96*d*t^-1 - 424*d + 8*d^2*s^-1*t - 16*d^2*s^-1 + 24*d^2*s *t^-1 - 48*d^2*t^-1 + 180*d^2 - 4*d^3*s*t^-1 + 8*d^3*t^-1 - 32*d^3 + 2*d^4 + 32*s^-1*t - 64*s^-1 + 32*s*t^-1 - 64*t^-1 ) + PR12(1,1,1,2,0,0,0,0,-1)*Irr(-1) * ( - 64 - 112*d*s^-1*t + 224*d* s^-1 + 96*d + 24*d^2*s^-1*t - 48*d^2*s^-1 - 48*d^2 + 8*d^3 + 128*s^-1 *t - 256*s^-1 ) + PR12(1,1,1,2,0,0,0,0,0)*Irr(0) * ( 896 + 288*d*s^-1*t - 88*d*s^-1*t^2 - 224*d*s^-1 - 128*d*s*t^-1 + 160*d*s + 256*d*t^-1 + 320*d*t - 864*d - 48*d^2*s^-1*t + 12*d^2*s^-1*t^2 + 48*d^2*s^-1 + 32*d^2*s*t^-1 - 64 *d^2*s - 64*d^2*t^-1 - 112*d^2*t + 256*d^2 + 8*d^3*s + 12*d^3*t - 24* d^3 - 384*s^-1*t + 128*s^-1*t^2 + 256*s^-1 + 128*s*t^-1 - 128*s - 256 *t^-1 - 288*t ) + PR13(1,1,1,2,0,0,0,0,0)*Irr(0) * ( - 352 + 16*d*s^-1*t - 32*d*s^-1 + 32*d*s*t^-1 - 64*d*t^-1 + 248*d - 8*d^2*s*t^-1 + 16*d^2*t^-1 - 56* d^2 + 4*d^3 - 32*s^-1*t + 64*s^-1 - 32*s*t^-1 + 64*t^-1 ) + PR14(1,1,1,2,0,0,0,0,0)*Irr(0) * ( 768 + 16*d*s^-1*t - 32*d*s^-1 - 64 *d*s*t^-1 + 128*d*t^-1 - 560*d + 16*d^2*s*t^-1 - 32*d^2*t^-1 + 128* d^2 - 8*d^3 - 64*s^-1*t + 128*s^-1 + 64*s*t^-1 - 128*t^-1 ) + PR15(1,1,1,1,1,0,-1,0,0)*Irr(-1) * ( - 160 - 16*d*s^-1*t + 32*d*s^-1 + 560*d*s*t^-1 - 592*d*t^-1 + 168*d - 224*d^2*s*t^-1 + 176*d^2*t^-1 - 52*d^2 + 36*d^3*s*t^-1 - 16*d^3*t^-1 + 4*d^3 - 2*d^4*s*t^-1 + 32* s^-1*t - 64*s^-1 - 480*s*t^-1 + 608*t^-1 ) + PR15(1,1,1,1,1,0,0,-1,0)*Irr(-1) * ( 128 + 16*d*s^-1*t - 32*d*s^-1 - 80*d*s*t^-1 + 16*d*t^-1 - 136*d + 32*d^2*s*t^-1 + 44*d^2 - 4*d^3*s* t^-1 - 4*d^3 - 32*s^-1*t + 64*s^-1 + 64*s*t^-1 - 32*t^-1 ) + PR15(1,1,1,1,1,0,0,0,-1)*Irr(-1) * ( 32 - 480*d*s*t^-1 + 576*d*t^-1 - 32*d + 192*d^2*s*t^-1 - 176*d^2*t^-1 + 8*d^2 - 32*d^3*s*t^-1 + 16* d^3*t^-1 + 2*d^4*s*t^-1 + 416*s*t^-1 - 576*t^-1 ) + PR15(1,1,1,1,1,0,0,0,0)*Irr(0) * ( - 480 + 64*d*s^-1*t - 16*d*s^-1* t^2 - 64*d*s^-1 + 384*d*s*t^-1 - 308*d*s - 24*d*s^2*t^-1 - 320*d*t^-1 - 136*d*t + 448*d - 104*d^2*s*t^-1 + 122*d^2*s + 12*d^2*s^2*t^-1 + 64*d^2*t^-1 + 40*d^2*t - 120*d^2 + 8*d^3*s*t^-1 - 20*d^3*s - 2*d^3* s^2*t^-1 - 4*d^3*t + 8*d^3 + d^4*s - 128*s^-1*t + 32*s^-1*t^2 + 128* s^-1 - 480*s*t^-1 + 272*s + 16*s^2*t^-1 + 512*t^-1 + 144*t ) + PR16(1,1,1,1,1,-1,0,0,0)*Irr(-1) * ( 256 - 48*d*s^-1*t + 96*d*s^-1 - 448*d*s*t^-1 + 656*d*t^-1 - 320*d + 8*d^2*s^-1*t - 16*d^2*s^-1 + 184* d^2*s*t^-1 - 224*d^2*t^-1 + 144*d^2 - 32*d^3*s*t^-1 + 24*d^3*t^-1 - 28*d^3 + 2*d^4*s*t^-1 + 2*d^4 + 64*s^-1*t - 128*s^-1 + 384*s*t^-1 - 608*t^-1 ) + PR16(1,1,1,1,1,0,-1,0,0)*Irr(-1) * ( 224 - 48*d*s^-1*t + 96*d*s^-1 + 32*d*s*t^-1 + 80*d*t^-1 - 288*d + 8*d^2*s^-1*t - 16*d^2*s^-1 - 8*d^2* s*t^-1 - 48*d^2*t^-1 + 136*d^2 + 8*d^3*t^-1 - 28*d^3 + 2*d^4 + 64* s^-1*t - 128*s^-1 - 32*s*t^-1 - 32*t^-1 ) + PR16(1,1,1,1,1,0,0,-1,0)*Irr(-1) * ( - 480 + 96*d*s^-1*t - 192*d* s^-1 + 416*d*s*t^-1 - 736*d*t^-1 + 608*d - 16*d^2*s^-1*t + 32*d^2* s^-1 - 176*d^2*s*t^-1 + 272*d^2*t^-1 - 280*d^2 + 32*d^3*s*t^-1 - 32* d^3*t^-1 + 56*d^3 - 2*d^4*s*t^-1 - 4*d^4 - 128*s^-1*t + 256*s^-1 - 352*s*t^-1 + 640*t^-1 ) + PR16(1,1,1,1,1,0,0,0,0)*Irr(0) * ( 544 - 592*d*s*t^-1 + 576*d*t^-1 - 288*d + 120*d^2*s*t^-1 - 64*d^2*t^-1 + 32*d^2 - 8*d^3*s*t^-1 + 896*s* t^-1 - 1152*t^-1 ) + PR16(1,1,1,1,2,0,0,0,-1)*Irr(-1) * ( - 64 + 544*d*s*t^-1 - 576*d* t^-1 + 32*d - 112*d^2*s*t^-1 + 64*d^2*t^-1 + 8*d^3*s*t^-1 - 832*s* t^-1 + 1152*t^-1 ) + PR16(1,1,1,1,2,0,0,0,0)*Irr(0) * ( 768 - 480*d*s*t^-1 + 24*d*s - 32*d *s^2*t^-1 + 576*d*t^-1 + 32*d*t - 320*d + 96*d^2*s*t^-1 + 8*d^2*s^2* t^-1 - 64*d^2*t^-1 + 32*d^2 - 8*d^3*s*t^-1 - 384*s^-1*t + 128*s^-1* t^2 + 256*s^-1 + 832*s*t^-1 + 32*s^2*t^-1 - 1280*t^-1 ) + PR17(1,1,1,1,1,0,0,0,0)*Irr(0) * ( - 416 - 32*d*s^-1*t + 16*d*s^-1* t^2 + 64*d*s*t^-1 - 80*d*s - 128*d*t^-1 - 136*d*t + 384*d - 16*d^2*s* t^-1 + 32*d^2*s + 32*d^2*t^-1 + 44*d^2*t - 104*d^2 - 4*d^3*s - 4*d^3* t + 8*d^3 + 64*s^-1*t - 32*s^-1*t^2 - 64*s*t^-1 + 64*s + 128*t^-1 + 128*t ) + PR17(1,1,1,1,2,0,0,0,0)*Irr(0) * ( - 384 - 384*d*s^-1*t + 192*d*s^-1 *t^2 - 32*d*s^-1*t^3 + 256*d*s^-1 + 64*d*s*t^-1 + 12*d*s*t - 8*d*s - 24*d*s^2 - 128*d*t^-1 - 128*d*t + 16*d*t^2 + 256*d - 6*d^2*s*t + 12* d^2*s + 12*d^2*s^2 + 32*d^2*t - 8*d^2*t^2 - 32*d^2 - 2*d^3*s^2 + 768* s^-1*t - 384*s^-1*t^2 + 64*s^-1*t^3 - 512*s^-1 - 128*s*t^-1 - 32*s + 16*s^2 + 256*t^-1 + 128*t ) + PR18(1,1,1,1,1,-1,0,0,0)*Irr(-1) * ( 160 + 72*d*s^-1*t - 144*d*s^-1 - 80*d*s*t^-1 + 16*d*t^-1 - 184*d - 12*d^2*s^-1*t + 24*d^2*s^-1 + 32 *d^2*s*t^-1 + 68*d^2 - 4*d^3*s*t^-1 - 8*d^3 - 96*s^-1*t + 192*s^-1 + 64*s*t^-1 - 32*t^-1 ) + PR18(1,1,1,1,1,0,-1,0,0)*Irr(-1) * ( 32 + 56*d*s^-1*t - 112*d*s^-1 - 48*d - 12*d^2*s^-1*t + 24*d^2*s^-1 + 24*d^2 - 4*d^3 - 64*s^-1*t + 128 *s^-1 ) + PR18(1,1,1,1,1,0,0,-1,0)*Irr(-1) * ( 224 - 48*d*s^-1*t + 96*d*s^-1 + 32*d*s*t^-1 + 80*d*t^-1 - 288*d + 8*d^2*s^-1*t - 16*d^2*s^-1 - 8*d^2* s*t^-1 - 48*d^2*t^-1 + 136*d^2 + 8*d^3*t^-1 - 28*d^3 + 2*d^4 + 64* s^-1*t - 128*s^-1 - 32*s*t^-1 - 32*t^-1 ) + PR18(1,1,1,1,1,0,0,0,0)*Irr(0) * ( - 192 + 16*d*s*t^-1 - 32*d*t^-1 + 88*d - 8*d^2 - 32*s*t^-1 + 64*t^-1 ) + PR18(1,1,1,1,2,0,0,0,-1)*Irr(-1) * ( 64 + 48*d*s^-1*t - 96*d*s^-1 - 64*d + 16*d^2 - 128*s^-1*t + 256*s^-1 ) + PR18(1,1,1,1,2,0,0,0,0)*Irr(0) * ( - 896 - 96*d*s^-1*t + 24*d*s^-1* t^2 + 96*d*s^-1 + 64*d*s*t^-1 - 96*d*s - 128*d*t^-1 - 176*d*t + 416*d + 16*d^2*s + 24*d^2*t - 48*d^2 + 384*s^-1*t - 128*s^-1*t^2 - 256* s^-1 - 128*s*t^-1 + 128*s + 256*t^-1 + 288*t ) + PR19(1,1,1,1,1,-1,0,0,0)*Irr(-1) * ( - 256 - 8*d*s^-1*t + 16*d*s^-1 - 32*d*s*t^-1 - 80*d*t^-1 + 336*d + 4*d^2*s^-1*t - 8*d^2*s^-1 + 8* d^2*s*t^-1 + 48*d^2*t^-1 - 160*d^2 - 8*d^3*t^-1 + 32*d^3 - 2*d^4 + 32 *s*t^-1 + 32*t^-1 ) + PR19(1,1,1,1,1,0,-1,0,0)*Irr(-1) * ( - 384 - 24*d*s^-1*t + 48*d*s^-1 + 48*d*s*t^-1 - 96*d*t^-1 + 472*d + 4*d^2*s^-1*t - 8*d^2*s^-1 - 24* d^2*s*t^-1 + 48*d^2*t^-1 - 204*d^2 + 4*d^3*s*t^-1 - 8*d^3*t^-1 + 36* d^3 - 2*d^4 + 32*s^-1*t - 64*s^-1 - 32*s*t^-1 + 64*t^-1 ) + PR19(1,1,1,1,1,0,0,-1,0)*Irr(-1) * ( 224 - 48*d*s^-1*t + 96*d*s^-1 + 32*d*s*t^-1 + 80*d*t^-1 - 288*d + 8*d^2*s^-1*t - 16*d^2*s^-1 - 8*d^2* s*t^-1 - 48*d^2*t^-1 + 136*d^2 + 8*d^3*t^-1 - 28*d^3 + 2*d^4 + 64* s^-1*t - 128*s^-1 - 32*s*t^-1 - 32*t^-1 ) + PR19(1,1,1,1,1,0,0,0,0)*Irr(0) * ( - 224 - 24*d*s^-1*t + 48*d*s^-1 + 16*d*s*t^-1 - 32*d*t^-1 + 120*d - 16*d^2 + 64*s^-1*t - 128*s^-1 - 32*s*t^-1 + 64*t^-1 ) + PR19(1,1,1,1,2,0,0,0,-1)*Irr(-1) * ( 64 + 48*d*s^-1*t - 96*d*s^-1 - 64*d + 16*d^2 - 128*s^-1*t + 256*s^-1 ) + PR19(1,1,1,1,2,0,0,0,0)*Irr(0) * ( - 960 + 64*d*s*t^-1 - 64*d*s - 128*d*t^-1 - 168*d*t + 400*d + 8*d^2*s + 16*d^2*t - 32*d^2 + 128*s^-1 *t - 64*s^-1*t^2 - 128*s*t^-1 + 96*s + 256*t^-1 + 320*t );