From: nma@12000.org   
      
   > Derive 6.10 fails as well. Can you show Rubi's steps?   
   >   
      
   Sure. Rubi used 4 rules:   
      
   res = Stats[Int[(1 + Log[x])*Sqrt[1 + 1/(x^2 Log[x]^2)], x],   
      RubiPrintInformation -> False]   
      
   res[[1]]["Rules"]   
   {6708, 242, 277, 215}   
      
   Here is screen shot of the rules applied   
      
   https://www.12000.org/tmp/031320/steps.png   
      
   It looks like Rubi used also the substitution x->x*log(x) by looking at   
   the second line in the above screen shot.   
      
   > Martin.   
   >   
   > PS: The "Integrate[(1 + Log[x])*Sqrt[1 + 1/(x^2 Log[x]^2)]" in your   
   > first post was lacking ", x]" at the end.   
   >   
      
   Opps, yes, that was copy/paste error when making the email. Sorry   
      
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)