OFFSET
0,1
FORMULA
Equals log(A073743).
Equals Integral_{x=0..1} (1 - x)/cosh(x)^2 dx.
Equals Integral_{x=0..1} tanh(x) dx. - Amiram Eldar, Dec 21 2024
EXAMPLE
0.4337808304830271870264946849...
MATHEMATICA
RealDigits[Log[Cosh[1]], 10, 105][[1]]
PROG
(PARI) log(cosh(1)) \\ Stefano Spezia, Dec 22 2024
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Artur Jasinski, Dec 21 2024
STATUS
approved