KSPiChecks.nb

$looplogs = (((ParticleMass[PseudoScalar[2]]^2 - ParticleMass[PseudoScalar[6]]^2) (Pair[Momentum[p1], Momentum[p1]] - ParticleMass[Pion]^2) (Pair[Momentum[p1], Momentum[p1]] - ParticleMass[Kaon]^2)) * ampinfinities /. {_LeutwylerJBar -> 0, _LeutwylerLambda -> 0, p3 -> -p1, _RenormalizationState -> Sequence[]} /. gellmannOkubo // Simplify) /. toEtaRules /. p2 -> 0 // Simplify$

${(c _ 5^( ) (p _ 1^2 - (m _ K^(ó ))^2) ((m _ K^(ó ))^2 - (m _ π^(ó ))^2) ((15 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 + 4 (3 log((m _ K^(ó ))^2/μ^2) + log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2) (!, _ 0^( ))^2)/(36 π^2 (f _ ϕ^(ó ))^2), -(c _ 5^( ) (p _ 1^2 - (m _ π^(ó ))^2) ((m _ π^(ó ))^2 - (m _ K^(ó ))^2) ((9 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 + 2 (9 log((m _ K^(ó ))^2/μ^2) + 2 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2) (!, _ 0^( ))^2)/(36 π^2 (f _ ϕ^(ó ))^2), -(c _ 5^( ) (p _ 1^2 - (m _ π^(ó ))^2) ((m _ π^(ó ))^2 - (m _ K^(ó ))^2) ((9 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 + 2 (9 log((m _ K^(ó ))^2/μ^2) + 2 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2) (!, _ 0^( ))^2)/(36 π^2 (f _ ϕ^(ó ))^2), (c _ 5^( ) (p _ 1^2 - (m _ K^(ó ))^2) ((m _ K^(ó ))^2 - (m _ π^(ó ))^2) ((15 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 + 4 (3 log((m _ K^(ó ))^2/μ^2) + log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2) (!, _ 0^( ))^2)/(36 π^2 (f _ ϕ^(ó ))^2), (((m _ π^(ó ))^2 - (m _ K^(ó ))^2) (c _ 2^( ) p _ 1^2 - c _ 5^( ) (m _ K^(ó ))^2) ((15 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 + 4 (3 log((m _ K^(ó ))^2/μ^2) + log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2) (!, _ 0^( ))^2)/(36 π^2 (f _ ϕ^(ó ))^2), ((p _ 1^2 - (m _ π^(ó ))^2) (c _ 5^( ) (log((m _ K^(ó ))^2/μ^2) (m _ K^(ó ))^2 - log((m _ π^(ó ))^2/μ^2) (m _ π^(ó ))^2) (m _ K^(ó ))^2 + c _ 2^( ) (log((m _ π^(ó ))^2/μ^2) (m _ π^(ó ))^4 - log((m _ K^(ó ))^2/μ^2) (m _ K^(ó ))^4)) (!, _ 0^( ))^2)/(6 π^2 (f _ ϕ^(ó ))^2), -1/(216 π^2 (f _ ϕ^(ó ))^2) (((m _ π^(ó ))^2 - (m _ K^(ó ))^2) (3 c _ 5^( ) (m _ K^(ó ))^2 ((15 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 + 4 (6 log((m _ K^(ó ))^2/μ^2) + log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2) - 2 c _ 2^( ) ((log((m _ η^(ó ))^2/μ^2) - 9 log((m _ π^(ó ))^2/μ^2)) (m _ π^(ó ))^4 - 8 log((m _ η^(ó ))^2/μ^2) (m _ K^(ó ))^2 (m _ π^(ó ))^2 + (27 log((m _ K^(ó ))^2/μ^2) + 16 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^4 + 9 p _ 1^2 ((5 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 + (7 log((m _ K^(ó ))^2/μ^2) + 4 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2))) (!, _ 0^( ))^2), (((m _ π^(ó ))^2 - (m _ K^(ó ))^2) (c _ 2^( ) p _ 1^2 - c _ 5^( ) (m _ K^(ó ))^2) ((9 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 + 2 (9 log((m _ K^(ó ))^2/μ^2) + 2 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2) (!, _ 0^( ))^2)/(36 π^2 (f _ ϕ^(ó ))^2), ((p _ 1^2 - (m _ K^(ó ))^2) (c _ 5^( ) (log((m _ K^(ó ))^2/μ^2) (m _ K^(ó ))^2 - log((m _ π^(ó ))^2/μ^2) (m _ π^(ó ))^2) (m _ K^(ó ))^2 + c _ 2^( ) (log((m _ π^(ó ))^2/μ^2) (m _ π^(ó ))^4 - log((m _ K^(ó ))^2/μ^2) (m _ K^(ó ))^4)) (!, _ 0^( ))^2)/(6 π^2 (f _ ϕ^(ó ))^2), -1/(216 π^2 (f _ ϕ^(ó ))^2) ((c _ 2^( ) ((27 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^6 + 6 (log((m _ η^(ó ))^2/μ^2) - 3 log((m _ π^(ó ))^2/μ^2)) (m _ K^(ó ))^2 (m _ π^(ó ))^4 + 36 log((m _ K^(ó ))^2/μ^2) (m _ K^(ó ))^4 (m _ π^(ó ))^2 - 2 (9 log((m _ K^(ó ))^2/μ^2) + 16 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^6 + 3 p _ 1^2 ((15 log((m _ π^(ó ))^2/μ^2) - log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^4 + 8 log((m _ η^(ó ))^2/μ^2) (m _ K^(ó ))^2 (m _ π^(ó ))^2 - 2 (3 log((m _ K^(ó ))^2/μ^2) + 8 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^4)) - 3 c _ 5^( ) (m _ K^(ó ))^2 ((9 log((m _ π^(ó ))^2/μ^2) + log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^4 - 2 (3 log((m _ π^(ó ))^2/μ^2) - 6 log((m _ K^(ó ))^2/μ^2) + log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2 (m _ π^(ó ))^2 - 2 (3 log((m _ K^(ó ))^2/μ^2) + 4 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^4 + 3 p _ 1^2 ((5 log((m _ π^(ó ))^2/μ^2) + log((m _ η^(ó ))^2/μ^2)) (m _ π^(ó ))^2 - 2 (log((m _ K^(ó ))^2/μ^2) + 2 log((m _ η^(ó ))^2/μ^2)) (m _ K^(ó ))^2))) (!, _ 0^( ))^2)}$

Converted by Mathematica (July 10, 2003)