This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A379356 #17 Jan 03 2025 01:59:40
%S A379356 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,
%T A379356 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,
%U A379356 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
%N A379356 Decimal expansion of log(cosh(1)).
%F A379356 Equals log(A073743).
%F A379356 Equals Integral_{x=0..1} (1 - x)/cosh(x)^2 dx.
%F A379356 Equals Integral_{x=0..1} tanh(x) dx. - _Amiram Eldar_, Dec 21 2024
%e A379356 0.4337808304830271870264946849...
%t A379356 RealDigits[Log[Cosh[1]], 10, 105][[1]]
%o A379356 (PARI) log(cosh(1)) \\ _Stefano Spezia_, Dec 22 2024
%Y A379356 Cf. A073743.
%K A379356 cons,nonn
%O A379356 0,1
%A A379356 _Artur Jasinski_, Dec 21 2024