o
    *Î®c—w  ã                
   @   s‚  d Z ddlZddlmZ edƒZesdZejdd… dk rdZddlmZ dd	l	m
Z
mZmZmZmZmZmZmZmZ dd
lmZ ddlmZ ddlmZ ddlmZ ddlmZ ddlmZ  ddl!m"Z"m#Z#m$Z$m%Z% ddl&m'Z'm(Z) ddl*m+Z+ ddl,m-Z- ddl.m/Z/ ddl0m1Z1 ddl2m3Z3 e-dƒ\
Z4Z5Z6Z7Z8Z9Z:Z;Z<Z=dd„ Z>dd„ Z?dd„ Z@dd„ ZAd d!„ ZBd"d#„ ZCd$d%„ ZDd&d'„ ZEdS )(zõ
Tests for Rubi Algebraic 1.2 rules. Parsed from Maple syntax
All tests: http://www.apmaths.uwo.ca/~arich/IntegrationProblems/MapleSyntaxFiles/MapleSyntaxFiles.html
Note: Some tests are commented since they depend rules other than Algebraic1.2.
é    N)Úimport_moduleÚmatchpyTé   )é   é   )Úrubi_integrate)	ÚlogÚsqrtÚexpÚcosÚsinÚtanÚsecÚcscÚcot)Úatanh)Úasinh)Úacosh)Úatan)Úasin)Úacos)Ú	EllipticEÚ	EllipticFÚ	hypergeomÚ	rubi_test)ÚIÚpi)ÚS)Úsymbols)Ú	exp_polar)Úhyper)Úsimplifyza b c d e f m n x uc                  C   s¾  t dƒ t dƒ tt dƒt dƒ t dƒ t gttt dƒtt gttt dƒtt gtt tt dƒtt dƒt  t dƒt  gtt dƒ tt dƒt dƒt dƒ tt dƒ  gtt dƒt dƒ  tt dƒt dƒt dƒ tt dƒt dƒ   gtt dƒt dƒ  tt dƒt dƒt dƒ tt dƒt dƒ   gt dƒtt dƒt dƒ   tt dƒt dƒt dƒ tt dƒt dƒ   gtt dƒ ttt   tt dƒt dƒt d	ƒ t tt d	ƒ  t dƒt dƒ t tt dƒ   gttt  t dƒ tt dƒ  tt dƒtt dƒ  t tt dƒ t  t dƒt t ttƒ  gg
} | D ]C}t|d
 |d ƒ}t|ƒdkrKt	||d |d dddsIt	||d |d	 dddsIJ ‚qt	||d |d ddds[J ‚qd S )Nr   r   é   éd   ée   é   é   é   é   r   T©ÚexpandÚ_diff)
