a
    {þdÏ  ã                
   @   sp  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mZ d dlmZ d dlmZ d dlmZmZmZ d dlmZmZ d d	l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%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/m0Z0 d dl1m2Z2m3Z3 d dl4m5Z5m6Z6 d dl7m8Z8m9Z9m:Z:m;Z;m<Z<m=Z=m>Z>m?Z?m@Z@mAZA d dlBmCZC d dlDmEZEmFZFmGZGmHZHmIZImJZJmKZKmLZL d dlMmNZN d dlOmPZPmQZQ d dlRmSZS d dlTmUZUmVZVmWZWmXZXmYZY d dlZm[Z[m\Z\ edƒ\
Z]Z^Z_Z`ZaZbZcZdZeZfedƒZgeedœdd„Zhdd„ Zidd„ Zjd d!„ Zkd"d#„ Zld$d%„ Zme\d&d'„ ƒZne\d(d)„ ƒZod*d+„ Zpd,d-„ Zqd.d/„ Zrd0d1„ Zsd2d3„ Ztd4d5„ Zud6d7„ Zve\d8d9„ ƒZwd:d;„ Zxd<d=„ Zyd>d?„ Zzd@dA„ Z{e\dBdC„ ƒZ|dDdE„ Z}dFdG„ Z~e\dHdI„ ƒZe\dJdK„ ƒZ€dLdM„ ZdNdO„ Z‚dPdQ„ Zƒe\dRdS„ ƒZ„dTdU„ Z…e\dVdW„ ƒZ†dXdY„ Z‡dZd[„ Zˆe\d\d]„ ƒZ‰d^d_„ ZŠd`da„ Z‹dbdc„ ZŒddde„ Zdfdg„ ZŽdhdi„ Zdjdk„ Zdldm„ Z‘dnS )oé    )ÚExpr)ÚMul)Ú
DerivativeÚFunctionÚdiffÚexpand)ÚIÚRationalÚpi)ÚNe)ÚS)ÚDummyÚSymbolÚsymbols)ÚexpÚlog)ÚasinhÚcschÚcoshÚcothÚsechÚsinhÚtanh)Úsqrt)Ú	Piecewise)ÚacosÚacotÚacscÚasecÚasinÚatanÚcosÚcotÚcscÚsecÚsinÚtan)Ú	HeavisideÚ
DiracDelta)Ú
elliptic_eÚ
elliptic_f)
ÚChiÚCiÚEiÚShiÚSiÚerfÚerfiÚfresnelcÚfresnelsÚli)Ú
uppergamma)Úassoc_laguerreÚ
chebyshevtÚ
chebyshevuÚ
gegenbauerÚhermiteÚjacobiÚlaguerreÚlegendre)Úpolylog)ÚIntegralÚ	integrate)ÚAnd)ÚmanualintegrateÚfind_substitutionsÚ_parts_ruleÚintegral_stepsÚmanual_subs)ÚraisesÚslowzx y z u n a b c d eÚf©rI   ÚFc                 C   s*   t | tƒ|ksJ ‚| t¡ | ¡s&J ‚d S ©N)rB   Úxr   ÚequalsrJ   © rO   új/var/www/html/stable-diffusion-webui/venv/lib/python3.9/site-packages/sympy/integrals/tests/test_manual.pyÚassert_is_integral_of   s    rQ   c                   C   s  t ttƒd d d ttƒd  ttƒd  ttƒttƒdtd  dtd   td  fgksbJ ‚t ttƒd ttƒttƒ  ttƒttƒ  ttƒttƒttƒ ddt fgks¶J ‚td  tddƒttƒft tttd  ƒ ttƒv sîJ ‚t t	t
tƒtƒd ttƒrJ ‚d S )Né   é   é   é   éÿÿÿÿ)rC   r"   rM   r#   Úur$   r&   r	   r   r   rI   rO   rO   rO   rP   Útest_find_substitutions"   s    2(ÿ,ÿÿ8rX   c                   C   s2  t ttƒtt ksJ ‚t tdƒtƒttdƒ ks4J ‚t td tƒtd d ksRJ ‚t dtd  dtd   tƒtd td  ks„J ‚t td d tƒtd d d ksªJ ‚t dt d d tƒdt d d d ksØJ ‚t td d tƒtd d d ksþJ ‚t dt d d tƒdt d d d ks.J ‚d S )NrR   é   rU   é	   )rB   ÚyrM   r   rW   rO   rO   rO   rP   Ú test_manualintegrate_polynomials+   s    2&.&r\   c                	   C   s8  t tdt ƒtƒtdt ƒd ks&J ‚t dt tƒdt tdƒ ksHJ ‚tdtdtdt ƒ ƒ ttdtdt ƒ ƒd ƒd ttdtdt ƒ ƒd ƒd  ƒ t dt tƒttƒks¼J ‚t ddt d  tƒtdt d ƒd ksêJ ‚t ttƒd t tƒttƒd d ksJ ‚ttt ttƒd  tt ƒ d S )NrR   rS   rY   )rB   r   rM   r   rQ   r   rO   rO   rO   rP   Ú!test_manualintegrate_exponentials8   s    &">ÿ.,r]   c                  C   sÖ  t ttƒttƒ tƒttƒttƒ d ttƒttƒ d  ksBJ ‚t dt ttƒ tƒdt ttƒ dttƒ  ksxJ ‚t tttƒ tƒtd ttƒ d td d  ks®J ‚t ttƒtƒtttƒ t ksÐJ ‚t dtd  d ttƒ tƒdtd  ttƒ dt ttƒ  dttƒ  ks$J ‚t ttƒtƒtttƒ ttd d ƒd  ksXJ ‚tttƒtƒd kspJ ‚tttƒtƒd ksˆJ ‚ttd tƒd ks J ‚tttƒtƒ} | d ttƒkrÎ| d dksÒJ ‚d S )	NrR   rU   rY   é   rT   é   rS   r   )rB   r   rM   r%   r!   r   r    rD   )ÚresultrO   rO   rP   Útest_manualintegrate_partsE   s    &ÿ66".ÿ
4ra   c                  C   sh  t ttƒtƒttƒ ksJ ‚t ttƒtƒtttƒƒ ks<J ‚t ttƒtƒtttƒttƒ ƒksbJ ‚t ttƒtƒtttƒttƒ ƒ ksŠJ ‚t ttƒttƒ tƒttƒd d ttƒd  d fv sÆJ ‚t ttƒ ttƒ tƒttƒ ksìJ ‚t ttƒttƒ tƒttƒ ksJ ‚t ttƒd tƒttƒks2J ‚t ttƒd tƒttƒ ksTJ ‚t tttd ƒ tƒtttd ƒttd ƒ ƒd ksJ ‚t ttƒtttƒƒ tƒttttƒƒtttƒƒ ƒ ksÎJ ‚t tdt ƒttƒ tƒt tdt ƒ ks J ‚t tdt ƒttƒ tƒdtttƒƒ dtttƒd ƒ  dttƒd   ksTJ ‚t	t
dt ƒtdt ƒd ƒ t	tttd ƒ t
td ƒd ƒ t	ttƒtttƒƒƒ t	ttƒtt
tƒƒƒ ttƒdtttd ƒƒ  } }t | tƒ|ksòJ ‚| t¡|   t¡ ¡ dksJ ‚ttƒtttd ƒƒ } }t | tƒ|ksBJ ‚| t¡|   t¡ ¡ dksdJ ‚d S )NrR   rY   éýÿÿÿr   )rB   r%   rM   r!   r&   r   r$   r#   r"   rQ   r   r   r   r   r   r    r   Zrewriter   Zsimplifyr   rJ   rO   rO   rP   Ú!test_manualintegrate_trigonometryX   s2     &(<&& "<>22ÿ
""rc   c                   C   sî  t ttƒd ttƒ tƒttƒd d ks.J ‚t ttƒd ttƒd  tƒtd tdt ƒd  kshJ ‚t ttƒttƒd  tƒttƒd  d ks˜J ‚t ttƒd ttƒd  tƒttƒd d ttƒd d  ksÚJ ‚t ttƒd ttƒ tƒttƒd d ttƒ ksJ ‚t ttƒttƒd  tƒttƒd d ksBJ ‚t ttƒd ttƒ tƒttƒd  d dttƒd  d  ttƒ ksJ ‚t ttƒd ttƒd  tƒttƒd  d dttƒd  d  ttƒd d  ksêJ ‚d S )	NrR   rY   é   rU   é    r^   rT   é   )rB   r%   rM   r!   r&   r$   r"   r#   rO   rO   rO   rP   Útest_manualintegrate_trigpowersw   s     .ÿ0ÿ80,ÿ
4ÿrg   c                  C   s  t ttƒdtdt ƒ  tƒtttƒƒks.J ‚t dddtd    tƒtdt d ƒd ks`J ‚t dddtd    tƒttƒd ksŠJ ‚t ddtd   tƒttd ƒd ks´J ‚t dddtd    tƒtdt ƒd ksâJ ‚tdd	d
} tdd	d
}t d| |td    tƒtttt| | ƒ ƒ|t| | ƒ  | | dkfttt|  | ƒ ƒttt|  | ƒ ƒ dt|ƒ t|  ƒ  d	fƒks’J ‚t dd|td    tƒtttdtd| ƒ  ƒd| td| ƒ  d| dkft ttdtd| ƒ  ƒttdtd| ƒ  ƒ  dt|ƒ  d	fƒks2J ‚t d| dtd    tƒttdt t| ƒ ƒdt| ƒ  | dkfttt|  ƒd  ƒttt|  ƒd  ƒ dt|  ƒ  d	fƒksºJ ‚t dddtd    tƒttƒd ksæJ ‚t dt	t
td    tƒtttt	t
 ƒ ƒt
tt	t
 ƒ  ks*J ‚t dtdtd  ƒ tƒttƒksRJ ‚t dtddtd   ƒ tƒttƒd ks‚J ‚t dtddtd   ƒ tƒtdt ƒks²J ‚t dtddtd   ƒ tƒtttddƒ ƒd ksìJ ‚t dttd d ƒ tƒttƒksJ ‚t dttd d ƒ tƒttd ƒks@J ‚t dtdtd  d ƒ tƒttƒd kspJ ‚t dtdtd  d ƒ tƒtdt ƒd ks¤J ‚t dt| td  d ƒ tƒtttt|  ƒ ƒt|  ƒ | dk ftt| ƒt ƒt| ƒ | dkftd	fƒksJ ‚t dt| td  ƒ tƒttttd|  ƒ ƒ| dkftdt dt| td  ƒ  ƒd	fƒksvJ ‚t dttd d ƒ tƒtdt dttd d ƒ  ƒks¶J ‚t dttd d ƒ tƒtdt dttd d ƒ  ƒksöJ ‚t dtdtd  d ƒ tƒtdt dtdtd  d ƒ  ƒd ksBJ ‚t dtdtd  d ƒ tƒtdt dtdtd  d ƒ  ƒd ksŽJ ‚t dt| td  d ƒ tƒttdt| ƒ t| td  d ƒ d|  t  ƒt| ƒ t| dƒft t d d	fƒksJ ‚t dt|  dtd   ƒ tƒttdt td|  ƒ ƒd | dk ftdt dt|  dtd   ƒ  ƒd d	fƒks‚J ‚t ttƒtƒtttƒ tdtd  ƒ ks²J ‚t tt	t ƒtƒtt	t tt	t ƒ tt	d  td  d ƒ t	 tt	dƒfdƒksJ ‚t ttt	t ƒ tƒt	 tt tt	d  td  d ƒ dt	d   tdt	d  t dtt	d  ƒ tt	d  td  d ƒ  ƒdt	d  tt	d  ƒ   tt	d dƒftd d d	fƒ d td tt	t ƒ d  ksðJ ‚t ttƒtƒtttƒ tdtd  ƒ k	s J ‚t tt	t ƒtƒtt	t tt	t ƒ tt	d  td  d ƒ t	 tt	dƒftt d d	fƒk	s†J ‚t ttt	t ƒ tƒt	tt tt	d  td  d ƒ dt	d   tdt	d  t dtt	d  ƒ tt	d  td  d ƒ  ƒdt	d  tt	d  ƒ   tt	d dƒftd d d	fƒ d td tt	t ƒ d  k
shJ ‚t ttƒtƒtttƒ ttd d ƒd  k
sœJ ‚t tt	t ƒtƒtt	t tt	t ƒ tt	d td  d ƒd  t	 tt	dƒfdƒk
søJ ‚t ttt	t ƒ tƒt	 tt	d  tttt	d ƒ ƒt	d tt	d ƒ    d td tt	t ƒ d  ksjJ ‚t ttƒtƒtttƒ tdttddtd   ƒ  tƒ ks¬J ‚t tt	t ƒtƒttt	t ƒ tdttddt	d td    ƒ  tƒt	  ksJ ‚t ttt	t ƒ tƒtd tt	t ƒ d tdtddt	d td    ƒ tƒdt	   ksdJ ‚t ttƒtƒtttƒ tdttddtd   ƒ  tƒ ks¦J ‚t tt	t ƒtƒttt	t ƒ tdttddt	d td    ƒ  tƒt	  ksüJ ‚t ttt	t ƒ tƒtd tt	t ƒ d tdtddt	d td    ƒ tƒdt	   ks^J ‚t ttƒtƒtttƒ ttd d ƒd  ks’J ‚t tt	t ƒtƒtt	t tt	t ƒ tt	d td  d ƒd  t	 tt	dƒftt d d	fƒksúJ ‚t ttt	t ƒ tƒt	tt	d  tttt	d ƒ ƒt	d tt	d ƒ    d td tt	t ƒ d  ksjJ ‚t dt| |td   ƒ tƒtttt||  ƒ ƒt|ƒ t| dk | dkƒfttt| |  ƒ ƒt| ƒ t| dk| dkƒftd| t dt| ƒ t| |td   ƒ  ƒt| ƒ t|dƒftt| ƒ d	fƒksFJ ‚t dt| |td   ƒ tƒtttt| |  ƒ ƒt| ƒ t| dk|dk ƒfttt||  ƒ ƒt|ƒ t| dk|dkƒftdt|ƒ t| |td   ƒ d| t  ƒt|ƒ t|dƒftt| ƒ d	fƒksJ ‚d S )NrS   rR   rU   rZ   rY   rT   é   ÚaT©ÚrealÚbr   rV   rd   é   )r   Téþÿÿÿ)rB   r   rM   r    r   r   r   r   r   ri   rl   r   r	   r   r   r   r
   r   r?   r   r   rA   )ÚraÚrbrO   rO   rP   Ú test_manualintegrate_inversetrig‰   sà    .2**.0Dÿÿ
8Dÿÿ
(<ÿÿ
,D(00:ÿ

ÿ

ÿ
ÿ
Jÿ
@ÿ
@@LLTÿ
Rÿ
0Z0Xÿÿþþþÿ
0f.Xÿÿþþþÿ
4\rBVbBVb4hp02Dýÿ
2,@ýÿrq   c                	   C   s–  t tdtd  d ƒt tƒttdtd  d ƒdtddt  ƒ  tttddƒk ttddƒkƒfƒkslJ ‚t dtd tdtd  ƒ  tƒtttd  d d ƒ d	t  td  d d dtj  d
td    ttdk tdkƒfƒksðJ ‚t td dtd  d dtj   tƒdtd  d dtj  d dtd  d dtj  d  dtdtd  d ƒ d  ddtdtd  d ƒ   ks’J ‚d S )Nrh   rR   rZ   rY   rU   rb   rS   é   é}   é   r^   éûÿÿÿrf   é1   iÅÑ·iÁöW )	rB   r   rM   r   r   rA   r	   r   ÚHalfrO   rO   rO   rP   Ú&test_manualintegrate_trig_substitutionë   s*    (ÿÿ  &ÿÿÿ&ÿþþÿrx   c                  C   sˆ   t ttƒtt ƒ t tƒtt ƒ ttƒ ks4J ‚tdƒ} t | tƒ| t ƒ t tƒt| t ƒt tƒ t| tƒt tƒ ks„J ‚d S )NrI   )rB   r   rM   r-   r   r?   ©rI   rO   rO   rP   Ú)test_manualintegrate_trivial_substitution÷   s
    4&ÿrz   c                   C   sz   t ddtd   tƒttd ƒ d ttd ƒd  ks<J ‚t ddtd   tƒttd ƒd ttd ƒd  ksvJ ‚d S )NrS   rU   rR   rV   )rB   rM   r   rO   rO   rO   rP   Útest_manualintegrate_rationalþ   s    <r{   c                  C   s,  dt td  d ƒ dtdƒ ttƒ ttdƒt d ƒ  } }t| |ƒ dt dtd  ƒ dttƒ tdt ƒ d  } }t| |ƒ ttddƒ t t d ƒ dttddƒtd ƒ  } }t| |ƒ t dt ƒt t	dt ƒ } }t| |ƒ t ddt  td  ƒttƒt dƒ ttd ƒ d  } }t| |ƒ t
td dt  d ƒ} tdƒttƒ t
dƒ ttdƒdt d  dttƒ  ƒ tdƒttdƒdt d  dttƒ  ƒ   d }t| |ƒ tdtd  ƒtdƒttƒ tdtdƒ t t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dƒ tdt ƒ dt
dƒ tdt ƒ   } }t| |ƒ ttd ƒt ttd ƒ } }t| |ƒ ttd ƒt ttd ƒd  } }t| |ƒ dtdt d ƒ tdt d ƒd  } }t| |ƒ tddt ƒt tddt ƒ } }t| |ƒ dtddt
tƒd   ƒ dtdƒ tttddƒƒ d  } }t| |ƒ tddt
tƒd   ƒdtttd	dƒƒ  } }t| |ƒ d S )
NrU   rR   rY   rS   rd   iðÿÿÿr^   rZ   i÷ÿÿÿ)r   rM   r   r
   r0   rQ   r1   r	   r5   r-   r%   r2   r!   r3   r,   r/   r   r+   r   r.   r   r4   r>   r*   r)   rJ   rO   rO   rP   Útest_manualintegrate_special  sJ    @
2
6

:
:*ÿÿ
B
>
@
J

"
*
"
>
.r|   c                   C   s´   t tttd dt  d ƒ tƒttd dt  d  ks>J ‚t ttd dt  d tƒtƒtttd dt  d tƒƒks€J ‚t tttƒttttƒtƒtttƒtttƒks°J ‚d S )NrR   rY   )rB   r
   r   rM   r[   r?   r%   rO   rO   rO   rP   Útest_manualintegrate_derivative(  s     ÿÿÿr}   c                  C   sö  t tdt d ƒtdt d ƒd ƒ t tdt dƒtdt ƒd ƒ ttttt  dƒtƒttttt  ƒt ttdƒftttdƒ dfƒks”J ‚t ttd d dƒdttd d dƒ ƒ tttƒtƒtttƒ ksÜJ ‚tttdƒ tƒtd d ksþJ ‚tttdƒ tƒdksJ ‚ttttƒ tƒtd ttƒ d ksFJ ‚tttt ƒ tƒtd tt ƒ d ksvJ ‚ttdt d ƒtƒtd tdt d ƒ ksªJ ‚ttttƒ tƒtd ttƒ d ksÖJ ‚tttd ƒtdt ƒ td  tƒtd d t	ddƒ ttd ƒ t	ddƒ tt d ƒ ks<J ‚t
dƒ} ttd	t ƒtdt d	 ƒ tƒttd	 ƒ tt	d
dƒƒ tdt td	ƒ ƒ ksœJ ‚tt| t ƒtdt |  ƒ tƒt| t	ddƒ ƒtt|  ƒ tdt |  ƒ ksòJ ‚d S )NrY   rR   r   rS   Trn   rU   r[   rf   é   )rQ   r(   rM   r'   rB   ri   rl   r   r   r	   r   r%   r!   r   )r[   rO   rO   rP   Útest_manualintegrate_Heaviside1  s.    & 0ÿ*",04,$8ÿ
 .ÿ
 ,ÿr   c                  C   sx  t dƒ} dtddƒ }}t| ||tƒt| |tƒt| tƒt| tƒt| tƒt| tƒt	| tƒt
| |tƒg}|D ]}t|tƒ}dD ]N}z| | |¡}W n ty¦   Y q|Y n0 | | |¡ t¡|  ¡ dks|J ‚q|t| tdt d ¡ }t|tƒ}d	D ].}| | |¡ t¡| | |¡  ¡ dksòJ ‚qòt d
ƒ}	tt|jƒd ƒD ]4}
t|jƒ}|	||
< tt|j|Ž |	ƒtƒs<J ‚q<qhd S )NÚnrf   r^   rY   )rn   rV   r   rS   rY   r^   rd   r   rR   rS   )rR   rU   rf   Út)r   r	   r;   rM   r9   r7   r8   r=   r:   r<   r6   rB   ÚsubsÚ
ValueErrorr   r   ÚrangeÚlenÚargsÚlistÚ
isinstanceÚfuncr?   )r€   ri   rl   ZpolysÚpZintegralÚdegZp_subbedÚqr   ÚiÚnew_argsrO   rO   rP   Ú$test_manualintegrate_orthogonal_polyI  s.     
þ


$
,
r   c                  C   sê   t td ¡ ƒ\} }}tdddd}t|||  ƒt|| ƒ }|t tf}t||ƒ|| d td| | ƒd  t|| ƒ t|| ƒt|| ƒd  d  | ks¨J ‚| t||ƒ ¡  t | t|| ƒ ksÒJ ‚t||ƒ 	t
¡ræJ ‚d S )Nzr x phir€   T)ÚintegerÚpositiverR   rU   )Úmapr   Úsplitr!   r
   rB   r%   r@   ZtrigsimpÚhasr   )ÚrrM   Úphir€   Ú	integrandZlimitsrO   rO   rP   Útest_issue_6799g  s    Nÿ*r˜   c                   C   sB   t tt tƒtttd  td  ttdƒfttƒdfƒks>J ‚d S )NrS   rV   T)rB   rM   r[   r   r   r   rO   rO   rO   rP   Útest_issue_12251t  s    &ÿr™   c                   C   sr   t ttttd  ƒƒtƒtttd  ƒks.J ‚ttttd ƒ tddt ttƒ tttd  ƒ d ksnJ ‚d S )NrR   rU   F)Zrisch)	rB   r   r   rM   r@   r   r   r
   r0   rO   rO   rO   rP   Útest_issue_3796y  s    .rš   c                   C   sŠ   t ttƒttƒ tddttƒttƒ d ttƒttƒ d  ksFJ ‚t ttƒttƒ tddttƒd d ttƒd  d fv s†J ‚d S )NT©ZmanualrR   )r@   r   rM   r%   r!   rO   rO   rO   rP   Útest_manual_true~  s    &ÿ ÿrœ   c               
   C   s  t dƒ} t dƒ}t| t tƒt| t t| ƒ tt| ƒdƒftdfƒksJJ ‚t| |t  tƒtt| |t  t| ƒ tt| ƒdƒf|t dfƒ| t|dƒftdfƒks¨J ‚tt|t ƒtƒtt|t ƒ| t|dƒftdfƒksâJ ‚t ddd} t| d t tƒ| d t t| d ƒ ksJ ‚t ddd} t| d t tƒtksFJ ‚t dƒ} t ddd}t| |t  tƒt| |t  t| ƒ tt| ƒdƒf|t dfƒ| ks¦J ‚t ddd} t| d |t  tƒ| d |t  |t| d ƒ  ksîJ ‚t d	dd
}t dƒ}td||td    tƒttt|| ƒ ƒ|t|| ƒ  ksFJ ‚t ddd
}td||td    tƒttt| ƒtd| ƒ  ƒ|t| ƒ td| ƒ  ksªJ ‚tdt| | |  d t|td  d ƒ  tƒ| |  t	t|  | |  t|td  d ƒ t|  t|td  d ƒ  dt|   | |   t|td  d ƒ   tƒ ksdJ ‚tdtd d tdtd  d ƒ  tƒt	dtd d tdtd  d ƒ  tƒks¾J ‚tdt|t  t|d    tƒt	d|t  |d t  t  tƒks
J ‚d S )Nr[   r€   r   T)r‘   rS   )Zzero)Znonzerori   )Únegativerl   rR   rV   rU   )
r   rB   rM   r   r   r   r   r    r   r?   )r[   r€   ri   rl   rO   rO   rP   Útest_issue_6746…  sp    "ÿ
 
þýýû
ÿ
0*ÿÿÿ
D6ÿ
0.ÿ*ÿÿÿ
((ÿ
 "ÿrž   c                   C   s€  t ttƒttƒ tƒt ttƒ ttd  d ƒ tttƒ ttd  d ƒ ttƒ  tttd  d ƒt tƒ ks|J ‚t ttƒttƒ tƒt ttƒ ttd  d ƒ tttƒ ttd  d ƒ ttƒ  tttd  d ƒt tƒ ksøJ ‚t ttƒttƒ tƒt ttƒ tttƒ ttd d ƒd  ttƒ  ttd d ƒd  tttd d ƒt tƒd  ks|J ‚d S )NrR   rS   )rB   r   rM   r   r   r?   r   r    rO   rO   rO   rP   Útest_issue_2850­  s&    2$ÿÿ
2$ÿÿ
*ÿÿÿÿrŸ   c                	   C   s  t tdt ƒttƒ tƒttƒtdt ƒ d dttƒ tdt ƒ d  ksRJ ‚ttdt ƒttƒ tƒ ¡ rtJ ‚t td td dt  d d  tƒtttd dtd   dtd   dt  d  tƒdtdtd dtd   dtd   dt  d  tƒ  ksJ ‚d S )NrR   r^   rY   rU   rd   rS   )rB   r%   rM   r   r!   rE   Zcontains_dont_knowr?   rO   rO   rO   rP   Útest_issue_9462·  s    R"$48ÿÿr    c                  C   s   t tƒttd ƒ } dttd ƒ ttƒ d dttd ƒ t tƒ d  }t| tƒ|krh| t¡| kslJ ‚tt tƒ ttd ƒ } tdttd ƒ ttƒ d dttd ƒ t tƒ d   dttd ƒ ttƒ d  dttd ƒ t tƒ d  }t| tƒ|kr| t¡| ksJ ‚d S )NrU   rh   é   é€   é!  éð   )r!   rM   r   r%   rB   r   rJ   rO   rO   rP   Útest_cyclic_parts¿  s    8 :ÿÿr¥   c                   C   s¾   t dtd  dtd   dtd   dt  d td dtd   dtd   dtd   dtd   dt  d	  tƒdt td d	  dttƒ  d	td d	   dtd	   ksºJ ‚d S )
NrU   rY   rh   rR   é   rd   rT   r^   rS   )rB   rM   r    rO   rO   rO   rP   Útest_issue_10847_slowÉ  s    0Bÿÿ:þr§   c                  C   s  t td td t  tƒttttt ƒ ƒ tt ƒ t ksBJ ‚tddd} t td td |   tƒ| tttt|  ƒ ƒt|  ƒ | dk ftt| ƒ t ƒtt| ƒt ƒ dt| ƒ  dfƒ t ksÌJ ‚t ttt ƒtt	t ƒ tƒdtt
ddƒ  tttt ƒttƒ ƒ d dt ttt ƒ d  dtt t
ddƒ  tt	t ƒ d  dtt t
ddƒ  d  ksvJ ‚td	dd}td
dd}t tt| ƒt|t ƒ tƒd|d  tttt| ƒt|ƒ ƒt|ƒ |dkftt| ƒ tt| ƒ ƒtt| ƒtt| ƒ ƒ dt| ƒ  dfƒ d d| tt| ƒ d  dt| t
ddƒ  t|t ƒ d  dt| t
ddƒ  d  ksŒJ ‚t ttƒttƒ tƒdtt
ddƒ  ttƒ d dtt
ddƒ  d  ksÜJ ‚t ttt t ƒt tƒtdt tttt t ƒtt ƒ ƒ tt ƒ dttt t ƒ  ttdƒfttƒttƒ dfƒks`J ‚tddd}tddd}t t|t | ƒt tƒtd| ttt|t | ƒt| ƒ ƒ t| ƒ |dk ft tt|ƒ t|t | ƒ ƒtt|ƒt|t | ƒ ƒ  dt| ƒ  dfƒ dt|t | ƒ  t|dƒft|ƒttƒ dfƒksZJ ‚tt t|t | ƒt|   tƒƒtd| |  ttt|t | ƒt||  | ƒ ƒt||  | ƒ ||  | dkftt| |  | ƒ t|t | ƒ ƒdt| |  | ƒ  tt| |  | ƒt|t | ƒ ƒdt| |  | ƒ   dfƒ d| ttt|t | ƒt||  | ƒ ƒt||  | ƒ ||  | dkftt| |  | ƒ t|t | ƒ ƒdt| |  | ƒ  tt| |  | ƒt|t | ƒ ƒdt| |  | ƒ   dfƒ  dt|t | ƒ  t|dƒft|ƒt| t ƒ dfƒksVJ ‚t tdt d ƒtd  tƒdtdt d ƒ ttdt d ƒd ƒ ttdt d ƒd ƒ ks¾J ‚t tdt d ƒd t tƒdt d t
ddƒ d dt d t
ddƒ d  ksJ ‚t tt
ddƒ ttƒ tƒdtt
ddƒ  ttƒ d dtt
ddƒ  d  kslJ ‚t td ttƒ tƒttƒ dtd   ddtd    ks®J ‚t ttƒtd ddt    tƒttƒtddt  ƒ ttddt  ƒt tƒ ksJ ‚d S )NrR   ÚcTrj   r   rU   rY   rZ   r[   Úzri   rl   rn   rS   r^   é   rr   rb   rV   )rB   rM   r¨   r    r   r   r   r   r[   r©   r	   ri   rl   r   r   r   r?   )ÚrcZryZrzro   rp   rO   rO   rP   Útest_issue_10847Ð  s     B&0ÿÿÿD$ÿÿÿ
2Fÿÿþ$þýÿ
Pbÿ
0Pþýýûÿ
 P<:ÿÿÿJ<:ÿÿÿýúúúÿ
	hXVB 0ÿr¬   c                   C   sd   t tttƒ t¡tƒtttttƒtƒtƒks0J ‚t tttƒ t¡ t¡tƒttttƒtƒks`J ‚d S rL   )rB   rI   rM   r[   r   r?   r   rO   rO   rO   rP   Útest_issue_12899  s    0r­   c                   C   s2   t tttddfƒtƒttttddfƒ ks.J ‚d S )NrS   rR   )rB   r?   r[   rM   rO   rO   rO   rP   Ú#test_constant_independent_of_symbol  s    ÿr®   c                   C   s´   t tdt ƒtƒtdt ƒ d ks(J ‚t ttƒtdt ƒ tƒdttƒd  d ksZJ ‚t tdt ƒttƒ dttƒ  tƒdtttƒd ƒ ttƒd  dttƒ  ks°J ‚d S )NrR   rn   rY   rS   )rB   r%   rM   r!   r   rO   rO   rO   rP   Útest_issue_12641  s
    (2$*ÿr¯   c                   C   s4   t ttƒttƒd  tƒttƒd  d ks0J ‚d S )Nr^   rT   )rB   r%   rM   r!   rO   rO   rO   rP   Útest_issue_13297  s    r°   c                   C   sB   t dtttd ƒ  tttd ƒd ƒtttd ƒd ƒ ƒ d S )NrS   )rQ   rM   r   r   rO   rO   rO   rP   Útest_issue_14470  s    r±   c                  C   sÒ  t ttƒtttƒƒ tƒtttƒƒks*J ‚t tdt ƒtttƒƒ tƒttƒtttƒƒ tttƒƒ kslJ ‚t tdt ƒtttƒƒ tƒ} |  t¡r˜J ‚|  t¡tdt ƒtttƒƒ ks¾J ‚t tdd„ t	ddƒD ƒƒtƒttdt ƒ d ttdt ƒ d  ttd	t ƒ d	  ttd
t ƒ d
  ttdt ƒ d  ttdt ƒ d  tttƒ  tdt ƒd  tdt ƒd  td	t ƒd  td
t ƒd  tdt ƒd  tdt ƒd
  ttƒ ksÎJ ‚d S )NrR   é
   c                 S   s   g | ]}t t|t  ƒ ‘qS rO   )rM   r   )Ú.0ÚkrO   rO   rP   Ú
<listcomp>&  ó    z#test_issue_9858.<locals>.<listcomp>rS   rd   rf   rT   r^   rU   rY   rv   é$   rr   rh   rZ   )
rB   r   rM   r!   r%   r”   r?   r   Úsumr„   )ÚresrO   rO   rP   Útest_issue_9858  s<    *ÿ&Nÿÿ
ÿÿÿþþþþþÿrº   c                  C   s”   t ttd d  tƒttd ƒd ks*J ‚t td td d  tƒttd d ƒd ks\J ‚td	td  d d  } t | tƒ t¡ ¡ | ksJ ‚d S )
NrU   rS   rR   rT   rr   rY   r^   rt   rZ   )rB   rM   r    r   Zfactorry   rO   rO   rP   Útest_issue_8520,  s    *2r»   c                      sŽ   t dƒ\‰‰tˆƒtˆƒ ‰ tˆ tˆƒˆƒˆttˆƒƒ ks@J ‚tˆ tˆƒˆƒtˆƒˆ ks`J ‚tt‡ ‡fdd„ƒ tt‡ ‡‡fdd„ƒ d S )Nzx yc                      s
   t ˆ ˆƒS rL   )rF   rO   )ÚexprrM   rO   rP   Ú<lambda>;  r¶   z"test_manual_subs.<locals>.<lambda>c                      s   t ˆ tˆƒˆˆƒS rL   )rF   r   rO   ©r¼   rM   r[   rO   rP   r½   <  r¶   )r   r   r   rF   rG   rƒ   rO   rO   r¾   rP   Útest_manual_subs3  s    $ r¿   c                  C   sÀ   t tƒtt tƒƒ ttddƒ  } dttddƒ  tt tƒƒ d dttddƒ  tt tƒƒ d  dttddƒ  tt tƒƒ d dttddƒ  tt tƒƒ d  t tƒ  }t| |ƒ d S )	NrY   rU   i€ÿÿÿrS   r£   r¤   rh   r¡   )r   rM   r!   r	   r%   rQ   rJ   rO   rO   rP   Útest_issue_15471?  s    "rÀ   c               	   C   sÞ   dt  d dt d  dt   d  } t| t ƒdtdt d  dt   d ƒ d dtdƒ tdtdƒ t tddƒ  d ƒ d	  ksˆJ ‚ddt d  dt   d  }t|t ƒdtd
