A379356 Decimal expansion of log(cosh(1)).

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

Author

Artur Jasinski, Dec 21 2024

Keywords

• cons
• nonn

Examples

			0.4337808304830271870264946849...
		

Crossrefs

Cf. A073743.

Programs

Mathematica

RealDigits[Log[Cosh[1]], 10, 105][[1]]

PARI

log(cosh(1)) \\ Stefano Spezia, Dec 22 2024

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