# 10.12.2002, M.Kalmykov, # Maple # full two-loop result (without QCD): # General factor is g^4/(16*Pi^2)^2, not e^4/(16*Pi^2)^2. # Nm is a number of light(massless) fermion families (Nm=2 in SM); ########################################################## X2W_F:=(mmH,mm,Nm)-> + I*mmW^(-1)*mmH^(-1)*mmu3^2 * ( 8*Pi*Nm + 2*Pi ) + I*mmW^(-1)*mmH * ( - 7/6*Pi*Nm - 7/24*Pi ) + I*mmW^(-1)*mmu3 * ( - Pi*Nm - 1/4*Pi ) + I*mmW*mmH^(-1) * ( 2/3*Pi*s*Nm + 1/6*Pi*s + 3*Pi*s^2*Nm + 3/4*Pi*s^2 + 6*Pi*s^3*Nm + 3/2*Pi*s^3 + 19/2*Pi*s^4*Nm + 19/8*Pi*s^4 - 37/36*Pi* Nm - 37/144*Pi ) + I*mmW*mmu3^(-1) * ( 3/2*Pi*Nm + 3/8*Pi ) + I*mmW^2*mmH^(-2) * ( 71/20*Pi*Nm + 71/80*Pi ) + I*mmW^2*mmu3^(-2) * ( 8/15*Pi*Nm + 2/15*Pi ) + I*mmW^3*mmH^(-3) * ( 1736/135*Pi*Nm + 434/135*Pi ) + I*mmW^3*mmu3^(-3) * ( 5/18*Pi*Nm + 5/72*Pi ) + I * ( - 74/9*Pi*s*Nm - 20/9*Pi*s + 8/9*Pi*s^2*Nm + 5/6*Pi*s^2 + 19/9* Pi*s^3*Nm + 23/12*Pi*s^3 + 98/27*Pi*s^4*Nm + 175/54*Pi*s^4 - 1177/54* Pi*Nm + 112/27*Pi*Nm^2 - 137/24*Pi - 34/(sqrt(3))*Zeta(2)*s*Nm - 17/2 /(sqrt(3))*Zeta(2)*s - 10/(sqrt(3))*Zeta(2)*s^2*Nm - 5/2/(sqrt(3))* Zeta(2)*s^2 - 20/3/(sqrt(3))*Zeta(2)*s^3*Nm - 5/3/(sqrt(3))*Zeta(2)* s^3 - 136/27/(sqrt(3))*Zeta(2)*s^4*Nm - 34/27/(sqrt(3))*Zeta(2)*s^4 + 64/9*Zeta(2)*Pi*s*Nm + 16/9*Zeta(2)*Pi*s - 2/9*Zeta(2)*Pi*s^2*Nm - 1/2 *Zeta(2)*Pi*s^2 - 10/9*Zeta(2)*Pi*s^3*Nm - 7/6*Zeta(2)*Pi*s^3 - 20/9* Zeta(2)*Pi*s^4*Nm - 2*Zeta(2)*Pi*s^4 + 40/3*Zeta(2)*Pi*Nm + 10/3*Zeta( 2)*Pi ) + mmW^(-2)*mmH^(-1)*mmu3^3 * ( 27 + 3*Zeta(2) - 9/8*polylog(2,mmH* mmu3^(-1)) - 27/2*F(1/4*mmH*mmu3^(-1)) ) + mmW^(-2)*mmH*mmu3 * ( - 81/16 + 9/4*Zeta(2) - 9/4*polylog(2,mmH* mmu3^(-1)) + 9/16*F(1/4*mmH*mmu3^(-1)) ) + mmW^(-2)*mmH^2 * ( - 359/128 + 243/32*S2 - 13/16*Zeta(2) + 9/16* polylog(2,mmH*mmu3^(-1)) - 9/32*F(1/4*mmH*mmu3^(-1)) ) + mmW^(-2)*mmu3^2 * ( 213/64 - 33/8*Zeta(2) + 45/16*polylog(2,mmH* mmu3^(-1)) + 45/8*F(1/4*mmH*mmu3^(-1)) ) + mmW^(-1)*mmH^(-2)*mmu3^3 * ( - 37/24*polylog(2,mmH*mmu3^(-1)) - 5*F(1/ 4*mmH*mmu3^(-1)) ) + mmW^(-1)*mmH^(-1)*mmu3^2 * ( - 1451/24 + 4*Pi^2*Nm + Pi^2 - 33/2*s*S0 - 37/6*s - 15*s^2*S0 + 34/3*s^2 - 56/3*s^3*S0 + 113/6*s^3 - 389/18* s^4*S0 + 565/24*s^4 + 99/2*S0 + 16/3*Nm - 6*Zeta(2) - 24*Zeta(2)*Nm + 1/4*polylog(2,mmH*mmu3^(-1)) + 41/12*F(1/4*mmH*mmu3^(-1)) ) + mmW^(-1)*mmH * ( 7817/576 - 1/2*Pi^2*Nm - 1/8*Pi^2 + 77/32*s*S0 + 79/ 48*s + 35/16*s^2*S0 - 29/32*s^2 + 49/18*s^3*S0 - 2*s^3 + 2723/864*s^4* S0 - 3095/1152*s^4 + 243/32*S2 - 231/32*S0 - 7/9*Nm + 409/144*Zeta(2) + 9/8*Zeta(2)*s + 9/8*Zeta(2)*s^2 + 9/8*Zeta(2)*s^3 + 9/8*Zeta(2)*s^4 + 3*Zeta(2)*Nm + 11/12*polylog(2,mmH*mmu3^(-1)) - 5/6*F(1/4*mmH* mmu3^(-1)) ) + mmW^(-1)*mmH^2*mmu3^(-1) * ( 3/8*Zeta(2) - 3/8*polylog(2,mmH*mmu3^(-1) ) + 3/16*F(1/4*mmH*mmu3^(-1)) ) + mmW^(-1)*mmu3 * ( 977/192 - Pi^2*Nm - 1/4*Pi^2 - 27/16*s*S0 + 2753/192 *s - 13/4*s^2*S0 + 2873/192*s^2 - 137/36*s^3*S0 + 2965/192*s^3 - 569/ 144*s^4*S0 + 247/16*s^4 - 33/16*S0 - 2/3*Nm + 5/8*Zeta(2) - 119/24* Zeta(2)*s - 119/24*Zeta(2)*s^2 - 119/24*Zeta(2)*s^3 - 119/24*Zeta(2)* s^4 + 6*Zeta(2)*Nm + 1/2*polylog(2,mmH*mmu3^(-1)) - 5/24*F(1/4*mmH* mmu3^(-1)) ) + mmW*mmH^(-4)*mmu3^3 * ( - 23/5*polylog(2,mmH*mmu3^(-1)) - 45*F(1/4* mmH*mmu3^(-1)) ) + mmW*mmH^(-3)*mmu3^2 * ( 409/4 + 91/24*polylog(2,mmH*mmu3^(-1)) + 87/4* F(1/4*mmH*mmu3^(-1)) ) + mmW*mmH^(-2)*mmu3 * ( - 3839/120 - 83/24*polylog(2,mmH*mmu3^(-1)) - 431/120*F(1/4*mmH*mmu3^(-1)) ) + mmW*mmH^(-1) * ( 11936239/86400 - 2*Pi^2*s*Nm - 1/2*Pi^2*s - 3*Pi^2* s^2*Nm - 3/4*Pi^2*s^2 - 4*Pi^2*s^3*Nm - Pi^2*s^3 - 5*Pi^2*s^4*Nm - 5/4 *Pi^2*s^4 - 3*Pi^2*Nm - 3/4*Pi^2 + 8181/64*s*S2 + 977/72*s*S0 + 16/9*s *Nm - 13051/216*s + 10659/64*s^2*S2 + 15601/576*s^2*S0 - 17/9*s^2*Nm - 89569/1152*s^2 + 49193/192*s^3*S2 + 196669/5184*s^3*S0 - 11/3*s^3* Nm - 704839/6912*s^3 + 33121/96*s^4*S2 + 323699/7776*s^4*S0 - 23/9*s^4 *Nm - 595969/5184*s^4 - 35739/80*S2 - 3451/96*S0 - 65/9*Nm + 4247/180* Zeta(2) + 8*Zeta(2)*s*Nm + 5561/288*Zeta(2)*s + 22/3*Zeta(2)*s^2*Nm + 8063/288*Zeta(2)*s^2 + 10547/288*Zeta(2)*s^3 - 14*Zeta(2)*s^4*Nm + 19253/432*Zeta(2)*s^4 + 6*Zeta(2)*Nm + 3/2*polylog(2,mmH*mmu3^(-1)) - 43/120*F(1/4*mmH*mmu3^(-1)) ) + mmW*mmH*mmu3^(-2) * ( - 9/80 - 7/120*Zeta(2) + 7/120*polylog(2,mmH* mmu3^(-1)) - 7/240*F(1/4*mmH*mmu3^(-1)) ) + mmW*mmu3^(-1) * ( 131303/28800 - 891/32*s*S2 + 2653/1440*s*S0 + 354569/ 129600*s - 819/32*s^2*S2 + 239/40*s^2*S0 + 227537/129600*s^2 - 591/32* s^3*S2 + 2269/270*s^3*S0 + 789361/259200*s^3 - 99/16*s^4*S2 + 86677/ 9720*s^4*S0 + 1007797/129600*s^4 - 891/32*S2 - 61/160*S0 + 2*Nm + 1055/ 48*Zeta(2) + 971/144*Zeta(2)*s + 2239/432*Zeta(2)*s^2 + 1349/432*Zeta( 2)*s^3 + 17/24*Zeta(2)*s^4 - 5/12*polylog(2,mmH*mmu3^(-1)) + 4/15*F(1/ 4*mmH*mmu3^(-1)) ) + mmW*mmu3 * ( - 9/80*f(mmH,1,mmu3,1,-2) ) + mmW * ( - 27/80*f(mmH,1,mmu3,1,-1) ) + mmW^2*mmH^(-5)*mmu3^3 * ( - 193/40*polylog(2,mmH*mmu3^(-1)) - 161*F(1/ 4*mmH*mmu3^(-1)) ) + mmW^2*mmH^(-4)*mmu3^2 * ( 42001/120 + 231/20*polylog(2,mmH*mmu3^(-1)) + 935/12*F(1/4*mmH*mmu3^(-1)) ) + mmW^2*mmH^(-3)*mmu3 * ( - 347/3 - 151/12*polylog(2,mmH*mmu3^(-1)) - 641/60*F(1/4*mmH*mmu3^(-1)) ) + mmW^2*mmH^(-2) * ( - 249671569/1296000 + 4329/160*s*S2 + 259993/4800* s*S0 - 43842631/288000*s + 5103/40*s^2*S2 + 990193/9600*s^2*S0 - 107428459/432000*s^2 + 42717/160*s^3*S2 + 1531019/10800*s^3*S0 - 3314383/9000*s^3 + 869239/1920*s^4*S2 + 40790531/259200*s^4*S0 - 1919013/4000*s^4 - 3807/20*S2 + 86473/3200*S0 + 5213/360*Nm + 2577/40* Zeta(2) + 21149/240*Zeta(2)*s + 666/5*Zeta(2)*s^2 + 53773/240*Zeta(2)* s^3 + 1015361/2880*Zeta(2)*s^4 + 15/4*polylog(2,mmH*mmu3^(-1)) - 3/20* F(1/4*mmH*mmu3^(-1)) ) + mmW^2*mmH^(-1)*mmu3^(-1) * ( - 23083/4800 + 7/1200*s + 2749/7200*s^2 - 2839/3600*s^3 - 12239/2880*s^4 - 11/60*F(1/4*mmH*mmu3^(-1)) ) + mmW^2*mmH*mmu3^(-3) * ( - 5/96 - 1/30*Zeta(2) + 1/30*polylog(2,mmH* mmu3^(-1)) - 1/60*F(1/4*mmH*mmu3^(-1)) ) + mmW^2*mmu3^(-2) * ( - 177144307/21168000 - 9/8*s*S2 + 58001/7200*s*S0 - 381597067/31752000*s + 2889/160*s^2*S2 + 104617/12600*s^2*S0 - 1123952009/63504000*s^2 + 3167/80*s^3*S2 + 837209/151200*s^3*S0 - 691899847/31752000*s^3 + 1807/30*s^4*S2 - 2299/1360800*s^4*S0 - 500700593/21168000*s^4 - 2727/160*S2 + 2263/560*S0 + 34/45*Nm + 247/80 *Zeta(2) + 91/72*Zeta(2)*s + 8831/2160*Zeta(2)*s^2 + 5419/540*Zeta(2)* s^3 + 6961/360*Zeta(2)*s^4 - 13/60*polylog(2,mmH*mmu3^(-1)) + 17/120* F(1/4*mmH*mmu3^(-1)) ) + mmW^2*mmu3^(-1) * ( - 305/1152*f(mmH,1,mmu3,1,-1) ) + mmW^2*mmu3 * ( - 547/2880*f(mmH,1,mmu3,1,-3) ) + mmW^2*mmu3^2 * ( - 137/1920*f(mmH,1,mmu3,1,-4) ) + mmW^2*mmu3^3 * ( 1/192*f(mmH,1,mmu3,1,-5) ) + mmW^2 * ( - 469/2304*f(mmH,1,mmu3,1,-2) ) + mmW^3*mmH^(-6)*mmu3^3 * ( 759/56*polylog(2,mmH*mmu3^(-1)) - 594*F(1/4* mmH*mmu3^(-1)) ) + mmW^3*mmH^(-5)*mmu3^2 * ( 49863/40 + 363/10*polylog(2,mmH*mmu3^(-1)) + 1733/6*F(1/4*mmH*mmu3^(-1)) ) + mmW^3*mmH^(-4)*mmu3 * ( - 41431/96 - 909/20*polylog(2,mmH*mmu3^(-1)) - 449/12*F(1/4*mmH*mmu3^(-1)) ) + mmW^3*mmH^(-3) * ( - 111969041609/127008000 + 29151/320*s*S2 + 2094431/7200*s*S0 - 367144853/518400*s + 98229/320*s^2*S2 + 2622653/ 3600*s^2*S0 - 3726216829/2592000*s^2 + 288607/480*s^3*S2 + 1761697/ 1296*s^3*S0 - 3404318779/1296000*s^3 + 265819/240*s^4*S2 + 414264923/ 194400*s^4*S0 - 305951057/72000*s^4 - 452727/1120*S2 + 416057/2400*S0 + 84823/1620*Nm + 1395311/5040*Zeta(2) + 210541/480*Zeta(2)*s + 1160293/1440*Zeta(2)*s^2 + 1098061/720*Zeta(2)*s^3 + 955459/360*Zeta(2 )*s^4 + 23/2*polylog(2,mmH*mmu3^(-1)) - 67/420*F(1/4*mmH*mmu3^(-1)) ) + mmW^3*mmH^(-2)*mmu3^(-1) * ( - 153077/282240 - 19/210*F(1/4*mmH* mmu3^(-1)) ) + mmW^3*mmH^(-1)*mmu3^(-2) * ( - 79481/117600 + 377/19600*s + 12697/ 58800*s^2 + 4003/11760*s^3 + 81/392*s^4 - 47/420*F(1/4*mmH*mmu3^(-1)) ) + mmW^3*mmH*mmu3^(-4) * ( - 33/1120 - 3/140*Zeta(2) + 3/140*polylog(2, mmH*mmu3^(-1)) - 3/280*F(1/4*mmH*mmu3^(-1)) ) + mmW^3*mmu3^(-3) * ( - 174828701/27216000 + 639/32*s*S2 + 128311/30240 *s*S0 - 3676835777/571536000*s + 5589/160*s^2*S2 - 66683/28350*s^2*S0 + 3130420177/1714608000*s^2 + 5773/160*s^3*S2 - 15115291/1360800*s^3* S0 + 98495149/5443200*s^3 + 4523/240*s^4*S2 - 19773241/1020600*s^4*S0 + 3933032431/95256000*s^4 - 621/160*S2 + 133249/25200*S0 + 11/27*Nm - 61/80*Zeta(2) - 4999/2160*Zeta(2)*s + 2087/2160*Zeta(2)*s^2 + 4541/ 720*Zeta(2)*s^3 + 13957/1080*Zeta(2)*s^4 - 2/15*polylog(2,mmH* mmu3^(-1)) + 37/420*F(1/4*mmH*mmu3^(-1)) ) + mmW^3*mmu3^(-2) * ( 2257/14400*f(mmH,1,mmu3,1,-1) ) + mmW^3*mmu3^(-1) * ( - 5909/100800*f(mmH,1,mmu3,1,-2) ) + mmW^3*mmu3 * ( - 507/2240*f(mmH,1,mmu3,1,-4) ) + mmW^3*mmu3^2 * ( - 37/168*f(mmH,1,mmu3,1,-5) ) + mmW^3*mmu3^3 * ( - 15/224*f(mmH,1,mmu3,1,-6) ) + mmW^3*mmu3^4 * ( 1/80*f(mmH,1,mmu3,1,-7) ) + mmW^3 * ( - 7169/50400*f(mmH,1,mmu3,1,-3) ) + mmH^(-3)*mmu3^3 * ( - 65/24*polylog(2,mmH*mmu3^(-1)) - 27/2*F(1/4*mmH *mmu3^(-1)) ) + mmH^(-2)*mmu3^2 * ( 299/6 + 21*s + 81/2*s^2 + 63*s^3 + 351/4*s^4 + 5/4 *polylog(2,mmH*mmu3^(-1)) + 161/24*F(1/4*mmH*mmu3^(-1)) ) + mmH^(-1)*mmu3 * ( - 5119/192 - 199/8*s - 1309/48*s^2 - 685/24*s^3 - 927/32*s^4 - 9*Zeta(2) - 5/8*polylog(2,mmH*mmu3^(-1)) - 8/3*F(1/4*mmH* mmu3^(-1)) ) + mmH*mmu3^(-1) * ( - 3/8 - 1/8*Zeta(2) + 1/8*polylog(2,mmH*mmu3^(-1)) - 1/16*F(1/4*mmH*mmu3^(-1)) ) + mmu3 * ( - 1/64*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmW)*I*mmW*mmH^(-1) * ( 4*Pi*s*Nm + Pi*s + 6*Pi*s^2*Nm + 3/ 2*Pi*s^2 + 8*Pi*s^3*Nm + 2*Pi*s^3 + 10*Pi*s^4*Nm + 5/2*Pi*s^4 + 7*Pi* Nm + 7/4*Pi ) + ln(mm^(-1)*mmW)*I*mmW^2*mmH^(-2) * ( 3*Pi*Nm + 3/4*Pi ) + ln(mm^(-1)*mmW)*I*mmW^3*mmH^(-3) * ( 92/9*Pi*Nm + 23/9*Pi ) + ln(mm^(-1)*mmW)*I * ( - Pi*s*Nm - 1/4*Pi*s - Pi*s^2*Nm - 1/4*Pi*s^2 - Pi*s^3*Nm - 1/4*Pi*s^3 - Pi*s^4*Nm - 1/4*Pi*s^4 + 140/9*Pi*Nm - 32/ 9*Pi*Nm^2 + 37/9*Pi ) + ln(mm^(-1)*mmW)*mmW^(-1)*mmH^(-1)*mmu3^2 * ( 65/2 - 9/2*s - 9/2*s^2 - 9/2*s^3 - 9/2*s^4 - 8*Nm ) + ln(mm^(-1)*mmW)*mmW^(-1)*mmH * ( - 455/96 + 21/32*s + 21/32*s^2 + 21/ 32*s^3 + 21/32*s^4 + 7/6*Nm ) + ln(mm^(-1)*mmW)*mmW^(-1)*mmu3 * ( - 57/16 - 9/16*s - 9/16*s^2 - 9/16* s^3 - 9/16*s^4 + Nm ) + ln(mm^(-1)*mmW)*mmW*mmH^(-3)*mmu3^2 * ( 9 ) + ln(mm^(-1)*mmW)*mmW*mmH^(-2)*mmu3 * ( 3/2 ) + ln(mm^(-1)*mmW)*mmW*mmH^(-1) * ( - 1168991/4320 + 77/3*s*S0 + 8/3*s* Nm - 6445/216*s + 1073/48*s^2*S0 + 67/9*s^2*Nm + 1291/864*s^2 + 2429/ 432*s^3*S0 + 40/3*s^3*Nm + 22465/576*s^3 - 30247/1296*s^4*S0 + 101/6* s^4*Nm + 74581/864*s^4 + 517/8*S0 + 793/36*Nm ) + ln(mm^(-1)*mmW)*mmW*mmu3^(-1) * ( - 211/30 + 33/8*s*S0 - 21107/4320*s + 91/24*s^2*S0 - 393/160*s^2 + 197/72*s^3*S0 + 817/540*s^3 + 11/12* s^4*S0 + 30319/4320*s^4 + 33/8*S0 - 3/2*Nm ) + ln(mm^(-1)*mmW)*mmW^2*mmH^(-4)*mmu3^2 * ( 23 ) + ln(mm^(-1)*mmW)*mmW^2*mmH^(-3)*mmu3 * ( 115/24 ) + ln(mm^(-1)*mmW)*mmW^2*mmH^(-2) * ( - 93551/640 + 4431/80*s*S0 + 26903/ 1200*s + 10771/160*s^2*S0 + 10042841/86400*s^2 + 7507/120*s^3*S0 + 6187879/21600*s^3 + 7991/360*s^4*S0 + 16268087/28800*s^4 + 10323/160* S0 + 347/60*Nm ) + ln(mm^(-1)*mmW)*mmW^2*mmH^(-1)*mmu3^(-1) * ( 807/160 + 49/40*s + 433/ 240*s^2 + 181/60*s^3 + 257/48*s^4 ) + ln(mm^(-1)*mmW)*mmW^2*mmu3^(-2) * ( 543719/100800 + 1/6*s*S0 + 121067/ 12600*s - 107/40*s^2*S0 + 6070193/302400*s^2 - 3167/540*s^3*S0 + 4956809/151200*s^3 - 3614/405*s^4*S0 + 14185723/302400*s^4 + 101/40*S0 - 8/15*Nm ) + ln(mm^(-1)*mmW)*mmW^3*mmH^(-5)*mmu3^2 * ( 66 ) + ln(mm^(-1)*mmW)*mmW^3*mmH^(-4)*mmu3 * ( 33/2 ) + ln(mm^(-1)*mmW)*mmW^3*mmH^(-3) * ( - 1000471/3360 + 28277/120*s*S0 + 8105093/43200*s + 27221/60*s^2*S0 + 21966593/43200*s^2 + 38929/54*s^3* S0 + 4020149/3600*s^3 + 3022481/3240*s^4*S0 + 11862391/5400*s^4 + 7739/ 40*S0 + 878/45*Nm ) + ln(mm^(-1)*mmW)*mmW^3*mmH^(-2)*mmu3^(-1) * ( 191/84 ) + ln(mm^(-1)*mmW)*mmW^3*mmH^(-1)*mmu3^(-2) * ( 157/120 + 9/28*s + 16/35* s^2 + 89/140*s^3 + 27/28*s^4 ) + ln(mm^(-1)*mmW)*mmW^3*mmu3^(-3) * ( 312611/37800 - 71/24*s*S0 + 8523419/453600*s - 207/40*s^2*S0 + 11093339/340200*s^2 - 5773/1080*s^3 *S0 + 203429/4320*s^3 - 4523/1620*s^4*S0 + 9326341/151200*s^4 + 23/40* S0 - 5/18*Nm ) + ln(mm^(-1)*mmW)*mmH^(-2)*mmu3^2 * ( 63/2 + 18*s + 27*s^2 + 36*s^3 + 45 *s^4 ) + ln(mm^(-1)*mmW)*mmH^(-1)*mmu3 * ( 99/16 + 27/4*s + 81/8*s^2 + 27/2*s^3 + 135/8*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmW)*mmW*mmH^(-1) * ( 6359/96 - 6*s*Nm + 2405/144*s - 34/3*s^2*Nm + 2693/144*s^2 - 20*s^3*Nm + 4771/288*s^3 - 32*s^4*Nm + 2965/288*s^4 - 14*Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmW)*mmW*mmu3^(-1) * ( 17/4 + 41/24*s + 317/ 144*s^2 + 397/144*s^3 + 27/8*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmW)*mmW^2*mmH^(-2) * ( 88801/960 + 40579/ 720*s + 32969/320*s^2 + 19279/120*s^3 + 660151/2880*s^4 - 11/2*Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmW)*mmW^2*mmu3^(-2) * ( 101/120 + 71/90*s + 301/240*s^2 + 679/360*s^3 + 487/180*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmW)*mmW^3*mmH^(-3) * ( 11804/45 + 120943/ 720*s + 253819/720*s^2 + 43325/72*s^3 + 40741/45*s^4 - 161/9*Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmW)*mmW^3*mmu3^(-3) * ( 23/120 - 7/36*s - 221/2160*s^2 + 223/2160*s^3 + 119/270*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmW) * ( 4531/144 + s*Nm - 10/3*s + 11/6* s^2*Nm - 35/12*s^2 + 8/3*s^3*Nm - 5/2*s^3 + 7/2*s^4*Nm - 25/12*s^4 - 139/9*Nm + 16/9*Nm^2 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmH)*mmW^(-1)*mmH * ( 65/16 - 9/16*s - 9/16 *s^2 - 9/16*s^3 - 9/16*s^4 - Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmH)*mmW*mmH^(-1) * ( - 763/24 - 2029/144* s - 3481/144*s^2 - 2507/72*s^3 - 1657/36*s^4 + Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmH)*mmW^2*mmH^(-2) * ( - 44881/480 - 2693/ 45*s - 16949/160*s^2 - 18713/120*s^3 - 295651/1440*s^4 + 3*Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmH)*mmW^3*mmH^(-3) * ( - 14381/40 - 15416/ 45*s - 126887/180*s^2 - 86155/72*s^3 - 646951/360*s^4 + 92/9*Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmH) * ( 115/18 + 58/9*s + 1567/144*s^2 + 1103/72*s^3 + 2845/144*s^4 + 11/9*Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^(-1)*mmH^(-1)*mmu3^2 * ( - 65/2 + 9/2*s + 9/2*s^2 + 9/2*s^3 + 9/2*s^4 + 8*Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^(-1)*mmu3 * ( 65/8 - 9/8*s - 9/8* s^2 - 9/8*s^3 - 9/8*s^4 - 2*Nm ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW*mmH^(-3)*mmu3^2 * ( - 27 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW*mmH^(-2)*mmu3 * ( 45/4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW*mmH^(-1) * ( - 57/4 - 7/2*s - 41/ 6*s^2 - 13*s^3 - 22*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW*mmu3^(-1) * ( - 17/2 - 41/12*s - 317/72*s^2 - 397/72*s^3 - 27/4*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^2*mmH^(-4)*mmu3^2 * ( - 92 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^2*mmH^(-3)*mmu3 * ( 161/4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^2*mmH^(-2) * ( - 6 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^2*mmu3^(-2) * ( - 101/60 - 71/45 *s - 301/120*s^2 - 679/180*s^3 - 487/90*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^3*mmH^(-5)*mmu3^2 * ( - 330 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^3*mmH^(-4)*mmu3 * ( 297/2 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^3*mmH^(-3) * ( - 115/6 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmW^3*mmu3^(-3) * ( - 23/60 + 7/18*s + 221/1080*s^2 - 223/1080*s^3 - 119/135*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmH^(-2)*mmu3^2 * ( - 63 - 36*s - 54 *s^2 - 72*s^3 - 90*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3)*mmH^(-1)*mmu3 * ( 189/8 + 27/2*s + 81/ 4*s^2 + 27*s^3 + 135/4*s^4 ) + ln(mm^(-1)*mmW)*ln(mm^(-1)*mmu3) * ( - 13/2 + 2/9*s + 49/72*s^2 + 41/ 36*s^3 + 115/72*s^4 + 8/3*Nm ) + ln(mm^(-1)*mmW) * ( - 342955/1728 + 11/3*s*S0*Nm - 95/6*s*S0 - 4/9*s* Nm - 1993/432*s + 88/9*s^2*S0*Nm - 451/36*s^2*S0 - 199/54*s^2*Nm - 8677/864*s^2 + 368/27*s^3*S0*Nm - 527/108*s^3*S0 - 199/9*s^3*Nm - 1985/ 216*s^3 + 1910/81*s^4*S0*Nm - 3313/1296*s^4*S0 - 1118/27*s^4*Nm - 116/ 9*s^4 - 22*S0*Nm + 1507/16*S0 + 3781/54*Nm - 112/27*Nm^2 ) + ln(mm^(-1)*mmH)*I*mmW^(-1)*mmH * ( Pi*Nm + 1/4*Pi ) + ln(mm^(-1)*mmH)*I*mmW*mmH^(-1) * ( - Pi*Nm - 1/4*Pi ) + ln(mm^(-1)*mmH)*I*mmW^2*mmH^(-2) * ( - 3*Pi*Nm - 3/4*Pi ) + ln(mm^(-1)*mmH)*I*mmW^3*mmH^(-3) * ( - 92/9*Pi*Nm - 23/9*Pi ) + ln(mm^(-1)*mmH)*I * ( - 11/9*Pi*Nm - 11/36*Pi ) + ln(mm^(-1)*mmH)*mmW^(-2)*mmH*mmu3 * ( 57/16 ) + ln(mm^(-1)*mmH)*mmW^(-2)*mmH^2 * ( 33/16 ) + ln(mm^(-1)*mmH)*mmW^(-2)*mmu3^2 * ( - 57/8 ) + ln(mm^(-1)*mmH)*mmW^(-1)*mmH^(-1)*mmu3^2 * ( - 277/24 ) + ln(mm^(-1)*mmH)*mmW^(-1)*mmH * ( - 535/48 - 33/16*s*S0 - 23/16*s - 15/ 8*s^2*S0 + 3/4*s^2 - 7/3*s^3*S0 + 27/16*s^3 - 389/144*s^4*S0 + 437/192 *s^4 + 99/16*S0 + 2/3*Nm ) + ln(mm^(-1)*mmH)*mmW^(-1)*mmu3 * ( 79/48 ) + ln(mm^(-1)*mmH)*mmW*mmH^(-3)*mmu3^2 * ( - 293/5 ) + ln(mm^(-1)*mmH)*mmW*mmH^(-2)*mmu3 * ( 1709/120 ) + ln(mm^(-1)*mmH)*mmW*mmH^(-1) * ( 936907/8640 - 319/24*s*S0 + 35135/ 1728*s - 227/48*s^2*S0 + 16981/1728*s^2 + 4321/432*s^3*S0 - 409/36*s^3 + 41371/1296*s^4*S0 - 75407/1728*s^4 - 55/2*S0 - 40/9*Nm ) + ln(mm^(-1)*mmH)*mmW*mmH*mmu3^(-2) * ( 3/40 ) + ln(mm^(-1)*mmH)*mmW*mmu3^(-1) * ( - 53/96 ) + ln(mm^(-1)*mmH)*mmW*mmu3 * ( 63/160*f(mmH,1,mmu3,1,-2) ) + ln(mm^(-1)*mmH)*mmW*mmu3^2 * ( 9/80*f(mmH,1,mmu3,1,-3) ) + ln(mm^(-1)*mmH)*mmW * ( 83/80*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmH)*mmW^2*mmH^(-4)*mmu3^2 * ( - 7553/40 ) + ln(mm^(-1)*mmH)*mmW^2*mmH^(-3)*mmu3 * ( 13303/240 ) + ln(mm^(-1)*mmH)*mmW^2*mmH^(-2) * ( 1140751/5760 - 4431/80*s*S0 - 6181/ 2400*s - 10771/160*s^2*S0 - 4964141/86400*s^2 - 7507/120*s^3*S0 - 1763177/10800*s^3 - 7991/360*s^4*S0 - 9859187/28800*s^4 - 10323/160*S0 - 175/12*Nm ) + ln(mm^(-1)*mmH)*mmW^2*mmH^(-1)*mmu3^(-1) * ( - 101/80 ) + ln(mm^(-1)*mmH)*mmW^2*mmH*mmu3^(-3) * ( 1/32 ) + ln(mm^(-1)*mmH)*mmW^2*mmu3^(-2) * ( - 37/192 ) + ln(mm^(-1)*mmH)*mmW^2*mmu3^(-1) * ( 203/240*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmH)*mmW^2*mmu3 * ( 421/1440*f(mmH,1,mmu3,1,-3) ) + ln(mm^(-1)*mmH)*mmW^2*mmu3^2 * ( 217/960*f(mmH,1,mmu3,1,-4) ) + ln(mm^(-1)*mmH)*mmW^2*mmu3^3 * ( 11/160*f(mmH,1,mmu3,1,-5) ) + ln(mm^(-1)*mmH)*mmW^2*mmu3^4 * ( - 1/192*f(mmH,1,mmu3,1,-6) ) + ln(mm^(-1)*mmH)*mmW^2 * ( 1019/2880*f(mmH,1,mmu3,1,-2) ) + ln(mm^(-1)*mmH)*mmW^3*mmH^(-5)*mmu3^2 * ( - 36201/56 ) + ln(mm^(-1)*mmH)*mmW^3*mmH^(-4)*mmu3 * ( 363569/1680 ) + ln(mm^(-1)*mmH)*mmW^3*mmH^(-3) * ( 1767569/3780 - 28277/120*s*S0 - 8539703/43200*s - 27221/60*s^2*S0 - 22056143/43200*s^2 - 38929/54*s^3* S0 - 7997713/7200*s^3 - 3022481/3240*s^4*S0 - 47149279/21600*s^4 - 7739/40*S0 - 13603/270*Nm ) + ln(mm^(-1)*mmH)*mmW^3*mmH^(-2)*mmu3^(-1) * ( 3289/3360 ) + ln(mm^(-1)*mmH)*mmW^3*mmH^(-1)*mmu3^(-2) * ( 40/21 ) + ln(mm^(-1)*mmH)*mmW^3*mmH*mmu3^(-4) * ( 9/560 ) + ln(mm^(-1)*mmH)*mmW^3*mmu3^(-3) * ( - 61/630 ) + ln(mm^(-1)*mmH)*mmW^3*mmu3^(-2) * ( - 3407/1680*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmH)*mmW^3*mmu3^(-1) * ( - 451/3360*f(mmH,1,mmu3,1,-2) ) + ln(mm^(-1)*mmH)*mmW^3*mmu3 * ( 269/1120*f(mmH,1,mmu3,1,-4) ) + ln(mm^(-1)*mmH)*mmW^3*mmu3^2 * ( 37/112*f(mmH,1,mmu3,1,-5) ) + ln(mm^(-1)*mmH)*mmW^3*mmu3^3 * ( 107/420*f(mmH,1,mmu3,1,-6) ) + ln(mm^(-1)*mmH)*mmW^3*mmu3^4 * ( 17/280*f(mmH,1,mmu3,1,-7) ) + ln(mm^(-1)*mmH)*mmW^3*mmu3^5 * ( - 1/80*f(mmH,1,mmu3,1,-8) ) + ln(mm^(-1)*mmH)*mmW^3 * ( 17/144*f(mmH,1,mmu3,1,-3) ) + ln(mm^(-1)*mmH)*mmH^(-2)*mmu3^2 * ( - 497/24 ) + ln(mm^(-1)*mmH)*mmH^(-1)*mmu3 * ( 91/24 ) + ln(mm^(-1)*mmH)*mmH*mmu3^(-1) * ( 9/32 ) + ln(mm^(-1)*mmH)*mmu3 * ( 19/32*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmH)*mmu3^2 * ( 1/64*f(mmH,1,mmu3,1,-2) ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-2)*mmH^(-1)*mmu3^3 * ( - 9/8 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-2)*mmH*mmu3 * ( - 9/4 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-2)*mmH^2 * ( 9/16 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-2)*mmu3^2 * ( 45/16 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmH^(-2)*mmu3^3 * ( - 37/24 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmH^(-1)*mmu3^2 * ( 1/4 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmH * ( 11/12 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmH^2*mmu3^(-1) * ( - 3/8 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmu3 * ( 1/2 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW*mmH^(-4)*mmu3^3 * ( - 23/5 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW*mmH^(-3)*mmu3^2 * ( 91/24 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW*mmH^(-2)*mmu3 * ( - 83/24 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW*mmH^(-1) * ( 3/2 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW*mmH*mmu3^(-2) * ( 7/120 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW*mmu3^(-1) * ( - 5/12 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH^(-5)*mmu3^3 * ( - 193/ 40 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH^(-4)*mmu3^2 * ( 231/20 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH^(-3)*mmu3 * ( - 151/ 12 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH^(-2) * ( 15/4 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH*mmu3^(-3) * ( 1/30 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmu3^(-2) * ( - 13/60 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH^(-6)*mmu3^3 * ( 759/56 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH^(-5)*mmu3^2 * ( 363/10 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH^(-4)*mmu3 * ( - 909/ 20 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH^(-3) * ( 23/2 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH*mmu3^(-4) * ( 3/140 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmu3^(-3) * ( - 2/15 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmH^(-3)*mmu3^3 * ( - 65/24 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmH^(-2)*mmu3^2 * ( 5/4 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmH^(-1)*mmu3 * ( - 5/8 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1))*mmH*mmu3^(-1) * ( 1/8 ) + ln(mm^(-1)*mmH)*ln(1 - mmH*mmu3^(-1)) * ( - 5/12 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmH)*mmW^(-2)*mmH^2 * ( - 9/32 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmH)*mmW^(-1)*mmH * ( 17/16 + 9/16*s + 9/16 *s^2 + 9/16*s^3 + 9/16*s^4 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmH)*mmW*mmH^(-1) * ( 581/96 + 239/36*s + 199/18*s^2 + 4537/288*s^3 + 5971/288*s^4 + Nm ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmH)*mmW^2*mmH^(-2) * ( 20401/960 + 21949/ 720*s + 16769/320*s^2 + 4577/60*s^3 + 287551/2880*s^4 + 5/2*Nm ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmH)*mmW^3*mmH^(-3) * ( 34997/360 + 125713/ 720*s + 253729/720*s^2 + 21415/36*s^3 + 321023/360*s^4 + 23/3*Nm ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmH) * ( - 2533/288 - 419/144*s - 1477/288 *s^2 - 529/72*s^3 - 2755/288*s^4 + 1/2*Nm ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^(-2)*mmH*mmu3 * ( - 9/8 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^(-1)*mmH^(-1)*mmu3^2 * ( 5 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^(-1)*mmH * ( - 3/4 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^(-1)*mmu3 * ( - 5/4 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW*mmH^(-3)*mmu3^2 * ( 27 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW*mmH^(-2)*mmu3 * ( - 45/4 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW*mmH^(-1) * ( 9/4 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^2*mmH^(-4)*mmu3^2 * ( 92 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^2*mmH^(-3)*mmu3 * ( - 161/4 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^2*mmH^(-2) * ( 6 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^3*mmH^(-5)*mmu3^2 * ( 330 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^3*mmH^(-4)*mmu3 * ( - 297/2 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmW^3*mmH^(-3) * ( 115/6 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmH^(-2)*mmu3^2 * ( 9 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3)*mmH^(-1)*mmu3 * ( - 27/8 ) + ln(mm^(-1)*mmH)*ln(mm^(-1)*mmu3) * ( 5/3 ) + ln(mm^(-1)*mmH) * ( 39901/1728 - 55/24*s*S0 + 913/108*s + 5/3*s^2*S0 + 4475/864*s^2 + 425/54*s^3*S0 + 133/108*s^3 + 9785/648*s^4*S0 - 1789/ 576*s^4 - 55/8*S0 - 70/27*Nm ) + ln(mm^(-1)*mmu3)*I*mmW^(-1)*mmH^(-1)*mmu3^2 * ( - 8*Pi*Nm - 2*Pi ) + ln(mm^(-1)*mmu3)*I*mmW^(-1)*mmu3 * ( 2*Pi*Nm + 1/2*Pi ) + ln(mm^(-1)*mmu3)*I * ( - 8/3*Pi*Nm - 2/3*Pi ) + ln(mm^(-1)*mmu3)*mmW^(-2)*mmH^(-2)*mmu3^4 * ( - 36 ) + ln(mm^(-1)*mmu3)*mmW^(-2)*mmH^(-1)*mmu3^3 * ( - 15 ) + ln(mm^(-1)*mmu3)*mmW^(-2)*mmH*mmu3 * ( - 9/16 ) + ln(mm^(-1)*mmu3)*mmW^(-2)*mmu3^2 * ( 57/4 ) + ln(mm^(-1)*mmu3)*mmW^(-1)*mmH^(-1)*mmu3^2 * ( 1621/24 + 33/2*s*S0 + 37/ 6*s + 15*s^2*S0 - 34/3*s^2 + 56/3*s^3*S0 - 113/6*s^3 + 389/18*s^4*S0 - 565/24*s^4 - 99/2*S0 - 16/3*Nm ) + ln(mm^(-1)*mmu3)*mmW^(-1)*mmH * ( 1/2 ) + ln(mm^(-1)*mmu3)*mmW^(-1)*mmu3 * ( - 925/48 - 33/8*s*S0 - 7/12*s - 15/ 4*s^2*S0 + 91/24*s^2 - 14/3*s^3*S0 + 17/3*s^3 - 389/72*s^4*S0 + 219/32 *s^4 + 99/8*S0 + 4/3*Nm ) + ln(mm^(-1)*mmu3)*mmW*mmH^(-3)*mmu3^2 * ( 353/20 ) + ln(mm^(-1)*mmu3)*mmW*mmH^(-2)*mmu3 * ( - 403/240 ) + ln(mm^(-1)*mmu3)*mmW*mmH^(-1) * ( 149/10 + 13/12*s + 44/9*s^2 + 139/12 *s^3 + 235/12*s^4 ) + ln(mm^(-1)*mmu3)*mmW*mmu3^(-1) * ( 6269/480 - 33/8*s*S0 + 17597/4320*s - 91/24*s^2*S0 + 263/160*s^2 - 197/72*s^3*S0 - 5023/2160*s^3 - 11/12* s^4*S0 - 33829/4320*s^4 - 33/8*S0 ) + ln(mm^(-1)*mmu3)*mmW*mmu3 * ( - 63/160*f(mmH,1,mmu3,1,-2) ) + ln(mm^(-1)*mmu3)*mmW*mmu3^2 * ( - 9/80*f(mmH,1,mmu3,1,-3) ) + ln(mm^(-1)*mmu3)*mmW * ( - 83/80*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmu3)*mmW^2*mmH^(-4)*mmu3^2 * ( 6011/120 ) + ln(mm^(-1)*mmu3)*mmW^2*mmH^(-3)*mmu3 * ( - 163/20 ) + ln(mm^(-1)*mmu3)*mmW^2*mmH^(-2) * ( 1757/360 ) + ln(mm^(-1)*mmu3)*mmW^2*mmH^(-1)*mmu3^(-1) * ( - 75/32 - 1/10*s - 7/60 *s^2 - 23/30*s^3 - 61/24*s^4 ) + ln(mm^(-1)*mmu3)*mmW^2*mmu3^(-2) * ( - 80621/25200 - 1/6*s*S0 - 62791/ 6300*s + 107/40*s^2*S0 - 6178553/302400*s^2 + 3167/540*s^3*S0 - 5010989/151200*s^3 + 3614/405*s^4*S0 - 14294083/302400*s^4 - 101/40*S0 ) + ln(mm^(-1)*mmu3)*mmW^2*mmu3^(-1) * ( - 203/240*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmu3)*mmW^2*mmu3 * ( - 421/1440*f(mmH,1,mmu3,1,-3) ) + ln(mm^(-1)*mmu3)*mmW^2*mmu3^2 * ( - 217/960*f(mmH,1,mmu3,1,-4) ) + ln(mm^(-1)*mmu3)*mmW^2*mmu3^3 * ( - 11/160*f(mmH,1,mmu3,1,-5) ) + ln(mm^(-1)*mmu3)*mmW^2*mmu3^4 * ( 1/192*f(mmH,1,mmu3,1,-6) ) + ln(mm^(-1)*mmu3)*mmW^2 * ( - 1019/2880*f(mmH,1,mmu3,1,-2) ) + ln(mm^(-1)*mmu3)*mmW^3*mmH^(-5)*mmu3^2 * ( 8613/56 ) + ln(mm^(-1)*mmu3)*mmW^3*mmH^(-4)*mmu3 * ( - 9029/240 ) + ln(mm^(-1)*mmu3)*mmW^3*mmH^(-3) * ( 1219/140 ) + ln(mm^(-1)*mmu3)*mmW^3*mmH^(-2)*mmu3^(-1) * ( - 3643/1120 ) + ln(mm^(-1)*mmu3)*mmW^3*mmH^(-1)*mmu3^(-2) * ( - 347/120 - 3/140*s - 1/ 140*s^2 - 1/28*s^3 - 3/14*s^4 ) + ln(mm^(-1)*mmu3)*mmW^3*mmu3^(-3) * ( - 537367/75600 + 71/24*s*S0 - 8617919/453600*s + 207/40*s^2*S0 - 5582107/170100*s^2 + 5773/1080*s^3* S0 - 204329/4320*s^3 + 4523/1620*s^4*S0 - 9357841/151200*s^4 - 23/40* S0 ) + ln(mm^(-1)*mmu3)*mmW^3*mmu3^(-2) * ( 3407/1680*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmu3)*mmW^3*mmu3^(-1) * ( 451/3360*f(mmH,1,mmu3,1,-2) ) + ln(mm^(-1)*mmu3)*mmW^3*mmu3 * ( - 269/1120*f(mmH,1,mmu3,1,-4) ) + ln(mm^(-1)*mmu3)*mmW^3*mmu3^2 * ( - 37/112*f(mmH,1,mmu3,1,-5) ) + ln(mm^(-1)*mmu3)*mmW^3*mmu3^3 * ( - 107/420*f(mmH,1,mmu3,1,-6) ) + ln(mm^(-1)*mmu3)*mmW^3*mmu3^4 * ( - 17/280*f(mmH,1,mmu3,1,-7) ) + ln(mm^(-1)*mmu3)*mmW^3*mmu3^5 * ( 1/80*f(mmH,1,mmu3,1,-8) ) + ln(mm^(-1)*mmu3)*mmW^3 * ( - 17/144*f(mmH,1,mmu3,1,-3) ) + ln(mm^(-1)*mmu3)*mmH^(-2)*mmu3^2 * ( - 37/24 - 24*s - 54*s^2 - 90*s^3 - 261/2*s^4 ) + ln(mm^(-1)*mmu3)*mmH^(-1)*mmu3 * ( - 49/96 - 75/4*s - 11/8*s^2 + 73/4 *s^3 + 633/16*s^4 ) + ln(mm^(-1)*mmu3)*mmu3 * ( - 19/32*f(mmH,1,mmu3,1,-1) ) + ln(mm^(-1)*mmu3)*mmu3^2 * ( - 1/64*f(mmH,1,mmu3,1,-2) ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-2)*mmH^(-1)*mmu3^3 * ( 9/ 8 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-2)*mmH*mmu3 * ( 9/4 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-2)*mmH^2 * ( - 9/16 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-2)*mmu3^2 * ( - 45/16 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmH^(-2)*mmu3^3 * ( 37/ 24 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmH^(-1)*mmu3^2 * ( - 1/4 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmH * ( - 11/12 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmH^2*mmu3^(-1) * ( 3/ 8 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^(-1)*mmu3 * ( - 1/2 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW*mmH^(-4)*mmu3^3 * ( 23/5 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW*mmH^(-3)*mmu3^2 * ( - 91/ 24 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW*mmH^(-2)*mmu3 * ( 83/24 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW*mmH^(-1) * ( - 3/2 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW*mmH*mmu3^(-2) * ( - 7/120 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW*mmu3^(-1) * ( 5/12 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH^(-5)*mmu3^3 * ( 193/ 40 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH^(-4)*mmu3^2 * ( - 231/20 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH^(-3)*mmu3 * ( 151/12 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH^(-2) * ( - 15/4 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmH*mmu3^(-3) * ( - 1/30 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^2*mmu3^(-2) * ( 13/60 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH^(-6)*mmu3^3 * ( - 759/56 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH^(-5)*mmu3^2 * ( - 363/10 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH^(-4)*mmu3 * ( 909/20 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH^(-3) * ( - 23/2 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmH*mmu3^(-4) * ( - 3/ 140 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmW^3*mmu3^(-3) * ( 2/15 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmH^(-3)*mmu3^3 * ( 65/24 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmH^(-2)*mmu3^2 * ( - 5/4 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmH^(-1)*mmu3 * ( 5/8 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1))*mmH*mmu3^(-1) * ( - 1/8 ) + ln(mm^(-1)*mmu3)*ln(1 - mmH*mmu3^(-1)) * ( 5/12 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW^(-2)*mmH^(-2)*mmu3^4 * ( 36 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW^(-2)*mmH^(-1)*mmu3^3 * ( - 9/2 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW^(-2)*mmH*mmu3 * ( 9/8 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW^(-2)*mmu3^2 * ( - 117/16 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW^(-1)*mmH^(-1)*mmu3^2 * ( 6 - 4*s - 4*s^2 - 4*s^3 - 4*s^4 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW^(-1)*mmu3 * ( 3/16 + 17/16*s + 17/16*s^2 + 17/16*s^3 + 17/16*s^4 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW*mmH^(-1) * ( 15/4 + 1/4*s + 7/6* s^2 + 7/2*s^3 + 29/4*s^4 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW*mmu3^(-1) * ( 17/4 + 41/24*s + 317/144*s^2 + 397/144*s^3 + 27/8*s^4 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW^2*mmu3^(-2) * ( 101/120 + 71/90* s + 301/240*s^2 + 679/360*s^3 + 487/180*s^4 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmW^3*mmu3^(-3) * ( 23/120 - 7/36*s - 221/2160*s^2 + 223/2160*s^3 + 119/270*s^4 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3)*mmH^(-1)*mmu3 * ( - 27/4 - 9/2*s - 27/4*s^2 - 9*s^3 - 45/4*s^4 ) + ln(mm^(-1)*mmu3)*ln(mm^(-1)*mmu3) * ( - 55/24 + 19/72*s + 5/144*s^2 - 7/36*s^3 - 61/144*s^4 ) + ln(mm^(-1)*mmu3) * ( 15953/576 + 25/12*s*S0 + 49/16*s + 26/9*s^2*S0 + 3187/864*s^2 + 145/54*s^3*S0 - 203/72*s^3 + 3575/648*s^4*S0 - 2099/216 *s^4 - 77/8*S0 - 28/9*Nm ) + ln(2) * ( - 96*Zeta(2)*s^2 ) + ln(3) * ( - 44*Zeta(2)*s + 220/3*Zeta(2)*s^2 + 208/9*Zeta(2)*s^3 + 136/9*Zeta(2)*s^4 ) + 2179781/6912 - 64/9*S3*s*Nm + 163/18*S3*s + 7/36*S3*s^2 - 199/54*S3* s^3 - 841/216*S3*s^4 + 64/3*S3*Nm - 331/24*S3 + 1/2*Pi^2*s*Nm + 1/8* Pi^2*s + 1/2*Pi^2*s^2*Nm + 1/8*Pi^2*s^2 + 1/2*Pi^2*s^3*Nm + 1/8*Pi^2* s^3 + 1/2*Pi^2*s^4*Nm + 1/8*Pi^2*s^4 - 35/6*Pi^2*Nm + 16/9*Pi^2*Nm^2 - 113/72*Pi^2 + 27/2*s*S2*Nm - 4257/16*s*S2 + 66*s*S1 + 44/9*s*S0*Nm - 34145/144*s*S0 - 121/108*s*Nm - 107303/5184*s - 219/4*s^2*S2*Nm + 11673/64*s^2*S2 - 44*s^2*S1 - 2149/54*s^2*S0*Nm + 21919/216*s^2*S0 - 3427/648*s^2*Nm + 146339/1152*s^2 - 169/2*s^3*S2*Nm + 3017/24*s^3*S2 - 5/3*s^3*S1 - 2212/81*s^3*S0*Nm - 264901/1296*s^3*S0 + 248/9*s^3*Nm - 145201/2592*s^3 - 307/2*s^4*S2*Nm + 79123/384*s^4*S2 + 1/9*s^4*S1 - 27829/972*s^4*S0*Nm - 2478509/15552*s^4*S0 + 32147/648*s^4*Nm - 9945/128*s^4 + 297/2*S2*Nm - 76959/128*S2 + 11/3*S0*Nm - 2377/48*S0 - 7945/72*Nm + 160/81*Nm^2 - 38461/576*Zeta(2) + 20/9*Zeta(2)*s*Nm + 53759/216*Zeta(2)*s + 559/54*Zeta(2)*s^2*Nm - 165419/864*Zeta(2)*s^2 + 16*Zeta(2)*s^3*Nm + 21757/108*Zeta(2)*s^3 + 18*Zeta(2)*s^4*Nm + 757931/5184*Zeta(2)*s^4 + 179/3*Zeta(2)*Nm - 64/3*Zeta(2)*Nm^2 + 299/ 16*Zeta(3) - 8*Zeta(3)*s*Nm + 185/12*Zeta(3)*s + 2/3*Zeta(3)*s^2*Nm - 715/24*Zeta(3)*s^2 + 10/3*Zeta(3)*s^3*Nm - 299/36*Zeta(3)*s^3 + 20/3* Zeta(3)*s^4*Nm + 73/144*Zeta(3)*s^4 - 40*Zeta(3)*Nm - 5/12*polylog(2, mmH*mmu3^(-1)) + 17/24*F(1/4*mmH*mmu3^(-1)) ;