Fdtxjr

I have this term: $-frac1pW(-fracpe)bigg[logbigg(-frac1pW(-fracpe)bigg)-1bigg]$.

In order to reduce complexity I've taken
$-fracpe=x$ which gives $f(x)=frac1xeW(x)bigg[logbigg(frac1xeW(x)bigg)-1bigg]$.

I need to do a power series expansion for this term at $x=-1/e$.

From the basics of Taylor expansion: $f(x)=f(-1/e)+fracdfdx(-1/e) (x+1/e)^1+fracd^2fdx^2(-1/e)(x+1/e)^2+.....$

The first term $f(-1/e)=-1$ but the second term $fracdfdx=-frac[W(x)]^2bigg[logbigg(fracW(x)xbigg)-1bigg]ex^2[w(x)+1]$ is not defined at $x=-1/e$ since $W(-1/e)=-1$ making the denominator to be $0$ also the numerator is $0$ as well. If the second term is undefined then the Taylor expansion does not work (to my understanding).

I'm not sure where I'm going wrong with this approach or if there's any other way to expand this term as a power series at $x=-1/e$. Any suggestions/help appreciated. Thanks!

According to R. M. Corless et al. if $p=+sqrt2(ez+1)$ and $mid p mid<sqrt2$ then $W(z)=-1+p-frac13p^2+frac1172p^3+....$

Also according to the definition of Lambert-W function $We^W=z$, taking logarithm on both sides of this equation yields: $ln W=ln z-W$ gives us a relatively easier way to break down the log term in our function.

Now getting back to the function we have, $-frac1yW(-fracye)bigg[lnbigg(-frac1yW(-fracye)bigg)-1bigg]$. Let's take $z=-fracye$ and so we get $p=sqrt2(1-y)$. Now we are able to do the power series expansion for our function:

$W(z)=-1+sqrt2(1-y)^1/2-frac23(1-y)+frac11 times 2^3/272(1-y)^3/2+....$

Now, using this expansion and after some very tedious multiplication the final expression for the expansion can be derived.