limitlogs = Collect[DiscardOrders[((ParticleMass[PseudoScalar[2]]^2 - ParticleMass[PseudoScalar[6]]^2) ((Pair[Momentum[p1], Momentum[p1]] - ParticleMass[Pion]^2) (Pair[Momentum[p1], Momentum[p1]] - ParticleMass[Kaon]^2)) ((fpionfac - 1 + fkaonfac - 1 + sqrtZPi0inv + sqrtZK0inv - 1) (Plus @@ final2all) + finalloops) /. CouplingConstant[ChPT3[4], ___] -> 0 /. _RenormalizationState -> Sequence[] /. _LeutwylerJBar -> 0 /. gellmannOkubo // Simplify) /. toEtaRules /. MomentaRules /. p3 -> -p1 /. p2 -> 0, PerturbationOrder -> 6], {_DecayConstant, Pi, _Log}] /. Log[a_] * b_ :> Log[a] * Simplify[b]

-(8 c _ 5^( ) (!, _ 0^( ))^2 (m _ π^(ó  ))^6)/((m _ π^(ó  ))^2 - p _ 1^2) + (8 c _ 5^( ) (m _ K^(ó  ))^2 (!, _ 0^( ))^2 (m _ π^(ó  ))^4)/((m _ π^(ó  ))^2 - p _ 1^2) + (8 c _ 2^( ) p _ 1^2 (!, _ 0^( ))^2 (m _ π^(ó  ))^4)/(p _ 1^2 - (m _ π^(ó  ))^2) - (24 c _ 5^( ) p _ 1^2 (!, _ 0^( ))^2 (m _ π^(ó  ))^4)/(p _ 1^2 - (m _ π^(ó  ))^2) - (8 c _ 2^( ) p _ 1^2 (m _ K^(ó  ))^2 (!, _ 0^( ))^2 (m _ π^(ó  ))^2)/(p _ 1^2 - (m _ π^(ó  ))^2) + (24 c _ 5^( ) p _ 1^2 (m _ K^(ó  ))^2 (!, _ 0^( ))^2 (m _ π^(ó  ))^2)/(p _ 1^2 - (m _ π^(ó  ))^2) - (8 c _ 2^( ) p _ 1^4 (!, _ 0^( ))^2 (m _ π^(ó  ))^2)/(p _ 1^2 - (m _ π^(ó  ))^2) + (16 c _ 5^( ) p _ 1^4 (!, _ 0^( ))^2 (m _ π^(ó  ))^2)/(p _ 1^2 - (m _ π^(ó  ))^2) + (8 c _ 2^( ) p _ 1^4 (m _ K^(ó  ))^2 (!, _ 0^( ))^2)/(p _ 1^2 - (m _ π^(ó  ))^2) - (16 c _ 5^( ) p _ 1^4 (m _ K^(ó  ))^2 (!, _ 0^( ))^2)/(p _ 1^2 - (m _ π^(ó  ))^2) + 1/(π^2 (f _ ϕ^(ó  ))^2) (1/144 log((3 (m _ η^(ó  ))^2)/μ^2) p _ 1^2 (m _ π^(ó  ))^2 (18 c _ 5^( ) (m _ π^(ó  ))^2 - 5 c _ 2^( ) (m _ K^(ó  ))^2) (!, _ 0^( ))^2 + 1/144 log(3) p _ 1^2 (m _ π^(ó  ))^2 (5 c _ 2^( ) (m _ K^(ó  ))^2 - 18 c _ 5^( ) (m _ π^(ó  ))^2) (!, _ 0^( ))^2 + 1/4 log((m _ K^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 (c _ 2^( ) ((m _ π^(ó  ))^2 (m _ K^(ó  ))^2 + p _ 1^2 (4 (m _ π^(ó  ))^2 - 5 (m _ K^(ó  ))^2)) + c _ 5^( ) (3 (m _ π^(ó  ))^4 - 4 (m _ K^(ó  ))^2 (m _ π^(ó  ))^2 + p _ 1^2 (6 (m _ K^(ó  ))^2 - 5 (m _ π^(ó  ))^2))) (!, _ 0^( ))^2 + 1/8 log((m _ π^(ó  ))^2/μ^2) (m _ π^(ó  ))^2 (c _ 2^( ) (p _ 1^2 (8 (m _ π^(ó  ))^2 - 7 (m _ K^(ó  ))^2) - 3 (m _ π^(ó  ))^4) + c _ 5^( ) (5 (m _ π^(ó  ))^4 - 2 (m _ K^(ó  ))^2 (m _ π^(ó  ))^2 + p _ 1^2 (10 (m _ K^(ó  ))^2 - 11 (m _ π^(ó  ))^2))) (!, _ 0^( ))^2 + 1/144 log((m _ η^(ó  ))^2/μ^2) (c _ 2^( ) (2 ((m _ π^(ó  ))^3 - 4 m _ π^(ó  ) (m _ K^(ó  ))^2)^2 + p _ 1^2 (-16 (m _ π^(ó  ))^4 + 79 (m _ K^(ó  ))^2 (m _ π^(ó  ))^2 - 40 (m _ K^(ó  ))^4)) - 6 c _ 5^( ) ((m _ π^(ó  ))^6 - 6 (m _ K^(ó  ))^2 (m _ π^(ó  ))^4 + 2 (4 (m _ K^(ó  ))^4 + 7 p _ 1^2 (m _ K^(ó  ))^2) (m _ π^(ó  ))^2 - 8 p _ 1^2 (m _ K^(ó  ))^4)) (!, _ 0^( ))^2)

Converted by Mathematica  (July 10, 2003)