From: didier.oslo@hotmail.com   
      
   On the page http://www.chebfun.org/examples/quad/SymbolicNumeric.html   
   there is a comparison between symbolic and numeric integrations.   
      
   MMA is capable of computing the antiderivative of the first example and   
   the page, but the result is quite complicated.   
      
   I then tried Rubi 4.5 and was surprised that it was unable to do it. Why? Is   
   it because a rule for that has not been implemented, or there for some more   
   obscure reason?   
      
   As a big fan of Rubi, I'm asking just for curiosity, not because I desperately   
   need such an integral.   
      
   Did   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)