r   ÚxÚPiÚaÚmÚbr   r   Úlenr   ©ÚtestÚiÚr© r6   úU/tmp/pip-target-vg8gfxp4/lib/python/sympy/integrals/rubi/rubi_tests/tests/test_1_2.pyÚtest_1%   s$   .*.>>F^`ö<€$ûr8   c                  C   s   t tt  t ttdƒtt t ttƒ  gttdƒ t tt   ttdƒt tdƒ t ttdƒ  tdƒtdƒ t tdƒ  ttdƒ  ttdƒ   tdƒtdƒ t tdƒ  ttdƒ  ttdƒ   tdƒtdƒ t  ttdƒ  ttdƒ   tdƒtdƒ ttdƒ  t  t tdƒ tt tt  ƒ ttdƒ   gtdƒt tt  tdƒ  ttdƒtdƒ tt tt    gtdƒtt tt  tdƒ   ttdƒtdƒtdƒ t t tt  tdƒ   tdƒt tdƒ t tt     ttƒt tdƒ   tt tt  ƒt tdƒ   gtdƒtdƒtdƒt   ttdƒtdƒtdƒ ttdƒt ƒ gtdƒttdƒtt    ttdƒttƒttdƒtt  ƒ gttdƒ tt tt  ƒ ttdƒtdƒ tdƒ t tdƒ  t tt  tdƒtdƒ   ttdƒ  tdƒtdƒ t tdƒ  t tt  tdƒtdƒ   ttdƒ   tdƒtdƒ t  t tt  tdƒtdƒ   ttdƒ   tdƒtdƒ t tt  tdƒtdƒ   ttdƒ   gt tt  tdƒtdƒ  ttdƒtdƒtdƒ t tt  tdƒtdƒ   t gttdƒ tt tt  ƒ ttdƒtd	ƒ tdƒ t tdƒ  t tt  tdƒtdƒ   ttdƒ  td
ƒtdƒ t tdƒ  t tt  tdƒtdƒ   ttdƒ   td	ƒtdƒ t  t tt  tdƒtdƒ   ttdƒ   tdƒtdƒ t tt  tdƒtdƒ   ttdƒ   tdƒt tdƒ  tt tt  ƒ ttdƒ   gtdƒtt tt  ƒ ttdƒtdƒtt tt  ƒ t gtdƒtt tt  tdƒtdƒ    ttdƒtdƒ ttt tt  ƒtt ƒ ƒ t tdƒtdƒ   tdƒt tt tt  ƒ   gtdƒttdƒ t  tt  tdƒtdƒ    ttdƒtdƒ t ttt  tt  ƒtt ƒ ƒ t tdƒtdƒ   tdƒ t t tt  tt  ƒ   tdƒtt  tt  ƒ t tdƒ t   gttdƒ t tt  tdƒtdƒ   ttdƒtdƒ tdƒ t tdƒ  t tt  tdƒtdƒ   ttdƒ  tdƒtdƒ t tdƒ  t tt  tdƒtdƒ   ttdƒ   tdƒtdƒ t  t tt  tdƒtdƒ   ttdƒ   tdƒtdƒ t tt  tdƒtdƒ   ttdƒ   gttdƒ t tt  tdƒtdƒ   ttdƒtdƒtdƒ t tdƒ  t tt  tdƒtdƒ   ttdƒ  tdƒtdƒ t  t tt  td	ƒtdƒ   ttdƒ   tdƒtdƒ t tt  tdƒtdƒ   ttdƒ   gttdƒ t tt  tdƒtdƒ   ttdƒtdƒtdƒ t tdƒ  t tt  tdƒtdƒ   ttdƒ  tdƒtdƒ t  t tt  tdƒtdƒ   ttdƒ   tdƒtd	ƒ t tt  td	ƒtdƒ   ttdƒ   gttdƒ t  tt  tdƒtdƒ   ttdƒtdƒtdƒ t tdƒ  t  tt  tdƒtdƒ   ttdƒ  tdƒtdƒ t tdƒ  t  tt  tdƒtdƒ   ttdƒ   tdƒtd	ƒ t  t  tt  td	ƒtdƒ   ttdƒ   tdƒtdƒ t  tt  tdƒtdƒ   ttdƒ   gg} | D ]C}t|d |d ƒ}t	|ƒdkr¼t
||d |d dddsºt
||d |d dddsºJ ‚qŠt
||d |d dddsÌJ ‚qŠd S )Nr   r%   r(   r"   r   r   r&   é	   r'   é   é
   é   é   r   Tr)   )r.   r0   r,   r   r   r	   ÚarctanhÚarctanr   r1   r   r2   r6   r6   r7   Útest_2:   s:   *þ <žB>þ" RþR :„Æþ. ææþ6 ð<€$ûr@   c                  C   s°  t t ttt    t tdƒtt tdƒt   tdƒt  tt tdƒt   tdƒt   gt tdƒtdƒ  ttt    t tdƒtdƒtdƒ t t tdƒtdƒ   tdƒtdƒ t t tdƒtdƒ    gt tdƒtdƒ  ttt    t tdƒtdƒ tdƒ t t tdƒtdƒ   ttdƒ  tdƒtdƒ t tdƒtdƒ   t  tdƒttdƒtdƒ   tttƒtt ƒ ttƒ ƒ ttdƒtdƒ    tdƒttdƒ  tt ƒ ttdƒ   gt tdƒtdƒ  ttt    t tdƒtdƒtdƒ t tdƒtdƒ   t tdƒttdƒtdƒ   tttƒtt ƒ ttƒ ƒ ttdƒtdƒ    tdƒt tt ƒ ttdƒ   gt tdƒtdƒ  t tt    t tdƒtdƒtdƒ t t tdƒtdƒ   ttdƒ  tdƒtdƒ t tdƒtdƒ   t  tdƒttdƒtdƒ   tttƒtt ƒ ttƒ ƒ ttdƒtdƒ    tdƒttdƒ  tt ƒ ttdƒ   gt tdƒtdƒ  tttt   ƒ t tdƒtdƒ td	ƒ ttdƒ  tttƒtt ƒ tttt   ƒ ƒ ttdƒtdƒ   tdƒtd
ƒ ttdƒ  t tdƒtdƒ   tttt   ƒ ttdƒ   tdƒtdƒ t t tdƒtdƒ   tttt   ƒ t  tdƒtdƒ t tdƒtdƒ   tttt   ƒ  tdƒtd	ƒ ttdƒ  tt ƒ tttt   ƒ ttdƒ   gt tdƒtdƒ  tttt   ƒ t tdƒtdƒtdƒ ttdƒ  tttƒtt ƒ tttt   ƒ ƒ ttdƒtdƒ   tdƒtdƒ t t tdƒtdƒ   tttt   ƒ t  tdƒtdƒ t tdƒtdƒ   tttt   ƒ  tdƒtdƒ ttdƒ  tt ƒ tttt   ƒ ttdƒ   gt tdƒtdƒ  tttt   ƒ t tdƒtdƒ tdƒ ttdƒ  tttƒtt ƒ tttt   ƒ ƒ ttdƒtdƒ   tdƒtdƒ t t tdƒtdƒ   tttt   ƒ ttdƒ   tdƒtdƒ t tdƒtdƒ   tttt   ƒ t  tdƒtdƒ ttdƒ  tt ƒ tttt   ƒ ttdƒ   gtt ƒtttt   ƒ t tdƒt tttƒtt ƒ tttt   ƒ ƒ ttdƒtdƒ   tt ƒtttt   ƒ t  gt tdƒtdƒ  ttt    t tdƒtdƒtdƒ t t tdƒtdƒ   tdƒtdƒ t t tdƒtdƒ    gt tdƒtdƒ  ttt    t tdƒtdƒtdƒ t t tdƒtdƒ   tdƒtdƒ t t tdƒtdƒ    gt tdƒtdƒ  ttt    t tdƒtdƒ tdƒ t t tdƒtdƒ   ttdƒ  tdƒtdƒ t tdƒtdƒ   t  tdƒtdƒ ttdƒtdƒ   tttdƒtdƒ  ttdƒtdƒ  t tdƒtdƒ    ƒ ttdƒtdƒ    tdƒtdƒ ttdƒtdƒ   tttt   ƒ ttdƒtdƒ    ttdƒtdƒ  tttdƒtdƒ  tdƒttdƒtdƒ   t tdƒtdƒ    ttdƒtdƒ  ttdƒƒ  ƒ ttdƒƒ ttdƒtdƒ    gt tdƒtdƒ  ttt    t tdƒtdƒ t t tdƒtdƒ   ttdƒ  tdƒtdƒ t tdƒtdƒ   t  tdƒtdƒ ttdƒtdƒ   tttdƒtdƒ  ttdƒtdƒ  t tdƒtdƒ    ƒ ttdƒtdƒ    tdƒtdƒ ttdƒtdƒ   tttt   ƒ ttdƒtdƒ    ttdƒtdƒ  tttdƒtdƒ  tdƒttdƒtdƒ   t tdƒtdƒ    ttdƒtdƒ  ttdƒƒ  ƒ ttdƒƒ ttdƒtdƒ    gtdƒt  tdƒtdƒ  tdƒt   t tdƒtdƒtdƒt  tdƒtdƒ   tdƒtdƒtdƒtdƒ   ttdƒt  tdƒtdƒ  tdƒtdƒtdƒ   ƒ  tdƒtdƒtdƒtdƒ   ttdƒt  tdƒtdƒ  tdƒtdƒtdƒ   ƒ  gt t ttt   tdƒ  t tdƒttdƒ t tdƒt   tdƒt  tdƒt t t tdƒt   tdƒt   ttdƒ t tdƒt   tdƒt   gg} | D ]C}t	|d |d ƒ}t
|ƒdkrDt||d |d dddsBt||d |d dddsBJ ‚qt||d |d dddsTJ ‚qd S )Nr   r"   r%   r&   r9   r   r(   r   é@   é`   é   r'   r:   r   Tr)   )r,   r/   r.   r0   r   r?   r	   r>   r   r   r1   r   r2   r6   r6   r7   Útest_3V   s:   Zvøºøþ~ þ0 þ> xvvþâ þÚ þ žñ<€$ûrD   c                  C   sò  t t ttt   tdƒ  t tdƒt tdƒt  ttdƒtdƒt gtdƒt gt t  t ƒ ttdƒ tdƒt   gt t ttdƒtdƒt   ƒ t tdƒt tdƒt  ttdƒtdƒ tdƒt gtdƒt gtdƒ tdƒ t  ƒ tdƒt ttdƒƒ  gt t ttt   t  t tdƒt tdƒt  ttt   t  ttdƒt t gtdƒt gt t  t ƒ tdƒt tdƒtt  t  t   gt tdƒ t  ttt   t  t tdƒt t tdƒtt  t  t  tttgtdƒt gt t  t ƒ tttt   t   gtt	ttt     tdƒtdƒ  t tdƒtdƒtdƒ tt	ttt     tdƒtdƒ   tt	  gtt	ttt     tdƒtdƒ  t tdƒtdƒtdƒ tt	ttt     tdƒtdƒ   tt	  gttt   tdƒ tt	 t t	t   tdƒ  t tdƒttdƒ t  t	tdƒ  gttt   tt tt t   tdƒ  t tdƒtdƒ tdƒ t ttdƒ  ttt   tdƒ  t tdƒtdƒ ttdƒ  ttt   tdƒ  t  gtt tt t   tdƒ ttt    t tdƒtdƒ ttdƒ  ttdƒ  t  tttdƒ  ttt   tdƒ  t  tdƒtdƒ ttdƒ  ttt   tdƒ  t  tdƒttdƒ  ttdƒ  t
ttt   ƒ t  gtdƒttt   tdƒ tt tt t     t tdƒtdƒ tdƒ tt t ttt     tdƒtdƒ ttt  t ƒ ttdƒ t t   gtdƒt  tdƒtdƒ  tdƒt  tdƒtdƒ   t tdƒtdƒtdƒ tdƒt  tdƒtdƒ   tdƒt  tdƒtdƒ   tdƒtd	ƒ tdƒt  tdƒtdƒ   tdƒt  tdƒtdƒ    tdƒtd
ƒ tdƒt  tdƒtdƒ   tdƒt  tdƒtdƒ    gtdƒt  tdƒtdƒ  tdƒt  tdƒtdƒ   t tdƒtdƒtdƒ tt ƒ tdƒtdƒ tdƒt  tdƒtdƒ   ttdƒt  ƒ  tdƒtdƒ tdƒt  tdƒtdƒ   ttdƒt  ƒ  tdƒtdƒ ttdƒt  ƒ ttdƒt  ƒ  gg} | D ]C}t|d |d ƒ}t|ƒdkråt||d |d dddsãt||d |d dddsãJ ‚q³t||d |d dddsõJ ‚q³d S )Nr   r"   r   r%   r&   r(   r'   r9   é#   éi   r   r   Tr)   )r,   r/   r.   r0   r   r   r	   ÚnÚcÚdr   r>   Úarcsinr   r1   r   r2   r6   r6   r7   Útest_4p   s*   zŽ€ffRœä”þ þô<€$ûrK   c                  C   s   t dƒtt  t dƒt dƒ  tt dƒtt  ƒ tt dƒt dƒt dƒ ttt ƒ t t dƒt dƒ t dƒtt  t dƒt dƒ   tt dƒtt  ƒ t  t dƒt dƒ tt dƒtt  ƒ tt dƒtt  ƒ t  gt dƒt t dƒt dƒ  t dƒt t dƒt dƒ   tt dƒttƒtt dƒt ƒtt dƒt ƒ  gt dƒt dƒt t dƒt dƒ  t dƒt t dƒt dƒ    tt dƒtt dƒt ƒ tt dƒt ƒ gttt  t dƒt dƒ  ttt  t dƒt dƒ   tt dƒt dƒt dƒ t t t ttt  t dƒt dƒ   ttt  t dƒt dƒ   t dƒt dƒ t ttt  t dƒt dƒ   ttt  t dƒt dƒ    t dƒt dƒ tt dƒt dƒ   tt dƒt dƒ   tttƒtttt  ƒ ttƒtttt  ƒ  ƒ  t dƒt d	ƒ tt dƒ  tt dƒ  t tttt  ƒ tttt  ƒ  gt dƒttt  t dƒt dƒ  ttt  t dƒt dƒ    tt dƒt dƒt dƒ t tt ttt  t dƒt dƒ   ttt  t dƒt dƒ    t dƒt dƒ t tt dƒ tt dƒ  tttt  ƒ tttt  ƒ   gt dƒt t dƒt dƒ  t dƒ t t dƒt dƒ   tt dƒt dƒ t dƒ tt dƒt dƒt  ƒ t dƒt dƒ t dƒt t dƒt dƒ   tt dƒ t ƒ  t dƒt dƒ tt dƒt ƒ tt dƒ t ƒ  gt dƒtttt  ƒtt t tt t  ƒ  tt dƒt dƒt	ttƒtttt  ƒ tt t tt t  ƒ ƒ tttƒ  gt dƒtt
t t  t d
ƒt dƒ  tt
t t  t dƒt dƒ    tt dƒt dƒ t dƒ t
 tt
