•The pion

zpion = CheckF[dum, "ChPT3P20o2.Fac"]

(2 (32 π^2 (6 (L _ 4^( ) + L _ 5^( )) - λ) - log((m _ π^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 + (32 π^2 (24 L _ 4^( ) - λ) - log((m _ K^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2)/(48 π^2 (f _ ϕ^(ó  ))^2) + 1

ff2 = -I * melsimplified /. _SU3Delta -> 1

2 f _ ϕ^(ó  ) !, _ 0^( )

$ConstantIsoIndices = {i1, i3, I1, I2} ;

amploop = ampinfinities /. i1 -> 1 // SUNReduce // SUNReduce // Simplify

-((5 (32 π^2 λ + log((m _ π^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 + 4 (32 π^2 λ + log((m _ K^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2 + (32 π^2 λ + log((m _ η^(ó  ))^2/μ^2)) (m _ η^(ó  ))^2) !, _ 0^( ))/(48 π^2 f _ ϕ^(ó  ))

ampct = -I * amp4 /. I2 -> I1 /. I1 -> 1 /. subpar /. udrules // SUNReduce // Simplify

(32 (L _ 8^( ) (m _ π^(ó  ))^2 + L _ 6^( ) ((m _ π^(ó  ))^2 + 2 (m _ K^(ó  ))^2)) !, _ 0^( ))/f _ ϕ^(ó  )

ampwf = ff2 (1 + (2 - zpion))/2 // Simplify

f _ ϕ^(ó  ) (2 - (2 (32 π^2 (6 (L _ 4^( ) + L _ 5^( )) - λ) - log((m _ π^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 + (32 π^2 (24 L _ 4^( ) - λ) - log((m _ K^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2)/(48 π^2 (f _ ϕ^(ó  ))^2)) !, _ 0^( )

ff4 = amploop + ampct + ampwf // ExpandAll // Simplify

1/(48 π^2 f _ ϕ^(ó  )) ((96 π^2 (f _ ϕ^(ó  ))^2 - 384 π^2 L _ 5^( ) (m _ π^(ó  ))^2 + 1536 π^2 L _ 6^( ) (m _ π^(ó  ))^2 + 1536 π^2 L _ 8^( ) (m _ π^(ó  ))^2 - 96 π^2 λ (m _ π^(ó  ))^2 - 3 log((m _ π^(ó  ))^2/μ^2) (m _ π^(ó  ))^2 + 3072 π^2 L _ 6^( ) (m _ K^(ó  ))^2 - 96 π^2 λ (m _ K^(ó  ))^2 - 3 log((m _ K^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 - 32 π^2 λ (m _ η^(ó  ))^2 - log((m _ η^(ó  ))^2/μ^2) (m _ η^(ó  ))^2 - 384 π^2 L _ 4^( ) ((m _ π^(ó  ))^2 + 2 (m _ K^(ó  ))^2)) !, _ 0^( ))

z = (ff4/ff2 /. gellmannOkubo // Renormalize // FullSimplify) /. toEtaRules

1/(288 π^2 (f _ ϕ^(ó  ))^2) (288 π^2 (f _ ϕ^(ó  ))^2 + (-1152 π^2 (L _ 4^(r ) + L _ 5^(r ) - 4 (L _ 6^(r ) + L _ 8^(r ))) - 9 log((m _ π^(ó  ))^2/μ^2) + log((m _ η^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 - (2304 π^2 (L _ 4^(r ) - 4 L _ 6^(r )) + 9 log((m _ K^(ó  ))^2/μ^2) + 4 log((m _ η^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2)

$VeryVerbose = 1 ;

CheckF[z, "ChPT3P00P20o2.Fac"] ;

Using file name D:\\Program Files\\Wolfram Research\\Mathematica\\4.1\\AddOns\\Applications\\HighEnergyPhysics\\Phi\\Factors\\ChPT3P00P20o2.Fac

File does not exist, evaluating

Saving

Converted by Mathematica  (July 10, 2003)