OFFSET
0,1
LINKS
D. H. Bailey, J. M. Borwein, R. E. Crandall, Advances in the theory of box integrals (2010) p. 22.
FORMULA
7/20*sqrt(2) + 3/20*log(1 + sqrt(2)).
Also equals (7*sqrt(2) + 3*arcsinh(1))/20.
EXAMPLE
0.627180784883514720865482452220363173853609205621177137224832249594762945...
MATHEMATICA
RealDigits[7/20*Sqrt[2] + 3/20*Log[1 + Sqrt[2]], 10, 106] // First
CROSSREFS
KEYWORD
AUTHOR
Jean-François Alcover, Jul 08 2014
STATUS
approved