OFFSET
0,1
COMMENTS
The computation of this integral is given by Bailey & Borwein as an example of the use of CAS packages (and additional tools) to simplify large symbolic expressions.
LINKS
Vincenzo Librandi, Table of n, a(n) for n = 0..1000
D. H. Bailey and J. M. Borwein, Experimental computation as an ontological game changer, 2014, see p. 5.
D. H. Bailey, J. M. Borwein and A. D. Kaiser, Automated Simplification of Large Symbolic Expressions
Eric Weisstein's MathWorld, Clausen's Integral.
Eric Weisstein's MathWorld, Polylogarithm.
FORMULA
Pi^2/8*log(2) - 7/48*zeta(3) + 11/24*Pi*Cl2(Pi/6) - 29/24*Pi*Cl2(5*Pi/6), where Cl2 is the Clausen function Cl2(t) = Sum_{n>0} sin(n*t)/n^2.
EXAMPLE
0.56959615818361450623645553672717469010787612682122878368281840812485230025...
MATHEMATICA
Clausen2[x_] := Im[PolyLog[2, Exp[x*I]]]; Pi^2/8*Log[2] - 7/48*Zeta[3] + 11/24*Pi*Clausen2[Pi/6] - 29/24*Pi*Clausen2[5*Pi/6] // RealDigits[#, 10, 101]& // First
PROG
(PARI) Cl2(x)=imag(polylog(2, exp(x*I)));
Pi^2/8*log(2) - 7/48*zeta(3) + 11/24*Pi*Cl2(Pi/6) - 29/24*Pi*Cl2(5*Pi/6) \\ Charles R Greathouse IV, Aug 27 2014
CROSSREFS
KEYWORD
AUTHOR
Jean-François Alcover, Jul 07 2014
STATUS
approved