Pensieve header: Tracing Nwu - the actual trace.

{ω,L,Q,P}=List@@in

q=(1-(Subscript[t, k]))(μ^(-1)) α β+(μ^(-1)) β (Subscript[u, k])+(μ^(-1)) δ (Subscript[u, k])(Subscript[w, k])+(μ^(-1)) α (Subscript[w, k])

μ ω

L

μ ω q+μ(Q/.(Subscript[w, i])|(Subscript[u, j])->0)

(Subscript[DP, (Subscript[w, i])->(Subscript[D, α]),(Subscript[u, j])->(Subscript[D, β])])[P][(E^q)]

((Subscript[DP, (Subscript[w, i])->(Subscript[D, α]),(Subscript[u, j])->(Subscript[D, β])])[P][(E^q)]/. (E^(_))->1)==(E^(-q)) (Subscript[DP, (Subscript[w, i])->(Subscript[D, α]),(Subscript[u, j])->(Subscript[D, β])])[P][(E^q)] // Expand

μ->1+((Subscript[t, k])-1) δ

δ->(ω^(-1))(∂_((Subscript[w, i]),(Subscript[u, j])))Q

Simplify[((-5-(1/(t^4))+(3/(t^3))-(5/(t^2))+(5/t)+3 t-(t^2))/(3+(1/(t^2))-(2/t)-4 t+5 (t^2)-3 (t^3)+(t^4)))]

Together[1+((Subscript[t, k])-1) δ /. δ->(ω^(-1))(∂_((Subscript[w, i]),(Subscript[u, j])))Q]

(ω^4)Λ[k]

(μ^4) (E^(-q)) (Subscript[DP, (Subscript[w, i])->(Subscript[D, α]),(Subscript[u, j])->(Subscript[D, β])])[P][(E^q)]+(ω^4)Λ[k]

p0=(μ^4) ((Subscript[DP, (Subscript[w, i])->(Subscript[D, α]),(Subscript[u, j])->(Subscript[D, β])])[P][(E^q)]/. (E^(_))->1)+(ω^4)Λ[k]/. μ->1+((Subscript[t, k])-1) δ /. {α->(ω^(-1))((∂_(Subscript[w, i]))Q/.(Subscript[u, j])->0), β->(ω^(-1))((∂_(Subscript[u, j]))Q/.(Subscript[w, i])->0), δ->(ω^(-1))(∂_((Subscript[w, i]),(Subscript[u, j])))Q}