t t  t dƒt dƒ   tt dƒ tt
t t  t dƒt dƒ    gttt  t dƒ tt tt t  t  tt dƒt dƒ tt dƒ  tt tt t  t dƒt   tt t dƒt   t dƒt tt tt t  t dƒt   ttt dƒ  t dƒt    tt tt t  t dƒt  ttt dƒ  t dƒt    gttt  t dƒ ttt   tt dƒt dƒt dƒ tt tt   ttt  t dƒ  tt dƒ  t dƒt dƒ t ttt  t dƒ  tt dƒ   gttt  ttt   tt dƒtt t t dƒt dƒ tt tt   tt dƒ   t dƒt dƒ t t tt dƒ   gttt  t dƒ ttt   tt dƒttt tt  t dƒ  t tt dƒ  t dƒt dƒ tt tt  t dƒ  ttt  t dƒ  tt dƒ   t dƒt dƒ tt tt  t dƒ  ttt  t dƒ  tt dƒ   t dƒt dƒ tt tt   ttt  t dƒ  tt dƒ   t dƒt dƒ ttt  t dƒ  t  tt tt  t dƒ tttt  ƒ tt dƒ   gttt  ttt  t dƒ  tt dƒt dƒt dƒ ttt  t dƒ  tt tt  ttt  t dƒ   gttt  t dƒ ttt  t dƒt dƒ   tt dƒt dƒ t dƒ tt tt  t dƒ  ttt  t dƒt dƒ   tt dƒ  t dƒt tt tt  t dƒ  ttt  t dƒt dƒ   tt dƒ   t dƒt d
ƒ tt dƒ  tt tt  t dƒ  ttt  t d
ƒt dƒ   tt dƒ   t dƒt dƒ tt dƒ  tt tt  t dƒ  ttt  t dƒt dƒ   tt dƒ   t dƒt dƒ tt dƒ  tt tt   ttt  t dƒt dƒ   tt dƒ   t dƒt dƒ tt dƒ  ttt  t dƒt dƒ   tt dƒ   gttt  t dƒt dƒ  ttt  t dƒ  tt dƒt t	ttƒtttt  ƒ ttt tt  ƒ ƒ tt dƒt dƒ  ttt tt  ƒ  tttt  ƒtttt     gg} | D ]C}t|d |d ƒ}t|ƒdkr¼t||d |d dddsºt||d |d dddsºJ ‚qŠt||d |d dddsÌJ ‚qŠd S )Nr"   r   r   r(   r%   rC   r   r'   é   r&   é   r9   r;   r=   r<   r   Tr)   )r   r.   r,   r	   rJ   rH   r?   r0   rI   r>   r   rG   r   r   r1   r   r2   r6   r6   r7   Útest_5‡   s8   Þfhþ˜ æÚ‚°þ šzþ€ nþþ ( ´ñ<€$ûrN   c               !   C   s  t dƒtt  t dƒt dƒ  tt dƒtt  ƒ tt dƒt dƒt dƒ ttt ƒ t t dƒt dƒ t dƒtt  t dƒt dƒ   tt dƒtt  ƒ t  t dƒt dƒ tt dƒtt  ƒ tt dƒtt  ƒ t  gt dƒt t dƒt dƒ  t dƒt t dƒt dƒ   tt dƒttƒtt dƒt ƒtt dƒt ƒ  gt dƒt dƒt t dƒt dƒ  t dƒt t dƒt dƒ    tt dƒtt dƒt ƒ tt dƒt ƒ gttt  t dƒt dƒ  ttt  t dƒt dƒ   tt dƒt dƒt dƒ t t t ttt  t dƒt dƒ   ttt  t dƒt dƒ   t dƒt dƒ t ttt  t dƒt dƒ   ttt  t dƒt dƒ    t dƒt dƒ tt dƒt dƒ   tt dƒt dƒ   tttƒtttt  ƒ ttƒtttt  ƒ  ƒ  t dƒt d	ƒ tt dƒ  tt dƒ  t tttt  ƒ tttt  ƒ  gt dƒttt  t dƒt dƒ  ttt  t dƒt dƒ    tt dƒt dƒt dƒ t tt ttt  t dƒt dƒ   ttt  t dƒt dƒ    t dƒt dƒ t tt dƒ tt dƒ  tttt  ƒ tttt  ƒ   gt dƒt t dƒt dƒ  t dƒ t t dƒt dƒ   tt dƒt dƒ t dƒ tt dƒt dƒt  ƒ t dƒt dƒ t dƒt t dƒt dƒ   tt dƒ t ƒ  t dƒt dƒ tt dƒt ƒ tt dƒ t ƒ  gt dƒtttt  ƒtt t tt t  ƒ  tt dƒt dƒt	ttƒtttt  ƒ tt t tt t  ƒ ƒ tttƒ  gt dƒtt
t t  t d
ƒt dƒ  tt
t t  t dƒt dƒ    tt dƒt dƒ t dƒ t
 tt