t  d ƒ dtd
t  d
 ƒ  ksÚJ ‚d S )Nr^   rR   rY   rd   rT   r_   é   rS   éE   rU   )rM   rB   r   r   r    r	   )rI   ÚgrO   rO   rP   Útest_quadratic_denomF  s    $drÄ   c                   C   s"   t ttƒtƒtttƒ ksJ ‚d S rL   )rB   r%   rM   r[   rO   rO   rO   rP   Útest_issue_22757L  s    rÅ   c                  C   s0   t ttƒtƒ} | jj}|j|j|j ks,J ‚d S rL   )rE   r&   rM   Zsubstepr—   ZconstantÚother)ZstepsZconstant_times_steprO   rO   rP   Útest_issue_23348P  s    rÇ   c                  C   sf   t dttd d ƒ tddfƒjdd} | tddtdƒ  ƒ tdƒ ksNJ ‚t|  ¡ ƒd	ksbJ ‚d S )
NrS   rR   rn   rV   Tr›   rU   rY   z1.31695789692482)r?   r   rM   Zdoitr   Ústrr€   )r   rO   rO   rP   Útest_issue_23566V  s    (&rÉ   c                  C   s¸  t ttd ƒtttd ƒ d ƒ t tttdƒd  ƒdt tttdƒd  ƒ d ƒ t dttd ƒ tttƒ t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ttt  t  t	 tt t  ttt t ƒ }t
| tƒtt|ttt	 dƒf|d	fƒttd
ƒfttt t t	  d	fƒks|J ‚| t¡ | ¡s’J ‚| t¡ tt	 d¡ | ¡s´J ‚d S )NrR   r^   rY   rT   r_   rS   éüÿÿÿrV   Tr   )rQ   r   rM   r   r   r¨   ri   rl   ÚdÚerB   r   r   r   rN   r‚   )rI   ZF1ZF2rO   rO   rP   Útest_nested_pow\  s    "6*.04>ÿ
rÍ   c                
   C   sŒ  t dtd  d tddt  ƒ ddt d tdƒd   d ddt d tdƒd   d  d	dt d tdƒd   d
  dtdt d ƒ d
  ƒ tttttt  ƒd  tƒttdtd ttttt  ƒ tttt  ƒ ƒt	tdƒftd dttdƒd    dfƒksJ ‚t tdt d ƒd dt d dtdƒ  d  dtdƒ dt d tdƒd   d dtdƒ dt d tdƒd   d  dtdƒ dt d tj
