From: nma@12000.org   
      
   On 4/23/2017 1:23 AM, oldk1331@gmail.com wrote:   
   >   
   >> I do not know is this has analytical antiderivative or not.   
   >   
   > When FriCAS returns with an integral symbol, that means   
   > FriCAS proves it has no elementary antiderivative.   
   >   
   > (1) -> integrate(atanh(t) * log(t)/t, t)   
   >   
   >            t   
   >          ++  atanh(%A)log(%A)   
   >    (1)   |   ---------------- d%A   
   >         ++          %A   
   >   
      
      
   Does this mean that Fricas will not return result like this:   
      
   Integrate[ArcTanh[t] Log[t]/t, t]   
   (1/2)*((-Log[t])*PolyLog[2, -t] + Log[t]*PolyLog[2, t] + PolyLog[3, -t] -   
   PolyLog[3, t])   
      
      
   Because "polylog" is not considered elementary function? So Fricas   
   will return result which only contains elementary functions?   
      
   Ok, got it :)   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)