From: nma@12000.org   
      
   On 4/26/2017 5:15 AM, Albert Rich wrote:   
   > An antiderivative of arctanh(t)*log(t)/(t-1) wrt t is:   
   >   
   > -1/2*Log[2]*Log[t]*Log[(1 + t)/2] + 1/4*Log[2]*Log[(1 + t)/2]^2 +   
   >  1/2*Log[1 - t]*Log[t]*Log[1 + t] -   
   >  1/2*Log[2]*Log[(1 + t)/2]*Log[(1 + t)/(2*t)] +   
   >  1/4*Log[1 - t]*Log[(1 + t)/(2*t)]^2 +   
   >  1/4*Log[-(1/t)]*Log[(1 + t)/(2*t)]^2 -   
   >  1/4*Log[(-1 + t)/(2*t)]*Log[(1 + t)/(2*t)]^2 +   
   >  1/2*Log[(1 + t)/(2*t)]*PolyLog[2, 1 + 1/t] -   
   >  ArcTanh[t]*PolyLog[2, 1 - t] +   
   >  1/2*Log[1 + t]*PolyLog[2, 1 - t] + 1/2*Log[1 + t]*PolyLog[2, t] -   
   >  1/2*Log[(1 + t)/(2*t)]*PolyLog[2, t] +   
   >  1/2*Log[t]*PolyLog[2, (1 + t)/2] +   
   >  1/2*Log[(1 + t)/(2*t)]*PolyLog[2, (1 + t)/2] -   
   >  1/2*Log[(1 + t)/(2*t)]*PolyLog[2, (1 + t)/(2*t)] -   
   >  1/2*PolyLog[3, 1 + 1/t] -   
   >  1/2*PolyLog[3, 1 - t] - (1/2)*PolyLog[3, t] -   
   >  1/2*PolyLog[3, (1 + t)/2] +   
   >  1/2*PolyLog[3, (1 + t)/(2*t)]   
   >   
   > Taking the difference of evaluating its limits as t approaches 1 and 0 gives   
   1/8 pi^2 log(2).   
   >   
   > Albert   
   >   
      
   Amazing. Well done. I assume you found a rule for this and it   
   will be in next Rubi version.   
      
   Thanks,   
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)