login
A379356
Decimal expansion of log(cosh(1)).
0
4, 3, 3, 7, 8, 0, 8, 3, 0, 4, 8, 3, 0, 2, 7, 1, 8, 7, 0, 2, 6, 4, 9, 4, 6, 8, 4, 9, 0, 0, 1, 2, 7, 8, 6, 3, 3, 5, 8, 8, 3, 2, 9, 2, 8, 4, 4, 8, 1, 0, 3, 1, 0, 3, 4, 2, 9, 4, 6, 1, 2, 0, 7, 2, 9, 4, 5, 7, 9, 6, 5, 7, 6, 8, 7, 0, 6, 3, 7, 0, 8, 1, 3, 3, 6, 5, 9, 2, 3, 0, 7, 7, 6, 3, 1, 4, 2, 9, 8, 7, 9, 1, 4, 1, 4
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
Cf. A073743.
Sequence in context: A237197 A006994 A038627 * A155835 A138187 A105342
KEYWORD
cons,nonn
AUTHOR
Artur Jasinski, Dec 21 2024
STATUS
approved