How do I cite this document and does it say what I think it says?

[sheldonison]

....
But more importantly, what does the half-exponential function actually look like in terms of functions? Trappman suggests something that looks like a basic composite of logs and exponentials, like you just exponentiate an iterated logarithm summed with a constant, yet I have not found a simplification that proves f(x) for f(f(x))=e^x.

I found this post on the halfexp function, halfexp(halfexp(z))=exp(z)
https://math.eretrandre.org/tetrationfor...hp?tid=544
Also, in the fatou.gp pari-gp program, halfsexp(z) is defined for complex values of z.  Here is a graph of the real axis from -10 to +10.  halfexp(20)=398.247512, halfexp(100)=192708.572  I have no idea how to express halfexp(z) in terms of a "composite of logs and exponentials".