Missing dilog(2) simplification

[ppurka]

From google spreadsheet which no one reads X-(

sage: integrate(log(1+x)/x,x)
 log(x + 1)*log(-x) + polylog(2, x + 1)
sage: integrate(log(1+x)/x,x,0,1) 
 -1/6*pi^2 + I*pi*log(2) + polylog(2, 2)

Since dilog(2) = -pi<sup>2/4+log(2)</sup>2/2-1/2*(log(2)+I*pi)^2 the result is simply pi^2/12.

CC: @sagetrac-jakobkroeker @kcrisman @rwst

Component: calculus

Issue created by migration from https://trac.sagemath.org/ticket/15504

[ppurka]

Description changed:

--- 
+++ 
@@ -12,3 +12,7 @@
 Both of which are wrong according to 2.728 of Gradshteyn & Ryzhik. Actually the second example is obviously wrong since the integration is a real function over a real interval.
 
 Should I report the error to Maxima? That seems to be the source.
+
+PS:
+1. The "I" above is not me (ppurka)
+2. I am done scrounging through the google spreadsheet for bugs, for now.

[kcrisman]

comment:2

(%i6) integrate(log(1+x)/x,x,0,1);
                                                      2
                                                   %pi
(%o6)                   log(- 1) log(2) + li (2) - ----
                                            2       6
(%i7) integrate(log(1+x)/x,x);
(%o7)                  log(- x) log(x + 1) + li (x + 1)
                                               2

Apparently in Maxima.

[rwst]

comment:6

For completeness, sympy has

In [1]: integrate(log(1+x)/x)
Out[1]: 
        ⎛      ⅈ⋅π⎞
-polylog⎝2, x⋅ℯ   ⎠

In [2]: integrate(log(1+x)/x,(x,0,1))
Out[2]: 
        ⎛    ⅈ⋅π⎞
-polylog⎝2, ℯ   ⎠

while Wolfram says integral (log(1+x))/x dx = -Li_2(-x)+constant.
The sympy solution will also only be available with sympy-0.7.8 because of a missing polylog._sage_ method in earlier versions.

[rwst]

comment:7

sage: integrate(log(1+x)/x,x,algorithm='sympy')
-polylog(2, -x)

[sagetrac-jakobkroeker]

comment:8

If this answer is wrong, mark it for a stopgap or even create one