•Text output

Polynomial contribution:

textPoly = finPoly /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p_], Momentum[p_]] -> p^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a], QuarkCondensate[] -> B} // InputForm

(B*(3*c2*(-mK^2 + p2^2)*(4*mEta^2 - mK^2 + 12*mPi^2 + 5*p2^2 - 15*p3^2) +
   2*c5*((-mK^2 + mPi^2)*(-6*mEta^2 - mK^2 - 2*mPi^2 + p2^2 + 9*p3^2) +
     192*f^2*(-2*mK^2 - mPi^2 + 3*p2^2)*Pi^2)))/(96*Sqrt[3]*f^3*(-mK^2 + p2^2)*Pi^2)

Logs:

textLogs = finLogs /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p_], Momentum[p_]] -> p^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a], QuarkCondensate[] -> B} // InputForm

(B*(c5*(62*mK^4 - 100*mK^2*mPi^2 + 11*mPi^4 + 9*(-2*mK^2 + mPi^2)*p2^2 +
      54*(-mK^2 + mPi^2)*p3^2) + c2*(-55*mK^4 + 8*mK^2*mPi^2 + 2*mPi^4 + 9*p2^4 +
      27*mK^2*p3^2 - 3*p2^2*(-26*mK^2 + 8*mPi^2 + 9*p3^2)))*Log[mEta^2/ScaleMu^2])/
  (288*Sqrt[3]*f^3*(-mK^2 + p2^2)*Pi^2) +
(B*(6*c5*(3*mK^4 + (-4*mK^2 + mPi^2)*p2^2 + (-mK^2 + mPi^2)*p3^2) +
    c2*(p2^4 - 3*p2^2*(-2*mK^2 + p3^2) + 3*mK^2*(-mK^2 + p3^2)))*Log[mK^2/ScaleMu^2])/
  (32*Sqrt[3]*f^3*(-mK^2 + p2^2)*Pi^2) +
(B*(c5*(-6*mK^4 + 12*mK^2*mPi^2 + 7*mPi^4 + (6*mK^2 - 15*mPi^2)*p2^2 -
      6*(-mK^2 + mPi^2)*p3^2) + 3*c2*(mK^4 - 8*mK^2*mPi^2 - 2*mPi^4 + p2^4 +
      3*mK^2*p3^2 + p2^2*(-2*mK^2 + 8*mPi^2 - 3*p3^2)))*Log[mPi^2/ScaleMu^2])/
  (32*Sqrt[3]*f^3*(-mK^2 + p2^2)*Pi^2)

Overscript[J, _]'s:

textJBars = finJBars /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p_], Momentum[p_]] -> p^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a], QuarkCondensate[] -> B} // InputForm

-(B*(3*c2*(-mK^2 + p2^2)*((4*mEta^2 - mK^2 + p2^2 - 3*p3^2)*Jbar[p3^2, mEta^2] +
      (3*mK^2 + p2^2 - 3*p3^2)*Jbar[p3^2, mK^2] + 3*(-mK^2 + 4*mPi^2 + p2^2 - 3*p3^2)*
       Jbar[p3^2, mPi^2]) - 2*c5*(-mK^2 + mPi^2)*
     ((6*mEta^2 + mK^2 + 2*mPi^2 - p2^2 - 9*p3^2)*Jbar[p3^2, mEta^2] -
      9*(-mK^2 + p2^2 + p3^2)*Jbar[p3^2, mK^2] + 9*(-mK^2 + p2^2 + p3^2)*
       Jbar[p3^2, mPi^2])))/(6*Sqrt[3]*f^3*(-mK^2 + p2^2))

finJBarsKLM /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p_], Momentum[p_]] -> p^2 //. {_DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a], QuarkCondensate[] -> B} // InputForm

-(B*(c2*(-mK^2 + p2^2)*(13*mK^2 - 4*mPi^2 + 3*p2^2 - 9*p3^2) +
     2*c5*(-mK^2 + mPi^2)*(-9*mK^2 + p2^2 + 9*p3^2))*Jbar[p3^2, mEta^2])/
  (6*Sqrt[3]*f^3*(-mK^2 + p2^2)) -
(B*(c2*(-mK^2 + p2^2)*(3*mK^2 + p2^2 - 3*p3^2) + 6*c5*(-mK^2 + mPi^2)*
     (-mK^2 + p2^2 + p3^2))*Jbar[p3^2, mK^2])/(2*Sqrt[3]*f^3*(-mK^2 + p2^2)) -
(Sqrt[3]*B*(c2*(-mK^2 + p2^2)*(-mK^2 + 4*mPi^2 + p2^2 - 3*p3^2) +
    2*c5*(mK^2 - mPi^2)*(-mK^2 + p2^2 + p3^2))*Jbar[p3^2, mPi^2])/(2*f^3*(-mK^2 + p2^2))

Counterterms:

textCTs = finCTs /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p_], Momentum[p_]] -> p^2 //. {_DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a], QuarkCondensate[] -> B} // InputForm

(4*B*c5*(f^2*(-2*mK^2 - mPi^2 + 3*p2^2) +
    4*(-((2*mK^2 + mPi^2)*(-2*mK^2 - mPi^2 + 3*p2^2)*L[4]) +
      (mK^4 + mK^2*(4*mPi^2 - 4*p2^2 + p3^2) - mPi^2*(2*mPi^2 - p2^2 + p3^2))*L[5] +
      4*(-mK^2 + mPi^2)^2*L[8])))/(Sqrt[3]*f^3*(-mK^2 + p2^2)) -
