treelogs = DiscardOrders[#, PerturbationOrder -> 6] & /@ (((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) final2all) /. p3 -> -p1 /. p2 -> 0 /. {_LeutwylerJBar -> 0, CouplingConstant[_[4], ___] -> 0} /. _RenormalizationState -> Sequence[]) // Simplify

{1/(72 π^2 (f _ ϕ^(ó  ))^2) (c _ 5^( ) (p _ 1^2 - (m _ π^(ó  ))^2) ((m _ π^(ó  ))^2 - (m _ K^(ó  ))^2) (576 π^2 (f _ ϕ^(ó  ))^2 + (2 log((m _ η^(ó  ))^2/μ^2) - 9 log((m _ π^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 + 18 log((m _ K^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 - 8 log((m _ η^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 + 9 log((m _ η^(ó  ))^2/μ^2) (m _ η^(ó  ))^2) (!, _ 0^( ))^2), (c _ 5^( ) (p _ 1^2 - (m _ K^(ó  ))^2) ((m _ π^(ó  ))^2 - (m _ K^(ó  ))^2) (288 π^2 (f _ ϕ^(ó  ))^2 + (3 log((m _ π^(ó  ))^2/μ^2) + log((m _ η^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 + 2 (3 log((m _ K^(ó  ))^2/μ^2) - 2 log((m _ η^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2) (!, _ 0^( ))^2)/(36 π^2 (f _ ϕ^(ó  ))^2), 1/(72 π^2 (f _ ϕ^(ó  ))^2) (((m _ π^(ó  ))^2 - (m _ K^(ó  ))^2) (3 c _ 5^( ) (m _ K^(ó  ))^2 (192 π^2 (f _ ϕ^(ó  ))^2 + (5 log((m _ π^(ó  ))^2/μ^2) + 2 log((m _ η^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 + 10 log((m _ K^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 - 8 log((m _ η^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 + 3 log((m _ η^(ó  ))^2/μ^2) (m _ η^(ó  ))^2) - c _ 2^( ) p _ 1^2 (576 π^2 (f _ ϕ^(ó  ))^2 + (15 log((m _ π^(ó  ))^2/μ^2) + 2 log((m _ η^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 + 30 log((m _ K^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 - 8 log((m _ η^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 + 9 log((m _ η^(ó  ))^2/μ^2) (m _ η^(ó  ))^2)) (!, _ 0^( ))^2)}

Converted by Mathematica  (July 10, 2003)