On Sunday, August 26, 2018 at 2:01:55 AM UTC-5, clicl...@freenet.de wrote:   
   >   
   > These are Examples 1-7 and 9 from Timofeev Chapter 1, albeit with many   
   > of the trigonometric functions transformed.   
   >   
   > In the case of Example 1, the rule applied is not that intended by   
   > Albert, I suppose, and for the trigonometric Examples 3-7 and 9,   
   > applicable rules seem to be missing altogether.   
   >   
   > Perhaps some lines of code have to be added to load all of Rubi's   
   > rules into the SymPy module? Your version appears to be algebraic-only.   
   >   
   > Would it be practical to modify Rubi such that all of its rules are   
   > mutually exclusive? One might try to automate this process, in which   
   > case it could be made part of MatchPy even.   
   >   
   > Martin.   
      
   I think that is what must be happening. It is not loading all the rules   
   when doing   
      
   from sympy.integrals.rubi.rubi import rubi_integrate   
      
   It also only took 4 minutes, which I thought was good for python.   
      
   But I have no idea what command to use to load all the rules in this case.   
      
   May be it is matchpy issue, or one need to explicitly load all the rules.   
      
   Here the command I used, so any one else could try:   
      
   1)Installed latest anaconda python   
      
   2)update to sympy 1.2 using the command   
   sudo conda install sympy=1.2   
      
   3)install matchpy   
      
   sudo conda install -c conda-forge matchpy   
      
   Now start python and type   
      
   from sympy import *   
   from sympy.integrals.rubi.rubi import rubi_integrate   
      
   Now the command rubi_integrate can be used.   
      
   I'll try to ask at sympy forum to see what other commands are needed to load   
   all known Rubi rules since the above commands seems to load only one class of   
   rules and not everything.   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)