•Conterterm contributions on-mass-shell

Counterterm contribution:

finCTs = FullSimplify /@ Collect[su2IsoscalarProj[end4old + end4] + finTrees /. onshellrules /. _Log -> 0 /. _LeutwylerJBar -> 0 /. gellmannOkubo /. _RenormalizationState -> Sequence[] // Expand, {_CouplingConstant}]

1/(3^(1/2) (f _ ϕ^(ó  ))^3 (p _ 2^2 - (m _ K^(ó  ))^2)) (4 c _ 5^( ) ((-(m _ π^(ó  ))^2 - 2 (m _ K^(ó  ))^2 + 3 p _ 2^2) (f _ ϕ^(ó  ))^2 + 4 (4 L _ 8^( ) ((m _ π^(ó  ))^2 - (m _ K^(ó  ))^2)^2 - L _ 4^( ) (-(m _ π^(ó  ))^2 - 2 (m _ K^(ó  ))^2 + 3 p _ 2^2) ((m _ π^(ó  ))^2 + 2 (m _ K^(ó  ))^2) + L _ 5^( ) ((m _ K^(ó  ))^4 + (4 (m _ π^(ó  ))^2 - 4 p _ 2^2 + p _ 3^2) (m _ K^(ó  ))^2 - (m _ π^(ó  ))^2 (2 (m _ π^(ó  ))^2 - p _ 2^2 + p _ 3^2)))) !, _ 0^( )) - 1/(3^(1/2) (f _ ϕ^(ó  ))^3 (p _ 2^2 - (m _ K^(ó  ))^2)) (2 c _ 2^( ) (-3 N _ 22^( ) (p _ 2^2 - (m _ K^(ó  ))^2) (-(m _ K^(ó  ))^2 + p _ 2^2 + p _ 3^2) + N _ 21^( ) (6 p _ 2^4 + (-4 (m _ π^(ó  ))^2 + 4 (m _ K^(ó  ))^2 - 6 p _ 3^2) p _ 2^2 + 6 (m _ K^(ó  ))^2 (p _ 3^2 - (m _ K^(ó  ))^2)) + 4 (2 N _ 10^( ) (3 (m _ K^(ó  ))^4 + p _ 2^2 ((m _ π^(ó  ))^2 - 4 (m _ K^(ó  ))^2)) - N _ 11^( ) (-(m _ π^(ó  ))^2 - 2 (m _ K^(ó  ))^2 + 3 p _ 2^2) ((m _ π^(ó  ))^2 + 2 (m _ K^(ó  ))^2))) !, _ 0^( ))

Converted by Mathematica  (July 10, 2003)