Albert Rich schrieb:   
   >   
   > On Sunday, November 2, 2014 7:07:00 AM UTC-10, clicl...@freenet.de wrote:   
   > > Albert Rich schrieb:   
   > > >   
   > > > Inspired in part by your post on September 7th, improvements made to   
   > > > the just released Rubi 4.6 enable it to integrate   
   > > > log(2+x)^3*log(3+x)*x^3 wrt x.  The result is comparable in size to   
   > > > the Mathematica's and contains 6 polylogarithm functions.   
   > > >   
   > > > [...]   
   > > >   
   > > > However, like the other systems tested, Rubi 4.6 is unable to   
   > > > integrate log(2+x)^3*log(3+x)^2*x^3 wrt x.  I would guess this   
   > > > expressions is not integrable in terms of the elementary and   
   > > > polylogarithm functions(?).   
   > > >   
   > >   
   > > I would guess so too. Do you find it too difficult to reduce the number   
   > > of polylogarithms, or just somehow inadvisable for a rule based system?   
   > >   
   >   
   > I do not understand what you mean by "reduce the number of   
   > polylogarithms" and in what context.   
   >   
      
   You say that the Rubi 4.6 antiderivative for log(2+x)^3*log(3+x)*x^3   
   contains six polylogarithm functions. The Mathematica result quoted on   
   the web page referenced in the original post to this thread contains   
   just three of them. This could be considered an advantage since you say   
   that the size of the result is similar.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)