t t  t dƒt dƒ   tt dƒ tt
t t  t dƒt dƒ    gttt  t dƒ tt tt t  t  tt dƒt dƒ tt dƒ  tt tt t  t dƒt   tt t dƒt   t dƒt tt tt t  t dƒt   ttt dƒ  t dƒt    tt tt t  t dƒt  ttt dƒ  t dƒt    gttt  t dƒ ttt   tt dƒt dƒt dƒ tt tt   ttt  t dƒ  tt dƒ  t dƒt dƒ t ttt  t dƒ  tt dƒ   gttt  ttt   tt dƒtt t t dƒt dƒ tt tt   tt dƒ   t dƒt dƒ t t tt dƒ   gttt  t dƒ ttt   tt dƒttt tt  t dƒ  t tt dƒ  t dƒt dƒ tt tt  t dƒ  ttt  t dƒ  tt dƒ   t dƒt dƒ tt tt  t dƒ  ttt  t dƒ  tt dƒ   t dƒt dƒ tt tt   ttt  t dƒ  tt dƒ   t dƒt dƒ ttt  t dƒ  t  tt tt  t dƒ tttt  ƒ tt dƒ   gttt  ttt  t dƒ  tt dƒt dƒt dƒ ttt  t dƒ  tt tt  ttt  t dƒ   gttt  t dƒ ttt  t dƒt dƒ   tt dƒt dƒ t dƒ tt tt  t dƒ  ttt  t dƒt dƒ   tt dƒ  t dƒt tt tt  t dƒ  ttt  t dƒt dƒ   tt dƒ   t dƒt d
ƒ tt dƒ  tt tt  t dƒ  ttt  t d
ƒt dƒ   tt dƒ   t dƒt dƒ tt dƒ  tt tt  t dƒ  ttt  t dƒt dƒ   tt dƒ   t dƒt dƒ tt dƒ  tt tt   ttt  t dƒt dƒ   tt dƒ   t dƒt dƒ tt dƒ  ttt  t dƒt dƒ   tt dƒ   gttt  t dƒt dƒ  ttt  t dƒ  tt dƒt t	ttƒtttt  ƒ ttt tt  ƒ ƒ tt dƒt dƒ  ttt tt  ƒ  tttt  ƒtttt     gttt  t dƒ ttt  t dƒt dƒ   tt dƒt dƒ t dƒ t tt tt  t dƒ  ttt  t dƒt dƒ   tt dƒ  t dƒt dƒ tt dƒ  tt tt  t dƒ  ttt  t dƒt dƒ   tt dƒ   t dƒt d
ƒ tt dƒ  tt tt   ttt  t d
ƒt dƒ   tt dƒ   t dƒt dƒ tt dƒ  ttt  t dƒt dƒ   tt dƒ   t dƒtt tt  t dƒ  tttt  ƒ tt dƒ   gttt  t dƒ ttt  t dƒt dƒ   tt dƒt dƒ t dƒ t tt tt   ttt  t dƒt dƒ   tt dƒ  t dƒt dƒ tt dƒ  ttt  t dƒt dƒ   tt dƒ   t dƒtt tt  t dƒ  tttt  ƒ tt dƒ   gt dƒt t dƒt dƒ  t dƒt  tt dƒt dƒt dƒt t dƒt dƒ   t dƒtt dƒt dƒt dƒ  t dƒt t dƒt dƒ   ƒ t dƒt dƒt dƒ    tt dƒt ƒt dƒt dƒt dƒ    t dƒt dƒt dƒ  tt dƒt dƒt dƒt dƒ  t dƒt t dƒt dƒ    tt dƒƒ ƒ tt dƒƒ  gttt  t dƒt dƒ  ttt  t dƒt dƒ   tt dƒtt tt  t	ttƒtttt  ƒ ttƒtttt  ƒ  ƒ tt dƒt dƒ  ttƒ  tttt  ƒtttt  ƒ t  gttt  t dƒt dƒ  ttt  t dƒt dƒ   tt dƒt dƒt dƒ ttt  t dƒt dƒ   ttt  t dƒt dƒ   t t dƒt dƒ tt tt  t dƒ  t	ttƒtttt  ƒ ttƒtttt  ƒ  ƒ tt dƒt dƒ  tt dƒt dƒ     t dƒt dƒ tt tt   ttt  t dƒt dƒ   tttt  ƒ tt dƒ   t dƒt dƒ tt tt  t dƒ  tttt  ƒ tttt  ƒ tt dƒ t   gttt  t dƒt dƒ  ttt  t dƒt dƒ   tt dƒtt tt   t	ttƒtttt  ƒ ttƒtttt  ƒ  ƒ tt dƒt dƒ  ttƒ  tttt  ƒtttt  ƒ t  gt dƒttt  t dƒt dƒ  ttt  t dƒt dƒ    tt dƒt dƒt dƒ tttt  ƒ tt tt  ttt  t dƒt dƒ    t dƒt dƒ t tttt  ƒ tt tt  t dƒ tttt  ƒ   gttt  t ttt  t dƒt dƒt  t dƒt dƒt     tt dƒttt  t dƒt  tt dƒt dƒt gt dƒt gt ttt   tt tt   ƒ tt tt  t dƒt   gttt  ttt dƒ   ttt dƒ   tt dƒtt t dƒt dƒ t tt dƒ   t dƒt dƒ t tt dƒ   t dƒt dƒ t tt dƒ   gtttt dƒ   ttt dƒ   tt  tt dƒt dƒ t dƒ t tt dƒ  tt  tt  tttƒ  gg} | D ]C}t|d |d ƒ}t|ƒdkr´t||d |d ddds²t||d |d ddds²J ‚q‚t||d |d dddsÄJ ‚q‚d S )Nr"   r   r   r(   r%   rC   r   r'   rL   r&   rM   r9   r;   r=   r<   r:   r   Tr)   )r   r.   r,   r	   rJ   rH   r?   r0   rI   r>   r   rG   r   r/   r   r   r1   r   r2   r6   r6   r7   Útest_6¢   sT   Þfhþ˜ æÚ‚°þ šzþ€ nþþ ( ´þ¾ þ þD ÂþÀ ÄÞÂšpç<€$ûrO   c                  C   s  t tt  tdƒtdƒ  ttt  tdƒtdƒ   ttdƒtdƒtdƒ tt t t   t tt  tdƒtdƒ   ttt  tdƒtdƒ   tt  tdƒtdƒ t tt  tdƒtdƒ   ttt  tdƒtdƒ   t  tdƒtdƒ tt t t  tdƒ  tttt  ƒ ttdƒtdƒ  ttdƒtdƒ     tdƒtdƒ tt t t  tdƒ  ttdƒ ttdƒtdƒ  t tt  tdƒtdƒ   ttdƒtdƒ  ttt  tdƒtdƒ     ƒ ttdƒtdƒ  ttdƒtdƒ     tdƒtdƒ tt t t  tdƒ  ttdƒttdƒƒ tdƒttdƒtdƒ   t tt  tdƒtdƒ   ttdƒtdƒ  ttt  tdƒtdƒ   ttdƒƒ   ƒ ttdƒtdƒ  ttdƒtdƒ   ttdƒƒ   gt tt  tdƒtdƒ  ttt  tdƒtdƒ   ttdƒtdƒ tdƒ tt t t   t tt  tdƒtdƒ   ttt  tdƒtdƒ   ttdƒ  tdƒtdƒ t tt  tdƒtdƒ   ttt  tdƒtdƒ   t  tdƒtdƒ tt t t  tdƒ  tt tt  ƒ ttdƒtdƒ  ttd	ƒtdƒ     tdƒtdƒ tt t t  tdƒ  ttdƒ ttdƒtdƒ  ttt  tdƒtdƒ   ttdƒtdƒ  t tt  tdƒtdƒ     ƒ ttdƒtdƒ  ttd	ƒtdƒ     tdƒtdƒ tt t t  tdƒ  ttdƒttdƒƒ tdƒttdƒtdƒ   ttt  tdƒtdƒ   ttdƒtdƒ  t tt  tdƒtdƒ   ttdƒƒ   ƒ ttdƒtdƒ  ttd	ƒtdƒ   ttdƒƒ   gttt  tdƒtdƒ  t tt  td
ƒtdƒ   ttdƒtdƒ tdƒ ttt  tdƒtdƒ   tt t t  t tt  tdƒtdƒ    tdƒtdƒ t ttt  tdƒtdƒ   tt t t  tdƒ t tt  tdƒtdƒ     tdƒtdƒ ttdƒ  ttt  tdƒtdƒ   tt t t  tdƒ t tt  tdƒtdƒ     tdƒtdƒ ttdƒ  ttt  tdƒtdƒ   tt t t  tdƒ t tt  tdƒtdƒ     gt tt  tdƒtdƒ  ttt  tdƒtdƒ   ttdƒtdƒ tdƒ tt t t   t tt  tdƒtdƒ   ttt  tdƒtdƒ   ttdƒ  tdƒtdƒ t tt  tdƒtdƒ   ttt  tdƒtdƒ   t  tdƒtdƒ tt t t  tdƒ  tttdƒtdƒ  t tt  tdƒtdƒ   ttdƒtdƒ  ttt  tdƒtdƒ    ƒ ttdƒtdƒ  ttdƒtdƒ     tdƒtdƒ tt t t  tdƒ  t	ttdƒtdƒ  t tt  tdƒtdƒ   ttdƒtdƒ  ttt  tdƒtdƒ    ƒ ttdƒtdƒ  ttdƒtdƒ     gtdƒt tt  tdƒtdƒ  ttt  tdƒtdƒ    ttdƒtdƒtttdƒtdƒ  t tt  tdƒtdƒ   ttdƒtdƒ  ttt  tdƒtdƒ    ƒ ttdƒtdƒ  ttdƒtdƒ    tdƒt	ttdƒtdƒ  t tt  tdƒtdƒ   ttdƒtdƒ  ttt  tdƒtdƒ    ƒ ttdƒtdƒ  ttdƒtdƒ     gg} | D ]C}t
|d |d ƒ}t|ƒdkröt||d |d dddsôt||d |d dddsôJ ‚qÄt||d |d dddsJ ‚qÄd S )Nr   r   r"   r   r%   é   r(   r9   r&   é   é   rL   éw   é   é€   i  r<   i   ic6  r'   r   Tr)   )r.   r0   r,   r   rH   rI   r   r?   r	   r>   r   r1   r   r2   r6   r6   r7   Útest_7Ç   s*   þþ ô þþ ú þÖ þþ \ þp ø<€$ûrV   c                  C   sæ  t tt  tdƒtdƒ  ttt  tdƒtdƒ   ttdƒtdƒtdƒ t tt  tdƒtdƒ   ttt  tdƒtdƒ   t tdƒtdƒ tt t t   ttt  tdƒtdƒ   tt tt  ƒ tt   tdƒtdƒ tt t t  td	ƒtdƒ   tttdƒtdƒ  ttt  tdƒtdƒ   tt t t  tdƒtdƒ   tƒ ttdƒtttt   tt t t    ƒ ttdƒtdƒ  ttdƒ  tt tt t  tttt   t  ƒ   gtdƒt tt  t t t tt  tdƒ   ttdƒtdƒ tdƒ ttdƒ  ttdƒ t tt  tdƒ   gg} | D ]F}t	|d
 |d ƒ}t
