OFFSET
0,1
REFERENCES
This is the real part of e^(i*e^(i*e^(i...))).
LINKS
Eric Weisstein's World of Mathematics, Lambert W-Function
Wikipedia, Lambert W function
FORMULA
Equals Re(i*LambertW(-i)). - Alois P. Heinz, May 27 2018
From Vaclav Kotesovec, Oct 02 2021: (Start)
Root of the equation exp(x*tan(x)) = cos(x)/x.
Equals Im(LambertW(i)). (End)
EXAMPLE
0.576412723031435283148289239887068476278...
MATHEMATICA
RealDigits[Re[I*LambertW[-I]], 10, 120][[1]] (* Harvey P. Dale, Dec 01 2018 *)
RealDigits[x /. FindRoot[E^(x*Tan[x]) == Cos[x]/x, {x, 1/2}, WorkingPrecision -> 120]][[1]] (* Vaclav Kotesovec, Oct 02 2021 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Keerthi Vasan Gopala, May 27 2018
EXTENSIONS
More digits from Alois P. Heinz, May 27 2018
STATUS
approved