OFFSET
0,1
REFERENCES
Konrad Knopp, Theory and application of infinite series, Blackie & Son Limited, London and Glasgow, 1954. See p. 553.
LINKS
Steven R. Finch, Errata and addenda to Mathematical Constants, arXiv:2001.00578 [math.HO], 2020-2024, p. 62.
FORMULA
Equals (Pi/2)*cos(1) + cosIntegral(1)*sin(1) - cos(1)*sinIntegral(1).
Equals Integral_{x=0..1} 1/(1+log(x)^2) dx.
Equals Integral_{x=0..Pi/2} exp(-tan(x)) dx. - Amiram Eldar, Aug 06 2020
Equals Integral_{x=0..oo} arctan(x)/exp(x) dx. - Kritsada Moomuang, Oct 24 2025
EXAMPLE
0.621449624235813357639265728215339323893164676919705416947975531641930561621...
MATHEMATICA
(Pi/2)*Cos[1] + CosIntegral[1]*Sin[1] - Cos[1]*SinIntegral[1] // RealDigits[#, 10, 100]& // First
RealDigits[Integrate[Exp[-x]/(1+x^2), {x, 0, \[Infinity]}], 10, 120][[1]] (* Harvey P. Dale, Jan 04 2026 *)
CROSSREFS
KEYWORD
AUTHOR
Jean-François Alcover, Apr 09 2013
STATUS
approved
