1 | initial version |

In the most recent Maxima, we have

```
(%i5) display2d:false;
(%o5) false
(%i6) integrate(log(cot(x)-1),x,0,%pi/4);
Is %pi/8 an ?integer?
n;
Is %pi/4 an ?integer?
n;
Is 2*%pi an ?integer?
n;
(%o6) -(%i*(2*li[2](%i+1)-2*li[2](1-%i))+%pi*log(2))/4
+%i*li[2]((%i+1)/2)/2-%i*li[2](-(%i-1)/2)/2
```

which I guess is an improvement over

```
(%i2) integrate(log(cot(x)-1),x,0,%pi/4);
defint: integral is divergent
```

So a Maxima upgrade should fix this, though the polylogs aren't necessarily going to be evaluated by us immediately.

2 | No.2 Revision |

In the most recent Maxima, we have

```
(%i5) display2d:false;
(%o5) false
(%i6) integrate(log(cot(x)-1),x,0,%pi/4);
Is %pi/8 an ?integer?
n;
Is %pi/4 an ?integer?
n;
Is 2*%pi an ?integer?
n;
(%o6) -(%i*(2*li[2](%i+1)-2*li[2](1-%i))+%pi*log(2))/4
+%i*li[2]((%i+1)/2)/2-%i*li[2](-(%i-1)/2)/2
```

which I guess is an improvement over

```
(%i2) integrate(log(cot(x)-1),x,0,%pi/4);
defint: integral is divergent
```

So a Maxima upgrade should ~~fix ~~get closer to fixing this, though the polylogs aren't necessarily going to be evaluated by us immediately.

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.