PaVeReduce[expr] reduces all Passarino-Veltman integrals (i.e. all PaVe's) in expr down to scalar A0, B0, C0 and D0.
d122res = -(MW2 + S)/(2D0*(4*MW2 - T)*(MW2**2 - S*U)) -
|
& ((4*MW2**5 - 5*MW2**4*S - 16*MW2**3*S**2 +
|
& 4*MW2**2*S**3 + 4*MW2*S**4 - MW2**4*U -
|
& 4*MW2**2*S**2*U + 8*MW2*S**3*U +
|
& 4*MW2**2*S*U**2 + S**3*U**2 + S**2*U**3)*
|
& B0(MW2,ME2,Null))/
|
& (2D0*(MW2 - S)*(4*MW2 - T)**2*(MW2**2 - S*U)**2) +
|
& (S*(MW2**2 - 4*MW2*S + 2*S**2 + S*U)*B0(S,Null,Null))/
|
& (2D0*(MW2 - S)*(MW2**2 - S*U)**2) +
|
& ((MW2 + S)*(4*MW2**3 - 9*MW2**2*S + 2*S**3 -
|
& MW2**2*U - 4*MW2*S*U + 5*S**2*U + 3*S*U**2)*
|
& B0(T,ME2,ME2))/
|
& (2D0*(4*MW2 - T)**2*(MW2**2 - S*U)**2) -
|
& ((MW2 + S)*(2*MW2**6 - 8*MW2**5*S + 12*MW2**4*S**2 -
|
& 8*MW2**3*S**3 + 2*MW2**2*S**4 - 2*MW2**5*T +
|
& 20*MW2**4*S*T - 36*MW2**3*S**2*T +
|
& 20*MW2**2*S**3*T - 2*MW2*S**4*T -
|
& 6*MW2**3*S*T**2 + 6*MW2**2*S**2*T**2 -
|
& 6*MW2*S**3*T**2 + 4*MW2*S**2*T**3 - S**2*T**4)*
|
& C0(MW2,MW2,T,ME2,Null,ME2))/
|
& (2D0*(4*MW2 - T)**2*(MW2**2 - S*U)**3) +
|
& ((MW2 - S)**2*S**2*T*C0(MW2,S,ME2,ME2,Null,Null))/
|
& (MW2**2 - S*U)**3 -
|
& ((MW2 - S)*S**2*T**2*C0(T,ME2,ME2,ME2,ME2,Null))/
|
& (2D0*(MW2**2 - S*U)**3) +
|
& ((MW2 - S)*S**3*T**2*
|
& D0(MW2,MW2,ME2,ME2,T,S,ME2,Null,ME2,Null))/
|
& (2D0*(MW2**2 - S*U)**3)
|