From: Albert_Rich@msn.com   
      
   On Sunday, March 20, 2016 at 8:05:04 AM UTC-10, clicl...@freenet.de wrote:   
   > Albert Rich schrieb:   
   > >   
   > > [...]   
   > >   
   > > Rubi 4.9 consists of 6329 integration rules and the decision tree   
   > > required to select the appropriate rule for a given integrand.  But   
   > > the zip file is still on a 1/4 megabyte.   
   > >   
   > > [...]   
   > >   
   >   
   > ... and here cometh the updated Rubi 4.x climate index for Hawaii:   
   >   
   >   4.0  5150  | *   
   >   4.1  5273  |  *   
   >   4.2  5548  |    *   
   >   4.3  5647  |     *   
   >   4.4  5587  |     *   
   >   4.5  5465  |    *   
   >   4.6  5594  |     *   
   >   4.7  5914  |        *   
   >   4.8  6157  |               *   
   >   4.9  6329  |                                *   
   >   
   > Doomsday must be close,   
   >   
   > Martin.   
      
   To keep things in perspective, let's not forget that the above curve sits on   
   top of 5150 rules.   
      
   I invite you to write a symbolic integrator that produces optimal   
   antiderivatives for the class of integrands Rubi can handle using fewer rules.   
      
   Albert   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)