************************************************************************ * This file contains the list of the results given in the paper * * R. Bonciani, P. Mastrolia, and E. Remiddi, * "Vertex diagrams for the QED form factors at the 2-loop level" * Nucl. Phys. B661 (2003) 289 (hep-ph/0301170). * * in two different normalizations: the first is the normalization * used in the above mentioned paper, the second is the normalization * used in: * * R. Bonciani, P. Mastrolia and E. Remiddi, * "Master integrals for the 2-loop QCD virtual corrections to the * forward-backward asymmetry" * Nucl. Phys. B690 (2004) 138 (hep-ph/0311145). * * * The results were obtained by using the symbolic program FORM, by * J. Vermaseren, and are presented as input files for a FORM program. * * The symbols m,x,z2=\zeta(2), z3=\zeta(3) etc. have the same meaning * as in the above paper; the symbols Pk1, Ek2 and E1k12 are respectively * D1, D7 and D14 in the paper; * H(0;x), H(0,1;x), etc. of the paper are written in this file as * H(0,x), H(0,1,x), etc. * * The Laurent-expansions of the Master Integrals follow. * * The r.h.s. of Eq.(73) of the paper is equal to m^2*Topo(2,-3,16785410) * in this file; the Laurent-expansion of Topo(2,-3,16785410) up to order * N=2 included follows; * ep stands for -(d-4)/2, where d is the continuous dimension * of the space-time; * the first missing term in the ep expansion is written as * ep^3*Help(16785410,3) * id Topo(2,-3,16785410) = + ep^-2 * ( - 1 ) + ep^-1 * ( - 5/2 - 1/4*x^-1 - 1/4*x ) - 11/4 - 13/8*x^-1 - 13/8*x - H(0,x) - 1/2*H(0,x)*x^-1 + 1/2*H(0,x)*x + 2*H(0,x)*[1-x]^-1 + 2*H(0,0,x) + 2*H(0,0,x)*[1-x]^-2 - 2*H(0,0,x)*[1-x]^-1 + ep * ( + 55/8 + 1/2*z2*x^-1 - 1/2*z2*x - 2*z2*[1-x]^-1 + z2 - 6*z3*[1-x]^-2 + 6*z3*[1-x]^-1 - 6*z3 - 115/16*x^-1 - 115/16*x + 6*H(-1,0,x) + 3*H(-1,0,x)*x^-1 - 3*H(-1,0,x)*x - 12*H(-1,0,x)*[1-x]^-1 - 13/2*H(0,x) - 2*H(0,x)*z2*[1-x]^-2 + 2*H(0,x)*z2*[1-x]^-1 - 2*H(0,x)*z2 - 13/4*H(0,x)*x^-1 + 13/4*H(0,x)*x + 13*H(0,x)*[1-x]^-1 - 12*H(0,-1,0,x) - 12*H(0,-1,0,x)*[1-x]^-2 + 12*H(0,-1,0,x)*[1-x]^-1 - H(0,0,x)*x^-1 + 3*H(0,0,x)*x + 5*H(0,0,x)*[1-x]^-2 + 3*H(0,0,x)*[1-x]^-1 + 6*H(0,0,0,x) + 6*H(0,0,0,x)*[1-x]^-2 - 6*H(0,0,0,x)*[1-x]^-1 + 4*H(0,1,0,x) + 4*H(0,1,0,x)*[1-x]^-2 - 4*H(0,1,0,x)*[1-x]^-1 - 2*H(1,0,x) - H(1,0,x)*x^-1 + H(1,0,x)*x + 4*H(1,0,x)*[1-x]^-1 - 4*H(1,0,0,x) - 4*H(1,0,0,x)*[1-x]^-2 + 4*H(1,0,0,x)*[1-x]^-1 ) + ep^2 * ( + 949/16 + 13/4*z2*x^-1 - 13/4*z2*x - 13*z2*[1-x]^-1 + 13/2*z2 - 13/5*z2^2*[1-x]^-2 + 13/5*z2^2*[1-x]^-1 - 13/5*z2^2 + 5/2*z3*x^-1 - 17/2*z3*x - 15*z3*[1-x]^-2 - 7*z3*[1-x]^-1 - z3 - 865/32*x^-1 - 865/32*x - 3*H(-1,x)*z2*x^-1 + 3*H(-1,x)*z2*x + 12*H(-1,x)*z2*[1-x]^-1 - 6*H(-1,x)*z2 - 36*H(-1,-1,0,x) - 18*H(-1,-1,0,x)*x^-1 + 18*H(-1,-1,0,x)*x + 72*H(-1,-1,0,x)*[1-x]^-1 + 39*H(-1,0,x) + 39/2*H(-1,0,x)*x^-1 - 39/2*H(-1,0,x)*x - 78*H(-1,0,x)*[1-x]^-1 + 24*H(-1,0,0,x) + 12*H(-1,0,0,x)*x^-1 - 12*H(-1,0,0,x)*x - 48*H(-1,0,0,x)*[1-x]^-1 + 12*H(-1,1,0,x) + 6*H(-1,1,0,x)*x^-1 - 6*H(-1,1,0,x)*x - 24*H(-1,1,0,x)*[1-x]^-1 - 115/4*H(0,x) + H(0,x)*z2*x^-1 - 3*H(0,x)*z2*x - 5*H(0,x)*z2*[1-x]^-2 - 3*H(0,x)*z2*[1-x]^-1 - 16*H(0,x)*z3*[1-x]^-2 + 16*H(0,x)*z3*[1-x]^-1 - 16*H(0,x)*z3 - 115/8*H(0,x)*x^-1 + 115/8*H(0,x)*x + 115/2*H(0,x)*[1-x]^-1 + 12*H(0,-1,x)*z2*[1-x]^-2 - 12*H(0,-1,x)*z2*[1-x]^-1 + 12*H(0,-1,x)*z2 + 72*H(0,-1,-1,0,x) + 72*H(0,-1,-1,0,x)*[1-x]^-2 - 72*H(0,-1,-1,0,x)*[1-x]^-1 + 6*H(0,-1,0,x)*x^-1 - 18*H(0,-1,0,x)*x - 30*H(0,-1,0,x)*[1-x]^-2 - 18*H(0,-1,0,x)*[1-x]^-1 - 48*H(0,-1,0,0,x) - 48*H(0,-1,0,0,x)*[1-x]^-2 + 48*H(0,-1,0,0,x)*[1-x]^-1 - 24*H(0,-1,1,0,x) - 24*H(0,-1,1,0,x)*[1-x]^-2 + 24*H(0,-1,1,0,x)*[1-x]^-1 - 27*H(0,0,x) - 6*H(0,0,x)*z2*[1-x]^-2 + 6*H(0,0,x)*z2*[1-x]^-1 - 6*H(0,0,x)*z2 - 13/2*H(0,0,x)*x^-1 + 39/2*H(0,0,x)*x + 11/2*H(0,0,x)*[1-x]^-2 + 93/2*H(0,0,x)*[1-x]^-1 - 36*H(0,0,-1,0,x) - 36*H(0,0,-1,0,x)*[1-x]^-2 + 36*H(0,0,-1,0,x)*[1-x]^-1 + 2*H(0,0,0,x) - 2*H(0,0,0,x)*x^-1 + 8*H(0,0,0,x)*x + 15*H(0,0,0,x)*[1-x]^-2 + 5*H(0,0,0,x)*[1-x]^-1 + 14*H(0,0,0,0,x) + 14*H(0,0,0,0,x)*[1-x]^-2 - 14*H(0,0,0,0,x)*[1-x]^-1 + 12*H(0,0,1,0,x) + 12*H(0,0,1,0,x)*[1-x]^-2 - 12*H(0,0,1,0,x)*[1-x]^-1 - 4*H(0,1,x)*z2*[1-x]^-2 + 4*H(0,1,x)*z2*[1-x]^-1 - 4*H(0,1,x)*z2 - 24*H(0,1,-1,0,x) - 24*H(0,1,-1,0,x)*[1-x]^-2 + 24*H(0,1,-1,0,x)*[1-x]^-1 - 2*H(0,1,0,x)*x^-1 + 6*H(0,1,0,x)*x + 10*H(0,1,0,x)*[1-x]^-2 + 6*H(0,1,0,x)*[1-x]^-1 + 20*H(0,1,0,0,x) + 20*H(0,1,0,0,x)*[1-x]^-2 - 20*H(0,1,0,0,x)*[1-x]^-1 + 8*H(0,1,1,0,x) + 8*H(0,1,1,0,x)*[1-x]^-2 - 8*H(0,1,1,0,x)*[1-x]^-1 + H(1,x)*z2*x^-1 - H(1,x)*z2*x - 4*H(1,x)*z2*[1-x]^-1 + 2*H(1,x)*z2 + 12*H(1,x)*z3*[1-x]^-2 - 12*H(1,x)*z3*[1-x]^-1 + 12*H(1,x)*z3 + 12*H(1,-1,0,x) + 6*H(1,-1,0,x)*x^-1 - 6*H(1,-1,0,x)*x - 24*H(1,-1,0,x)*[1-x]^-1 - 13*H(1,0,x) + 4*H(1,0,x)*z2*[1-x]^-2 - 4*H(1,0,x)*z2*[1-x]^-1 + 4*H(1,0,x)*z2 - 13/2*H(1,0,x)*x^-1 + 13/2*H(1,0,x)*x + 26*H(1,0,x)*[1-x]^-1 + 24*H(1,0,-1,0,x) + 24*H(1,0,-1,0,x)*[1-x]^-2 - 24*H(1,0,-1,0,x)*[1-x]^-1 - 16*H(1,0,0,x) - 6*H(1,0,0,x)*x^-1 + 2*H(1,0,0,x)*x - 10*H(1,0,0,x)*[1-x]^-2 + 26*H(1,0,0,x)*[1-x]^-1 - 12*H(1,0,0,0,x) - 12*H(1,0,0,0,x)*[1-x]^-2 + 12*H(1,0,0,0,x)*[1-x]^-1 - 8*H(1,0,1,0,x) - 8*H(1,0,1,0,x)*[1-x]^-2 + 8*H(1,0,1,0,x)*[1-x]^-1 - 4*H(1,1,0,x) - 2*H(1,1,0,x)*x^-1 + 2*H(1,1,0,x)*x + 8*H(1,1,0,x)*[1-x]^-1 + 8*H(1,1,0,0,x) + 8*H(1,1,0,0,x)*[1-x]^-2 - 8*H(1,1,0,0,x)*[1-x]^-1 ) + ep^3*Help(16785410,3) ; .sort * * The r.h.s. of Eq.(75) is equal to m^4*Topo(2,-3,16785410)*k1.k2; id Topo(2,-3,16785410)*k1.k2 = + ep^-2 * ( - 1/4*x^-1 - 1/4*x ) + ep^-1 * ( - 1/24*x^-2 - 11/24*x^-1 - 11/24*x - 1/24*x^2 ) - 11/12 - 13/48*x^-2 + 11/48*x^-1 + 11/48*x - 13/48*x^2 - 1/2*H(0,x) - 1/12*H(0,x)*x^-2 + 7/12*H(0,x)*x^-1 - 7/12*H(0,x)*x + 1/12*H(0,x)*x^2 + H(0,x)*[1-x]^-1 + 1/2*H(0,0,x)*x^-1 + 1/2*H(0,0,x)*x + H(0,0,x)*[1-x]^-2 - H(0,0,x)*[1-x]^-1 + ep * ( - 157/24 + 1/12*z2*x^-2 - 7/12*z2*x^-1 + 7/12*z2*x - 1/12*z2*x^2 - z2*[1-x]^-1 + 1/2*z2 - 3/2*z3*x^-1 - 3/2*z3*x - 3*z3*[1-x]^-2 + 3*z3*[1-x]^-1 - 115/96*x^-2 + 505/96*x^-1 + 505/96*x - 115/96*x^2 + 3*H(-1,0,x) + 1/2*H(-1,0,x)*x^-2 - 7/2*H(-1,0,x)*x^-1 + 7/2*H(-1,0,x)*x - 1/2*H(-1,0,x)*x^2 - 6*H(-1,0,x)*[1-x]^-1 - 37/12*H(0,x) - 1/2*H(0,x)*z2*x^-1 - 1/2*H(0,x)*z2*x - H(0,x)*z2*[1-x]^-2 + H(0,x)*z2*[1-x]^-1 - 13/24*H(0,x)*x^-2 + 29/8*H(0,x)*x^-1 - 29/8*H(0,x)*x + 13/24*H(0,x)*x^2 + 37/6*H(0,x)*[1-x]^-1 - 3*H(0,-1,0,x)*x^-1 - 3*H(0,-1,0,x)*x - 6*H(0,-1,0,x)*[1-x]^-2 + 6*H(0,-1,0,x)*[1-x]^-1 - 3/2*H(0,0,x) - 1/6*H(0,0,x)*x^-2 + 8/3*H(0,0,x)*x^-1 - 2*H(0,0,x)*x + 1/2*H(0,0,x)*x^2 + 13/6*H(0,0,x)*[1-x]^-2 + 11/6*H(0,0,x)*[1-x]^-1 + 3/2*H(0,0,0,x)*x^-1 + 3/2*H(0,0,0,x)*x + 3*H(0,0,0,x)*[1-x]^-2 - 3*H(0,0,0,x)*[1-x]^-1 + H(0,1,0,x)*x^-1 + H(0,1,0,x)*x + 2*H(0,1,0,x)*[1-x]^-2 - 2*H(0,1,0,x)*[1-x]^-1 - H(1,0,x) - 1/6*H(1,0,x)*x^-2 + 7/6*H(1,0,x)*x^-1 - 7/6*H(1,0,x)*x + 1/6*H(1,0,x)*x^2 + 2*H(1,0,x)*[1-x]^-1 - H(1,0,0,x)*x^-1 - H(1,0,0,x)*x - 2*H(1,0,0,x)*[1-x]^-2 + 2*H(1,0,0,x)*[1-x]^-1 ) + ep^2 * ( - 1459/48 + 13/24*z2*x^-2 - 29/8*z2*x^-1 + 29/8*z2*x - 13/24*z2*x^2 - 37/6*z2*[1-x]^-1 + 37/12*z2 - 13/20*z2^2*x^-1 - 13/20*z2^2*x - 13/10*z2^2*[1-x]^-2 + 13/10*z2^2*[1-x]^-1 + 5/12*z3*x^-2 - 89/12*z3*x^-1 + 65/12*z3*x - 17/12*z3*x^2 - 13/2*z3*[1-x]^-2 - 9/2*z3*[1-x]^-1 + 4*z3 - 865/192*x^-2 + 5147/192*x^-1 + 5147/192*x - 865/192*x^2 - 1/2*H(-1,x)*z2*x^-2 + 7/2*H(-1,x)*z2*x^-1 - 7/2*H(-1,x)*z2*x + 1/2*H(-1,x)*z2*x^2 + 6*H(-1,x)*z2*[1-x]^-1 - 3*H(-1,x)*z2 - 18*H(-1,-1,0,x) - 3*H(-1,-1,0,x)*x^-2 + 21*H(-1,-1,0,x)*x^-1 - 21*H(-1,-1,0,x)*x + 3*H(-1,-1,0,x)*x^2 + 36*H(-1,-1,0,x)*[1-x]^-1 + 37/2*H(-1,0,x) + 13/4*H(-1,0,x)*x^-2 - 87/4*H(-1,0,x)*x^-1 + 87/4*H(-1,0,x)*x - 13/4*H(-1,0,x)*x^2 - 37*H(-1,0,x)*[1-x]^-1 + 12*H(-1,0,0,x) + 2*H(-1,0,0,x)*x^-2 - 14*H(-1,0,0,x)*x^-1 + 14*H(-1,0,0,x)*x - 2*H(-1,0,0,x)*x^2 - 24*H(-1,0,0,x)*[1-x]^-1 + 6*H(-1,1,0,x) + H(-1,1,0,x)*x^-2 - 7*H(-1,1,0,x)*x^-1 + 7*H(-1,1,0,x)*x - H(-1,1,0,x)*x^2 - 12*H(-1,1,0,x)*[1-x]^-1 - 105/8*H(0,x) + 1/6*H(0,x)*z2*x^-2 - 8/3*H(0,x)*z2*x^-1 + 2*H(0,x)*z2*x - 1/2*H(0,x)*z2*x^2 - 13/6*H(0,x)*z2*[1-x]^-2 - 11/6*H(0,x)*z2*[1-x]^-1 + 3/2*H(0,x)*z2 - 4*H(0,x)*z3*x^-1 - 4*H(0,x)*z3*x - 8*H(0,x)*z3*[1-x]^-2 + 8*H(0,x)*z3*[1-x]^-1 - 115/48*H(0,x)*x^-2 + 745/48*H(0,x)*x^-1 - 745/48*H(0,x)*x + 115/48*H(0,x)*x^2 + 105/4*H(0,x)*[1-x]^-1 + 3*H(0,-1,x)*z2*x^-1 + 3*H(0,-1,x)*z2*x + 6*H(0,-1,x)*z2*[1-x]^-2 - 6*H(0,-1,x)*z2*[1-x]^-1 + 18*H(0,-1,-1,0,x)*x^-1 + 18*H(0,-1,-1,0,x)*x + 36*H(0,-1,-1,0,x)*[1-x]^-2 - 36*H(0,-1,-1,0,x)*[1-x]^-1 + 9*H(0,-1,0,x) + H(0,-1,0,x)*x^-2 - 16*H(0,-1,0,x)*x^-1 + 12*H(0,-1,0,x)*x - 3*H(0,-1,0,x)*x^2 - 13*H(0,-1,0,x)*[1-x]^-2 - 11*H(0,-1,0,x)*[1-x]^-1 - 12*H(0,-1,0,0,x)*x^-1 - 12*H(0,-1,0,0,x)*x - 24*H(0,-1,0,0,x)*[1-x]^-2 + 24*H(0,-1,0,0,x)*[1-x]^-1 - 6*H(0,-1,1,0,x)*x^-1 - 6*H(0,-1,1,0,x)*x - 12*H(0,-1,1,0,x)*[1-x]^-2 + 12*H(0,-1,1,0,x)*[1-x]^-1 - 109/12*H(0,0,x) - 3/2*H(0,0,x)*z2*x^-1 - 3/2*H(0,0,x)*z2*x - 3*H(0,0,x)*z2*[1-x]^-2 + 3*H(0,0,x)*z2*[1-x]^-1 - 13/12*H(0,0,x)*x^-2 + 125/12*H(0,0,x)*x^-1 - 223/12*H(0,0,x)*x + 13/4*H(0,0,x)*x^2 + 19/12*H(0,0,x)*[1-x]^-2 + 277/12*H(0,0,x)*[1-x]^-1 - 9*H(0,0,-1,0,x)*x^-1 - 9*H(0,0,-1,0,x)*x - 18*H(0,0,-1,0,x)*[1-x]^-2 + 18*H(0,0,-1,0,x)*[1-x]^-1 - 7/2*H(0,0,0,x) - 1/3*H(0,0,0,x)*x^-2 + 41/6*H(0,0,0,x)*x^-1 - 29/6*H(0,0,0,x)*x + 4/3*H(0,0,0,x)*x^2 + 13/2*H(0,0,0,x)*[1-x]^-2 + 7/2*H(0,0,0,x)*[1-x]^-1 + 7/2*H(0,0,0,0,x)*x^-1 + 7/2*H(0,0,0,0,x)*x + 7*H(0,0,0,0,x)*[1-x]^-2 - 7*H(0,0,0,0,x)*[1-x]^-1 + 3*H(0,0,1,0,x)*x^-1 + 3*H(0,0,1,0,x)*x + 6*H(0,0,1,0,x)*[1-x]^-2 - 6*H(0,0,1,0,x)*[1-x]^-1 - H(0,1,x)*z2*x^-1 - H(0,1,x)*z2*x - 2*H(0,1,x)*z2*[1-x]^-2 + 2*H(0,1,x)*z2*[1-x]^-1 - 6*H(0,1,-1,0,x)*x^-1 - 6*H(0,1,-1,0,x)*x - 12*H(0,1,-1,0,x)*[1-x]^-2 + 12*H(0,1,-1,0,x)*[1-x]^-1 - 3*H(0,1,0,x) - 1/3*H(0,1,0,x)*x^-2 + 16/3*H(0,1,0,x)*x^-1 - 4*H(0,1,0,x)*x + H(0,1,0,x)*x^2 + 13/3*H(0,1,0,x)*[1-x]^-2 + 11/3*H(0,1,0,x)*[1-x]^-1 + 5*H(0,1,0,0,x)*x^-1 + 5*H(0,1,0,0,x)*x + 10*H(0,1,0,0,x)*[1-x]^-2 - 10*H(0,1,0,0,x)*[1-x]^-1 + 2*H(0,1,1,0,x)*x^-1 + 2*H(0,1,1,0,x)*x + 4*H(0,1,1,0,x)*[1-x]^-2 - 4*H(0,1,1,0,x)*[1-x]^-1 + 1/6*H(1,x)*z2*x^-2 - 7/6*H(1,x)*z2*x^-1 + 7/6*H(1,x)*z2*x - 1/6*H(1,x)*z2*x^2 - 2*H(1,x)*z2*[1-x]^-1 + H(1,x)*z2 + 3*H(1,x)*z3*x^-1 + 3*H(1,x)*z3*x + 6*H(1,x)*z3*[1-x]^-2 - 6*H(1,x)*z3*[1-x]^-1 + 6*H(1,-1,0,x) + H(1,-1,0,x)*x^-2 - 7*H(1,-1,0,x)*x^-1 + 7*H(1,-1,0,x)*x - H(1,-1,0,x)*x^2 - 12*H(1,-1,0,x)*[1-x]^-1 - 37/6*H(1,0,x) + H(1,0,x)*z2*x^-1 + H(1,0,x)*z2*x + 2*H(1,0,x)*z2*[1-x]^-2 - 2*H(1,0,x)*z2*[1-x]^-1 - 13/12*H(1,0,x)*x^-2 + 29/4*H(1,0,x)*x^-1 - 29/4*H(1,0,x)*x + 13/12*H(1,0,x)*x^2 + 37/3*H(1,0,x)*[1-x]^-1 + 6*H(1,0,-1,0,x)*x^-1 + 6*H(1,0,-1,0,x)*x + 12*H(1,0,-1,0,x)*[1-x]^-2 - 12*H(1,0,-1,0,x)*[1-x]^-1 - 5*H(1,0,0,x) - H(1,0,0,x)*x^-2 + 4*H(1,0,0,x)*x^-1 - 16/3*H(1,0,0,x)*x + 1/3*H(1,0,0,x)*x^2 - 13/3*H(1,0,0,x)*[1-x]^-2 + 37/3*H(1,0,0,x)*[1-x]^-1 - 3*H(1,0,0,0,x)*x^-1 - 3*H(1,0,0,0,x)*x - 6*H(1,0,0,0,x)*[1-x]^-2 + 6*H(1,0,0,0,x)*[1-x]^-1 - 2*H(1,0,1,0,x)*x^-1 - 2*H(1,0,1,0,x)*x - 4*H(1,0,1,0,x)*[1-x]^-2 + 4*H(1,0,1,0,x)*[1-x]^-1 - 2*H(1,1,0,x) - 1/3*H(1,1,0,x)*x^-2 + 7/3*H(1,1,0,x)*x^-1 - 7/3*H(1,1,0,x)*x + 1/3*H(1,1,0,x)*x^2 + 4*H(1,1,0,x)*[1-x]^-1 + 2*H(1,1,0,0,x)*x^-1 + 2*H(1,1,0,0,x)*x + 4*H(1,1,0,0,x)*[1-x]^-2 - 4*H(1,1,0,0,x)*[1-x]^-1 ) + ep^3*Help(16785410,3) ; .sort * * The r.h.s. of Eq.(83) is equal to m^2*Topo(2,-3,2097155); id Topo(2,-3,2097155) = + ep^-2 * ( - 1/2 ) + ep^-1 * ( - 5/4 ) - 11/8 - 2*z2 + ep * ( + 55/16 - 5*z2 - 4*z3 ) + ep^2 * ( + 949/32 - 11/2*z2 - 64/5*z2^2 - 10*z3 ) + ep^3*Help(2097155,3) ; .sort * * The r.h.s. of Eq.(88) is equal to m^2*Topo(2,-3,4218880); id Topo(2,-3,4218880) = + ep^-2 * ( - 1 ) + ep^-1 * ( - 3 + H(0,x) - 2*H(0,x)*[1-x]^-1 ) - 7 + 2*z2*[1-x]^-1 - z2 - 2*H(-1,0,x) + 4*H(-1,0,x)*[1-x]^-1 + 3*H(0,x) - 6*H(0,x)*[1-x]^-1 + H(0,0,x) - 2*H(0,0,x)*[1-x]^-1 + ep * ( - 15 + 6*z2*[1-x]^-1 - 3*z2 + 4*z3*[1-x]^-1 - 2*z3 - 4*H(-1,x)*z2*[1-x]^-1 + 2*H(-1,x)*z2 + 4*H(-1,-1,0,x) - 8*H(-1,-1,0,x)*[1-x]^-1 - 6*H(-1,0,x) + 12*H(-1,0,x)*[1-x]^-1 - 2*H(-1,0,0,x) + 4*H(-1,0,0,x)*[1-x]^-1 + 7*H(0,x) + 2*H(0,x)*z2*[1-x]^-1 - H(0,x)*z2 - 14*H(0,x)*[1-x]^-1 - 2*H(0,-1,0,x) + 4*H(0,-1,0,x)*[1-x]^-1 + 3*H(0,0,x) - 6*H(0,0,x)*[1-x]^-1 + H(0,0,0,x) - 2*H(0,0,0,x)*[1-x]^-1 ) + ep^2 * ( - 31 + 14*z2*[1-x]^-1 - 7*z2 + 9/5*z2^2*[1-x]^-1 - 9/10*z2^2 + 12*z3*[1-x]^-1 - 6*z3 - 12*H(-1,x)*z2*[1-x]^-1 + 6*H(-1,x)*z2 - 8*H(-1,x)*z3*[1-x]^-1 + 4*H(-1,x)*z3 + 8*H(-1,-1,x)*z2*[1-x]^-1 - 4*H(-1,-1,x)*z2 - 8*H(-1,-1,-1,0,x) + 16*H(-1,-1,-1,0,x)*[1-x]^-1 + 12*H(-1,-1,0,x) - 24*H(-1,-1,0,x)*[1-x]^-1 + 4*H(-1,-1,0,0,x) - 8*H(-1,-1,0,0,x)*[1-x]^-1 - 14*H(-1,0,x) - 4*H(-1,0,x)*z2*[1-x]^-1 + 2*H(-1,0,x)*z2 + 28*H(-1,0,x)*[1-x]^-1 + 4*H(-1,0,-1,0,x) - 8*H(-1,0,-1,0,x)*[1-x]^-1 - 6*H(-1,0,0,x) + 12*H(-1,0,0,x)*[1-x]^-1 - 2*H(-1,0,0,0,x) + 4*H(-1,0,0,0,x)*[1-x]^-1 + 15*H(0,x) + 6*H(0,x)*z2*[1-x]^-1 - 3*H(0,x)*z2 + 4*H(0,x)*z3*[1-x]^-1 - 2*H(0,x)*z3 - 30*H(0,x)*[1-x]^-1 - 4*H(0,-1,x)*z2*[1-x]^-1 + 2*H(0,-1,x)*z2 + 4*H(0,-1,-1,0,x) - 8*H(0,-1,-1,0,x)*[1-x]^-1 - 6*H(0,-1,0,x) + 12*H(0,-1,0,x)*[1-x]^-1 - 2*H(0,-1,0,0,x) + 4*H(0,-1,0,0,x)*[1-x]^-1 + 7*H(0,0,x) + 2*H(0,0,x)*z2*[1-x]^-1 - H(0,0,x)*z2 - 14*H(0,0,x)*[1-x]^-1 - 2*H(0,0,-1,0,x) + 4*H(0,0,-1,0,x)*[1-x]^-1 + 3*H(0,0,0,x) - 6*H(0,0,0,x)*[1-x]^-1 + H(0,0,0,0,x) - 2*H(0,0,0,0,x)*[1-x]^-1 ) + ep^3*Help(4218880,3) ; .sort * * The r.h.s. of Eq.(93) is equal to m^2*Topo(2,-3,2121728); id Topo(2,-3,2121728) = + ep^-2 * ( - 3/2 ) + ep^-1 * ( - 17/4 ) - 59/8 + ep * ( - 65/16 - 8*z2 ) + ep^2 * ( + 1117/32 + 48*z2*ln2 - 52*z2 - 28*z3 ) + ep^3*Help(2121728,3) ; .sort * * The r.h.s. of Eq.(98) is equal to Topo(2,-4,12607488); id Topo(2,-4,12607488) = + ep^-2 * ( + 1 ) + ep^-1 * ( + 4 - 2*H(0,x) + 4*H(0,x)*[1-x]^-1 ) + 12 - 4*z2*[1-x]^-1 + 2*z2 + 4*H(-1,0,x) - 8*H(-1,0,x)*[1-x]^-1 - 8*H(0,x) + 16*H(0,x)*[1-x]^-1 + 8*H(0,0,x)*[1-x]^-2 - 4*H(0,0,x)*[1-x]^-1 + ep * ( + 32 - 16*z2*[1-x]^-1 + 8*z2 - 8*z3*[1-x]^-1 + 4*z3 + 8*H(-1,x)*z2*[1-x]^-1 - 4*H(-1,x)*z2 - 8*H(-1,-1,0,x) + 16*H(-1,-1,0,x)*[1-x]^-1 + 16*H(-1,0,x) - 32*H(-1,0,x)*[1-x]^-1 - 4*H(-1,0,0,x) - 32*H(-1,0,0,x)*[1-x]^-2 + 24*H(-1,0,0,x)*[1-x]^-1 - 24*H(0,x) - 8*H(0,x)*z2*[1-x]^-2 + 4*H(0,x)*z2*[1-x]^-1 + 48*H(0,x)*[1-x]^-1 - 16*H(0,-1,0,x)*[1-x]^-2 + 8*H(0,-1,0,x)*[1-x]^-1 + 32*H(0,0,x)*[1-x]^-2 - 16*H(0,0,x)*[1-x]^-1 + 4*H(0,0,0,x) + 24*H(0,0,0,x)*[1-x]^-2 - 20*H(0,0,0,x)*[1-x]^-1 ) + ep^2 * ( + 80 - 48*z2*[1-x]^-1 + 24*z2 + 4*z2^2*[1-x]^-2 - 38/5*z2^2*[1-x]^-1 + 14/5*z2^2 - 32*z3*[1-x]^-1 + 16*z3 + 32*H(-1,x)*z2*[1-x]^-1 - 16*H(-1,x)*z2 + 16*H(-1,x)*z3*[1-x]^-1 - 8*H(-1,x)*z3 - 16*H(-1,-1,x)*z2*[1-x]^-1 + 8*H(-1,-1,x)*z2 + 16*H(-1,-1,-1,0,x) - 32*H(-1,-1,-1,0,x)*[1-x]^-1 - 32*H(-1,-1,0,x) + 64*H(-1,-1,0,x)*[1-x]^-1 + 24*H(-1,-1,0,0,x) + 128*H(-1,-1,0,0,x)*[1-x]^-2 - 112*H(-1,-1,0,0,x)*[1-x]^-1 + 48*H(-1,0,x) + 32*H(-1,0,x)*z2*[1-x]^-2 - 24*H(-1,0,x)*z2*[1-x]^-1 + 4*H(-1,0,x)*z2 - 96*H(-1,0,x)*[1-x]^-1 + 8*H(-1,0,-1,0,x) + 64*H(-1,0,-1,0,x)*[1-x]^-2 - 48*H(-1,0,-1,0,x)*[1-x]^-1 - 16*H(-1,0,0,x) - 128*H(-1,0,0,x)*[1-x]^-2 + 96*H(-1,0,0,x)*[1-x]^-1 - 20*H(-1,0,0,0,x) - 96*H(-1,0,0,0,x)*[1-x]^-2 + 88*H(-1,0,0,0,x)*[1-x]^-1 - 64*H(0,x) - 32*H(0,x)*z2*[1-x]^-2 + 16*H(0,x)*z2*[1-x]^-1 - 16*H(0,x)*z3*[1-x]^-2 + 8*H(0,x)*z3*[1-x]^-1 + 128*H(0,x)*[1-x]^-1 + 16*H(0,-1,x)*z2*[1-x]^-2 - 8*H(0,-1,x)*z2*[1-x]^-1 + 32*H(0,-1,-1,0,x)*[1-x]^-2 - 16*H(0,-1,-1,0,x)*[1-x]^-1 - 64*H(0,-1,0,x)*[1-x]^-2 + 32*H(0,-1,0,x)*[1-x]^-1 - 16*H(0,-1,0,0,x) - 80*H(0,-1,0,0,x)*[1-x]^-2 + 72*H(0,-1,0,0,x)*[1-x]^-1 - 24*H(0,0,x)*z2*[1-x]^-2 + 20*H(0,0,x)*z2*[1-x]^-1 - 4*H(0,0,x)*z2 + 96*H(0,0,x)*[1-x]^-2 - 48*H(0,0,x)*[1-x]^-1 - 8*H(0,0,-1,0,x) - 48*H(0,0,-1,0,x)*[1-x]^-2 + 40*H(0,0,-1,0,x)*[1-x]^-1 + 16*H(0,0,0,x) + 96*H(0,0,0,x)*[1-x]^-2 - 80*H(0,0,0,x)*[1-x]^-1 + 12*H(0,0,0,0,x) + 56*H(0,0,0,0,x)*[1-x]^-2 - 52*H(0,0,0,0,x)*[1-x]^-1 ) + ep^3*Help(12607488,3) ; .sort * * The r.h.s. of Eq.(103) is equal to Topo(2,-4,3145731); id Topo(2,-4,3145731) = + ep^-2 * ( + 1/2 ) + ep^-1 * ( + 5/2 - H(0,x) + 2*H(0,x)*[1-x]^-1 ) + 19/2 - 4*z2*[1-x]^-1 + 4*z2 + 4*H(-1,0,x) - 8*H(-1,0,x)*[1-x]^-1 - 5*H(0,x) + 10*H(0,x)*[1-x]^-1 - 2*H(0,0,x) + 4*H(0,0,x)*[1-x]^-1 + ep * ( + 65/2 - 20*z2*[1-x]^-1 + 20*z2 - 16*z3*[1-x]^-1 + 12*z3 + 16*H(-1,x)*z2*[1-x]^-1 - 8*H(-1,x)*z2 - 16*H(-1,-1,0,x) + 32*H(-1,-1,0,x)*[1-x]^-1 + 20*H(-1,0,x) - 40*H(-1,0,x)*[1-x]^-1 + 8*H(-1,0,0,x) - 16*H(-1,0,0,x)*[1-x]^-1 - 19*H(0,x) + 38*H(0,x)*[1-x]^-1 + 8*H(0,-1,0,x) - 16*H(0,-1,0,x)*[1-x]^-1 - 10*H(0,0,x) + 20*H(0,0,x)*[1-x]^-1 - 4*H(0,0,0,x) + 8*H(0,0,0,x)*[1-x]^-1 ) + ep^2 * ( + 211/2 - 76*z2*[1-x]^-1 + 76*z2 - 152/5*z2^2*[1-x]^-1 + 28*z2^2 - 80*z3*[1-x]^-1 + 60*z3 + 80*H(-1,x)*z2*[1-x]^-1 - 40*H(-1,x)*z2 + 64*H(-1,x)*z3*[1-x]^-1 - 32*H(-1,x)*z3 - 64*H(-1,-1,x)*z2*[1-x]^-1 + 32*H(-1,-1,x)*z2 + 64*H(-1,-1,-1,0,x) - 128*H(-1,-1,-1,0,x)*[1-x]^-1 - 80*H(-1,-1,0,x) + 160*H(-1,-1,0,x)*[1-x]^-1 - 32*H(-1,-1,0,0,x) + 64*H(-1,-1,0,0,x)*[1-x]^-1 + 76*H(-1,0,x) - 152*H(-1,0,x)*[1-x]^-1 - 32*H(-1,0,-1,0,x) + 64*H(-1,0,-1,0,x)*[1-x]^-1 + 40*H(-1,0,0,x) - 80*H(-1,0,0,x)*[1-x]^-1 + 16*H(-1,0,0,0,x) - 32*H(-1,0,0,0,x)*[1-x]^-1 - 65*H(0,x) - 16*H(0,x)*z3*[1-x]^-1 + 8*H(0,x)*z3 + 130*H(0,x)*[1-x]^-1 + 32*H(0,-1,x)*z2*[1-x]^-1 - 16*H(0,-1,x)*z2 - 32*H(0,-1,-1,0,x) + 64*H(0,-1,-1,0,x)*[1-x]^-1 + 40*H(0,-1,0,x) - 80*H(0,-1,0,x)*[1-x]^-1 + 16*H(0,-1,0,0,x) - 32*H(0,-1,0,0,x)*[1-x]^-1 - 38*H(0,0,x) + 76*H(0,0,x)*[1-x]^-1 + 16*H(0,0,-1,0,x) - 32*H(0,0,-1,0,x)*[1-x]^-1 - 20*H(0,0,0,x) + 40*H(0,0,0,x)*[1-x]^-1 - 8*H(0,0,0,0,x) + 16*H(0,0,0,0,x)*[1-x]^-1 ) + ep^4*Help(3145731,4) ; .sort * * The r.h.s. of Eq.(108) is equal to Topo(2,-4,1310723); id Topo(2,-4,1310723) = + ep^-2 * ( + 1/2 ) + ep^-1 * ( + 5/2 ) + 19/2 + 2*H(0,x)*z2*[1-x]^-1 - 2*H(0,x)*z2*[x+1]^-1 - H(0,0,x) + 2*H(0,0,0,x)*[1-x]^-1 - 2*H(0,0,0,x)*[x+1]^-1 + ep * ( + 65/2 - 26/5*z2^2*[1-x]^-1 + 26/5*z2^2*[x+1]^-1 + 3*z3 + 4*H(-1,0,x)*z2*[1-x]^-1 - 4*H(-1,0,x)*z2*[x+1]^-1 + 4*H(-1,0,0,0,x)*[1-x]^-1 - 4*H(-1,0,0,0,x)*[x+1]^-1 + 2*H(0,x)*z2*[1-x]^-1 - 2*H(0,x)*z2*[x+1]^-1 + H(0,x)*z2 - 2*H(0,x)*z3*[1-x]^-1 + 2*H(0,x)*z3*[x+1]^-1 + 6*H(0,-1,0,x) - 5*H(0,0,x) - 6*H(0,0,x)*z2*[1-x]^-1 + 6*H(0,0,x)*z2*[x+1]^-1 - 12*H(0,0,-1,0,x)*[1-x]^-1 + 12*H(0,0,-1,0,x)*[x+1]^-1 - 3*H(0,0,0,x) + 2*H(0,0,0,x)*[1-x]^-1 - 2*H(0,0,0,x)*[x+1]^-1 + 2*H(0,0,0,0,x)*[1-x]^-1 - 2*H(0,0,0,0,x)*[x+1]^-1 + 4*H(0,0,1,0,x)*[1-x]^-1 - 4*H(0,0,1,0,x)*[x+1]^-1 - 2*H(0,1,0,x) - 4*H(0,1,0,0,x)*[1-x]^-1 + 4*H(0,1,0,0,x)*[x+1]^-1 - 4*H(1,0,x)*z2*[1-x]^-1 + 4*H(1,0,x)*z2*[x+1]^-1 + 2*H(1,0,0,x) - 4*H(1,0,0,0,x)*[1-x]^-1 + 4*H(1,0,0,0,x)*[x+1]^-1 ) + ep^2*Help(1310723,2) ; .sort * * The r.h.s. of Eq.(113) is equal to Topo(2,-4,17309698); id Topo(2,-4,17309698) = + ep^-2 * ( + 1/2 ) + ep^-1 * ( + 5/2 ) + 19/2 - 2*z2 + 2*H(0,x)*z2*[1-x]^-1 - 2*H(0,x)*z2*[x+1]^-1 - H(0,0,x) + 2*H(0,0,0,x)*[1-x]^-1 - 2*H(0,0,0,x)*[x+1]^-1 + ep * ( + 65/2 - 10*z2 + 1/5*z2^2*[1-x]^-1 - 1/5*z2^2*[x+1]^-1 - 3*z3 + 12*H(-1,x)*z2 + 4*H(-1,0,x)*z2*[1-x]^-1 - 4*H(-1,0,x)*z2*[x+1]^-1 + 4*H(-1,0,0,x) + 4*H(-1,0,0,0,x)*[1-x]^-1 - 4*H(-1,0,0,0,x)*[x+1]^-1 + 6*H(0,x)*z2*[1-x]^-1 + 2*H(0,x)*z2*[x+1]^-1 - 9*H(0,x)*z2 - 12*H(0,-1,x)*z2*[1-x]^-1 + 12*H(0,-1,x)*z2*[x+1]^-1 + 6*H(0,-1,0,x) - 4*H(0,-1,0,0,x)*[1-x]^-1 + 4*H(0,-1,0,0,x)*[x+1]^-1 - 5*H(0,0,x) - 12*H(0,0,-1,0,x)*[1-x]^-1 + 12*H(0,0,-1,0,x)*[x+1]^-1 - 11*H(0,0,0,x) + 6*H(0,0,0,x)*[1-x]^-1 + 2*H(0,0,0,x)*[x+1]^-1 + 6*H(0,0,0,0,x)*[1-x]^-1 - 6*H(0,0,0,0,x)*[x+1]^-1 + 4*H(0,0,1,0,x)*[1-x]^-1 - 4*H(0,0,1,0,x)*[x+1]^-1 - 2*H(0,1,0,x) - 4*H(1,0,x)*z2*[1-x]^-1 + 4*H(1,0,x)*z2*[x+1]^-1 - 2*H(1,0,0,x) - 4*H(1,0,0,0,x)*[1-x]^-1 + 4*H(1,0,0,0,x)*[x+1]^-1 ) + ep^2*Help(17309698,2) ; .sort * * The r.h.s. of Eq.(115) is equal to 1/m^2*Topo(2,-4,17309698)/E2k2; id Topo(2,-4,17309698)/E2k2 = + ep^-2 * ( - 1/2 ) + ep^-1 * ( - 1 + 1/2*H(0,x) - H(0,x)*[1-x]^-1 ) - 2 + z2*[1-x]^-1 + 1/2*z2 - 3*H(-1,0,x) + 6*H(-1,0,x)*[1-x]^-1 + H(0,x) - 2*H(0,x)*[1-x]^-1 + 7/2*H(0,0,x) - 4*H(0,0,x)*[1-x]^-1 + H(1,0,x) - 2*H(1,0,x)*[1-x]^-1 + ep * ( - 4 + 2*z2*[1-x]^-1 + z2 + 11*z3*[1-x]^-1 - 7*z3 - 6*H(-1,x)*z2*[1-x]^-1 - 3*H(-1,x)*z2 + 18*H(-1,-1,0,x) - 36*H(-1,-1,0,x)*[1-x]^-1 - 6*H(-1,0,x) + 12*H(-1,0,x)*[1-x]^-1 - 14*H(-1,0,0,x) + 24*H(-1,0,0,x)*[1-x]^-1 - 6*H(-1,1,0,x) + 12*H(-1,1,0,x)*[1-x]^-1 + 2*H(0,x) + 4*H(0,x)*z2*[1-x]^-1 - 4*H(0,x)*z2*[x+1]^-1 + 3/2*H(0,x)*z2 - 4*H(0,x)*[1-x]^-1 - 21*H(0,-1,0,x) + 24*H(0,-1,0,x)*[1-x]^-1 + 7*H(0,0,x) - 8*H(0,0,x)*[1-x]^-1 + 27/2*H(0,0,0,x) - 10*H(0,0,0,x)*[1-x]^-1 - 4*H(0,0,0,x)*[x+1]^-1 + 7*H(0,1,0,x) - 8*H(0,1,0,x)*[1-x]^-1 + 2*H(1,x)*z2*[1-x]^-1 - H(1,x)*z2 - 6*H(1,-1,0,x) + 12*H(1,-1,0,x)*[1-x]^-1 + 2*H(1,0,x) - 4*H(1,0,x)*[1-x]^-1 + 3*H(1,0,0,x) - 8*H(1,0,0,x)*[1-x]^-1 + 2*H(1,1,0,x) - 4*H(1,1,0,x)*[1-x]^-1 ) + ep^2*Help(17309698,2) ; .sort * * The r.h.s. of Eq.(123) is equal to Topo(2,-4,3170304); id Topo(2,-4,3170304) = + ep^-2 * ( + 1/2 ) + ep^-1 * ( + 5/2 - H(0,x) + 2*H(0,x)*[1-x]^-1 ) + 19/2 - 2*z2*[1-x]^-1 + 2*z2 + 2*H(-1,0,x) - 4*H(-1,0,x)*[1-x]^-1 - 5*H(0,x) + H(0,x)*z2*[1-x]^-1 - H(0,x)*z2*[x+1]^-1 + 10*H(0,x)*[1-x]^-1 + 2*H(0,0,x)*[1-x]^-1 + H(0,0,0,x)*[1-x]^-1 - H(0,0,0,x)*[x+1]^-1 + ep * ( + 65/2 - 10*z2*[1-x]^-1 + 10*z2 - 1/10*z2^2*[1-x]^-1 + 1/10*z2^2*[x+1]^-1 - 4*z3*[1-x]^-1 + 4*H(-1,x)*z2*[1-x]^-1 - 8*H(-1,x)*z2 - 4*H(-1,-1,0,x) + 8*H(-1,-1,0,x)*[1-x]^-1 + 10*H(-1,0,x) + 2*H(-1,0,x)*z2*[1-x]^-1 - 2*H(-1,0,x)*z2*[x+1]^-1 - 20*H(-1,0,x)*[1-x]^-1 - 4*H(-1,0,0,x)*[1-x]^-1 + 2*H(-1,0,0,0,x)*[1-x]^-1 - 2*H(-1,0,0,0,x)*[x+1]^-1 - 19*H(0,x) - H(0,x)*z2*[1-x]^-1 - 3*H(0,x)*z2*[x+1]^-1 + 4*H(0,x)*z2 - 2*H(0,x)*z3*[1-x]^-1 + 2*H(0,x)*z3*[x+1]^-1 + 38*H(0,x)*[1-x]^-1 - 6*H(0,-1,x)*z2*[1-x]^-1 + 6*H(0,-1,x)*z2*[x+1]^-1 - 4*H(0,-1,0,x)*[1-x]^-1 - 2*H(0,-1,0,0,x)*[1-x]^-1 + 2*H(0,-1,0,0,x)*[x+1]^-1 + H(0,0,x)*z2*[1-x]^-1 - H(0,0,x)*z2*[x+1]^-1 + 10*H(0,0,x)*[1-x]^-1 - 2*H(0,0,-1,0,x)*[1-x]^-1 + 2*H(0,0,-1,0,x)*[x+1]^-1 + 4*H(0,0,0,x) + 3*H(0,0,0,x)*[1-x]^-1 - 3*H(0,0,0,x)*[x+1]^-1 + 3*H(0,0,0,0,x)*[1-x]^-1 - 3*H(0,0,0,0,x)*[x+1]^-1 + 4*H(0,1,0,0,x)*[1-x]^-1 - 4*H(0,1,0,0,x)*[x+1]^-1 + 4*H(1,0,0,x) ) + ep^2*Help(3170304,2) ; .sort * * The r.h.s. of Eq.(125) is equal to m^2*Topo(2,-4,3170304)*p2.k1; id Topo(2,-4,3170304)*p2.k1 = + ep^-2 * ( + 1/8 + 1/16*x^-1 + 1/16*x ) + ep^-1 * ( + 9/16 + 9/32*x^-1 + 9/32*x - 1/2*H(0,x) + 1/8*H(0,x)*x^-1 - 1/8*H(0,x)*x + H(0,x)*[1-x]^-1 ) + 63/32 + 1/4*z2*x - z2*[1-x]^-1 + 1/2*z2 + 63/64*x^-1 + 63/64*x + H(-1,0,x) - 1/4*H(-1,0,x)*x^-1 + 1/4*H(-1,0,x)*x - 2*H(-1,0,x)*[1-x]^-1 - 2*H(0,x) + 1/4*H(0,x)*z2*[1-x]^-1 - 1/4*H(0,x)*z2*[x+1]^-1 + 9/16*H(0,x)*x^-1 - 9/16*H(0,x)*x + 4*H(0,x)*[1-x]^-1 - 1/2*H(0,0,x) + 1/4*H(0,0,x)*x^-1 + H(0,0,x)*[1-x]^-1 + 1/4*H(0,0,0,x)*[1-x]^-1 - 1/4*H(0,0,0,x)*[x+1]^-1 + ep * ( + 405/64 + 9/8*z2*x - 4*z2*[1-x]^-1 + z2 - 1/40*z2^2*[1-x]^-1 + 1/40*z2^2*[x+1]^-1 - 1/2*z3*x^-1 - 2*z3*[1-x]^-1 + z3 + 405/128*x^-1 + 405/128*x - 1/2*H(-1,x)*z2*x^-1 - H(-1,x)*z2*x + 2*H(-1,x)*z2*[1-x]^-1 - H(-1,x)*z2 - 2*H(-1,-1,0,x) + 1/2*H(-1,-1,0,x)*x^-1 - 1/2*H(-1,-1,0,x)*x + 4*H(-1,-1,0,x)*[1-x]^-1 + 4*H(-1,0,x) + 1/2*H(-1,0,x)*z2*[1-x]^-1 - 1/2*H(-1,0,x)*z2*[x+1]^-1 - 9/8*H(-1,0,x)*x^-1 + 9/8*H(-1,0,x)*x - 8*H(-1,0,x)*[1-x]^-1 + H(-1,0,0,x) - 1/2*H(-1,0,0,x)*x^-1 - 2*H(-1,0,0,x)*[1-x]^-1 + 1/2*H(-1,0,0,0,x)*[1-x]^-1 - 1/2*H(-1,0,0,0,x)*[x+1]^-1 - 25/4*H(0,x) + 1/2*H(0,x)*z2*x - 7/8*H(0,x)*z2*[1-x]^-1 - 1/8*H(0,x)*z2*[x+1]^-1 + 1/2*H(0,x)*z2 - 1/2*H(0,x)*z3*[1-x]^-1 + 1/2*H(0,x)*z3*[x+1]^-1 + 63/32*H(0,x)*x^-1 - 63/32*H(0,x)*x + 25/2*H(0,x)*[1-x]^-1 - 3/2*H(0,-1,x)*z2*[1-x]^-1 + 3/2*H(0,-1,x)*z2*[x+1]^-1 + H(0,-1,0,x) - 1/2*H(0,-1,0,x)*x^-1 - 2*H(0,-1,0,x)*[1-x]^-1 - 1/2*H(0,-1,0,0,x)*[1-x]^-1 + 1/2*H(0,-1,0,0,x)*[x+1]^-1 - 2*H(0,0,x) + 1/4*H(0,0,x)*z2*[1-x]^-1 - 1/4*H(0,0,x)*z2*[x+1]^-1 + 9/8*H(0,0,x)*x^-1 + 4*H(0,0,x)*[1-x]^-1 - 1/2*H(0,0,-1,0,x)*[1-x]^-1 + 1/2*H(0,0,-1,0,x)*[x+1]^-1 - 1/2*H(0,0,0,x) + 1/2*H(0,0,0,x)*x^-1 + 1/2*H(0,0,0,x)*x + 9/8*H(0,0,0,x)*[1-x]^-1 - 1/8*H(0,0,0,x)*[x+1]^-1 + 3/4*H(0,0,0,0,x)*[1-x]^-1 - 3/4*H(0,0,0,0,x)*[x+1]^-1 + H(0,1,0,0,x)*[1-x]^-1 - H(0,1,0,0,x)*[x+1]^-1 + 1/2*H(1,0,0,x)*x^-1 + 1/2*H(1,0,0,x)*x ) + ep^2*Help(3170304,2) ; .sort * * The r.h.s. of Eq.(133) is equal to 1/m^2*Topo(2,-5,3276803); id Topo(2,-5,3276803) = + 17/20*z2^2*[1-x]^-1 - 17/20*z2^2*[x+1]^-1 - 2*H(0,x)*z3*[1-x]^-1 + 2*H(0,x)*z3*[x+1]^-1 + 2*H(0,-1,0,0,x)*[1-x]^-1 - 2*H(0,-1,0,0,x)*[x+1]^-1 + 1/2*H(0,0,x)*z2*[1-x]^-1 - 1/2*H(0,0,x)*z2*[x+1]^-1 - H(0,0,-1,0,x)*[1-x]^-1 + H(0,0,-1,0,x)*[x+1]^-1 - H(0,1,0,0,x)*[1-x]^-1 + H(0,1,0,0,x)*[x+1]^-1 + 2*H(1,0,x)*z2*[1-x]^-1 - 2*H(1,0,x)*z2*[x+1]^-1 + 2*H(1,0,0,0,x)*[1-x]^-1 - 2*H(1,0,0,0,x)*[x+1]^-1 + ep*Help(3276803,1) ; .sort * * The r.h.s. of Eq.(135) is equal to 1/m^4*Topo(2,-5,3276803)/E2k12; id Topo(2,-5,3276803)/E2k12 = + ep^-1 * ( - 1/4*H(0,0,x)*[1-x]^-2 + 1/4*H(0,0,x)*[1-x]^-1 - 1/4*H(0,0,x)*[x+1]^-2 + 1/4*H(0,0,x)*[x+1]^-1 ) - 1/4*z3*[1-x]^-2 + 1/4*z3*[1-x]^-1 - 1/4*z3*[x+1]^-2 + 1/4*z3*[x+1]^-1 + H(-1,0,0,x)*[1-x]^-2 - H(-1,0,0,x)*[1-x]^-1 + H(-1,0,0,x)*[x+1]^-2 - H(-1,0,0,x)*[x+1]^-1 + H(0,-1,0,x)*[1-x]^-2 - H(0,-1,0,x)*[1-x]^-1 + H(0,-1,0,x)*[x+1]^-2 - H(0,-1,0,x)*[x+1]^-1 - 5/4*H(0,0,0,x)*[1-x]^-2 + 5/4*H(0,0,0,x)*[1-x]^-1 - 5/4*H(0,0,0,x)*[x+1]^-2 + 5/4*H(0,0,0,x)*[x+1]^-1 - 1/2*H(0,1,0,x)*[1-x]^-2 + 1/2*H(0,1,0,x)*[1-x]^-1 - 1/2*H(0,1,0,x)*[x+1]^-2 + 1/2*H(0,1,0,x)*[x+1]^-1 + ep * ( + 7/20*z2^2*[1-x]^-2 - 7/20*z2^2*[1-x]^-1 + 7/20*z2^2*[x+1]^-2 - 7/20*z2^2*[x+1]^-1 + H(-1,x)*z3*[1-x]^-2 - H(-1,x)*z3*[1-x]^-1 + H(-1,x)*z3*[x+1]^-2 - H(-1,x)*z3*[x+1]^-1 - 4*H(-1,-1,0,0,x)*[1-x]^-2 + 4*H(-1,-1,0,0,x)*[1-x]^-1 - 4*H(-1,-1,0,0,x)*[x+1]^-2 + 4*H(-1,-1,0,0,x)*[x+1]^-1 - 4*H(-1,0,-1,0,x)*[1-x]^-2 + 4*H(-1,0,-1,0,x)*[1-x]^-1 - 4*H(-1,0,-1,0,x)*[x+1]^-2 + 4*H(-1,0,-1,0,x)*[x+1]^-1 + 5*H(-1,0,0,0,x)*[1-x]^-2 - 5*H(-1,0,0,0,x)*[1-x]^-1 + 5*H(-1,0,0,0,x)*[x+1]^-2 - 5*H(-1,0,0,0,x)*[x+1]^-1 + 2*H(-1,0,1,0,x)*[1-x]^-2 - 2*H(-1,0,1,0,x)*[1-x]^-1 + 2*H(-1,0,1,0,x)*[x+1]^-2 - 2*H(-1,0,1,0,x)*[x+1]^-1 + 3/4*H(0,x)*z3*[1-x]^-2 - 3/4*H(0,x)*z3*[1-x]^-1 + 3/4*H(0,x)*z3*[x+1]^-2 - 3/4*H(0,x)*z3*[x+1]^-1 - 6*H(0,-1,-1,0,x)*[1-x]^-2 + 6*H(0,-1,-1,0,x)*[1-x]^-1 - 6*H(0,-1,-1,0,x)*[x+1]^-2 + 6*H(0,-1,-1,0,x)*[x+1]^-1 + 13/2*H(0,-1,0,0,x)*[1-x]^-2 - 13/2*H(0,-1,0,0,x)*[1-x]^-1 + 13/2*H(0,-1,0,0,x)*[x+1]^-2 - 13/2*H(0,-1,0,0,x)*[x+1]^-1 + 3*H(0,-1,1,0,x)*[1-x]^-2 - 3*H(0,-1,1,0,x)*[1-x]^-1 + 3*H(0,-1,1,0,x)*[x+1]^-2 - 3*H(0,-1,1,0,x)*[x+1]^-1 + 13/4*H(0,0,x)*z2*[1-x]^-2 - 13/4*H(0,0,x)*z2*[1-x]^-1 + 13/4*H(0,0,x)*z2*[x+1]^-2 - 13/4*H(0,0,x)*z2*[x+1]^-1 + 13/2*H(0,0,-1,0,x)*[1-x]^-2 - 13/2*H(0,0,-1,0,x)*[1-x]^-1 + 13/2*H(0,0,-1,0,x)*[x+1]^-2 - 13/2*H(0,0,-1,0,x)*[x+1]^-1 - 9/4*H(0,0,0,0,x)*[1-x]^-2 + 9/4*H(0,0,0,0,x)*[1-x]^-1 - 9/4*H(0,0,0,0,x)*[x+1]^-2 + 9/4*H(0,0,0,0,x)*[x+1]^-1 - 3*H(0,0,1,0,x)*[1-x]^-2 + 3*H(0,0,1,0,x)*[1-x]^-1 - 3*H(0,0,1,0,x)*[x+1]^-2 + 3*H(0,0,1,0,x)*[x+1]^-1 + 1/2*H(0,1,x)*z2*[1-x]^-2 - 1/2*H(0,1,x)*z2*[1-x]^-1 + 1/2*H(0,1,x)*z2*[x+1]^-2 - 1/2*H(0,1,x)*z2*[x+1]^-1 + 3*H(0,1,-1,0,x)*[1-x]^-2 - 3*H(0,1,-1,0,x)*[1-x]^-1 + 3*H(0,1,-1,0,x)*[x+1]^-2 - 3*H(0,1,-1,0,x)*[x+1]^-1 - 2*H(0,1,0,0,x)*[1-x]^-2 + 2*H(0,1,0,0,x)*[1-x]^-1 - 2*H(0,1,0,0,x)*[x+1]^-2 + 2*H(0,1,0,0,x)*[x+1]^-1 - H(0,1,1,0,x)*[1-x]^-2 + H(0,1,1,0,x)*[1-x]^-1 - H(0,1,1,0,x)*[x+1]^-2 + H(0,1,1,0,x)*[x+1]^-1 ) + ep^2*Help(3276803,2) ; .sort * * The r.h.s. of Eq.(140) is equal to 1/m^4*Topo(2,-6,17342482); id Topo(2,-6,17342482) = + ep^-1 * ( + 1/4*z3*[1-x]^-2 - 1/4*z3*[1-x]^-1 + 1/4*z3*[x+1]^-2 - 1/4*z3*[x+1]^-1 + 1/4*H(0,x)*z2*[1-x]^-2 - 1/4*H(0,x)*z2*[1-x]^-1 + 1/4*H(0,x)*z2*[x+1]^-2 - 1/4*H(0,x)*z2*[x+1]^-1 - 1/2*H(0,-1,0,x)*[1-x]^-2 + 1/2*H(0,-1,0,x)*[1-x]^-1 - 1/2*H(0,-1,0,x)*[x+1]^-2 + 1/2*H(0,-1,0,x)*[x+1]^-1 + 1/2*H(0,0,0,x)*[1-x]^-2 - 1/2*H(0,0,0,x)*[1-x]^-1 + 1/2*H(0,0,0,x)*[x+1]^-2 - 1/2*H(0,0,0,x)*[x+1]^-1 + 1/2*H(0,1,0,x)*[1-x]^-2 - 1/2*H(0,1,0,x)*[1-x]^-1 + 1/2*H(0,1,0,x)*[x+1]^-2 - 1/2*H(0,1,0,x)*[x+1]^-1 ) + 37/40*z2^2*[1-x]^-2 - 37/40*z2^2*[1-x]^-1 + 37/40*z2^2*[x+1]^-2 - 37/40*z2^2*[x+1]^-1 - H(-1,x)*z3*[1-x]^-2 + H(-1,x)*z3*[1-x]^-1 - H(-1,x)*z3*[x+1]^-2 + H(-1,x)*z3*[x+1]^-1 - H(-1,0,x)*z2*[1-x]^-2 + H(-1,0,x)*z2*[1-x]^-1 - H(-1,0,x)*z2*[x+1]^-2 + H(-1,0,x)*z2*[x+1]^-1 + 2*H(-1,0,-1,0,x)*[1-x]^-2 - 2*H(-1,0,-1,0,x)*[1-x]^-1 + 2*H(-1,0,-1,0,x)*[x+1]^-2 - 2*H(-1,0,-1,0,x)*[x+1]^-1 - 2*H(-1,0,0,0,x)*[1-x]^-2 + 2*H(-1,0,0,0,x)*[1-x]^-1 - 2*H(-1,0,0,0,x)*[x+1]^-2 + 2*H(-1,0,0,0,x)*[x+1]^-1 - 2*H(-1,0,1,0,x)*[1-x]^-2 + 2*H(-1,0,1,0,x)*[1-x]^-1 - 2*H(-1,0,1,0,x)*[x+1]^-2 + 2*H(-1,0,1,0,x)*[x+1]^-1 + 1/4*H(0,x)*z3*[1-x]^-2 - 1/4*H(0,x)*z3*[1-x]^-1 + 1/4*H(0,x)*z3*[x+1]^-2 - 1/4*H(0,x)*z3*[x+1]^-1 - 1/2*H(0,-1,x)*z2*[1-x]^-2 + 1/2*H(0,-1,x)*z2*[1-x]^-1 - 1/2*H(0,-1,x)*z2*[x+1]^-2 + 1/2*H(0,-1,x)*z2*[x+1]^-1 + 5*H(0,-1,-1,0,x)*[1-x]^-2 - 5*H(0,-1,-1,0,x)*[1-x]^-1 + 5*H(0,-1,-1,0,x)*[x+1]^-2 - 5*H(0,-1,-1,0,x)*[x+1]^-1 - 4*H(0,-1,0,0,x)*[1-x]^-2 + 4*H(0,-1,0,0,x)*[1-x]^-1 - 4*H(0,-1,0,0,x)*[x+1]^-2 + 4*H(0,-1,0,0,x)*[x+1]^-1 - 3*H(0,-1,1,0,x)*[1-x]^-2 + 3*H(0,-1,1,0,x)*[1-x]^-1 - 3*H(0,-1,1,0,x)*[x+1]^-2 + 3*H(0,-1,1,0,x)*[x+1]^-1 - 1/2*H(0,0,x)*z2*[1-x]^-2 + 1/2*H(0,0,x)*z2*[1-x]^-1 - 1/2*H(0,0,x)*z2*[x+1]^-2 + 1/2*H(0,0,x)*z2*[x+1]^-1 - 6*H(0,0,-1,0,x)*[1-x]^-2 + 6*H(0,0,-1,0,x)*[1-x]^-1 - 6*H(0,0,-1,0,x)*[x+1]^-2 + 6*H(0,0,-1,0,x)*[x+1]^-1 + 3*H(0,0,0,0,x)*[1-x]^-2 - 3*H(0,0,0,0,x)*[1-x]^-1 + 3*H(0,0,0,0,x)*[x+1]^-2 - 3*H(0,0,0,0,x)*[x+1]^-1 + 4*H(0,0,1,0,x)*[1-x]^-2 - 4*H(0,0,1,0,x)*[1-x]^-1 + 4*H(0,0,1,0,x)*[x+1]^-2 - 4*H(0,0,1,0,x)*[x+1]^-1 - 1/2*H(0,1,x)*z2*[1-x]^-2 + 1/2*H(0,1,x)*z2*[1-x]^-1 - 1/2*H(0,1,x)*z2*[x+1]^-2 + 1/2*H(0,1,x)*z2*[x+1]^-1 - 3*H(0,1,-1,0,x)*[1-x]^-2 + 3*H(0,1,-1,0,x)*[1-x]^-1 - 3*H(0,1,-1,0,x)*[x+1]^-2 + 3*H(0,1,-1,0,x)*[x+1]^-1 + 2*H(0,1,0,0,x)*[1-x]^-2 - 2*H(0,1,0,0,x)*[1-x]^-1 + 2*H(0,1,0,0,x)*[x+1]^-2 - 2*H(0,1,0,0,x)*[x+1]^-1 + H(0,1,1,0,x)*[1-x]^-2 - H(0,1,1,0,x)*[1-x]^-1 + H(0,1,1,0,x)*[x+1]^-2 - H(0,1,1,0,x)*[x+1]^-1 + H(1,x)*z3*[1-x]^-2 - H(1,x)*z3*[1-x]^-1 + H(1,x)*z3*[x+1]^-2 - H(1,x)*z3*[x+1]^-1 + H(1,0,x)*z2*[1-x]^-2 - H(1,0,x)*z2*[1-x]^-1 + H(1,0,x)*z2*[x+1]^-2 - H(1,0,x)*z2*[x+1]^-1 - 2*H(1,0,-1,0,x)*[1-x]^-2 + 2*H(1,0,-1,0,x)*[1-x]^-1 - 2*H(1,0,-1,0,x)*[x+1]^-2 + 2*H(1,0,-1,0,x)*[x+1]^-1 + 2*H(1,0,0,0,x)*[1-x]^-2 - 2*H(1,0,0,0,x)*[1-x]^-1 + 2*H(1,0,0,0,x)*[x+1]^-2 - 2*H(1,0,0,0,x)*[x+1]^-1 + 2*H(1,0,1,0,x)*[1-x]^-2 - 2*H(1,0,1,0,x)*[1-x]^-1 + 2*H(1,0,1,0,x)*[x+1]^-2 - 2*H(1,0,1,0,x)*[x+1]^-1 + ep*Help(17342482,1) ; .sort * * The r.h.s. of Eq.(142) is equal to 1/m^2*Topo(2,-6,17342482)*k1.k2; id Topo(2,-6,17342482)*k1.k2 = - 1/10*z2^2*[1-x]^-1 + 1/10*z2^2*[x+1]^-1 + H(0,x)*z3*[1-x]^-1 - H(0,x)*z3*[x+1]^-1 - 3*H(0,-1,x)*z2*[1-x]^-1 + 3*H(0,-1,x)*z2*[x+1]^-1 - H(0,-1,0,0,x)*[1-x]^-1 + H(0,-1,0,0,x)*[x+1]^-1 - H(0,0,-1,0,x)*[1-x]^-1 + H(0,0,-1,0,x)*[x+1]^-1 - 1/2*H(0,0,0,0,x)*[1-x]^-1 + 1/2*H(0,0,0,0,x)*[x+1]^-1 - H(0,1,0,0,x)*[1-x]^-1 + H(0,1,0,0,x)*[x+1]^-1 - 2*H(1,0,x)*z2*[1-x]^-1 + 2*H(1,0,x)*z2*[x+1]^-1 - 2*H(1,0,0,0,x)*[1-x]^-1 + 2*H(1,0,0,0,x)*[x+1]^-1 + ep*Help(17342482,1) ; .sort * ************************************************************************** ************************************************************************** ************************************************************************** ************************************************************************** * * The following formulas are given in a slightly different normalization. * We normalize our integrals as in: * * R. Bonciani, P. Mastrolia and E. Remiddi, * ``Master integrals for the 2-loop QCD virtual corrections to the * forward-backward asymmetry,'' * Nucl. Phys. B690 (2004) 138 (hep-ph/0311145). * * The Laurent expansion is made in terms of (d-4), instead of * ep = -(d-4)/2 as in the previous formulae; * * * * The r.h.s. of Eq.(73) of the paper is equal to m^2*Topo(2,-3,16785410); * the Laurent-expansion of Topo(2,-3,16785410) up to order * N=2 included follows; * [d-4] stands for (d-4); * the first missing term in the [d-4] expansion is written as * [d-4]^3*Help(16785410,3) * id Topo(2,-3,16785410) = + [d-4]^-2 * ( - 1/4 ) + [d-4]^-1 * ( + 1/32*x^-1 + 1/32*x + 5/16 ) - 13/128*x^-1 - 13/128*x - 11/64 - 1/32*H(0,x)*x^-1 + 1/32*H(0,x)*x + 1/8*H(0,x)*[1-x]^-1 - 1/16*H(0,x) + 1/8*H(0,0,x)*[1-x]^-2 - 1/8*H(0,0,x)*[1-x]^-1 + 1/8*H(0,0,x) + [d-4] * ( - 1/64*x^-1*z2 + 115/512*x^-1 + 1/64*x*z2 + 115/512*x + 3/16*[1-x]^-2*z3 + 1/16*[1-x]^-1*z2 - 3/16*[1-x]^-1*z3 - 1/32*z2 + 3/16*z3 - 55/256 - 3/32*H(-1,0,x)*x^-1 + 3/32*H(-1,0,x)*x + 3/8*H(-1,0,x)*[1-x]^-1 - 3/16*H(-1,0,x) + 13/128*H(0,x)*x^-1 - 13/128*H(0,x)*x + 1/16*H(0,x)*[1-x]^-2*z2 - 1/16*H(0,x)*[1-x]^-1*z2 - 13/32*H(0,x)*[1-x]^-1 + 1/16*H(0,x)*z2 + 13/64*H(0,x) + 3/8*H(0,-1,0,x)*[1-x]^-2 - 3/8*H(0,-1,0,x)*[1-x]^-1 + 3/8*H(0,-1,0,x) + 1/32*H(0,0,x)*x^-1 - 3/32*H(0,0,x)*x - 5/32*H(0,0,x)*[1-x]^-2 - 3/32*H(0,0,x)*[1-x]^-1 - 3/16*H(0,0,0,x)*[1-x]^-2 + 3/16*H(0,0,0,x)*[1-x]^-1 - 3/16*H(0,0,0,x) - 1/8*H(0,1,0,x)*[1-x]^-2 + 1/8*H(0,1,0,x)*[1-x]^-1 - 1/8*H(0,1,0,x) + 1/32*H(1,0,x)*x^-1 - 1/32*H(1,0,x)*x - 1/8*H(1,0,x)*[1-x]^-1 + 1/16*H(1,0,x) + 1/8*H(1,0,0,x)*[1-x]^-2 - 1/8*H(1,0,0,x)*[1-x]^-1 + 1/8*H(1,0,0,x) ) + [d-4]^2 * ( + 13/256*x^-1*z2 + 5/128*x^-1*z3 - 865/2048*x^-1 - 13/256*x*z2 - 17/128*x*z3 - 865/2048*x - 13/320*[1-x]^-2*z2^2 - 15/64*[1-x]^-2*z3 - 13/64*[1-x]^-1*z2 + 13/320*[1-x]^-1*z2^2 - 7/64*[1-x]^-1*z3 + 13/128*z2 - 13/320*z2^2 - 1/64*z3 + 949/1024 - 3/64*H(-1,x)*x^-1*z2 + 3/64*H(-1,x)*x*z2 + 3/16*H(-1,x)*[1-x]^-1*z2 - 3/32*H(-1,x)*z2 - 9/32*H(-1,-1,0,x)*x^-1 + 9/32*H(-1,-1,0,x)*x + 9/8*H(-1,-1,0,x)*[1-x]^-1 - 9/16*H(-1,-1,0,x) + 39/128*H(-1,0,x)*x^-1 - 39/128*H(-1,0,x)*x - 39/32*H(-1,0,x)*[1-x]^-1 + 39/64*H(-1,0,x) + 3/16*H(-1,0,0,x)*x^-1 - 3/16*H(-1,0,0,x)*x - 3/4*H(-1,0,0,x)*[1-x]^-1 + 3/8*H(-1,0,0,x) + 3/32*H(-1,1,0,x)*x^-1 - 3/32*H(-1,1,0,x)*x - 3/8*H(-1,1,0,x)*[1-x]^-1 + 3/16*H(-1,1,0,x) + 1/64*H(0,x)*x^-1*z2 - 115/512*H(0,x)*x^-1 - 3/64*H(0,x)*x*z2 + 115/512*H(0,x)*x - 5/64*H(0,x)*[1-x]^-2*z2 - 1/4*H(0,x)*[1-x]^-2*z3 - 3/64*H(0,x)*[1-x]^-1*z2 + 1/4*H(0,x)*[1-x]^-1*z3 + 115/128*H(0,x)*[1-x]^-1 - 1/4*H(0,x)*z3 - 115/256*H(0,x) + 3/16*H(0,-1,x)*[1-x]^-2*z2 - 3/16*H(0,-1,x)*[1-x]^-1*z2 + 3/16*H(0,-1,x)*z2 + 9/8*H(0,-1,-1,0,x)*[1-x]^-2 - 9/8*H(0,-1,-1,0,x)*[1-x]^-1 + 9/8*H(0,-1,-1,0,x) + 3/32*H(0,-1,0,x)*x^-1 - 9/32*H(0,-1,0,x)*x - 15/32*H(0,-1,0,x)*[1-x]^-2 - 9/32*H(0,-1,0,x)*[1-x]^-1 - 3/4*H(0,-1,0,0,x)*[1-x]^-2 + 3/4*H(0,-1,0,0,x)*[1-x]^-1 - 3/4*H(0,-1,0,0,x) - 3/8*H(0,-1,1,0,x)*[1-x]^-2 + 3/8*H(0,-1,1,0,x)*[1-x]^-1 - 3/8*H(0,-1,1,0,x) - 13/128*H(0,0,x)*x^-1 + 39/128*H(0,0,x)*x - 3/32*H(0,0,x)*[1-x]^-2*z2 + 11/128*H(0,0,x)*[1-x]^-2 + 3/32*H(0,0,x)*[1-x]^-1*z2 + 93/128*H(0,0,x)*[1-x]^-1 - 3/32*H(0,0,x)*z2 - 27/64*H(0,0,x) - 9/16*H(0,0,-1,0,x)*[1-x]^-2 + 9/16*H(0,0,-1,0,x)*[1-x]^-1 - 9/16*H(0,0,-1,0,x) - 1/32*H(0,0,0,x)*x^-1 + 1/8*H(0,0,0,x)*x + 15/64*H(0,0,0,x)*[1-x]^-2 + 5/64*H(0,0,0,x)*[1-x]^-1 + 1/32*H(0,0,0,x) + 7/32*H(0,0,0,0,x)*[1-x]^-2 - 7/32*H(0,0,0,0,x)*[1-x]^-1 + 7/32*H(0,0,0,0,x) + 3/16*H(0,0,1,0,x)*[1-x]^-2 - 3/16*H(0,0,1,0,x)*[1-x]^-1 + 3/16*H(0,0,1,0,x) - 1/16*H(0,1,x)*[1-x]^-2*z2 + 1/16*H(0,1,x)*[1-x]^-1*z2 - 1/16*H(0,1,x)*z2 - 3/8*H(0,1,-1,0,x)*[1-x]^-2 + 3/8*H(0,1,-1,0,x)*[1-x]^-1 - 3/8*H(0,1,-1,0,x) - 1/32*H(0,1,0,x)*x^-1 + 3/32*H(0,1,0,x)*x + 5/32*H(0,1,0,x)*[1-x]^-2 + 3/32*H(0,1,0,x)*[1-x]^-1 + 5/16*H(0,1,0,0,x)*[1-x]^-2 - 5/16*H(0,1,0,0,x)*[1-x]^-1 + 5/16*H(0,1,0,0,x) + 1/8*H(0,1,1,0,x)*[1-x]^-2 - 1/8*H(0,1,1,0,x)*[1-x]^-1 + 1/8*H(0,1,1,0,x) + 1/64*H(1,x)*x^-1*z2 - 1/64*H(1,x)*x*z2 + 3/16*H(1,x)*[1-x]^-2*z3 - 1/16*H(1,x)*[1-x]^-1*z2 - 3/16*H(1,x)*[1-x]^-1*z3 + 1/32*H(1,x)*z2 + 3/16*H(1,x)*z3 + 3/32*H(1,-1,0,x)*x^-1 - 3/32*H(1,-1,0,x)*x - 3/8*H(1,-1,0,x)*[1-x]^-1 + 3/16*H(1,-1,0,x) - 13/128*H(1,0,x)*x^-1 + 13/128*H(1,0,x)*x + 1/16*H(1,0,x)*[1-x]^-2*z2 - 1/16*H(1,0,x)*[1-x]^-1*z2 + 13/32*H(1,0,x)*[1-x]^-1 + 1/16*H(1,0,x)*z2 - 13/64*H(1,0,x) + 3/8*H(1,0,-1,0,x)*[1-x]^-2 - 3/8*H(1,0,-1,0,x)*[1-x]^-1 + 3/8*H(1,0,-1,0,x) - 3/32*H(1,0,0,x)*x^-1 + 1/32*H(1,0,0,x)*x - 5/32*H(1,0,0,x)*[1-x]^-2 + 13/32*H(1,0,0,x)*[1-x]^-1 - 1/4*H(1,0,0,x) - 3/16*H(1,0,0,0,x)*[1-x]^-2 + 3/16*H(1,0,0,0,x)*[1-x]^-1 - 3/16*H(1,0,0,0,x) - 1/8*H(1,0,1,0,x)*[1-x]^-2 + 1/8*H(1,0,1,0,x)*[1-x]^-1 - 1/8*H(1,0,1,0,x) - 1/32*H(1,1,0,x)*x^-1 + 1/32*H(1,1,0,x)*x + 1/8*H(1,1,0,x)*[1-x]^-1 - 1/16*H(1,1,0,x) + 1/8*H(1,1,0,0,x)*[1-x]^-2 - 1/8*H(1,1,0,0,x)*[1-x]^-1 + 1/8*H(1,1,0,0,x) ) + [d-4]^3*Help(16785410,3) ; .sort * * The r.h.s. of Eq.(75) is equal to m^4*Topo(2,-3,16785410)*k1.k2; id Topo(2,-3,16785410)*k1.k2 = + [d-4]^-2 * ( - 1/16*x^-1 - 1/16*x ) + [d-4]^-1 * ( + 1/192*x^-2 + 11/192*x^-1 + 11/192*x + 1/192*x^2 ) - 13/768*x^-2 + 11/768*x^-1 + 11/768*x - 13/768*x^2 - 11/192 - 1/192*H(0,x)*x^-2 + 7/192*H(0,x)*x^-1 - 7/192*H(0,x)*x + 1/192*H(0,x)*x^2 + 1/16*H(0,x)*[1-x]^-1 - 1/32*H(0,x) + 1/32*H(0,0,x)*x^-1 + 1/32*H(0,0,x)*x + 1/16*H(0,0,x)*[1-x]^-2 - 1/16*H(0,0,x)*[1-x]^-1 + [d-4] * ( - 1/384*x^-2*z2 + 115/3072*x^-2 + 7/384*x^-1*z2 + 3/64*x^-1*z3 - 505/3072*x^-1 - 7/384*x*z2 + 3/64*x*z3 - 505/3072*x + 1/384*x^2*z2 + 115/3072*x^2 + 3/32*[1-x]^-2*z3 + 1/32*[1-x]^-1*z2 - 3/32*[1-x]^-1*z3 - 1/64*z2 + 157/768 - 1/64*H(-1,0,x)*x^-2 + 7/64*H(-1,0,x)*x^-1 - 7/64*H(-1,0,x)*x + 1/64*H(-1,0,x)*x^2 + 3/16*H(-1,0,x)*[1-x]^-1 - 3/32*H(-1,0,x) + 13/768*H(0,x)*x^-2 + 1/64*H(0,x)*x^-1*z2 - 29/256*H(0,x)*x^-1 + 1/64*H(0,x)*x*z2 + 29/256*H(0,x)*x - 13/768*H(0,x)*x^2 + 1/32*H(0,x)*[1-x]^-2*z2 - 1/32*H(0,x)*[1-x]^-1*z2 - 37/192*H(0,x)*[1-x]^-1 + 37/384*H(0,x) + 3/32*H(0,-1,0,x)*x^-1 + 3/32*H(0,-1,0,x)*x + 3/16*H(0,-1,0,x)*[1-x]^-2 - 3/16*H(0,-1,0,x)*[1-x]^-1 + 1/192*H(0,0,x)*x^-2 - 1/12*H(0,0,x)*x^-1 + 1/16*H(0,0,x)*x - 1/64*H(0,0,x)*x^2 - 13/192*H(0,0,x)*[1-x]^-2 - 11/192*H(0,0,x)*[1-x]^-1 + 3/64*H(0,0,x) - 3/64*H(0,0,0,x)*x^-1 - 3/64*H(0,0,0,x)*x - 3/32*H(0,0,0,x)*[1-x]^-2 + 3/32*H(0,0,0,x)*[1-x]^-1 - 1/32*H(0,1,0,x)*x^-1 - 1/32*H(0,1,0,x)*x - 1/16*H(0,1,0,x)*[1-x]^-2 + 1/16*H(0,1,0,x)*[1-x]^-1 + 1/192*H(1,0,x)*x^-2 - 7/192*H(1,0,x)*x^-1 + 7/192*H(1,0,x)*x - 1/192*H(1,0,x)*x^2 - 1/16*H(1,0,x)*[1-x]^-1 + 1/32*H(1,0,x) + 1/32*H(1,0,0,x)*x^-1 + 1/32*H(1,0,0,x)*x + 1/16*H(1,0,0,x)*[1-x]^-2 - 1/16*H(1,0,0,x)*[1-x]^-1 ) + [d-4]^2 * ( + 13/1536*x^-2*z2 + 5/768*x^-2*z3 - 865/12288*x^-2 - 29/512*x^-1*z2 - 13/1280*x^-1*z2^2 - 89/768*x^-1*z3 + 5147/12288*x^-1 + 29/512*x*z2 - 13/1280*x*z2^2 + 65/768*x*z3 + 5147/12288*x - 13/1536*x^2*z2 - 17/768*x^2*z3 - 865/12288*x^2 - 13/640*[1-x]^-2*z2^2 - 13/128*[1-x]^-2*z3 - 37/384*[1-x]^-1*z2 + 13/640*[1-x]^-1*z2^2 - 9/128*[1-x]^-1*z3 + 37/768*z2 + 1/16*z3 - 1459/3072 - 1/128*H(-1,x)*x^-2*z2 + 7/128*H(-1,x)*x^-1*z2 - 7/128*H(-1,x)*x*z2 + 1/128*H(-1,x)*x^2*z2 + 3/32*H(-1,x)*[1-x]^-1*z2 - 3/64*H(-1,x)*z2 - 3/64*H(-1,-1,0,x)*x^-2 + 21/64*H(-1,-1,0,x)*x^-1 - 21/64*H(-1,-1,0,x)*x + 3/64*H(-1,-1,0,x)*x^2 + 9/16*H(-1,-1,0,x)*[1-x]^-1 - 9/32*H(-1,-1,0,x) + 13/256*H(-1,0,x)*x^-2 - 87/256*H(-1,0,x)*x^-1 + 87/256*H(-1,0,x)*x - 13/256*H(-1,0,x)*x^2 - 37/64*H(-1,0,x)*[1-x]^-1 + 37/128*H(-1,0,x) + 1/32*H(-1,0,0,x)*x^-2 - 7/32*H(-1,0,0,x)*x^-1 + 7/32*H(-1,0,0,x)*x - 1/32*H(-1,0,0,x)*x^2 - 3/8*H(-1,0,0,x)*[1-x]^-1 + 3/16*H(-1,0,0,x) + 1/64*H(-1,1,0,x)*x^-2 - 7/64*H(-1,1,0,x)*x^-1 + 7/64*H(-1,1,0,x)*x - 1/64*H(-1,1,0,x)*x^2 - 3/16*H(-1,1,0,x)*[1-x]^-1 + 3/32*H(-1,1,0,x) + 1/384*H(0,x)*x^-2*z2 - 115/3072*H(0,x)*x^-2 - 1/24*H(0,x)*x^-1*z2 - 1/16*H(0,x)*x^-1*z3 + 745/3072*H(0,x)*x^-1 + 1/32*H(0,x)*x*z2 - 1/16*H(0,x)*x*z3 - 745/3072*H(0,x)*x - 1/128*H(0,x)*x^2*z2 + 115/3072*H(0,x)*x^2 - 13/384*H(0,x)*[1-x]^-2*z2 - 1/8*H(0,x)*[1-x]^-2*z3 - 11/384*H(0,x)*[1-x]^-1*z2 + 1/8*H(0,x)*[1-x]^-1*z3 + 105/256*H(0,x)*[1-x]^-1 + 3/128*H(0,x)*z2 - 105/512*H(0,x) + 3/64*H(0,-1,x)*x^-1*z2 + 3/64*H(0,-1,x)*x*z2 + 3/32*H(0,-1,x)*[1-x]^-2*z2 - 3/32*H(0,-1,x)*[1-x]^-1*z2 + 9/32*H(0,-1,-1,0,x)*x^-1 + 9/32*H(0,-1,-1,0,x)*x + 9/16*H(0,-1,-1,0,x)*[1-x]^-2 - 9/16*H(0,-1,-1,0,x)*[1-x]^-1 + 1/64*H(0,-1,0,x)*x^-2 - 1/4*H(0,-1,0,x)*x^-1 + 3/16*H(0,-1,0,x)*x - 3/64*H(0,-1,0,x)*x^2 - 13/64*H(0,-1,0,x)*[1-x]^-2 - 11/64*H(0,-1,0,x)*[1-x]^-1 + 9/64*H(0,-1,0,x) - 3/16*H(0,-1,0,0,x)*x^-1 - 3/16*H(0,-1,0,0,x)*x - 3/8*H(0,-1,0,0,x)*[1-x]^-2 + 3/8*H(0,-1,0,0,x)*[1-x]^-1 - 3/32*H(0,-1,1,0,x)*x^-1 - 3/32*H(0,-1,1,0,x)*x - 3/16*H(0,-1,1,0,x)*[1-x]^-2 + 3/16*H(0,-1,1,0,x)*[1-x]^-1 - 13/768*H(0,0,x)*x^-2 - 3/128*H(0,0,x)*x^-1*z2 + 125/768*H(0,0,x)*x^-1 - 3/128*H(0,0,x)*x*z2 - 223/768*H(0,0,x)*x + 13/256*H(0,0,x)*x^2 - 3/64*H(0,0,x)*[1-x]^-2*z2 + 19/768*H(0,0,x)*[1-x]^-2 + 3/64*H(0,0,x)*[1-x]^-1*z2 + 277/768*H(0,0,x)*[1-x]^-1 - 109/768*H(0,0,x) - 9/64*H(0,0,-1,0,x)*x^-1 - 9/64*H(0,0,-1,0,x)*x - 9/32*H(0,0,-1,0,x)*[1-x]^-2 + 9/32*H(0,0,-1,0,x)*[1-x]^-1 - 1/192*H(0,0,0,x)*x^-2 + 41/384*H(0,0,0,x)*x^-1 - 29/384*H(0,0,0,x)*x + 1/48*H(0,0,0,x)*x^2 + 13/128*H(0,0,0,x)*[1-x]^-2 + 7/128*H(0,0,0,x)*[1-x]^-1 - 7/128*H(0,0,0,x) + 7/128*H(0,0,0,0,x)*x^-1 + 7/128*H(0,0,0,0,x)*x + 7/64*H(0,0,0,0,x)*[1-x]^-2 - 7/64*H(0,0,0,0,x)*[1-x]^-1 + 3/64*H(0,0,1,0,x)*x^-1 + 3/64*H(0,0,1,0,x)*x + 3/32*H(0,0,1,0,x)*[1-x]^-2 - 3/32*H(0,0,1,0,x)*[1-x]^-1 - 1/64*H(0,1,x)*x^-1*z2 - 1/64*H(0,1,x)*x*z2 - 1/32*H(0,1,x)*[1-x]^-2*z2 + 1/32*H(0,1,x)*[1-x]^-1*z2 - 3/32*H(0,1,-1,0,x)*x^-1 - 3/32*H(0,1,-1,0,x)*x - 3/16*H(0,1,-1,0,x)*[1-x]^-2 + 3/16*H(0,1,-1,0,x)*[1-x]^-1 - 1/192*H(0,1,0,x)*x^-2 + 1/12*H(0,1,0,x)*x^-1 - 1/16*H(0,1,0,x)*x + 1/64*H(0,1,0,x)*x^2 + 13/192*H(0,1,0,x)*[1-x]^-2 + 11/192*H(0,1,0,x)*[1-x]^-1 - 3/64*H(0,1,0,x) + 5/64*H(0,1,0,0,x)*x^-1 + 5/64*H(0,1,0,0,x)*x + 5/32*H(0,1,0,0,x)*[1-x]^-2 - 5/32*H(0,1,0,0,x)*[1-x]^-1 + 1/32*H(0,1,1,0,x)*x^-1 + 1/32*H(0,1,1,0,x)*x + 1/16*H(0,1,1,0,x)*[1-x]^-2 - 1/16*H(0,1,1,0,x)*[1-x]^-1 + 1/384*H(1,x)*x^-2*z2 - 7/384*H(1,x)*x^-1*z2 + 3/64*H(1,x)*x^-1*z3 + 7/384*H(1,x)*x*z2 + 3/64*H(1,x)*x*z3 - 1/384*H(1,x)*x^2*z2 + 3/32*H(1,x)*[1-x]^-2*z3 - 1/32*H(1,x)*[1-x]^-1*z2 - 3/32*H(1,x)*[1-x]^-1*z3 + 1/64*H(1,x)*z2 + 1/64*H(1,-1,0,x)*x^-2 - 7/64*H(1,-1,0,x)*x^-1 + 7/64*H(1,-1,0,x)*x - 1/64*H(1,-1,0,x)*x^2 - 3/16*H(1,-1,0,x)*[1-x]^-1 + 3/32*H(1,-1,0,x) - 13/768*H(1,0,x)*x^-2 + 1/64*H(1,0,x)*x^-1*z2 + 29/256*H(1,0,x)*x^-1 + 1/64*H(1,0,x)*x*z2 - 29/256*H(1,0,x)*x + 13/768*H(1,0,x)*x^2 + 1/32*H(1,0,x)*[1-x]^-2*z2 - 1/32*H(1,0,x)*[1-x]^-1*z2 + 37/192*H(1,0,x)*[1-x]^-1 - 37/384*H(1,0,x) + 3/32*H(1,0,-1,0,x)*x^-1 + 3/32*H(1,0,-1,0,x)*x + 3/16*H(1,0,-1,0,x)*[1-x]^-2 - 3/16*H(1,0,-1,0,x)*[1-x]^-1 - 1/64*H(1,0,0,x)*x^-2 + 1/16*H(1,0,0,x)*x^-1 - 1/12*H(1,0,0,x)*x + 1/192*H(1,0,0,x)*x^2 - 13/192*H(1,0,0,x)*[1-x]^-2 + 37/192*H(1,0,0,x)*[1-x]^-1 - 5/64*H(1,0,0,x) - 3/64*H(1,0,0,0,x)*x^-1 - 3/64*H(1,0,0,0,x)*x - 3/32*H(1,0,0,0,x)*[1-x]^-2 + 3/32*H(1,0,0,0,x)*[1-x]^-1 - 1/32*H(1,0,1,0,x)*x^-1 - 1/32*H(1,0,1,0,x)*x - 1/16*H(1,0,1,0,x)*[1-x]^-2 + 1/16*H(1,0,1,0,x)*[1-x]^-1 - 1/192*H(1,1,0,x)*x^-2 + 7/192*H(1,1,0,x)*x^-1 - 7/192*H(1,1,0,x)*x + 1/192*H(1,1,0,x)*x^2 + 1/16*H(1,1,0,x)*[1-x]^-1 - 1/32*H(1,1,0,x) + 1/32*H(1,1,0,0,x)*x^-1 + 1/32*H(1,1,0,0,x)*x + 1/16*H(1,1,0,0,x)*[1-x]^-2 - 1/16*H(1,1,0,0,x)*[1-x]^-1 ) + [d-4]^3*Help(16785410,3) ; .sort * * The r.h.s. of Eq.(83) is equal to m^2*Topo(2,-3,2097155); id Topo(2,-3,2097155) = + [d-4]^-2 * ( - 1/8 ) + [d-4]^-1 * ( + 5/32 ) - 1/8*z2 - 11/128 + [d-4] * ( + 5/32*z2 + 1/8*z3 - 55/512 ) + [d-4]^2 * ( + 949/2048 - 11/128*z2 - 1/5*z2^2 - 5/32*z3 ) + [d-4]^3*Help(2097155,3) ; .sort * * The r.h.s. of Eq.(88) is equal to m^2*Topo(2,-3,4218880); id Topo(2,-3,4218880) = + [d-4]^-2 * ( - 1/4 ) + [d-4]^-1 * ( + 3/8 + 1/4*H(0,x)*[1-x]^-1 - 1/8*H(0,x) ) + 1/8*[1-x]^-1*z2 - 1/16*z2 - 7/16 + 1/4*H(-1,0,x)*[1-x]^-1 - 1/8*H(-1,0,x) - 3/8*H(0,x)*[1-x]^-1 + 3/16*H(0,x) - 1/8*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,x) + [d-4] * ( - 3/16*[1-x]^-1*z2 - 1/8*[1-x]^-1*z3 + 3/32*z2 + 1/16*z3 + 15/32 + 1/8*H(-1,x)*[1-x]^-1*z2 - 1/16*H(-1,x)*z2 + 1/4*H(-1,-1,0,x)*[1-x]^-1 - 1/8*H(-1,-1,0,x) - 3/8*H(-1,0,x)*[1-x]^-1 + 3/16*H(-1,0,x) - 1/8*H(-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,0,0,x) - 1/16*H(0,x)*[1-x]^-1*z2 + 7/16*H(0,x)*[1-x]^-1 + 1/32*H(0,x)*z2 - 7/32*H(0,x) - 1/8*H(0,-1,0,x)*[1-x]^-1 + 1/16*H(0,-1,0,x) + 3/16*H(0,0,x)*[1-x]^-1 - 3/32*H(0,0,x) + 1/16*H(0,0,0,x)*[1-x]^-1 - 1/32*H(0,0,0,x) ) + [d-4]^2 * ( + 7/32*[1-x]^-1*z2 + 9/320*[1-x]^-1*z2^2 + 3/16*[1-x]^-1*z3 - 7/64*z2 - 9/640*z2^2 - 3/32*z3 - 31/64 - 3/16*H(-1,x)*[1-x]^-1*z2 - 1/8*H(-1,x)*[1-x]^-1*z3 + 3/32*H(-1,x)*z2 + 1/16*H(-1,x)*z3 + 1/8*H(-1,-1,x)*[1-x]^-1*z2 - 1/16*H(-1,-1,x)*z2 + 1/4*H(-1,-1,-1,0,x)*[1-x]^-1 - 1/8*H(-1,-1,-1,0,x) - 3/8*H(-1,-1,0,x)*[1-x]^-1 + 3/16*H(-1,-1,0,x) - 1/8*H(-1,-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,-1,0,0,x) - 1/16*H(-1,0,x)*[1-x]^-1*z2 + 7/16*H(-1,0,x)*[1-x]^-1 + 1/32*H(-1,0,x)*z2 - 7/32*H(-1,0,x) - 1/8*H(-1,0,-1,0,x)*[1-x]^-1 + 1/16*H(-1,0,-1,0,x) + 3/16*H(-1,0,0,x)*[1-x]^-1 - 3/32*H(-1,0,0,x) + 1/16*H(-1,0,0,0,x)*[1-x]^-1 - 1/32*H(-1,0,0,0,x) + 3/32*H(0,x)*[1-x]^-1*z2 + 1/16*H(0,x)*[1-x]^-1*z3 - 15/32*H(0,x)*[1-x]^-1 - 3/64*H(0,x)*z2 - 1/32*H(0,x)*z3 + 15/64*H(0,x) - 1/16*H(0,-1,x)*[1-x]^-1*z2 + 1/32*H(0,-1,x)*z2 - 1/8*H(0,-1,-1,0,x)*[1-x]^-1 + 1/16*H(0,-1,-1,0,x) + 3/16*H(0,-1,0,x)*[1-x]^-1 - 3/32*H(0,-1,0,x) + 1/16*H(0,-1,0,0,x)*[1-x]^-1 - 1/32*H(0,-1,0,0,x) + 1/32*H(0,0,x)*[1-x]^-1*z2 - 7/32*H(0,0,x)*[1-x]^-1 - 1/64*H(0,0,x)*z2 + 7/64*H(0,0,x) + 1/16*H(0,0,-1,0,x)*[1-x]^-1 - 1/32*H(0,0,-1,0,x) - 3/32*H(0,0,0,x)*[1-x]^-1 + 3/64*H(0,0,0,x) - 1/32*H(0,0,0,0,x)*[1-x]^-1 + 1/64*H(0,0,0,0,x) ) + [d-4]^3*Help(4218880,3) ; .sort * * The r.h.s. of Eq.(93) is equal to m^2*Topo(2,-3,2121728); id Topo(2,-3,2121728) = + [d-4]^-2 * ( - 3/8 ) + [d-4]^-1 * ( + 17/32 ) - 59/128 + [d-4] * ( + 65/512 + 1/4*z2 ) + [d-4]^2 * ( + 1117/2048 + 3/4*z2*ln2 - 13/16*z2 - 7/16*z3 ) + [d-4]^3*Help(2121728,3) ; .sort * * The r.h.s. of Eq.(98) is equal to Topo(2,-4,12607488); id Topo(2,-4,12607488) = + [d-4]^-2 * ( + 1/4 ) + [d-4]^-1 * ( - 1/2 + 1/4*H(0,x) - 1/2*H(0,x)*[1-x]^-1 ) + 3/4 - 1/4*[1-x]^-1*z2 + 1/8*z2 + 1/4*H(-1,0,x) - 1/2*H(-1,0,x)*[1-x]^-1 - 1/2*H(0,x) + H(0,x)*[1-x]^-1 + 1/2*H(0,0,x)*[1-x]^-2 - 1/4*H(0,0,x)*[1-x]^-1 + [d-4] * ( - 1 + 1/2*[1-x]^-1*z2 + 1/4*[1-x]^-1*z3 - 1/4*z2 - 1/8*z3 - 1/4*H(-1,x)*[1-x]^-1*z2 + 1/8*H(-1,x)*z2 + 1/4*H(-1,-1,0,x) - 1/2*H(-1,-1,0,x)*[1-x]^-1 - 1/2*H(-1,0,x) + H(-1,0,x)*[1-x]^-1 + 1/8*H(-1,0,0,x) + H(-1,0,0,x)*[1-x]^-2 - 3/4*H(-1,0,0,x)*[1-x]^-1 + 3/4*H(0,x) + 1/4*H(0,x)*[1-x]^-2*z2 - 1/8*H(0,x)*[1-x]^-1*z2 - 3/2*H(0,x)*[1-x]^-1 + 1/2*H(0,-1,0,x)*[1-x]^-2 - 1/4*H(0,-1,0,x)*[1-x]^-1 - H(0,0,x)*[1-x]^-2 + 1/2*H(0,0,x)*[1-x]^-1 - 1/8*H(0,0,0,x) - 3/4*H(0,0,0,x)*[1-x]^-2 + 5/8*H(0,0,0,x)*[1-x]^-1 ) + [d-4]^2 * ( + 5/4 + 1/16*[1-x]^-2*z2^2 - 3/4*[1-x]^-1*z2 - 19/160*[1-x]^-1*z2^2 - 1/2*[1-x]^-1*z3 + 3/8*z2 + 7/160*z2^2 + 1/4*z3 + 1/2*H(-1,x)*[1-x]^-1*z2 + 1/4*H(-1,x)*[1-x]^-1*z3 - 1/4*H(-1,x)*z2 - 1/8*H(-1,x)*z3 - 1/4*H(-1,-1,x)*[1-x]^-1*z2 + 1/8*H(-1,-1,x)*z2 + 1/4*H(-1,-1,-1,0,x) - 1/2*H(-1,-1,-1,0,x)*[1-x]^-1 - 1/2*H(-1,-1,0,x) + H(-1,-1,0,x)*[1-x]^-1 + 3/8*H(-1,-1,0,0,x) + 2*H(-1,-1,0,0,x)*[1-x]^-2 - 7/4*H(-1,-1,0,0,x)*[1-x]^-1 + 3/4*H(-1,0,x) + 1/2*H(-1,0,x)*[1-x]^-2*z2 - 3/8*H(-1,0,x)*[1-x]^-1*z2 - 3/2*H(-1,0,x)*[1-x]^-1 + 1/16*H(-1,0,x)*z2 + 1/8*H(-1,0,-1,0,x) + H(-1,0,-1,0,x)*[1-x]^-2 - 3/4*H(-1,0,-1,0,x)*[1-x]^-1 - 1/4*H(-1,0,0,x) - 2*H(-1,0,0,x)*[1-x]^-2 + 3/2*H(-1,0,0,x)*[1-x]^-1 - 5/16*H(-1,0,0,0,x) - 3/2*H(-1,0,0,0,x)*[1-x]^-2 + 11/8*H(-1,0,0,0,x)*[1-x]^-1 - H(0,x) - 1/2*H(0,x)*[1-x]^-2*z2 - 1/4*H(0,x)*[1-x]^-2*z3 + 1/4*H(0,x)*[1-x]^-1*z2 + 1/8*H(0,x)*[1-x]^-1*z3 + 2*H(0,x)*[1-x]^-1 + 1/4*H(0,-1,x)*[1-x]^-2*z2 - 1/8*H(0,-1,x)*[1-x]^-1*z2 + 1/2*H(0,-1,-1,0,x)*[1-x]^-2 - 1/4*H(0,-1,-1,0,x)*[1-x]^-1 - H(0,-1,0,x)*[1-x]^-2 + 1/2*H(0,-1,0,x)*[1-x]^-1 - 1/4*H(0,-1,0,0,x) - 5/4*H(0,-1,0,0,x)*[1-x]^-2 + 9/8*H(0,-1,0,0,x)*[1-x]^-1 - 3/8*H(0,0,x)*[1-x]^-2*z2 + 3/2*H(0,0,x)*[1-x]^-2 + 5/16*H(0,0,x)*[1-x]^-1*z2 - 3/4*H(0,0,x)*[1-x]^-1 - 1/16*H(0,0,x)*z2 - 1/8*H(0,0,-1,0,x) - 3/4*H(0,0,-1,0,x)*[1-x]^-2 + 5/8*H(0,0,-1,0,x)*[1-x]^-1 + 1/4*H(0,0,0,x) + 3/2*H(0,0,0,x)*[1-x]^-2 - 5/4*H(0,0,0,x)*[1-x]^-1 + 3/16*H(0,0,0,0,x) + 7/8*H(0,0,0,0,x)*[1-x]^-2 - 13/16*H(0,0,0,0,x)*[1-x]^-1 ) + [d-4]^3*Help(12607488,3) ; .sort * * The r.h.s. of Eq.(103) is equal to Topo(2,-4,3145731); id Topo(2,-4,3145731) = + [d-4]^-2 * ( + 1/8 ) + [d-4]^-1 * ( - 5/16 + 1/8*H(0,x) - 1/4*H(0,x)*[1-x]^-1 ) + 19/32 - 1/4*z2*[1-x]^-1 + 1/4*z2 + 1/4*H(-1,0,x) - 1/2*H(-1,0,x)*[1-x]^-1 - 5/16*H(0,x) + 5/8*H(0,x)*[1-x]^-1 - 1/8*H(0,0,x) + 1/4*H(0,0,x)*[1-x]^-1 + [d-4] * ( - 65/64 + 5/8*z2*[1-x]^-1 - 5/8*z2 + 1/2*z3*[1-x]^-1 - 3/8*z3 - 1/2*H(-1,x)*z2*[1-x]^-1 + 1/4*H(-1,x)*z2 + 1/2*H(-1,-1,0,x) - H(-1,-1,0,x)*[1-x]^-1 - 5/8*H(-1,0,x) + 5/4*H(-1,0,x)*[1-x]^-1 - 1/4*H(-1,0,0,x) + 1/2*H(-1,0,0,x)*[1-x]^-1 + 19/32*H(0,x) - 19/16*H(0,x)*[1-x]^-1 - 1/4*H(0,-1,0,x) + 1/2*H(0,-1,0,x)*[1-x]^-1 + 5/16*H(0,0,x) - 5/8*H(0,0,x)*[1-x]^-1 + 1/8*H(0,0,0,x) - 1/4*H(0,0,0,x)*[1-x]^-1 ) + [d-4]^2 * ( + 211/128 - 19/16*z2*[1-x]^-1 + 19/16*z2 - 19/40*z2^2*[1-x]^-1 + 7/16*z2^2 - 5/4*z3*[1-x]^-1 + 15/16*z3 + 5/4*H(-1,x)*z2*[1-x]^-1 - 5/8*H(-1,x)*z2 + H(-1,x)*z3*[1-x]^-1 - 1/2*H(-1,x)*z3 - H(-1,-1,x)*z2*[1-x]^-1 + 1/2*H(-1,-1,x)*z2 + H(-1,-1,-1,0,x) - 2*H(-1,-1,-1,0,x)*[1-x]^-1 - 5/4*H(-1,-1,0,x) + 5/2*H(-1,-1,0,x)*[1-x]^-1 - 1/2*H(-1,-1,0,0,x) + H(-1,-1,0,0,x)*[1-x]^-1 + 19/16*H(-1,0,x) - 19/8*H(-1,0,x)*[1-x]^-1 - 1/2*H(-1,0,-1,0,x) + H(-1,0,-1,0,x)*[1-x]^-1 + 5/8*H(-1,0,0,x) - 5/4*H(-1,0,0,x)*[1-x]^-1 + 1/4*H(-1,0,0,0,x) - 1/2*H(-1,0,0,0,x)*[1-x]^-1 - 65/64*H(0,x) - 1/4*H(0,x)*z3*[1-x]^-1 + 1/8*H(0,x)*z3 + 65/32*H(0,x)*[1-x]^-1 + 1/2*H(0,-1,x)*z2*[1-x]^-1 - 1/4*H(0,-1,x)*z2 - 1/2*H(0,-1,-1,0,x) + H(0,-1,-1,0,x)*[1-x]^-1 + 5/8*H(0,-1,0,x) - 5/4*H(0,-1,0,x)*[1-x]^-1 + 1/4*H(0,-1,0,0,x) - 1/2*H(0,-1,0,0,x)*[1-x]^-1 - 19/32*H(0,0,x) + 19/16*H(0,0,x)*[1-x]^-1 + 1/4*H(0,0,-1,0,x) - 1/2*H(0,0,-1,0,x)*[1-x]^-1 - 5/16*H(0,0,0,x) + 5/8*H(0,0,0,x)*[1-x]^-1 - 1/8*H(0,0,0,0,x) + 1/4*H(0,0,0,0,x)*[1-x]^-1 ) + [d-4]^4*Help(3145731,4) ; .sort * * The r.h.s. of Eq.(108) is equal to Topo(2,-4,1310723); id Topo(2,-4,1310723) = + [d-4]^-2 * ( + 1/8 ) + [d-4]^-1 * ( - 5/16 ) + 19/32 + 1/8*H(0,x)*z2*[1-x]^-1 - 1/8*H(0,x)*z2*[x+1]^-1 - 1/16*H(0,0,x) + 1/8*H(0,0,0,x)*[1-x]^-1 - 1/8*H(0,0,0,x)*[x+1]^-1 + [d-4] * ( - 65/64 + 13/80*z2^2*[1-x]^-1 - 13/80*z2^2*[x+1]^-1 - 3/32*z3 - 1/8*H(-1,0,x)*z2*[1-x]^-1 + 1/8*H(-1,0,x)*z2*[x+1]^-1 - 1/8*H(-1,0,0,0,x)*[1-x]^-1 + 1/8*H(-1,0,0,0,x)*[x+1]^-1 - 1/16*H(0,x)*z2*[1-x]^-1 + 1/16*H(0,x)*z2*[x+1]^-1 - 1/32*H(0,x)*z2 + 1/16*H(0,x)*z3*[1-x]^-1 - 1/16*H(0,x)*z3*[x+1]^-1 - 3/16*H(0,-1,0,x) + 5/32*H(0,0,x) + 3/16*H(0,0,x)*z2*[1-x]^-1 - 3/16*H(0,0,x)*z2*[x+1]^-1 + 3/8*H(0,0,-1,0,x)*[1-x]^-1 - 3/8*H(0,0,-1,0,x)*[x+1]^-1 + 3/32*H(0,0,0,x) - 1/16*H(0,0,0,x)*[1-x]^-1 + 1/16*H(0,0,0,x)*[x+1]^-1 - 1/16*H(0,0,0,0,x)*[1-x]^-1 + 1/16*H(0,0,0,0,x)*[x+1]^-1 - 1/8*H(0,0,1,0,x)*[1-x]^-1 + 1/8*H(0,0,1,0,x)*[x+1]^-1 + 1/16*H(0,1,0,x) + 1/8*H(0,1,0,0,x)*[1-x]^-1 - 1/8*H(0,1,0,0,x)*[x+1]^-1 + 1/8*H(1,0,x)*z2*[1-x]^-1 - 1/8*H(1,0,x)*z2*[x+1]^-1 - 1/16*H(1,0,0,x) + 1/8*H(1,0,0,0,x)*[1-x]^-1 - 1/8*H(1,0,0,0,x)*[x+1]^-1 ) + [d-4]^2*Help(1310723,2) ; .sort * * The r.h.s. of Eq.(113) is equal to Topo(2,-4,17309698); id Topo(2,-4,17309698) = + [d-4]^-2 * ( + 1/8 ) + [d-4]^-1 * ( - 5/16 ) + 19/32 - 1/8*z2 + 1/8*H(0,x)*z2*[1-x]^-1 - 1/8*H(0,x)*z2*[x+1]^-1 - 1/16*H(0,0,x) + 1/8*H(0,0,0,x)*[1-x]^-1 - 1/8*H(0,0,0,x)*[x+1]^-1 + [d-4] * ( - 65/64 + 5/16*z2 - 1/160*z2^2*[1-x]^-1 + 1/160*z2^2*[x+1]^-1 + 3/32*z3 - 3/8*H(-1,x)*z2 - 1/8*H(-1,0,x)*z2*[1-x]^-1 + 1/8*H(-1,0,x)*z2*[x+1]^-1 - 1/8*H(-1,0,0,x) - 1/8*H(-1,0,0,0,x)*[1-x]^-1 + 1/8*H(-1,0,0,0,x)*[x+1]^-1 - 3/16*H(0,x)*z2*[1-x]^-1 - 1/16*H(0,x)*z2*[x+1]^-1 + 9/32*H(0,x)*z2 + 3/8*H(0,-1,x)*z2*[1-x]^-1 - 3/8*H(0,-1,x)*z2*[x+1]^-1 - 3/16*H(0,-1,0,x) + 1/8*H(0,-1,0,0,x)*[1-x]^-1 - 1/8*H(0,-1,0,0,x)*[x+1]^-1 + 5/32*H(0,0,x) + 3/8*H(0,0,-1,0,x)*[1-x]^-1 - 3/8*H(0,0,-1,0,x)*[x+1]^-1 + 11/32*H(0,0,0,x) - 3/16*H(0,0,0,x)*[1-x]^-1 - 1/16*H(0,0,0,x)*[x+1]^-1 - 3/16*H(0,0,0,0,x)*[1-x]^-1 + 3/16*H(0,0,0,0,x)*[x+1]^-1 - 1/8*H(0,0,1,0,x)*[1-x]^-1 + 1/8*H(0,0,1,0,x)*[x+1]^-1 + 1/16*H(0,1,0,x) + 1/8*H(1,0,x)*z2*[1-x]^-1 - 1/8*H(1,0,x)*z2*[x+1]^-1 + 1/16*H(1,0,0,x) + 1/8*H(1,0,0,0,x)*[1-x]^-1 - 1/8*H(1,0,0,0,x)*[x+1]^-1 ) + [d-4]^2*Help(17309698,2) ; .sort * * The r.h.s. of Eq.(115) is equal to 1/m^2*Topo(2,-4,17309698)/E2k2; id Topo(2,-4,17309698)/E2k2 = + [d-4]^-2 * ( - 1/8 ) + [d-4]^-1 * ( + 1/8 - 1/16*H(0,x) + 1/8*H(0,x)*[1-x]^-1 ) - 1/8 + 1/16*z2*[1-x]^-1 + 1/32*z2 - 3/16*H(-1,0,x) + 3/8*H(-1,0,x)*[1-x]^-1 + 1/16*H(0,x) - 1/8*H(0,x)*[1-x]^-1 + 7/32*H(0,0,x) - 1/4*H(0,0,x)*[1-x]^-1 + 1/16*H(1,0,x) - 1/8*H(1,0,x)*[1-x]^-1 + [d-4] * ( + 1/8 - 1/16*z2*[1-x]^-1 - 1/32*z2 - 11/32*z3*[1-x]^-1 + 7/32*z3 + 3/16*H(-1,x)*z2*[1-x]^-1 + 3/32*H(-1,x)*z2 - 9/16*H(-1,-1,0,x) + 9/8*H(-1,-1,0,x)*[1-x]^-1 + 3/16*H(-1,0,x) - 3/8*H(-1,0,x)*[1-x]^-1 + 7/16*H(-1,0,0,x) - 3/4*H(-1,0,0,x)*[1-x]^-1 + 3/16*H(-1,1,0,x) - 3/8*H(-1,1,0,x)*[1-x]^-1 - 1/16*H(0,x) - 1/8*H(0,x)*z2*[1-x]^-1 + 1/8*H(0,x)*z2*[x+1]^-1 - 3/64*H(0,x)*z2 + 1/8*H(0,x)*[1-x]^-1 + 21/32*H(0,-1,0,x) - 3/4*H(0,-1,0,x)*[1-x]^-1 - 7/32*H(0,0,x) + 1/4*H(0,0,x)*[1-x]^-1 - 27/64*H(0,0,0,x) + 5/16*H(0,0,0,x)*[1-x]^-1 + 1/8*H(0,0,0,x)*[x+1]^-1 - 7/32*H(0,1,0,x) + 1/4*H(0,1,0,x)*[1-x]^-1 - 1/16*H(1,x)*z2*[1-x]^-1 + 1/32*H(1,x)*z2 + 3/16*H(1,-1,0,x) - 3/8*H(1,-1,0,x)*[1-x]^-1 - 1/16*H(1,0,x) + 1/8*H(1,0,x)*[1-x]^-1 - 3/32*H(1,0,0,x) + 1/4*H(1,0,0,x)*[1-x]^-1 - 1/16*H(1,1,0,x) + 1/8*H(1,1,0,x)*[1-x]^-1 ) + [d-4]^2*Help(17309698,2) ; .sort * * The r.h.s. of Eq.(123) is equal to Topo(2,-4,3170304); id Topo(2,-4,3170304) = + [d-4]^-2 * ( + 1/8 ) + [d-4]^-1 * ( - 5/16 + 1/8*H(0,x) - 1/4*H(0,x)*[1-x]^-1 ) + 19/32 - 1/8*z2*[1-x]^-1 + 1/8*z2 + 1/8*H(-1,0,x) - 1/4*H(-1,0,x)*[1-x]^-1 - 5/16*H(0,x) + 1/16*H(0,x)*z2*[1-x]^-1 - 1/16*H(0,x)*z2*[x+1]^-1 + 5/8*H(0,x)*[1-x]^-1 + 1/8*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,0,x)*[1-x]^-1 - 1/16*H(0,0,0,x)*[x+1]^-1 + [d-4] * ( - 65/64 + 5/16*z2*[1-x]^-1 - 5/16*z2 + 1/320*z2^2*[1-x]^-1 - 1/320*z2^2*[x+1]^-1 + 1/8*z3*[1-x]^-1 - 1/8*H(-1,x)*z2*[1-x]^-1 + 1/4*H(-1,x)*z2 + 1/8*H(-1,-1,0,x) - 1/4*H(-1,-1,0,x)*[1-x]^-1 - 5/16*H(-1,0,x) - 1/16*H(-1,0,x)*z2*[1-x]^-1 + 1/16*H(-1,0,x)*z2*[x+1]^-1 + 5/8*H(-1,0,x)*[1-x]^-1 + 1/8*H(-1,0,0,x)*[1-x]^-1 - 1/16*H(-1,0,0,0,x)*[1-x]^-1 + 1/16*H(-1,0,0,0,x)*[x+1]^-1 + 19/32*H(0,x) + 1/32*H(0,x)*z2*[1-x]^-1 + 3/32*H(0,x)*z2*[x+1]^-1 - 1/8*H(0,x)*z2 + 1/16*H(0,x)*z3*[1-x]^-1 - 1/16*H(0,x)*z3*[x+1]^-1 - 19/16*H(0,x)*[1-x]^-1 + 3/16*H(0,-1,x)*z2*[1-x]^-1 - 3/16*H(0,-1,x)*z2*[x+1]^-1 + 1/8*H(0,-1,0,x)*[1-x]^-1 + 1/16*H(0,-1,0,0,x)*[1-x]^-1 - 1/16*H(0,-1,0,0,x)*[x+1]^-1 - 1/32*H(0,0,x)*z2*[1-x]^-1 + 1/32*H(0,0,x)*z2*[x+1]^-1 - 5/16*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,-1,0,x)*[1-x]^-1 - 1/16*H(0,0,-1,0,x)*[x+1]^-1 - 1/8*H(0,0,0,x) - 3/32*H(0,0,0,x)*[1-x]^-1 + 3/32*H(0,0,0,x)*[x+1]^-1 - 3/32*H(0,0,0,0,x)*[1-x]^-1 + 3/32*H(0,0,0,0,x)*[x+1]^-1 - 1/8*H(0,1,0,0,x)*[1-x]^-1 + 1/8*H(0,1,0,0,x)*[x+1]^-1 - 1/8*H(1,0,0,x) ) + [d-4]^2*Help(3170304,2) ; .sort * * The r.h.s. of Eq.(125) is equal to m^2*Topo(2,-4,3170304)*p2.k1; id Topo(2,-4,3170304)*p2.k1 = + [d-4]^-2 * ( + 1/32 + 1/64*x^-1 + 1/64*x ) + [d-4]^-1 * ( - 9/128 - 9/256*x^-1 - 9/256*x + 1/16*H(0,x) - 1/64*H(0,x)*x^-1 + 1/64*H(0,x)*x - 1/8*H(0,x)*[1-x]^-1 ) + 63/512 + 1/64*z2*x - 1/16*z2*[1-x]^-1 + 1/32*z2 + 63/1024*x^-1 + 63/1024*x + 1/16*H(-1,0,x) - 1/64*H(-1,0,x)*x^-1 + 1/64*H(-1,0,x)*x - 1/8*H(-1,0,x)*[1-x]^-1 - 1/8*H(0,x) + 1/64*H(0,x)*z2*[1-x]^-1 - 1/64*H(0,x)*z2*[x+1]^-1 + 9/256*H(0,x)*x^-1 - 9/256*H(0,x)*x + 1/4*H(0,x)*[1-x]^-1 - 1/32*H(0,0,x) + 1/64*H(0,0,x)*x^-1 + 1/16*H(0,0,x)*[1-x]^-1 + 1/64*H(0,0,0,x)*[1-x]^-1 - 1/64*H(0,0,0,x)*[x+1]^-1 + [d-4] * ( - 405/2048 - 9/256*z2*x + 1/8*z2*[1-x]^-1 - 1/32*z2 + 1/1280*z2^2*[1-x]^-1 - 1/1280*z2^2*[x+1]^-1 + 1/64*z3*x^-1 + 1/16*z3*[1-x]^-1 - 1/32*z3 - 405/4096*x^-1 - 405/4096*x + 1/64*H(-1,x)*z2*x^-1 + 1/32*H(-1,x)*z2*x - 1/16*H(-1,x)*z2*[1-x]^-1 + 1/32*H(-1,x)*z2 + 1/16*H(-1,-1,0,x) - 1/64*H(-1,-1,0,x)*x^-1 + 1/64*H(-1,-1,0,x)*x - 1/8*H(-1,-1,0,x)*[1-x]^-1 - 1/8*H(-1,0,x) - 1/64*H(-1,0,x)*z2*[1-x]^-1 + 1/64*H(-1,0,x)*z2*[x+1]^-1 + 9/256*H(-1,0,x)*x^-1 - 9/256*H(-1,0,x)*x + 1/4*H(-1,0,x)*[1-x]^-1 - 1/32*H(-1,0,0,x) + 1/64*H(-1,0,0,x)*x^-1 + 1/16*H(-1,0,0,x)*[1-x]^-1 - 1/64*H(-1,0,0,0,x)*[1-x]^-1 + 1/64*H(-1,0,0,0,x)*[x+1]^-1 + 25/128*H(0,x) - 1/64*H(0,x)*z2*x + 7/256*H(0,x)*z2*[1-x]^-1 + 1/256*H(0,x)*z2*[x+1]^-1 - 1/64*H(0,x)*z2 + 1/64*H(0,x)*z3*[1-x]^-1 - 1/64*H(0,x)*z3*[x+1]^-1 - 63/1024*H(0,x)*x^-1 + 63/1024*H(0,x)*x - 25/64*H(0,x)*[1-x]^-1 + 3/64*H(0,-1,x)*z2*[1-x]^-1 - 3/64*H(0,-1,x)*z2*[x+1]^-1 - 1/32*H(0,-1,0,x) + 1/64*H(0,-1,0,x)*x^-1 + 1/16*H(0,-1,0,x)*[1-x]^-1 + 1/64*H(0,-1,0,0,x)*[1-x]^-1 - 1/64*H(0,-1,0,0,x)*[x+1]^-1 + 1/16*H(0,0,x) - 1/128*H(0,0,x)*z2*[1-x]^-1 + 1/128*H(0,0,x)*z2*[x+1]^-1 - 9/256*H(0,0,x)*x^-1 - 1/8*H(0,0,x)*[1-x]^-1 + 1/64*H(0,0,-1,0,x)*[1-x]^-1 - 1/64*H(0,0,-1,0,x)*[x+1]^-1 + 1/64*H(0,0,0,x) - 1/64*H(0,0,0,x)*x^-1 - 1/64*H(0,0,0,x)*x - 9/256*H(0,0,0,x)*[1-x]^-1 + 1/256*H(0,0,0,x)*[x+1]^-1 - 3/128*H(0,0,0,0,x)*[1-x]^-1 + 3/128*H(0,0,0,0,x)*[x+1]^-1 - 1/32*H(0,1,0,0,x)*[1-x]^-1 + 1/32*H(0,1,0,0,x)*[x+1]^-1 - 1/64*H(1,0,0,x)*x^-1 - 1/64*H(1,0,0,x)*x ) + [d-4]^2*Help(3170304,2) ; .sort * * The r.h.s. of Eq.(133) is equal to 1/m^2*Topo(2,-5,3276803); id Topo(2,-5,3276803) = + 17/320*z2^2*[1-x]^-1 - 17/320*z2^2*[x+1]^-1 - 1/8*H(0,x)*z3*[1-x]^-1 + 1/8*H(0,x)*z3*[x+1]^-1 + 1/8*H(0,-1,0,0,x)*[1-x]^-1 - 1/8*H(0,-1,0,0,x)*[x+1]^-1 + 1/32*H(0,0,x)*z2*[1-x]^-1 - 1/32*H(0,0,x)*z2*[x+1]^-1 - 1/16*H(0,0,-1,0,x)*[1-x]^-1 + 1/16*H(0,0,-1,0,x)*[x+1]^-1 - 1/16*H(0,1,0,0,x)*[1-x]^-1 + 1/16*H(0,1,0,0,x)*[x+1]^-1 + 1/8*H(1,0,x)*z2*[1-x]^-1 - 1/8*H(1,0,x)*z2*[x+1]^-1 + 1/8*H(1,0,0,0,x)*[1-x]^-1 - 1/8*H(1,0,0,0,x)*[x+1]^-1 + [d-4]*Help(3276803,1) ; .sort * * The r.h.s. of Eq.(135) is equal to 1/m^4*Topo(2,-5,3276803)/E2k12; id Topo(2,-5,3276803)/E2k12 = + [d-4]^-1*( + 1/32*H(0,0,x)*[1-x]^-2 - 1/32*H(0,0,x)*[1-x]^-1 + 1/32*H(0,0,x)*[x+1]^-2 - 1/32*H(0,0,x)*[x+1]^-1 ) - 1/64*[1-x]^-2*z3 + 1/64*[1-x]^-1*z3 - 1/64*[x+1]^-2*z3 + 1/64*[x+1]^-1*z3 + 1/16*H(-1,0,0,x)*[1-x]^-2 - 1/16*H(-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,0,0,x)*[x+1]^-2 - 1/16*H(-1,0,0,x)*[x+1]^-1 + 1/16*H(0,-1,0,x)*[1-x]^-2 - 1/16*H(0,-1,0,x)*[1-x]^-1 + 1/16*H(0,-1,0,x)*[x+1]^-2 - 1/16*H(0,-1,0,x)*[x+1]^-1 - 5/64*H(0,0,0,x)*[1-x]^-2 + 5/64*H(0,0,0,x)*[1-x]^-1 - 5/64*H(0,0,0,x)*[x+1]^-2 + 5/64*H(0,0,0,x)*[x+1]^-1 - 1/32*H(0,1,0,x)*[1-x]^-2 + 1/32*H(0,1,0,x)*[1-x]^-1 - 1/32*H(0,1,0,x)*[x+1]^-2 + 1/32*H(0,1,0,x)*[x+1]^-1 + [d-4]*( - 7/640*z2^2*[1-x]^-2 + 7/640*z2^2*[1-x]^-1 - 7/640*z2^2*[x+1]^-2 + 7/640*z2^2*[x+1]^-1 - 1/32*H(-1,x)*z3*[1-x]^-2 + 1/32*H(-1,x)*z3*[1-x]^-1 - 1/32*H(-1,x)*z3*[x+1]^-2 + 1/32*H(-1,x)*z3*[x+1]^-1 + 1/8*H(-1,-1,0,0,x)*[1-x]^-2 - 1/8*H(-1,-1,0,0,x)*[1-x]^-1 + 1/8*H(-1,-1,0,0,x)*[x+1]^-2 - 1/8*H(-1,-1,0,0,x)*[x+1]^-1 + 1/8*H(-1,0,-1,0,x)*[1-x]^-2 - 1/8*H(-1,0,-1,0,x)*[1-x]^-1 + 1/8*H(-1,0,-1,0,x)*[x+1]^-2 - 1/8*H(-1,0,-1,0,x)*[x+1]^-1 - 5/32*H(-1,0,0,0,x)*[1-x]^-2 + 5/32*H(-1,0,0,0,x)*[1-x]^-1 - 5/32*H(-1,0,0,0,x)*[x+1]^-2 + 5/32*H(-1,0,0,0,x)*[x+1]^-1 - 1/16*H(-1,0,1,0,x)*[1-x]^-2 + 1/16*H(-1,0,1,0,x)*[1-x]^-1 - 1/16*H(-1,0,1,0,x)*[x+1]^-2 + 1/16*H(-1,0,1,0,x)*[x+1]^-1 - 3/128*H(0,x)*z3*[1-x]^-2 + 3/128*H(0,x)*z3*[1-x]^-1 - 3/128*H(0,x)*z3*[x+1]^-2 + 3/128*H(0,x)*z3*[x+1]^-1 + 3/16*H(0,-1,-1,0,x)*[1-x]^-2 - 3/16*H(0,-1,-1,0,x)*[1-x]^-1 + 3/16*H(0,-1,-1,0,x)*[x+1]^-2 - 3/16*H(0,-1,-1,0,x)*[x+1]^-1 - 13/64*H(0,-1,0,0,x)*[1-x]^-2 + 13/64*H(0,-1,0,0,x)*[1-x]^-1 - 13/64*H(0,-1,0,0,x)*[x+1]^-2 + 13/64*H(0,-1,0,0,x)*[x+1]^-1 - 3/32*H(0,-1,1,0,x)*[1-x]^-2 + 3/32*H(0,-1,1,0,x)*[1-x]^-1 - 3/32*H(0,-1,1,0,x)*[x+1]^-2 + 3/32*H(0,-1,1,0,x)*[x+1]^-1 - 13/128*H(0,0,x)*z2*[1-x]^-2 + 13/128*H(0,0,x)*z2*[1-x]^-1 - 13/128*H(0,0,x)*z2*[x+1]^-2 + 13/128*H(0,0,x)*z2*[x+1]^-1 - 13/64*H(0,0,-1,0,x)*[1-x]^-2 + 13/64*H(0,0,-1,0,x)*[1-x]^-1 - 13/64*H(0,0,-1,0,x)*[x+1]^-2 + 13/64*H(0,0,-1,0,x)*[x+1]^-1 + 9/128*H(0,0,0,0,x)*[1-x]^-2 - 9/128*H(0,0,0,0,x)*[1-x]^-1 + 9/128*H(0,0,0,0,x)*[x+1]^-2 - 9/128*H(0,0,0,0,x)*[x+1]^-1 + 3/32*H(0,0,1,0,x)*[1-x]^-2 - 3/32*H(0,0,1,0,x)*[1-x]^-1 + 3/32*H(0,0,1,0,x)*[x+1]^-2 - 3/32*H(0,0,1,0,x)*[x+1]^-1 - 1/64*H(0,1,x)*z2*[1-x]^-2 + 1/64*H(0,1,x)*z2*[1-x]^-1 - 1/64*H(0,1,x)*z2*[x+1]^-2 + 1/64*H(0,1,x)*z2*[x+1]^-1 - 3/32*H(0,1,-1,0,x)*[1-x]^-2 + 3/32*H(0,1,-1,0,x)*[1-x]^-1 - 3/32*H(0,1,-1,0,x)*[x+1]^-2 + 3/32*H(0,1,-1,0,x)*[x+1]^-1 + 1/16*H(0,1,0,0,x)*[1-x]^-2 - 1/16*H(0,1,0,0,x)*[1-x]^-1 + 1/16*H(0,1,0,0,x)*[x+1]^-2 - 1/16*H(0,1,0,0,x)*[x+1]^-1 + 1/32*H(0,1,1,0,x)*[1-x]^-2 - 1/32*H(0,1,1,0,x)*[1-x]^-1 + 1/32*H(0,1,1,0,x)*[x+1]^-2 - 1/32*H(0,1,1,0,x)*[x+1]^-1 ) + [d-4]^2*Help(3276803,2) ; .sort * * The r.h.s. of Eq.(140) is equal to 1/m^4*Topo(2,-6,17342482); id Topo(2,-6,17342482) = + [d-4]^-1 * ( - 1/32*z3*[1-x]^-2 + 1/32*z3*[1-x]^-1 - 1/32*z3*[x+1]^-2 + 1/32*z3*[x+1]^-1 - 1/32*H(0,x)*z2*[1-x]^-2 + 1/32*H(0,x)*z2*[1-x]^-1 - 1/32*H(0,x)*z2*[x+1]^-2 + 1/32*H(0,x)*z2*[x+1]^-1 + 1/16*H(0,-1,0,x)*[1-x]^-2 - 1/16*H(0,-1,0,x)*[1-x]^-1 + 1/16*H(0,-1,0,x)*[x+1]^-2 - 1/16*H(0,-1,0,x)*[x+1]^-1 - 1/16*H(0,0,0,x)*[1-x]^-2 + 1/16*H(0,0,0,x)*[1-x]^-1 - 1/16*H(0,0,0,x)*[x+1]^-2 + 1/16*H(0,0,0,x)*[x+1]^-1 - 1/16*H(0,1,0,x)*[1-x]^-2 + 1/16*H(0,1,0,x)*[1-x]^-1 - 1/16*H(0,1,0,x)*[x+1]^-2 + 1/16*H(0,1,0,x)*[x+1]^-1 ) + 37/640*z2^2*[1-x]^-2 - 37/640*z2^2*[1-x]^-1 + 37/640*z2^2*[x+1]^-2 - 37/640*z2^2*[x+1]^-1 - 1/16*H(-1,x)*z3*[1-x]^-2 + 1/16*H(-1,x)*z3*[1-x]^-1 - 1/16*H(-1,x)*z3*[x+1]^-2 + 1/16*H(-1,x)*z3*[x+1]^-1 - 1/16*H(-1,0,x)*z2*[1-x]^-2 + 1/16*H(-1,0,x)*z2*[1-x]^-1 - 1/16*H(-1,0,x)*z2*[x+1]^-2 + 1/16*H(-1,0,x)*z2*[x+1]^-1 + 1/8*H(-1,0,-1,0,x)*[1-x]^-2 - 1/8*H(-1,0,-1,0,x)*[1-x]^-1 + 1/8*H(-1,0,-1,0,x)*[x+1]^-2 - 1/8*H(-1,0,-1,0,x)*[x+1]^-1 - 1/8*H(-1,0,0,0,x)*[1-x]^-2 + 1/8*H(-1,0,0,0,x)*[1-x]^-1 - 1/8*H(-1,0,0,0,x)*[x+1]^-2 + 1/8*H(-1,0,0,0,x)*[x+1]^-1 - 1/8*H(-1,0,1,0,x)*[1-x]^-2 + 1/8*H(-1,0,1,0,x)*[1-x]^-1 - 1/8*H(-1,0,1,0,x)*[x+1]^-2 + 1/8*H(-1,0,1,0,x)*[x+1]^-1 + 1/64*H(0,x)*z3*[1-x]^-2 - 1/64*H(0,x)*z3*[1-x]^-1 + 1/64*H(0,x)*z3*[x+1]^-2 - 1/64*H(0,x)*z3*[x+1]^-1 - 1/32*H(0,-1,x)*z2*[1-x]^-2 + 1/32*H(0,-1,x)*z2*[1-x]^-1 - 1/32*H(0,-1,x)*z2*[x+1]^-2 + 1/32*H(0,-1,x)*z2*[x+1]^-1 + 5/16*H(0,-1,-1,0,x)*[1-x]^-2 - 5/16*H(0,-1,-1,0,x)*[1-x]^-1 + 5/16*H(0,-1,-1,0,x)*[x+1]^-2 - 5/16*H(0,-1,-1,0,x)*[x+1]^-1 - 1/4*H(0,-1,0,0,x)*[1-x]^-2 + 1/4*H(0,-1,0,0,x)*[1-x]^-1 - 1/4*H(0,-1,0,0,x)*[x+1]^-2 + 1/4*H(0,-1,0,0,x)*[x+1]^-1 - 3/16*H(0,-1,1,0,x)*[1-x]^-2 + 3/16*H(0,-1,1,0,x)*[1-x]^-1 - 3/16*H(0,-1,1,0,x)*[x+1]^-2 + 3/16*H(0,-1,1,0,x)*[x+1]^-1 - 1/32*H(0,0,x)*z2*[1-x]^-2 + 1/32*H(0,0,x)*z2*[1-x]^-1 - 1/32*H(0,0,x)*z2*[x+1]^-2 + 1/32*H(0,0,x)*z2*[x+1]^-1 - 3/8*H(0,0,-1,0,x)*[1-x]^-2 + 3/8*H(0,0,-1,0,x)*[1-x]^-1 - 3/8*H(0,0,-1,0,x)*[x+1]^-2 + 3/8*H(0,0,-1,0,x)*[x+1]^-1 + 3/16*H(0,0,0,0,x)*[1-x]^-2 - 3/16*H(0,0,0,0,x)*[1-x]^-1 + 3/16*H(0,0,0,0,x)*[x+1]^-2 - 3/16*H(0,0,0,0,x)*[x+1]^-1 + 1/4*H(0,0,1,0,x)*[1-x]^-2 - 1/4*H(0,0,1,0,x)*[1-x]^-1 + 1/4*H(0,0,1,0,x)*[x+1]^-2 - 1/4*H(0,0,1,0,x)*[x+1]^-1 - 1/32*H(0,1,x)*z2*[1-x]^-2 + 1/32*H(0,1,x)*z2*[1-x]^-1 - 1/32*H(0,1,x)*z2*[x+1]^-2 + 1/32*H(0,1,x)*z2*[x+1]^-1 - 3/16*H(0,1,-1,0,x)*[1-x]^-2 + 3/16*H(0,1,-1,0,x)*[1-x]^-1 - 3/16*H(0,1,-1,0,x)*[x+1]^-2 + 3/16*H(0,1,-1,0,x)*[x+1]^-1 + 1/8*H(0,1,0,0,x)*[1-x]^-2 - 1/8*H(0,1,0,0,x)*[1-x]^-1 + 1/8*H(0,1,0,0,x)*[x+1]^-2 - 1/8*H(0,1,0,0,x)*[x+1]^-1 + 1/16*H(0,1,1,0,x)*[1-x]^-2 - 1/16*H(0,1,1,0,x)*[1-x]^-1 + 1/16*H(0,1,1,0,x)*[x+1]^-2 - 1/16*H(0,1,1,0,x)*[x+1]^-1 + 1/16*H(1,x)*z3*[1-x]^-2 - 1/16*H(1,x)*z3*[1-x]^-1 + 1/16*H(1,x)*z3*[x+1]^-2 - 1/16*H(1,x)*z3*[x+1]^-1 + 1/16*H(1,0,x)*z2*[1-x]^-2 - 1/16*H(1,0,x)*z2*[1-x]^-1 + 1/16*H(1,0,x)*z2*[x+1]^-2 - 1/16*H(1,0,x)*z2*[x+1]^-1 - 1/8*H(1,0,-1,0,x)*[1-x]^-2 + 1/8*H(1,0,-1,0,x)*[1-x]^-1 - 1/8*H(1,0,-1,0,x)*[x+1]^-2 + 1/8*H(1,0,-1,0,x)*[x+1]^-1 + 1/8*H(1,0,0,0,x)*[1-x]^-2 - 1/8*H(1,0,0,0,x)*[1-x]^-1 + 1/8*H(1,0,0,0,x)*[x+1]^-2 - 1/8*H(1,0,0,0,x)*[x+1]^-1 + 1/8*H(1,0,1,0,x)*[1-x]^-2 - 1/8*H(1,0,1,0,x)*[1-x]^-1 + 1/8*H(1,0,1,0,x)*[x+1]^-2 - 1/8*H(1,0,1,0,x)*[x+1]^-1 + [d-4]*Help(17342482,1) ; .sort * * The r.h.s. of Eq.(142) is equal to 1/m^2*Topo(2,-6,17342482)*k1.k2; id Topo(2,-6,17342482)*k1.k2 = - 1/160*z2^2*[1-x]^-1 + 1/160*z2^2*[x+1]^-1 + 1/16*H(0,x)*z3*[1-x]^-1 - 1/16*H(0,x)*z3*[x+1]^-1 - 3/16*H(0,-1,x)*z2*[1-x]^-1 + 3/16*H(0,-1,x)*z2*[x+1]^-1 - 1/16*H(0,-1,0,0,x)*[1-x]^-1 + 1/16*H(0,-1,0,0,x)*[x+1]^-1 - 1/16*H(0,0,-1,0,x)*[1-x]^-1 + 1/16*H(0,0,-1,0,x)*[x+1]^-1 - 1/32*H(0,0,0,0,x)*[1-x]^-1 + 1/32*H(0,0,0,0,x)*[x+1]^-1 - 1/16*H(0,1,0,0,x)*[1-x]^-1 + 1/16*H(0,1,0,0,x)*[x+1]^-1 - 1/8*H(1,0,x)*z2*[1-x]^-1 + 1/8*H(1,0,x)*z2*[x+1]^-1 - 1/8*H(1,0,0,0,x)*[1-x]^-1 + 1/8*H(1,0,0,0,x)*[x+1]^-1 + [d-4]*Help(17342482,1) ; .sort * ************************************************************************** ************************************************************************** ************************************************************************** ************************************************************************** * * The following formulas concern the 6-denominator reducible diagrams: * * The r.h.s. of Eq.(147) is equal to 1/m^4*Topo(2,-6,3538947); id Topo(2,-6,3538947) = + ep^-2 * ( + 1/4*H(0,0,x)*[1-x]^-2 - 1/4*H(0,0,x)*[1-x]^-1 + 1/4*H(0,0,x)*[x+1]^-2 - 1/4*H(0,0,x)*[x+1]^-1 ) + ep^-1 * ( - 1/4*z3*[1-x]^-2 + 1/4*z3*[1-x]^-1 - 1/4*z3*[x+1]^-2 + 1/4*z3*[x+1]^-1 - H(-1,0,0,x)*[1-x]^-2 + H(-1,0,0,x)*[1-x]^-1 - H(-1,0,0,x)*[x+1]^-2 + H(-1,0,0,x)*[x+1]^-1 - 1/2*H(0,x)*z2*[1-x]^-2 + 1/2*H(0,x)*z2*[1-x]^-1 - 1/2*H(0,x)*z2*[x+1]^-2 + 1/2*H(0,x)*z2*[x+1]^-1 + 1/4*H(0,0,0,x)*[1-x]^-2 - 1/4*H(0,0,0,x)*[1-x]^-1 + 1/4*H(0,0,0,x)*[x+1]^-2 - 1/4*H(0,0,0,x)*[x+1]^-1 - 1/2*H(0,1,0,x)*[1-x]^-2 + 1/2*H(0,1,0,x)*[1-x]^-1 - 1/2*H(0,1,0,x)*[x+1]^-2 + 1/2*H(0,1,0,x)*[x+1]^-1 ) + 3/5*z2^2*[1-x]^-2 - 3/5*z2^2*[1-x]^-1 + 3/5*z2^2*[x+1]^-2 - 3/5*z2^2*[x+1]^-1 + H(-1,x)*z3*[1-x]^-2 - H(-1,x)*z3*[1-x]^-1 + H(-1,x)*z3*[x+1]^-2 - H(-1,x)*z3*[x+1]^-1 + 4*H(-1,-1,0,0,x)*[1-x]^-2 - 4*H(-1,-1,0,0,x)*[1-x]^-1 + 4*H(-1,-1,0,0,x)*[x+1]^-2 - 4*H(-1,-1,0,0,x)*[x+1]^-1 + 2*H(-1,0,x)*z2*[1-x]^-2 - 2*H(-1,0,x)*z2*[1-x]^-1 + 2*H(-1,0,x)*z2*[x+1]^-2 - 2*H(-1,0,x)*z2*[x+1]^-1 - H(-1,0,0,0,x)*[1-x]^-2 + H(-1,0,0,0,x)*[1-x]^-1 - H(-1,0,0,0,x)*[x+1]^-2 + H(-1,0,0,0,x)*[x+1]^-1 + 2*H(-1,0,1,0,x)*[1-x]^-2 - 2*H(-1,0,1,0,x)*[1-x]^-1 + 2*H(-1,0,1,0,x)*[x+1]^-2 - 2*H(-1,0,1,0,x)*[x+1]^-1 - 1/4*H(0,x)*z3*[1-x]^-2 + 1/4*H(0,x)*z3*[1-x]^-1 - 1/4*H(0,x)*z3*[x+1]^-2 + 1/4*H(0,x)*z3*[x+1]^-1 + H(0,-1,x)*z2*[1-x]^-2 - H(0,-1,x)*z2*[1-x]^-1 + H(0,-1,x)*z2*[x+1]^-2 - H(0,-1,x)*z2*[x+1]^-1 - 4*H(0,-1,-1,0,x)*[1-x]^-2 + 4*H(0,-1,-1,0,x)*[1-x]^-1 - 4*H(0,-1,-1,0,x)*[x+1]^-2 + 4*H(0,-1,-1,0,x)*[x+1]^-1 + 3/2*H(0,-1,0,0,x)*[1-x]^-2 - 3/2*H(0,-1,0,0,x)*[1-x]^-1 + 3/2*H(0,-1,0,0,x)*[x+1]^-2 - 3/2*H(0,-1,0,0,x)*[x+1]^-1 + 3*H(0,-1,1,0,x)*[1-x]^-2 - 3*H(0,-1,1,0,x)*[1-x]^-1 + 3*H(0,-1,1,0,x)*[x+1]^-2 - 3*H(0,-1,1,0,x)*[x+1]^-1 + 7/4*H(0,0,x)*z2*[1-x]^-2 - 7/4*H(0,0,x)*z2*[1-x]^-1 + 7/4*H(0,0,x)*z2*[x+1]^-2 - 7/4*H(0,0,x)*z2*[x+1]^-1 + 7/2*H(0,0,-1,0,x)*[1-x]^-2 - 7/2*H(0,0,-1,0,x)*[1-x]^-1 + 7/2*H(0,0,-1,0,x)*[x+1]^-2 - 7/2*H(0,0,-1,0,x)*[x+1]^-1 + 5/4*H(0,0,0,0,x)*[1-x]^-2 - 5/4*H(0,0,0,0,x)*[1-x]^-1 + 5/4*H(0,0,0,0,x)*[x+1]^-2 - 5/4*H(0,0,0,0,x)*[x+1]^-1 - 3*H(0,0,1,0,x)*[1-x]^-2 + 3*H(0,0,1,0,x)*[1-x]^-1 - 3*H(0,0,1,0,x)*[x+1]^-2 + 3*H(0,0,1,0,x)*[x+1]^-1 + 1/2*H(0,1,x)*z2*[1-x]^-2 - 1/2*H(0,1,x)*z2*[1-x]^-1 + 1/2*H(0,1,x)*z2*[x+1]^-2 - 1/2*H(0,1,x)*z2*[x+1]^-1 + 3*H(0,1,-1,0,x)*[1-x]^-2 - 3*H(0,1,-1,0,x)*[1-x]^-1 + 3*H(0,1,-1,0,x)*[x+1]^-2 - 3*H(0,1,-1,0,x)*[x+1]^-1 - 2*H(0,1,0,0,x)*[1-x]^-2 + 2*H(0,1,0,0,x)*[1-x]^-1 - 2*H(0,1,0,0,x)*[x+1]^-2 + 2*H(0,1,0,0,x)*[x+1]^-1 - H(0,1,1,0,x)*[1-x]^-2 + H(0,1,1,0,x)*[1-x]^-1 - H(0,1,1,0,x)*[x+1]^-2 + H(0,1,1,0,x)*[x+1]^-1 + ep*Help(3538947,1) ; .sort * * The r.h.s. of Eq.(152) is equal to 1/m^4*Topo(2,-6,442433); id Topo(2,-6,442433) = + ep^-2 * ( - 1/8*H(0,x)*[1-x]^-1 + 1/8*H(0,x)*[x+1]^-1 ) + ep^-1 * ( + 1/8*z2*[1-x]^-1 - 1/8*z2*[x+1]^-1 - 1/4*H(-1,0,x)*[1-x]^-1 + 1/4*H(-1,0,x)*[x+1]^-1 + 1/4*H(0,x)*[1-x]^-1 - 1/4*H(0,x)*[x+1]^-1 + 1/4*H(0,0,x)*[1-x]^-1 - 1/4*H(0,0,x)*[x+1]^-1 + 1/4*H(1,0,x)*[1-x]^-1 - 1/4*H(1,0,x)*[x+1]^-1 ) + 3*z2*ln2*[x+1]^-2 - 3*z2*ln2*[x+1]^-1 - 1/4*z2*[1-x]^-1 + 1/4*z2*[x+1]^-1 - 7/8*z3*[1-x]^-1 + 3/4*z3*[x+1]^-2 + 1/8*z3*[x+1]^-1 + 1/4*H(-1,x)*z2*[1-x]^-1 - 3*H(-1,x)*z2*[x+1]^-2 + 11/4*H(-1,x)*z2*[x+1]^-1 + 7/2*H(-1,-1,0,x)*[1-x]^-1 - 7/2*H(-1,-1,0,x)*[x+1]^-1 + 1/2*H(-1,0,x)*[1-x]^-1 - 1/2*H(-1,0,x)*[x+1]^-1 - 5/2*H(-1,0,0,x)*[1-x]^-1 - H(-1,0,0,x)*[x+1]^-2 + 7/2*H(-1,0,0,x)*[x+1]^-1 - 3/2*H(-1,1,0,x)*[1-x]^-1 + 3/2*H(-1,1,0,x)*[x+1]^-1 - H(0,x)*z2*[1-x]^-1 + 3/2*H(0,x)*z2*[x+1]^-2 - 1/2*H(0,x)*z2*[x+1]^-1 - 1/2*H(0,x)*[1-x]^-1 + 1/2*H(0,x)*[x+1]^-1 - 5/2*H(0,-1,0,x)*[1-x]^-1 - 2*H(0,-1,0,x)*[x+1]^-2 + 9/2*H(0,-1,0,x)*[x+1]^-1 - 1/2*H(0,0,x)*[1-x]^-1 + 1/2*H(0,0,x)*[x+1]^-1 + 1/4*H(0,0,0,x)*[1-x]^-1 + 3/2*H(0,0,0,x)*[x+1]^-2 - 7/4*H(0,0,0,x)*[x+1]^-1 + H(0,1,0,x)*[1-x]^-1 + H(0,1,0,x)*[x+1]^-2 - 2*H(0,1,0,x)*[x+1]^-1 - 1/4*H(1,x)*z2*[1-x]^-1 + 1/4*H(1,x)*z2*[x+1]^-1 - 3/2*H(1,-1,0,x)*[1-x]^-1 + 3/2*H(1,-1,0,x)*[x+1]^-1 - 1/2*H(1,0,x)*[1-x]^-1 + 1/2*H(1,0,x)*[x+1]^-1 + H(1,0,0,x)*[1-x]^-1 - H(1,0,0,x)*[x+1]^-2 + 1/2*H(1,1,0,x)*[1-x]^-1 - 1/2*H(1,1,0,x)*[x+1]^-1 + ep*Help(442433,1) ; .sort * * The r.h.s. of Eq.(157) is equal to 1/m^4*Topo(2,-5,1441795)/E1k1; id Topo(2,-5,1441795)/E1k1 = + ep^-2 * ( + 1/8*H(0,x)*[1-x]^-1 - 1/8*H(0,x)*[x+1]^-1 ) + ep^-1 * ( - 1/8*z2*[1-x]^-1 + 1/8*z2*[x+1]^-1 + [x+1]^-2 - [x+1]^-1 + 1/4*H(-1,0,x)*[1-x]^-1 - 1/4*H(-1,0,x)*[x+1]^-1 + 1/2*H(0,x)*[1-x]^-1 + H(0,x)*[x+1]^-3 - 3/2*H(0,x)*[x+1]^-2 - 1/4*H(0,0,x)*[1-x]^-1 + 1/4*H(0,0,x)*[x+1]^-1 - 1/4*H(1,0,x)*[1-x]^-1 + 1/4*H(1,0,x)*[x+1]^-1 ) - 1/2*z2*[1-x]^-1 - z2*[x+1]^-3 + 3/2*z2*[x+1]^-2 + 7/8*z3*[1-x]^-1 - 7/8*z3*[x+1]^-1 - 1/4*H(-1,x)*z2*[1-x]^-1 + 1/4*H(-1,x)*z2*[x+1]^-1 - 7/2*H(-1,-1,0,x)*[1-x]^-1 + 7/2*H(-1,-1,0,x)*[x+1]^-1 - 2*H(-1,0,x)*[x+1]^-3 + 3*H(-1,0,x)*[x+1]^-2 - H(-1,0,x)*[x+1]^-1 + 5/2*H(-1,0,0,x)*[1-x]^-1 - 5/2*H(-1,0,0,x)*[x+1]^-1 + 3/2*H(-1,1,0,x)*[1-x]^-1 - 3/2*H(-1,1,0,x)*[x+1]^-1 + 7/4*H(0,x)*z2*[1-x]^-1 - 7/4*H(0,x)*z2*[x+1]^-1 + H(0,x)*[1-x]^-1 + 2*H(0,x)*[x+1]^-3 - 3*H(0,x)*[x+1]^-2 + 5/2*H(0,-1,0,x)*[1-x]^-1 - 5/2*H(0,-1,0,x)*[x+1]^-1 - 1/4*H(0,0,x)*[1-x]^-1 + H(0,0,x)*[x+1]^-3 - 3/2*H(0,0,x)*[x+1]^-2 + 3/4*H(0,0,x)*[x+1]^-1 + 1/2*H(0,0,0,x)*[1-x]^-1 - 1/2*H(0,0,0,x)*[x+1]^-1 - H(0,1,0,x)*[1-x]^-1 + H(0,1,0,x)*[x+1]^-1 + 1/4*H(1,x)*z2*[1-x]^-1 - 1/4*H(1,x)*z2*[x+1]^-1 + 3/2*H(1,-1,0,x)*[1-x]^-1 - 3/2*H(1,-1,0,x)*[x+1]^-1 - 1/2*H(1,0,x)*[1-x]^-1 + 1/2*H(1,0,x)*[x+1]^-1 - H(1,0,0,x)*[1-x]^-1 + H(1,0,0,x)*[x+1]^-1 - 1/2*H(1,1,0,x)*[1-x]^-1 + 1/2*H(1,1,0,x)*[x+1]^-1 + ep*Help(1441795,1) ; .sort * * The r.h.s. of Eq.(162) is equal to 1/m^4*Topo(2,-5,442369)/Pk1; id Topo(2,-5,442369)/Pk1 = + ep^-1 * ( - [x+1]^-2 + [x+1]^-1 - 1/3*H(0,x)*[1-x]^-1 - H(0,x)*[x+1]^-3 + 3/2*H(0,x)*[x+1]^-2 - 1/6*H(0,x)*[x+1]^-1 ) + 1/3*z2*[1-x]^-1 - 2*z2*[x+1]^-4 + 5*z2*[x+1]^-3 - 4*z2*[x+1]^-2 + 2/3*z2*[x+1]^-1 + 8/3*[x+1]^-2 - 8/3*[x+1]^-1 + 2/3*H(-1,0,x)*[1-x]^-1 + 2*H(-1,0,x)*[x+1]^-3 - 3*H(-1,0,x)*[x+1]^-2 + 1/3*H(-1,0,x)*[x+1]^-1 + 11/36*H(0,x)*[1-x]^-1 + 1/3*H(0,x)*[x+1]^-3 - 1/2*H(0,x)*[x+1]^-2 - 5/36*H(0,x)*[x+1]^-1 - 1/3*H(0,0,x)*[1-x]^-1 - 2/3*H(0,0,x)*[x+1]^-4 + 1/3*H(0,0,x)*[x+1]^-3 + 2/3*H(0,0,x)*[x+1]^-2 + ep*Help(442369,1) ; .sort *