Albert Rich schrieb:   
   >   
   > Ok, I reverted Example 114 in Chapter 5 of the Timofeev test suite   
   > back to   
   >   
   > (1 + (1-8*tan(x)^2)^(1/3))/(cos(x)^2*(1-8*tan(x)^2)^(2/3))*tan(x)   
   >   
   > as you suggested, and posted the revised test files on the Rubi   
   > website.  However let's not get bogged down on issues as important as   
   > 'How many angels can dance on the head of a pin?'   
   >   
      
   Absolutely, and I wasn't counting on you wanting to change this back. I   
   simply felt the need to point out my oversight (or overreaction to one   
   antiderivative not differentiating back to the corresponding integrand).   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)