From: fateman@gmail.com   
      
   On Monday, December 27, 2021 at 2:48:09 AM UTC-8, Nasser M. Abbasi wrote:   
   > On 12/27/2021 2:27 AM, Валерий Заподовников wrote:    
   >    
   > >    
   > > Also please test on Integrate from Wolfram Math. 13.0.0,    
   > > since it has IntegrateAlgebraic indide.   
   > There should be a new build of CAS independent integration    
   > tests which will have Mathematica V 13.0. But waiting for    
   > Maple 2022 and sagemath 9.6 and most important for the next    
   > version of Rubi to be released with its new test input files    
   > with new integrals added.    
   >    
   > This is because it takes about 2 months and lots of effort and    
   > time to run all these tests, and do not want to do this now    
   > and then have to do it again few months later.    
   >    
   > Hopefully sometime next year.    
   >    
   > --Nasser   
   The long expression posted previously that Maxima could not integrate can be   
   expanded and much of it is then integrated.    
      
   	v:   
   	(((-2)*x^3+34*x^2+392*x+800)*log((((-25)*x+(-100))*log(x)+(x^2+   
   ))/(25*x+100))+((-6)*x^3+102*x^2+1176*x+2400))/((25*x^3+200*x^2+   
   00*x)*log(x)+((-1)*x^4+(-5)*x^3+(-4)*x^2));   
   	((-2*x^3+34*x^2+392*x+800)*log(((-25*x-100)*log(x)+x^2+x)/(25*x   
   100))-6*x^3+102*x^2+1176*x+2400)/((25*x^3+200*x^2+400*x)*log(x)-   
   ^4-5*x^3-4*x^2)   
      
    There's one piece of the expansion that doesn't come out in the wash,    
      
   integrate((3*x^6-119*x^5-608*x^4+27320*x^3+339296*x^2+1411200*x+   
   920000)/((150*x^2+1200*x+2400)*log(x)-6*x^3-30*x^2-24*x),x)   
      
   So this  after tossing out what I thought were extraneous to come up with a   
   simple   
   "bug report"  I came to the problem  integrate( 1/(log(x)+x),  x)    which   
   Maxima 5.45.1  apparently cannot do.   
   Also in Maxima,  risch(...) returns unchanged, which suggests that this is not   
   integrable in terms of elementary functions,   
   but I don't really trust that.   
      
   In Mathematica 13, the integral also returns unchanged.   
      
   I do not have a recent version of Maple or any version of Fricas.   
      
   It seems to me that one can generate increasingly more challenging examples in   
   a systematic fashion that would illustrate points of failure more effectively   
   than trying out random algebraic tree generation.   
   For instance, irreducible polynomials of increasing degrees;  one, two, ...   
   more   logarithmic extensions, exponential extensions, both, ..   
   RJF   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)