|ƒdkr^t||d |d dddds\t||d |d dddds\J ‚q*t||d |d ddddsoJ ‚q*d S )Nr"   r   r(   r%   r&   r   rR   r'   r9   r   T)r*   r+   Ú
_numerical)r.   r0   r,   r   rH   rI   r	   r   r   r   r1   r   r2   r6   r6   r7   Útest_numericalÞ   s   þÚ tþ@€&ûrX   )FÚ__doc__ÚsysÚsympy.externalr   r   ÚdisabledÚversion_infoÚsympy.integrals.rubi.rubimainr   Úsympy.functionsr   r	   r
   r   r   r   r   r   r   Ú%sympy.functions.elementary.hyperbolicr   r>   r   Úarcsinhr   ÚarccoshÚ(sympy.functions.elementary.trigonometricr   r?   r   rJ   r   ÚarccosÚ%sympy.integrals.rubi.utility_functionr   r   r   r   Úsympy.core.numbersr   r   r-   Úsympy.core.singletonr   Úsympy.core.symbolr   Ú&sympy.functions.elementary.exponentialr   Úsympy.functions.special.hyperr    Úsympy.simplify.simplifyr!   r.   r0   rH   rI   ÚeÚfr/   rG   r,   Úur8   r@   rD   rK   rN   rO   rV   rX   r6   r6   r6   r7   Ú<module>   s@    ,%