OFFSET
0,1
COMMENTS
Integral_{x=0..1/e} log(log(x))/(1+x^2) is complex number 0.2152489028... + i*1.107453576148368... = A388042 + i*A393630.
Integral_{x=1/e..1} log(log(x))/(1+x^2) is complex number -0.475691709... + i*1.35994752412397... = -A393691 + i*A390125.
Integral_{x=0..1} log(log(x))/(1+x^2) is complex number -0.2604428063... + i*2.467401100272... = A115252 + i*A091476.
Integral_{x>=0} log(log(x))/(1+x^2) is complex number -0.5208851637565... + i*2.467401100272... = -2*A115252 + i*A091476.
Integral_{x=1..e} log(log(x))/(1+x^2) is real negative number -0.47569170911830734... = -A393691.
Integral_{x>=e} log(log(x))/(1+x^2) is real positive number 0.215248902817318895... = A388042.
LINKS
Sean A. Irvine, Table of n, a(n) for n = 0..999
FORMULA
Equals real part of Integral_{x=0..1/e} log(log(x))/(1+x^2).
Equals Integral_{x=arctan(e)..Pi/2} log(log(tan(x))) dx.
Equals Integral_{x>=1} log(x)/(2 * cosh(x)) dx.
Let A = 0.215248902817318895... B = -0.47569170911830734... then
A+B = (Pi/4) log(4*Pi^3/Gamma(1/4)^4) = -0.260442806300988...
Equals Sum_{k>=0} (-1)^(k+1) * Ei(-(2*k+1)) / (2*k+1). - Sean A. Irvine, Mar 04 2026
EXAMPLE
0.21524890281731889512316472...
MAPLE
evalf(Int(log(log(x))/(1+x^2), x = exp(1)..infinity), 105); # Vaclav Kotesovec, Feb 24 2026
MATHEMATICA
RealDigits[NIntegrate[Log[Log[x]]/(1 + x^2), {x, E, Infinity}, WorkingPrecision -> 110], 10, 105][[1]]
(* or *)
NSum[(-1)^(k + 1) ExpIntegralEi[-(2*k + 1)]/(2*k + 1), {k, 0, Infinity}, WorkingPrecision -> 105]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Artur Jasinski, Feb 22 2026
STATUS
approved
