OFFSET
0,1
LINKS
FORMULA
Equals (Pi/2)*cos(1)+cosIntegral(1)*sin(1)-cos(1)*sinIntegral(1).
Also 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
EXAMPLE
0.621449624235813357639265728215339323893164676919705416947975531641930561621...
MATHEMATICA
(Pi/2)*Cos[1] + CosIntegral[1]*Sin[1] - Cos[1]*SinIntegral[1] // RealDigits[#, 10, 100]& // First
CROSSREFS
KEYWORD
AUTHOR
Jean-François Alcover, Apr 09 2013
STATUS
approved