•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 - 17*mK^2 + 36*mPi^2 + 5*p2^2 - 15*p3^2) +
   2*c5*((-mK^2 + mPi^2)*(6*mEta^2 + 55*mK^2 + 2*mPi^2 - 55*p2^2 - 63*p3^2) +
     576*f^2*(-2*mK^2 + mPi^2 + p2^2)*Pi^2)))/(288*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*(10*mK^4 - 60*mK^2*mPi^2 + 11*mPi^4 + (2*mK^2 + mPi^2)*p2^2 +
       18*(-mK^2 + mPi^2)*p3^2) + c2*(3*mK^4 - 8*mK^2*mPi^2 + 2*mPi^4 + 3*p2^4 +
       9*mK^2*p3^2 + p2^2*(26*mK^2 - 8*mPi^2 - 9*p3^2)))*Log[mEta^2/ScaleMu^2])/
  (288*f^3*(-mK^2 + p2^2)*Pi^2) -
(B*(6*c5*(-mK^4 + 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*f^3*(-mK^2 + p2^2)*Pi^2) +
(B*(c5*(-6*mK^4 + 12*mK^2*mPi^2 - 7*mPi^4 + (6*mK^2 - 9*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*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*(3*mK^2 + p2^2 - 3*p3^2)*Jbar[p3^2, mK^2] + 9*(-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] +
     27*(-mK^2 + p2^2 + p3^2)*Jbar[p3^2, mK^2] + 27*(-mK^2 + p2^2 + p3^2)*
      Jbar[p3^2, mPi^2])))/(18*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])/
  (18*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*f^3*(-mK^2 + p2^2)) -
(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 + p2^2) + 4*mPi^2*(-((mPi^2 + 5*p2^2 - 4*p3^2)*L[4]) +
      (2*mPi^2 - p2^2 + p3^2)*L[5] - 4*mPi^2*L[8]) +
    4*mK^4*(8*L[4] + 3*L[5] - 4*(4*L[6] + L[8])) -
    4*mK^2*((-2*p2^2 + 4*(mPi^2 + p3^2))*L[4] + p3^2*L[5] +
      4*mPi^2*(L[5] - 2*(2*L[6] + L[8])))))/(f^3*(-mK^2 + p2^2)) +
(2*B*c2*(4*(2*(-mK^4 + mPi^2*p2^2)*n[10] + (mPi^4 + 5*mPi^2*p2^2 -
        2*mK^2*(2*mPi^2 + p2^2))*n[11]) - 2*(p2^4 + mK^2*(-mK^2 + p3^2) -
      p2^2*(2*mK^2 - 2*mPi^2 + p3^2))*n[21] + (-mK^2 + p2^2)*(-mK^2 + p2^2 + p3^2)*
     n[22]))/(f^3*(-mK^2 + p2^2))

Full amplitude:

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

textFullAmp // InputForm

(B*(3*c2*(-mK^2 + p2^2)*(-4*mEta^2 - 17*mK^2 + 36*mPi^2 + 5*p2^2 - 15*p3^2) +
    2*c5*((-mK^2 + mPi^2)*(6*mEta^2 + 55*mK^2 + 2*mPi^2 - 55*p2^2 - 63*p3^2) +
      576*f^2*(-2*mK^2 + mPi^2 + p2^2)*Pi^2)))/(288*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*(3*mK^2 + p2^2 - 3*p3^2)*Jbar[p3^2, mK^2] + 9*(-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] +
      27*(-mK^2 + p2^2 + p3^2)*Jbar[p3^2, mK^2] + 27*(-mK^2 + p2^2 + p3^2)*
       Jbar[p3^2, mPi^2])))/(18*f^3*(-mK^2 + p2^2)) +
(4*B*c5*(f^2*(-2*mK^2 + mPi^2 + p2^2) + 4*mPi^2*(-((mPi^2 + 5*p2^2 - 4*p3^2)*L[4]) +
      (2*mPi^2 - p2^2 + p3^2)*L[5] - 4*mPi^2*L[8]) +
    4*mK^4*(8*L[4] + 3*L[5] - 4*(4*L[6] + L[8])) -
    4*mK^2*((-2*p2^2 + 4*(mPi^2 + p3^2))*L[4] + p3^2*L[5] +
      4*mPi^2*(L[5] - 2*(2*L[6] + L[8])))))/(f^3*(-mK^2 + p2^2)) -
(B*(c5*(10*mK^4 - 60*mK^2*mPi^2 + 11*mPi^4 + (2*mK^2 + mPi^2)*p2^2 +
      18*(-mK^2 + mPi^2)*p3^2) + c2*(3*mK^4 - 8*mK^2*mPi^2 + 2*mPi^4 + 3*p2^4 +
      9*mK^2*p3^2 + p2^2*(26*mK^2 - 8*mPi^2 - 9*p3^2)))*Log[mEta^2/ScaleMu^2])/
  (288*f^3*(-mK^2 + p2^2)*Pi^2) -
(B*(6*c5*(-mK^4 + 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*f^3*(-mK^2 + p2^2)*Pi^2) +
(B*(c5*(-6*mK^4 + 12*mK^2*mPi^2 - 7*mPi^4 + (6*mK^2 - 9*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*f^3*(-mK^2 + p2^2)*Pi^2) +
(2*B*c2*(4*(2*(-mK^4 + mPi^2*p2^2)*n[10] + (mPi^4 + 5*mPi^2*p2^2 -
        2*mK^2*(2*mPi^2 + p2^2))*n[11]) - 2*(p2^4 + mK^2*(-mK^2 + p3^2) -
      p2^2*(2*mK^2 - 2*mPi^2 + p3^2))*n[21] + (-mK^2 + p2^2)*(-mK^2 + p2^2 + p3^2)*
     n[22]))/(f^3*(-mK^2 + p2^2))


Converted by Mathematica  (July 10, 2003)