d   d  ddt d tdƒd   d  ddt d tj
d   d  tdƒtdt d ƒ d  dtdt d tj
d  d ƒ d  dtdƒ tdt d tj
d  ƒ d  ƒ t ttttƒ ƒdtttƒt ƒ ttƒd td  tdƒd   tdttƒ dtttƒt ƒ  d ƒd  ƒ t tdt d tdt d ƒ ƒd tdt tdt d ƒ d ƒdt d ddt d tdƒd   d	  tdt d ƒd	  dt d d d  tdƒd   d ƒ d S )Nr^   rY   rU   rR   r²   rf   i7  é   é(   éQ   éˆ   rn   r   TrS   rT   é   r¦   rd   rZ   r_   )rQ   rM   r   r   rB   ri   rl   r   r   r   ZOner   r    rO   rO   rO   rP   Ú test_manualintegrate_sqrt_linearj  sF     >ÿÿÿZÿ
0N$ÿÿÿþ$þ(ýÿ^ÿ$^ÿÿÿrÓ   c                   C   s¸	  t dttt d d ƒ tdt dttd dt t  d ƒ  dt  ƒƒ t dtdtd  dt  d ƒ tdƒtdtdƒ ttdƒd   d ƒ d ƒ t dtdtd  dt  d ƒ tdƒtdtdƒ ttdƒd   d ƒ d ƒ t dtdtd  dt  d ƒ tdƒtd	t dtdƒ tdtd  dt  d ƒ  d ƒ d ƒ t dtdtd  dt  d ƒ ttj tttj ƒ dtttj d ƒ  ƒ t	dtt
tt  ttd   ƒ tƒtttdttƒ tt
tt  ttd   ƒ  dt t  ƒttƒ ttd
ƒtt
td dt   d
ƒ@ ftdt  t ttdt  t ƒ tttdt  t d  ƒ ttd
ƒfdtt
tt  ƒ t ttd
ƒfttt
ƒ dfƒks¶J ‚t dt d	 tdtd  dt  d ƒ dtdtd  dt  d ƒ d dtdƒ tdtdƒ ttdƒd   d ƒ d  ƒ t dt d	 tdtd  dt  d ƒ dtdtd  dt  d ƒ d dtdƒ tdtdƒ ttdƒd   d ƒ d  ƒ t dt d	 tdtd  dt  d ƒ dtdtd  dt  d ƒ d dtdƒ td	t dtdƒ tdtd  dt  d ƒ  d ƒ d  ƒ t	ttt  tt
tt  ttd   ƒ tƒtt t dt  t tttdttƒ tt
tt  ttd   ƒ  dt t  ƒttƒ tt
td dt   d
ƒftdt  t ttdt  t ƒ tttdt  t d  ƒ dfƒ ttt
tt  ttd   ƒ t  ttd
ƒfdt tt
tt  ƒ dt t
 tt
tt  ƒ t
tt  tdƒd  d   t  t ttd
ƒftt ttd  d  tt
ƒ dfƒksôJ ‚t	dtd  td  dt  d ttd dt  d ƒ tƒttd dt  d ƒtd dt d  tdƒd   dtdt dttd dt  d ƒ  d ƒ d  ks¤J ‚t tdtd  dt  d ƒtd tdƒd  tdtd  dt  d ƒ dtdƒ tdt d tdƒd  ƒ d  ƒ t	tt
ttd   ƒtƒtt
ttdttƒ tt
ttd   ƒ dt t  ƒttƒ tt
d
ƒftttƒ tttd  ƒ dfƒ d ttt
ttd   ƒ d  ttd
ƒftt
ƒt dfƒksâJ ‚t	tt
tt  ttd   ƒtƒtt
d td dt   tttdttƒ tt
tt  ttd   ƒ  dt t  ƒttƒ tt
td dt   d
ƒftdt  t ttdt  t ƒ tttdt  t d  ƒ dfƒ tdt  td  tt
tt  ttd   ƒ  ttd
ƒfdt
tt  tdƒd   dt  ttd
ƒftt
ƒt dfƒk	s>J ‚t tttd dt  d ƒ td d td	  tdƒd	  ttd dt  d ƒ dttdƒtd  d ƒ d  ƒ d S )NrS   rR   rY   rU   r^   r_   rb   é   rT   r   Trf   rZ   iùÿÿÿre   é   ée   rd   é‡   rh   iéÏ  i¬ iåY  i+A  i‰‡¦iQ  iC)  ir+  iÁ  i:§ŠC)rQ   r   rM   r   r   r   r   r   rw   rB   ri   rl   r¨   r   r   rË   rÌ   rO   rO   rO   rP   Ú#test_manualintegrate_sqrt_quadratic|  s    NRRfP$hH.þÿ
(Vÿ(Vÿ(jÿ,^Bÿÿ"ýýb"ûÿ
<jÿ
.*ÿÿFÿÿÿÿþÿ
 ^Bÿÿ.ýý,ûÿ
VÿrØ   c                   C   sÚ   t tttƒ ttƒ tttƒ tttƒttƒ ƒ ƒ t tttƒd  tttƒ tttƒƒ ƒ t td tttƒtdfƒ td tttƒtdfƒ dtd  tttƒtdfƒ  dt tttƒtƒ  dttƒ  ƒ d S )NrR   rY   rU   rT   )rQ   rM   r$   r&   r   r!   r   rI   rO   rO   rO   rP   Útest_mul_pow_derivative«  s    6*6ÿ
ÿÿrÙ   N)’Zsympy.core.exprr   Zsympy.core.mulr   Zsympy.core.functionr   r   r   r   Zsympy.core.numbersr   r	   r
   Zsympy.core.relationalr   Zsympy.core.singletonr   Zsympy.core.symbolr   r   r   Z&sympy.functions.elementary.exponentialr   r   Z%sympy.functions.elementary.hyperbolicr   r   r   r   r   r   r   Z(sympy.functions.elementary.miscellaneousr   Z$sympy.functions.elementary.piecewiser   Z(sympy.functions.elementary.trigonometricr   r   r   r   r   r    r!   r"   r#   r$   r%   r&   Z'sympy.functions.special.delta_functionsr'   r(   Z*sympy.functions.special.elliptic_integralsr)   r*   Z'sympy.functions.special.error_functionsr+   r,   r-   r.   r/   r0   r1   r2   r3   r4   Z'sympy.functions.special.gamma_functionsr5   Z#sympy.functions.special.polynomialsr6   r7   r8   r9   r:   r;   r<   r=   Z&sympy.functions.special.zeta_functionsr>   Zsympy.integrals.integralsr?   r@   Zsympy.logic.boolalgrA   Zsympy.integrals.manualintegraterB   rC   rD   rE   rF   Zsympy.testing.pytestrG   rH   rM   r[   r©   rW   r€   ri   rl   r¨   rË   rÌ   rI   rQ   rX   r\   r]   ra   rc   rg   rq   rx   rz   r{   r|   r}   r   r   r˜   r™   rš   rœ   rž   rŸ   r    r¥   r§   r¬   r­   r®   r¯   r°   r±   rº   r»   r¿   rÀ   rÄ   rÅ   rÇ   rÉ   rÍ   rÓ   rØ   rÙ   rO   rO   rO   rP   Ú<module>   s”   $80(	

a%	
(
	


2


/