(2*B*c2*(4*(2*(3*mK^4 + (-4*mK^2 + mPi^2)*p2^2)*n[10] -
      (2*mK^2 + mPi^2)*(-2*mK^2 - mPi^2 + 3*p2^2)*n[11]) +
    (6*p2^4 + p2^2*(4*mK^2 - 4*mPi^2 - 6*p3^2) + 6*mK^2*(-mK^2 + p3^2))*n[21] -
    3*(-mK^2 + p2^2)*(-mK^2 + p2^2 + p3^2)*n[22]))/(Sqrt[3]*f^3*(-mK^2 + p2^2))

Full amplitude:

textI8Amp = textPoly + textLogs + textJBars + textCTs /. InputForm -> Identity ;

textI8Amp // InputForm

(B*(3*c2*(-mK^2 + p2^2)*(4*mEta^2 - mK^2 + 12*mPi^2 + 5*p2^2 - 15*p3^2) +
    2*c5*((-mK^2 + mPi^2)*(-6*mEta^2 - mK^2 - 2*mPi^2 + p2^2 + 9*p3^2) +
      192*f^2*(-2*mK^2 - mPi^2 + 3*p2^2)*Pi^2)))/(96*Sqrt[3]*f^3*(-mK^2 + p2^2)*Pi^2) -
(B*(3*c2*(-mK^2 + p2^2)*((4*mEta^2 - mK^2 + p2^2 - 3*p3^2)*Jbar[p3^2, mEta^2] +
      (3*mK^2 + p2^2 - 3*p3^2)*Jbar[p3^2, mK^2] + 3*(-mK^2 + 4*mPi^2 + p2^2 - 3*p3^2)*
       Jbar[p3^2, mPi^2]) - 2*c5*(-mK^2 + mPi^2)*
     ((6*mEta^2 + mK^2 + 2*mPi^2 - p2^2 - 9*p3^2)*Jbar[p3^2, mEta^2] -
      9*(-mK^2 + p2^2 + p3^2)*Jbar[p3^2, mK^2] + 9*(-mK^2 + p2^2 + p3^2)*
       Jbar[p3^2, mPi^2])))/(6*Sqrt[3]*f^3*(-mK^2 + p2^2)) +
(4*B*c5*(f^2*(-2*mK^2 - mPi^2 + 3*p2^2) +
    4*(-((2*mK^2 + mPi^2)*(-2*mK^2 - mPi^2 + 3*p2^2)*L[4]) +
      (mK^4 + mK^2*(4*mPi^2 - 4*p2^2 + p3^2) - mPi^2*(2*mPi^2 - p2^2 + p3^2))*L[5] +
      4*(-mK^2 + mPi^2)^2*L[8])))/(Sqrt[3]*f^3*(-mK^2 + p2^2)) +
(B*(c5*(62*mK^4 - 100*mK^2*mPi^2 + 11*mPi^4 + 9*(-2*mK^2 + mPi^2)*p2^2 +
      54*(-mK^2 + mPi^2)*p3^2) + c2*(-55*mK^4 + 8*mK^2*mPi^2 + 2*mPi^4 + 9*p2^4 +
      27*mK^2*p3^2 - 3*p2^2*(-26*mK^2 + 8*mPi^2 + 9*p3^2)))*Log[mEta^2/ScaleMu^2])/
  (288*Sqrt[3]*f^3*(-mK^2 + p2^2)*Pi^2) +
(B*(6*c5*(3*mK^4 + (-4*mK^2 + mPi^2)*p2^2 + (-mK^2 + mPi^2)*p3^2) +
    c2*(p2^4 - 3*p2^2*(-2*mK^2 + p3^2) + 3*mK^2*(-mK^2 + p3^2)))*Log[mK^2/ScaleMu^2])/
  (32*Sqrt[3]*f^3*(-mK^2 + p2^2)*Pi^2) +
(B*(c5*(-6*mK^4 + 12*mK^2*mPi^2 + 7*mPi^4 + (6*mK^2 - 15*mPi^2)*p2^2 -
      6*(-mK^2 + mPi^2)*p3^2) + 3*c2*(mK^4 - 8*mK^2*mPi^2 - 2*mPi^4 + p2^4 +
      3*mK^2*p3^2 + p2^2*(-2*mK^2 + 8*mPi^2 - 3*p3^2)))*Log[mPi^2/ScaleMu^2])/
  (32*Sqrt[3]*f^3*(-mK^2 + p2^2)*Pi^2) -
(2*B*c2*(4*(2*(3*mK^4 + (-4*mK^2 + mPi^2)*p2^2)*n[10] -
      (2*mK^2 + mPi^2)*(-2*mK^2 - mPi^2 + 3*p2^2)*n[11]) +
    (6*p2^4 + p2^2*(4*mK^2 - 4*mPi^2 - 6*p3^2) + 6*mK^2*(-mK^2 + p3^2))*n[21] -
    3*(-mK^2 + p2^2)*(-mK^2 + p2^2 + p3^2)*n[22]))/(Sqrt[3]*f^3*(-mK^2 + p2^2))

Converted by Mathematica  (July 10, 2003)