7.6 Trying rubi in sympy

First install 1.2 sympy then install this

>sudo conda install -c conda-forge matchpy 
Solving environment: done 
 
## Package Plan ## 
 
  environment location: /opt/anaconda 
 
  added / updated specs: 
    - matchpy 
 
 
The following packages will be downloaded: 
 
    package                    |            build 
    ---------------------------|----------------- 
    ca-certificates-2018.8.24  |       ha4d7672_0         136 KB  conda-forge 
    certifi-2018.8.24          |           py36_1         139 KB  conda-forge 
    openssl-1.0.2o             |       h470a237_1         3.5 MB  conda-forge 
    conda-4.5.11               |           py36_0         625 KB  conda-forge 
    hopcroftkarp-1.2.4         |             py_0          20 KB  conda-forge 
    multiset-2.1.1             |             py_0          11 KB  conda-forge 
    matchpy-0.4.4              |             py_0          49 KB  conda-forge 
    ------------------------------------------------------------ 
                                           Total:         4.5 MB 
 
The following NEW packages will be INSTALLED: 
 
    hopcroftkarp:    1.2.4-py_0        conda-forge 
    matchpy:         0.4.4-py_0        conda-forge 
    multiset:        2.1.1-py_0        conda-forge 
 
The following packages will be UPDATED: 
 
    ca-certificates: 2018.03.07-0                  --> 2018.8.24-ha4d7672_0 conda-forge 
    certifi:         2018.8.13-py36_0              --> 2018.8.24-py36_1     conda-forge 
    conda:           4.5.10-py36_0                 --> 4.5.11-py36_0        conda-forge 
 
The following packages will be DOWNGRADED: 
 
    openssl:         1.0.2p-h14c3975_0             --> 1.0.2o-h470a237_1    conda-forge 
 
Proceed ([y]/n)? y 
 
 
Downloading and Extracting Packages 
ca-certificates-2018 | 136 KB    | ####################################################### | 100% 
certifi-2018.8.24    | 139 KB    | ####################################################### | 100% 
openssl-1.0.2o       | 3.5 MB    | ####################################################### | 100% 
conda-4.5.11         | 625 KB    | ####################################################### | 100% 
hopcroftkarp-1.2.4   | 20 KB     | ####################################################### | 100% 
multiset-2.1.1       | 11 KB     | ####################################################### | 100% 
matchpy-0.4.4        | 49 KB     | ####################################################### | 100% 
Preparing transaction: done 
Verifying transaction: done 
Executing transaction: done
 

Now try it for few commands

 
>python 
Python 3.6.5 |Anaconda, Inc.| (default, Apr 29 2018, 16:14:56) 
[GCC 7.2.0] on linux 
Type "help", "copyright", "credits" or "license" for more information. 
>>> from sympy import * 
>>> from sympy.integrals.rubi.rubimain import rubi_integrate 
>>> x = symbols('x') 
>>> rubi_integrate(exp(1-exp(x**2)*x+2*x**2)*(2*x**3+x)/(1-exp(x**2)*x)**2, x) 
Integral((2*x**3 + x)*exp(2*x**2 - x*exp(x**2) + 1)/(-x*exp(x**2) + 1)**2, x) 
 
>>> x,a,b = symbols('x a b') 
>>> rubi_integrate(1/(a**2-b**2*x), x) 
-log(a**2 - b**2*x)/b**2 
 
>>> rubi_integrate(1/(a**2-b**2*x**2), x) 
x*hyper((1, 1/2), (3/2,), b**2*x**2/a**2)/a**2 
 
%the above seems to be wrong 
 
>>> rubi_integrate(sec(2*a*x), x) 
Integral(sec(2*a*x), x) 
 
>>> rubi_integrate(1/(1+cos(x)), x) 
Integral(1/(cos(x) + 1), x) 
 
%why it can't do the above? 
 
>>> integrate(1/(1+cos(x)), x) 
tan(x/2) 
 
%it looks like not all rules are there