•Full counterterm contributions

oldcts = cts1 + lows3 /. CouplingConstant[ChPTW3[4], _ ? ((# > 13) &)] -> 0 // FullSimplify

-1/(3 (f _ ϕ^(ó  ))^4) (i c _ 2^( ) (-4 (6 N _ 5^( ) + 12 N _ 7^( ) + 3 N _ 8^( ) - 6 N _ 10^( ) - 14 N _ 11^( ) - 6 N _ 12^( )) (m _ π^(ó  ))^4 + 3 (s (4 N _ 5^( ) + 8 N _ 7^( ) + 3 N _ 8^( ) + 2 N _ 9^( )) - (N _ 8^( ) + 2 N _ 9^( )) p _ 2^2) (m _ π^(ó  ))^2 + 2 (3 N _ 5^( ) + 3 N _ 8^( ) - 8 (N _ 10^( ) + N _ 11^( ))) (m _ K^(ó  ))^4 + ((48 N _ 7^( ) - 21 N _ 8^( ) - 18 N _ 9^( ) - 8 (N _ 10^( ) + 5 N _ 11^( ) + 3 N _ 12^( ))) (m _ π^(ó  ))^2 + 6 s (N _ 5^( ) - 4 N _ 7^( ) + 3 N _ 8^( ) + 2 N _ 9^( )) - 6 (N _ 5^( ) + N _ 8^( )) p _ 2^2) (m _ K^(ó  ))^2 - (2 ((m _ K^(ó  ))^2 + 3 s - p _ 2^2) ((m _ K^(ó  ))^2 - (m _ π^(ó  ))^2) (N _ 11^( ) (m _ π^(ó  ))^2 + 2 (N _ 10^( ) + N _ 11^( )) (m _ K^(ó  ))^2))/(p _ 2^2 - (m _ K^(ó  ))^2)))

newcts = cts2 + lows3 /. CouplingConstant[ChPTW3[4], _ ? ((# < 14) &)] -> 0 // FullSimplify

1/(6 (f _ ϕ^(ó  ))^4) (i c _ 2^( ) (-3 (2 N _ 21^( ) + N _ 22^( ) + 2 N _ 23^( )) (m _ K^(ó  ))^4 + (3 (N _ 22^( ) + 2 N _ 23^( )) (4 (m _ π^(ó  ))^2 + s + p _ 2^2) + 2 N _ 21^( ) (3 (4 (m _ π^(ó  ))^2 + s) - 5 p _ 2^2)) (m _ K^(ó  ))^2 - 4 (3 s (N _ 22^( ) + 2 N _ 23^( )) + N _ 21^( ) (6 s - 4 p _ 2^2)) (m _ π^(ó  ))^2 + (4 N _ 21^( ) p _ 2^2 ((m _ π^(ó  ))^2 - (m _ K^(ó  ))^2) ((m _ K^(ó  ))^2 + 3 s - p _ 2^2))/(p _ 2^2 - (m _ K^(ó  ))^2) + 3 N _ 19^( ) (-6 (m _ π^(ó  ))^4 + 2 (s - (m _ K^(ó  ))^2) (m _ π^(ó  ))^2 - (m _ K^(ó  ))^4 + t^2 + u^2 - p _ 2^4 + s (m _ K^(ó  ))^2 + 4 t u + p _ 2^2 (-2 (m _ π^(ó  ))^2 - 4 (m _ K^(ó  ))^2 + s)) - 3 N _ 20^( ) (-6 (m _ π^(ó  ))^4 + 2 (s - (m _ K^(ó  ))^2) (m _ π^(ó  ))^2 - (m _ K^(ó  ))^4 + t^2 + u^2 - 3 p _ 2^4 + s (m _ K^(ó  ))^2 + 4 t u + p _ 2^2 (-10 (m _ π^(ó  ))^2 - 2 (m _ K^(ó  ))^2 + 7 s))))

strongcts = cts3 + lows4 // FullSimplify

-1/((f _ ϕ^(ó  ))^4 (p _ 2^2 - (m _ K^(ó  ))^2)) (4 i c _ 5^( ) ((m _ K^(ó  ))^2 - (m _ π^(ó  ))^2) (10 L _ 3^( ) (m _ π^(ó  ))^4 - 6 s L _ 3^( ) (m _ π^(ó  ))^2 - 6 t L _ 3^( ) (m _ π^(ó  ))^2 - 6 u L _ 3^( ) (m _ π^(ó  ))^2 - 10 s L _ 4^( ) (m _ π^(ó  ))^2 - 4 s L _ 5^( ) (m _ π^(ó  ))^2 + 4 s L _ 6^( ) (m _ π^(ó  ))^2 + 4 s L _ 8^( ) (m _ π^(ó  ))^2 + 6 L _ 3^( ) p _ 2^2 (m _ π^(ó  ))^2 + 6 L _ 4^( ) p _ 2^2 (m _ π^(ó  ))^2 + 4 L _ 6^( ) p _ 2^2 (m _ π^(ó  ))^2 + 4 L _ 8^( ) p _ 2^2 (m _ π^(ó  ))^2 + 2 (2 L _ 4^( ) + L _ 5^( ) - 4 L _ 6^( ) - 2 L _ 8^( )) (m _ K^(ó  ))^4 + 3 L _ 3^( ) p _ 2^4 + (4 (2 L _ 5^( ) - 9 L _ 6^( ) - 5 L _ 8^( )) (m _ π^(ó  ))^2 + L _ 3^( ) p _ 2^2 - 2 (L _ 5^( ) - 4 L _ 6^( ) - 2 L _ 8^( )) (s + p _ 2^2) - 2 L _ 4^( ) (-13 (m _ π^(ó  ))^2 + 6 s + 2 p _ 2^2)) (m _ K^(ó  ))^2 + 3 s t L _ 3^( ) + 3 s u L _ 3^( ) + 2 t u L _ 3^( ) - 3 s L _ 3^( ) p _ 2^2 - 3 t L _ 3^( ) p _ 2^2 - 3 u L _ 3^( ) p _ 2^2 + 8 L _ 1^( ) (s - 2 (m _ π^(ó  ))^2) ((m _ K^(ó  ))^2 - s + p _ 2^2) + 4 L _ 2^( ) (-2 (m _ π^(ó  ))^4 + 2 s (m _ π^(ó  ))^2 - s^2 + (s - 2 (m _ π^(ó  ))^2) (m _ K^(ó  ))^2 + 2 t u + p _ 2^2 (-2 (m _ π^(ó  ))^2 - 2 (m _ K^(ó  ))^2 + s))))

Converted by Mathematica  (July 10, 2003)