o
    oh                 	   @   s  d dl mZ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mZmZ d dlmZ d dlmZ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#m$Z$ d dl%m&Z& d dl'm(Z(m)Z) d dl*m+Z+m,Z, d dl-m.Z/m0Z0m1Z1 d dl2m3Z3m4Z4 d dl5m6Z6 d dl7m8Z8m9Z9m:Z: d dl;m<Z< d dl=m>Z>m?Z?m@Z@ d dlAmBZB d dlCmDZD d dlEmFZF d dlGmHZH dd ZIG dd deZJedd ZKdd  ZLdHd"e
d#eMd$ee
d%f fd&d'ZNG d(d) d)eJZOG d*d+ d+eJZPG d,d- d-eJZQG d.d/ d/eJZRG d0d1 d1eJZSG d2d3 d3eSZTG d4d5 d5eSZUG d6d7 d7eZVG d8d9 d9eZWG d:d; d;eWZXG d<d= d=eWZYG d>d? d?eWZZG d@dA dAeWZ[G dBdC dCeWZ\G dDdE dEeWZ]G dFdG dGeWZ^d%S )I    )TupleUnion)Add)cacheit)Expr)FunctionArgumentIndexError	PoleError
expand_mul)	fuzzy_notfuzzy_or	FuzzyBool	fuzzy_and)Mod)RationalpiIntegerFloatequal_valued)NeEq)S)SymbolDummy)sympify)	factorialRisingFactorial)	bernoullieuler)argimre)logexp)floor)sqrtMinMax)	Piecewise)	cos_table	ipartfracfermat_coords)And)	factorint)symmetric_poly)numbered_symbolsc                 C   s   t | trdS | tjS )z; Helper to extract symbolic coefficient for imaginary unit N)
isinstancer   as_coefficientr   ImaginaryUnit)r    r3   |/var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-packages/sympy/functions/elementary/trigonometric.py_imaginary_unit_as_coefficient!   s   
r5   c                   @   sJ   e Zd ZdZdZejfZdd Zdd Z	dddZ
dd	d
ZdddZdS )TrigonometricFunctionz(Base class for trigonometric functions. Tc                 C   sF   | j | j }|j | j kr |jd jrt|jd jrdS d S d S |jS Nr   F)funcargsis_rationalr   is_zeroselfsr3   r3   r4   _eval_is_rational3   s   z'TrigonometricFunction._eval_is_rationalc                 C   sf   | j | j }|j | j kr0t| jd jr| jd jrdS t| jd }|d ur,|jr.dS d S d S |jS Nr   FT)r8   r9   r   r;   is_algebraic	_pi_coeffr:   )r=   r>   pi_coeffr3   r3   r4   _eval_is_algebraic;   s   z(TrigonometricFunction._eval_is_algebraicc                 K   s&   | j dd|i|\}}||tj  S )Ndeepr3   )as_real_imagr   r2   )r=   rE   hintsre_partim_partr3   r3   r4   _eval_expand_complexF   s   z*TrigonometricFunction._eval_expand_complexc                 K   s   | j d jr#|rd|d< | j d j|fi |tjfS | j d tjfS |r9| j d j|fi | \}}||fS | j d  \}}||fS )Nr   Fcomplex)r9   is_extended_realexpandr   ZerorF   )r=   rE   rG   r!   r    r3   r3   r4   _as_real_imagJ   s    z#TrigonometricFunction._as_real_imagNc                 C   s   t | jd }|d u rt|jd }||stjS ||kr |S ||jv rV|jr9||\}}||kr9|t	| S |j
rV||\}}|j|dd\}}||krV|t	| S td)Nr   F)as_Addz%Use the periodicity function instead.)r
   r9   tuplefree_symbolshasr   rN   is_Mulas_independentabsis_AddNotImplementedError)r=   general_periodsymbolfghar3   r3   r4   _periodW   s$   

zTrigonometricFunction._periodTN)__name__
__module____qualname____doc__
unbranchedr   ComplexInfinity_singularitiesr?   rD   rJ   rO   r_   r3   r3   r3   r4   r6   -   s    

r6   c                	   C   s   ddddddddd	S )
N)      )rj      )rk      )rl   
   )rl      )rn   rm   )      )(   <   )   ro   rp         rq   rr   x   r3   r3   r3   r3   r4   _table2q   s   rw   c                 C   s   t j}g }t| D ]}|t}|r|jr||7 }q
|| q
|t ju r+| t jfS |t j }|| }|j	sAd| j	rL|j
du rLt||t g  |fS | t jfS )a  
    Split ARG into two parts, a "rest" and a multiple of $\pi$.
    This assumes ARG to be an Add.
    The multiple of $\pi$ returned in the second position is always a Rational.

    Examples
    ========

    >>> from sympy.functions.elementary.trigonometric import _peeloff_pi
    >>> from sympy import pi
    >>> from sympy.abc import x, y
    >>> _peeloff_pi(x + pi/2)
    (x, 1/2)
    >>> _peeloff_pi(x + 2*pi/3 + pi*y)
    (x + pi*y + pi/6, 1/2)

       F)r   rN   r   	make_argscoeffr   r:   appendHalf
is_integeris_even)r   rC   
rest_termsr^   Km1m2r3   r3   r4   _peeloff_pi   s   






r      r   cyclesreturnNc                 C   s
  | t u rtjS | stjS | jr}| t }|r{| \}}|jrZt|d }|dkrPt	t
t|d  }d| }|| }t	|}	t|	|rOt|	|}|| }n
tt	|}|| }|jry|d }
|
dkrg|S |
su|jdurqtjS tdS |
| S |S dS | jrtjS dS )a6  
    When arg is a Number times $\pi$ (e.g. $3\pi/2$) then return the Number
    normalized to be in the range $[0, 2]$, else `None`.

    When an even multiple of $\pi$ is encountered, if it is multiplying
    something with known parity then the multiple is returned as 0 otherwise
    as 2.

    Examples
    ========

    >>> from sympy.functions.elementary.trigonometric import _pi_coeff
    >>> from sympy import pi, Dummy
    >>> from sympy.abc import x
    >>> _pi_coeff(3*x*pi)
    3*x
    >>> _pi_coeff(11*pi/7)
    11/7
    >>> _pi_coeff(-11*pi/7)
    3/7
    >>> _pi_coeff(4*pi)
    0
    >>> _pi_coeff(5*pi)
    1
    >>> _pi_coeff(5.0*pi)
    1
    >>> _pi_coeff(5.5*pi)
    3/2
    >>> _pi_coeff(2 + pi)

    >>> _pi_coeff(2*Dummy(integer=True)*pi)
    2
    >>> _pi_coeff(2*Dummy(even=True)*pi)
    0

    r   r   rx   N)r   r   OnerN   rT   rz   as_coeff_Mulis_FloatrV   introundr"   evalfr   r   r}   r~   r   r;   )r   r   cxcxr[   pmcmic2r3   r3   r4   rB      sF   %



rB   c                   @   s   e Zd ZdZd8ddZd9ddZedd	 Zee	d
d Z
d:ddZdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd  Zd!d" Zd#d$ Zd%d& Zd'd( Zd;d*d+Zd,d- Zd<d.d/Zd0d1 Zd2d3 Zd4d5 Zd6d7 ZdS )=sina  
    The sine function.

    Returns the sine of x (measured in radians).

    Explanation
    ===========

    This function will evaluate automatically in the
    case $x/\pi$ is some rational number [4]_.  For example,
    if $x$ is a multiple of $\pi$, $\pi/2$, $\pi/3$, $\pi/4$, and $\pi/6$.

    Examples
    ========

    >>> from sympy import sin, pi
    >>> from sympy.abc import x
    >>> sin(x**2).diff(x)
    2*x*cos(x**2)
    >>> sin(1).diff(x)
    0
    >>> sin(pi)
    0
    >>> sin(pi/2)
    1
    >>> sin(pi/6)
    1/2
    >>> sin(pi/12)
    -sqrt(2)/4 + sqrt(6)/4


    See Also
    ========

    csc, cos, sec, tan, cot
    asin, acsc, acos, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.14
    .. [3] https://functions.wolfram.com/ElementaryFunctions/Sin
    .. [4] https://mathworld.wolfram.com/TrigonometryAngles.html

    Nc                 C      |  dt |S Nrx   r_   r   r=   rZ   r3   r3   r4   period#     z
sin.periodr   c                 C   s    |dkrt | jd S t| |Nr   r   )cosr9   r   r=   argindexr3   r3   r4   fdiff&     
z	sin.fdiffc                 C   s  ddl m} ddlm} |jr*|tju rtjS |jrtjS |tj	tj
fv r*|ddS |tju r2tjS t||rddlm} |j|j}}t|dt  }|tj
urY||d t  }|tj	urf||d t  }||||td ttdd tjur||||ttd	d ttd
d tjur|ddS ||||td ttdd tjur|tt|t|dS ||||ttd	d ttdd tjur|dtt|t|S |tt|t|tt|t|S t||r|| S | r| |  S t|}|d urddlm}	 tj|	| S t|}
|
d ur|
j r+tjS d|
 j r?|
j!du r?tj"|
tj#  S |
j$sR|
t }||krP| |S d S |
j$r|
d }|dkrh| |d t  S d| dkrw| d| t S |
td	d d t }t%|}t|t%s|S |
t |kr| |
t S d S |j&rt'|\}}|r|t }t|t%| t%|t|  S |jrtjS t|t(r|j)d S t|t*r|j)d }|t+d|d   S t|t,r|j)\}}|t+|d |d   S t|t-r|j)d }t+d|d  S t|t.r(|j)d }dt+dd|d   |  S t|t/r7|j)d }d| S t|t0rL|j)d }t+dd|d   S d S )Nr   AccumBoundsSetExprr   	FiniteSetrx   rk   ri      rn   )sinhF)1!sympy.calculus.accumulationboundsr   sympy.sets.setexprr   	is_Numberr   NaNr;   rN   InfinityNegativeInfinityrg   r0   sympy.sets.setsr   minmaxr$   r   intersectionr   EmptySetr&   r   r'   
_eval_funccould_extract_minus_signr5   %sympy.functions.elementary.hyperbolicr   r2   rB   r}   r~   NegativeOner|   is_Rationalr   rW   r   asinr9   atanr%   atan2acosacotacscasec)clsr   r   r   r   r   r   di_coeffr   rC   nargr   resultr   yr3   r3   r4   eval,  s   





"
"(






 






zsin.evalc                 G   sn   | dk s
| d dkrt jS t|}t|dkr(|d }| |d  | | d   S t j| d  ||   t|  S Nr   rx   r   r   rN   r   lenr   r   nr   previous_termsr   r3   r3   r4   taylor_term     zsin.taylor_termr   c                 C   Z   | j d }|d ur|t||}||dtjtjr#td|  tj	| ||||dS Nr   zCannot expand %s around 0)r   logxcdir
r9   subsr"   rS   r   r   rg   r	   r   _eval_nseriesr=   r   r   r   r   r   r3   r3   r4   r        
zsin._eval_nseriesc                 K   sX   ddl m} tj}t|t|fr||jd t	}t	|| t	| |  d|  S Nr   HyperbolicFunctionrx   
r   r   r   r2   r0   r6   r8   r9   rewriter#   )r=   r   kwargsr   Ir3   r3   r4   _eval_rewrite_as_exp  s
   "zsin._eval_rewrite_as_expc                 K   s@   t |trtj}|jd }|||   d |||  d  S d S Nr   rx   r0   r"   r   r2   r9   r=   r   r   r   r   r3   r3   r4   _eval_rewrite_as_Pow  s
   

"zsin._eval_rewrite_as_Powc                 K   s   t |td  ddS Nrx   Fevaluater   r   r=   r   r   r3   r3   r4   _eval_rewrite_as_cos     zsin._eval_rewrite_as_cosc                 K   s"   t tj| }d| d|d   S Nrx   r   tanr   r|   r=   r   r   tan_halfr3   r3   r4   _eval_rewrite_as_tan  s   zsin._eval_rewrite_as_tanc                 K   s   t |t| t| S ra   r   r   r   r3   r3   r4   _eval_rewrite_as_sincos     zsin._eval_rewrite_as_sincosc                 K   sL   t tj| }tdttt|dtt|tdfd| d|d   dfS )Nr   rx   r   T	cotr   r|   r(   r,   r   r    r   r   r=   r   r   cot_halfr3   r3   r4   _eval_rewrite_as_cot  s   $zsin._eval_rewrite_as_cotc                 K       | j tfi |j tfi |S ra   )r   r   powr   r3   r3   r4   _eval_rewrite_as_pow      zsin._eval_rewrite_as_powc                 K   r   ra   )r   r   r%   r   r3   r3   r4   _eval_rewrite_as_sqrt  r   zsin._eval_rewrite_as_sqrtc                 K      dt | S Nr   cscr   r3   r3   r4   _eval_rewrite_as_csc     zsin._eval_rewrite_as_cscc                 K   s   dt |td  dd S )Nr   rx   Fr   secr   r   r3   r3   r4   _eval_rewrite_as_sec  r   zsin._eval_rewrite_as_secc                 K   s   |t | S ra   )sincr   r3   r3   r4   _eval_rewrite_as_sinc  r  zsin._eval_rewrite_as_sincc                 K   s(   ddl m} tt| d |tj| S )Nr   besseljrx   sympy.functions.special.besselr  r%   r   r   r|   r=   r   r   r  r3   r3   r4   _eval_rewrite_as_besselj  s   zsin._eval_rewrite_as_besseljc                 C      |  | jd  S Nr   r8   r9   	conjugater=   r3   r3   r4   _eval_conjugate  r   zsin._eval_conjugateTc                 K   sH   ddl m}m} | jdd|i|\}}t||| t||| fS Nr   coshr   rE   r3   )r   r  r   rO   r   r   r=   rE   rG   r  r   r!   r    r3   r3   r4   rF     s    zsin.as_real_imagc                 K   s   ddl m}m} | jd }d }|jr@| \}}t|dd }t|dd }t|dd }	t|dd }
||
 ||	  S |j	r{|j
dd\}}|jr{|jratj|d d  ||t| S ttj|d d  t| ||d t| dd	S t|S )
Nr   )
chebyshevt
chebyshevuFr   Trationalr   rx   )rE   )#sympy.functions.special.polynomialsr  r  r9   rW   as_two_termsr   _eval_expand_trigr   rT   r   
is_Integeris_oddr   r   r
   )r=   rG   r  r  r   r   r   sxsyr   cyr   r3   r3   r4   r"    s*   
 zsin._eval_expand_trigc           	      C   s   ddl m} | jd }||d }|t }|jr*||t  |}tj	| | S |tj
u r>|j|dt|jr:dndd}|tjtjfv rK|ddS |jrS| |S | S )Nr   r   -+dirr   r   r   r   r9   r   cancelr   r}   as_leading_termr   r   rg   limitr!   is_negativer   r   	is_finiter8   	r=   r   r   r   r   r   x0r   ltr3   r3   r4   _eval_as_leading_term  s   


zsin._eval_as_leading_termc                 C      | j d jrdS d S Nr   Tr9   rL   r  r3   r3   r4   _eval_is_extended_real     zsin._eval_is_extended_realc                 C      | j d }|jr
dS d S r7  r8  r=   r   r3   r3   r4   _eval_is_finite  s   
zsin._eval_is_finitec                 C   "   t | jd \}}|jr|jS d S r  r   r9   r;   r}   r=   restpi_multr3   r3   r4   _eval_is_zero     zsin._eval_is_zeroc                 C       | j d js| j d jrdS d S r7  r9   rL   
is_complexr  r3   r3   r4   _eval_is_complex#  
   
zsin._eval_is_complexra   r   r   r`   r  ) rb   rc   rd   re   r   r   classmethodr   staticmethodr   r   r   r   r   r   r   r   r   r   r   r  r	  r  r  r  rF   r"  r5  r9  r=  rC  rH  r3   r3   r3   r4   r      s<    
/

t


r   c                   @   s   e Zd ZdZd7ddZd8ddZedd	 Zee	d
d Z
d9ddZdd Zdd Zdd Zdd Zdd Zdd Zdd ZdefddZd d! Zd"d# Zd$d% Zd&d' Zd:d)d*Zd+d, Zd;d-d.Zd/d0 Zd1d2 Zd3d4 Zd5d6 ZdS )<r   a  
    The cosine function.

    Returns the cosine of x (measured in radians).

    Explanation
    ===========

    See :func:`sin` for notes about automatic evaluation.

    Examples
    ========

    >>> from sympy import cos, pi
    >>> from sympy.abc import x
    >>> cos(x**2).diff(x)
    -2*x*sin(x**2)
    >>> cos(1).diff(x)
    0
    >>> cos(pi)
    -1
    >>> cos(pi/2)
    0
    >>> cos(2*pi/3)
    -1/2
    >>> cos(pi/12)
    sqrt(2)/4 + sqrt(6)/4

    See Also
    ========

    sin, csc, sec, tan, cot
    asin, acsc, acos, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.14
    .. [3] https://functions.wolfram.com/ElementaryFunctions/Cos

    Nc                 C   r   r   r   r   r3   r3   r4   r   U  r   z
cos.periodr   c                 C   s"   |dkrt | jd  S t| |r   )r   r9   r   r   r3   r3   r4   r   X  s   
z	cos.fdiffc                 C   sL  ddl m} ddlm} ddlm} |jr0|tju rtjS |j	r#tj
S |tjtjfv r0|ddS |tju r8tjS t||rEt|td  S t||rO|| S |jr\|jdu r\|ddS | re| | S t|}|d urwdd	lm} ||S t|}|d urw|jrtj| S d| jr|jdu rtjS |js|t }||kr| |S d S |jru|j}	|jd|	  }
|
|	kr|d t }| | S d|
 |	krd| t }| | S t  }|	|v r||	 \}}|
t | |
t | }}| || |}}d ||fv rd S || | td | | td |   S |	d
krd S tj!t"dd d d}|	|v r:||j }||j|# S d|	d kru|d t }| |}d |krRd S d| d d }d|dk rbdndt$t%|  }|t"d| d  S d S |j&rt'|\}}|r|t }t(|t(| t|t|  S |j	rtj
S t|t)r|j*d S t|t+r|j*d }dt"d|d   S t|t,r|j*\}}|t"|d |d   S t|t-r|j*d }t"d|d  S t|t.r |j*d }dt"dd|d    S t|t/r|j*d }t"dd|d   S t|t0r$|j*d }d| S d S )Nr   r  r   r   r   r   rx   F)r  rs   rk   rj   )ri   rk   )1r   r  r   r   r   r   r   r   r   r;   r   r   r   rg   r0   r   r   r   rL   r1  r   r5   r   r  rB   r}   r   r~   rN   r   qr   rw   r|   r%   rM   r   rV   rW   r   r   r   r9   r   r   r   r   r   r   )r   r   r  r   r   r   r  rC   r   rO  r   table2r^   bnvalanvalbcst_table_somectsnvalr   sign_cosr   r   r3   r3   r4   r   ^  s   











	


(



" 






zcos.evalc                 G   sn   | dk s
| d dkrt jS t|}t|dkr(|d }| |d  | | d   S t j| d  ||   t|  S )Nr   rx   r   r   r   r   r3   r3   r4   r     r   zcos.taylor_termr   c                 C   r   r   r   r   r3   r3   r4   r     r   zcos._eval_nseriesc                 K   s\   t j}ddlm} t|t|fr||jd jt	fi |}t	|| t	| |  d S r   
r   r2   r   r   r0   r6   r8   r9   r   r#   )r=   r   r   r   r   r3   r3   r4   r      s
   zcos._eval_rewrite_as_expc                 K   s8   t |trtj}|jd }|| d ||  d  S d S r   r   r   r3   r3   r4   r     s
   

zcos._eval_rewrite_as_Powc                 K   s   t |td  ddS r   )r   r   r   r3   r3   r4   _eval_rewrite_as_sin  r   zcos._eval_rewrite_as_sinc                 K   s"   t tj| d }d| d|  S r   r   r   r3   r3   r4   r     s   zcos._eval_rewrite_as_tanc                 K   s   t |t| t | S ra   r   r   r3   r3   r4   r     r   zcos._eval_rewrite_as_sincosc              	   K   sP   t tj| d }tdttt|dtt|dt df|d |d  dfS )Nrx   r   r   Tr   r   r3   r3   r4   r     s   (zcos._eval_rewrite_as_cotc                 K   s   | j |fi |S ra   )r   r   r3   r3   r4   r     s   zcos._eval_rewrite_as_powr   c                    s  ddl m} t|  d u rd S t trd S t tsd S t } j|v r;| j| j  } jdk r9|	 }|S  jd sk d }t
|t jtfi |}|d d }t|d r_dnd}	|	td| d  S t j}
|
ru|
}ndd t j D }t| } fd	d
t||D }dd t|tdD }t
tdd
 |D  |}|
rt|
dkr|S |jtfi |S )Nr   rN  i  rx   r   r   c                 S   s   g | ]\}}|| qS r3   r3   ).0rQ  er3   r3   r4   
<listcomp>?  s    z-cos._eval_rewrite_as_sqrt.<locals>.<listcomp>c                 3   s$    | ]\}} j t|| V  qd S ra   )r   r   )rZ  r   r   rC   r3   r4   	<genexpr>B  s   " z,cos._eval_rewrite_as_sqrt.<locals>.<genexpr>c                 S   s    g | ]}|d  |d t  fqS )r   r   )r   rZ  r   r3   r3   r4   r\  C  s     zc                 s   s    | ]}|d  V  qdS )r   Nr3   r_  r3   r3   r4   r^  D  s    )r   r  rB   r0   r   r   r)   rO  r   rM   r   r   r   r%   r   r+   r-   itemsr*   zipr/   sumr"  r   r   )r=   r   r   r  rT  rvpico2rV  r   rW  FCdenomsapartdecompXpclsr3   r]  r4   r     s>   





 zcos._eval_rewrite_as_sqrtc                 K   r  r  r  r   r3   r3   r4   r	  J  r  zcos._eval_rewrite_as_secc                 K      dt |jtfi | S r  )r  r   r  r   r3   r3   r4   r  M     zcos._eval_rewrite_as_cscc                 K   s:   ddl m} ttt| d |tj | t|dfdS )Nr   r  rx   r   Tr  r  r(   r%   r   r   r|   r   r  r3   r3   r4   r  P  s
   &zcos._eval_rewrite_as_besseljc                 C   r  r  r  r  r3   r3   r4   r  W  r   zcos._eval_conjugateTc                 K   sJ   ddl m}m} | jdd|i|\}}t||| t| || fS r  )r   r  r   rO   r   r   r  r3   r3   r4   rF   Z  s   "zcos.as_real_imagc                 K   s   ddl m} | jd }d }|jr>| \}}t|dd }t|dd }t|dd }t|dd }	||	 ||  S |jrS|j	dd\}
}|
j
rS||
t|S t|S )Nr   rN  Fr   Tr  )r   r  r9   rW   r!  r   r"  r   rT   r   r#  )r=   rG   r  r   r   r   r%  r&  r   r'  rz   termsr3   r3   r4   r"  _  s   
zcos._eval_expand_trigc           	      C   s   ddl m} | jd }||d }|td  t }|jr2||t  td  |}tj	| | S |tj
u rF|j|dt|jrBdndd}|tjtjfv rS|ddS |jr[| |S | S )	Nr   r   rx   r(  r)  r*  r   r   r,  r2  r3   r3   r4   r5  p  s   


zcos._eval_as_leading_termc                 C   r6  r7  r8  r  r3   r3   r4   r9  ~  r:  zcos._eval_is_extended_realc                 C   r;  r7  r8  r<  r3   r3   r4   r=    s   
zcos._eval_is_finitec                 C   rE  r7  rF  r  r3   r3   r4   rH    rI  zcos._eval_is_complexc                 C   s0   t | jd \}}|jr|r|tj jS d S d S r  r   r9   r;   r   r|   r}   r@  r3   r3   r4   rC       
zcos._eval_is_zerora   rJ  rK  r`   r  ) rb   rc   rd   re   r   r   rL  r   rM  r   r   r   r   r   rY  r   r   r   r   r   r   r	  r  r  r  rF   r"  r5  r9  r=  rH  rC  r3   r3   r3   r4   r   )  s<    
+

 
+

r   c                   @   s   e Zd ZdZd:ddZd;ddZd;dd	Zed
d Ze	e
dd Zd<ddZdd Zdd Zd=ddZdd Zdd Zdd Zdd Zd d! Zd"d# Zd$d% Zd&d' Zd(d) Zd*d+ Zd,d- Zd>d.d/Zd0d1 Zd2d3 Zd4d5 Zd6d7 Zd8d9 Z dS )?r   a  
    The tangent function.

    Returns the tangent of x (measured in radians).

    Explanation
    ===========

    See :class:`sin` for notes about automatic evaluation.

    Examples
    ========

    >>> from sympy import tan, pi
    >>> from sympy.abc import x
    >>> tan(x**2).diff(x)
    2*x*(tan(x**2)**2 + 1)
    >>> tan(1).diff(x)
    0
    >>> tan(pi/8).expand()
    -1 + sqrt(2)

    See Also
    ========

    sin, csc, cos, sec, cot
    asin, acsc, acos, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.14
    .. [3] https://functions.wolfram.com/ElementaryFunctions/Tan

    Nc                 C      |  t|S ra   r   r   r3   r3   r4   r     r  z
tan.periodr   c                 C   s    |dkrt j| d  S t| |Nr   rx   )r   r   r   r   r3   r3   r4   r     r   z	tan.fdiffc                 C      t S z7
        Returns the inverse of this function.
        r   r   r3   r3   r4   inverse     ztan.inversec                 C   s  ddl m} |jr&|tju rtjS |jrtjS |tjtjfv r&|tjtjS |tj	u r.tjS t
||r~|j|j}}t|t }|tjurK||t  }|tjurV||t  }ddlm} ||||td ttdd ru|tjtjS |t|t|S | r| |  S t|}|d urddlm} tj|| S t|d}	|	d ur|	jrtjS |	js|	t }
|
|kr| |
S d S |	jr|	j}|	j| }tddtd d  tddtd  tddtd d  tddtd  d	}|d
v rd| | }|dkrd| }||  S || S |	jd sG|	t d }
t|
t|
td  }}t
|tsGt
|tsG|dkr?tj	S d| ||  S t  }||v ry|| \}}| |t | | |t | }}d ||fv rod S || d||   S |	tj! d tj! t }
t|
t|
td  }}t
|tst
|ts|dkrtj	S || S |
|kr| |
S |j"rt#|\}}|rt|t }|tj	u rt$| S t|S |jrtjS t
|t%r|j&d S t
|t'r|j&\}}|| S t
|t(r|j&d }|td|d   S t
|t)r |j&d }td|d  | S t
|t*r/|j&d }d| S t
|t+rH|j&d }dtdd|d   |  S t
|t,r_|j&d }tdd|d   | S d S )Nr   r   r   rx   ri   )tanhr   rk   )r   rx   ri   rj   rk   rm   rm   )-r   r   r   r   r   r;   rN   r   r   rg   r0   r   r   r$   r   r   r   r   r   r   r   r5   r   r{  r2   rB   r}   r   rO  r   r%   r   rw   r|   rW   r   r   r   r9   r   r   r   r   r   r   )r   r   r   r   r   r   r   r   r{  rC   r   rO  r   table10r   cresultsresultrP  r^   rQ  rR  rS  r   r   tanmr   r3   r3   r4   r     s   




$







"









ztan.evalc                 G   sz   | dk s
| d dkrt jS t|}| d d d| d  }}t| d }t| d }t j| | |d  | | ||   S Nr   rx   r   )r   rN   r   r   r   r   )r   r   r   r^   rQ  BFr3   r3   r4   r   J  s   &ztan.taylor_termr   c                 C   sL   | j d |dd t }|r|jr| tj|||dS tj| |||dS )Nr   rx   r   r   )r9   r/  r   r#  r   r   r   r   r=   r   r   r   r   r   r3   r3   r4   r   Y  s   
ztan._eval_nseriesc                 K   sF   t |tr!tj}|jd }|||  ||   ||  ||   S d S r  r   r   r3   r3   r4   r   _  s
   

(ztan._eval_rewrite_as_Powc                 C   r  r  r  r  r3   r3   r4   r  e  r   ztan._eval_conjugateTc                 K   st   | j dd|i|\}}|r2ddlm}m} td| |d|  }td| | |d| | fS | |tjfS NrE   r   r  rx   r3   	rO   r   r  r   r   r   r8   r   rN   r=   rE   rG   r!   r    r  r   denomr3   r3   r4   rF   h  s    ztan.as_real_imagc                    s@  | j d }d }|jrgt|j }g }|j D ]}t|dd }|| qtd  fddt|D }ddg}t|d D ]}	|d|	d    t|	|d	|	d
 d   7  < q=|d |d  	t
t||S |jr|jdd\}
}|
jr|
dkrtj}tddd}d||  |
  }t|t| 	|t|fgS t|S )Nr   Fr   Yc                       g | ]}t  qS r3   nextrZ  r   Ygr3   r4   r\  |      z)tan._eval_expand_trig.<locals>.<listcomp>r   rx   r   rj   Tr  dummyreal)r9   rW   r   r   r"  r{   r/   ranger.   r   listrb  rT   r   r#  r   r2   r   rM   r    r!   )r=   rG   r   r   r   TXtxr  r   r   rz   rq  r   r`  Pr3   r  r4   r"  q  s,   


0  ztan._eval_expand_trigc                 K   sf   t j}ddlm} t|t|fr||jd t	}t	| | t	|| }}|||  ||  S Nr   r   rX  )r=   r   r   r   r   neg_exppos_expr3   r3   r4   r     s   ztan._eval_rewrite_as_expc                 K   s   dt |d  t d|  S r   r   r=   r   r   r3   r3   r4   rY       ztan._eval_rewrite_as_sinc                 K   s   t |td  ddt | S r   r   r  r3   r3   r4   r     r  ztan._eval_rewrite_as_cosc                 K      t |t| S ra   r   r   r3   r3   r4   r     r   ztan._eval_rewrite_as_sincosc                 K   r  r  r   r   r3   r3   r4   r     r  ztan._eval_rewrite_as_cotc                 K   4   t |jtfi |}t|jtfi |}|| S ra   )r   r   r  r   )r=   r   r   sin_in_sec_formcos_in_sec_formr3   r3   r4   r	       ztan._eval_rewrite_as_secc                 K   r  ra   )r   r   r  r   )r=   r   r   sin_in_csc_formcos_in_csc_formr3   r3   r4   r    r  ztan._eval_rewrite_as_cscc                 K   2   | j tfi |j tfi |}|trd S |S ra   r   r   r   rS   r=   r   r   r   r3   r3   r4   r         
ztan._eval_rewrite_as_powc                 K   r  ra   r   r   r%   rS   r  r3   r3   r4   r     r  ztan._eval_rewrite_as_sqrtc                 K   s&   ddl m} |tj||tj | S Nr   r  r  r  r   r|   r  r3   r3   r4   r       ztan._eval_rewrite_as_besseljc           
      C   s   ddl m} ddlm} | jd }||d }d| t }|jr6||t d  	|}	|j
r2|	S d|	 S |tju rJ|j|d||jrFdndd}|tjtjfv rY|tjtjS |jra| |S | S )	Nr   r   r!   rx   r   r(  r)  r*  r   r   $sympy.functions.elementary.complexesr!   r9   r   r-  r   r}   r.  r~   r   rg   r/  r0  r   r   r1  r8   
r=   r   r   r   r   r!   r   r3  r   r4  r3   r3   r4   r5    s   

ztan._eval_as_leading_termc                 C      | j d jS r  r8  r  r3   r3   r4   r9    s   ztan._eval_is_extended_realc                 C   0   | j d }|jr|t tj jdu rdS d S d S r@   r9   is_realr   r   r|   r}   r<  r3   r3   r4   _eval_is_real  s   
ztan._eval_is_realc                 C   s6   | j d }|jr|t tj jdu rdS |jrdS d S r@   )r9   r  r   r   r|   r}   is_imaginaryr<  r3   r3   r4   r=    s   
ztan._eval_is_finitec                 C   r>  r  r?  r@  r3   r3   r4   rC    rD  ztan._eval_is_zeroc                 C   r  r@   r  r<  r3   r3   r4   rH       
ztan._eval_is_complexra   rJ  rK  r`   r  )!rb   rc   rd   re   r   r   ry  rL  r   rM  r   r   r   r   r  rF   r"  r   rY  r   r   r   r	  r  r   r   r  r5  r9  r  r=  rC  rH  r3   r3   r3   r4   r     s@    
%


 

	
	r   c                   @   s   e Zd ZdZd<ddZd=ddZd=dd	Zed
d Ze	e
dd Zd>ddZdd Zd?ddZdd Zdd Zdd Zdd Zdd Zd d! Zd"d# Zd$d% Zd&d' Zd(d) Zd*d+ Zd@d,d-Zd.d/ Zd0d1 Zd2d3 Zd4d5 Zd6d7 Zd8d9 Z d:d; Z!dS )Ar   a  
    The cotangent function.

    Returns the cotangent of x (measured in radians).

    Explanation
    ===========

    See :class:`sin` for notes about automatic evaluation.

    Examples
    ========

    >>> from sympy import cot, pi
    >>> from sympy.abc import x
    >>> cot(x**2).diff(x)
    2*x*(-cot(x**2)**2 - 1)
    >>> cot(1).diff(x)
    0
    >>> cot(pi/12)
    sqrt(3) + 2

    See Also
    ========

    sin, csc, cos, sec, tan
    asin, acsc, acos, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.14
    .. [3] https://functions.wolfram.com/ElementaryFunctions/Cot

    Nc                 C   rt  ra   r   r   r3   r3   r4   r     r  z
cot.periodr   c                 C   s    |dkrt j| d  S t| |ru  )r   r   r   r   r3   r3   r4   r     r   z	cot.fdiffc                 C   rv  rw  r   r   r3   r3   r4   ry    rz  zcot.inversec                 C   s  ddl m} |jr&|tju rtjS |jrtjS |tjtjfv r&|tjtjS |tju r.tjS t	||r<t
|td   S | rF| |  S t|}|d ur\ddlm} tj || S t|d}|d ur/|jrltjS |js}|t }||kr{| |S d S |jr/|jdv rt
td | S |jdkr|jd s|t d }t|t|td  }}t	|tst	|tsd| ||  S |j}	|j|	 }
t }|	|v r||	 \}}| |
t | | |
t | }}d ||fv rd S d||  ||  S |tj d tj t }t|t|td  }}t	|ts&t	|ts&|dkr"tjS || S ||kr/| |S |jrQt|\}}|rQt|t }|tju rLt|S t
| S |jrXtjS t	|trc|jd S t	|trr|jd }d| S t	|tr|j\}}|| S t	|t r|jd }t!d|d  | S t	|t"r|jd }|t!d|d   S t	|t#r|jd }t!dd|d   | S t	|t$r|jd }dt!dd|d   |  S d S )Nr   r   rx   )cothr|  r   )%r   r   r   r   r   r;   rg   r   r   r0   r   r   r   r5   r   r  r2   rB   r}   r   rO  r   r   rw   r|   rW   r   r   r   r9   r   r   r   r%   r   r   r   )r   r   r   r   r  rC   r   r~  r  rO  r   rP  r^   rQ  rR  rS  r   r   cotmr   r3   r3   r4   r     s   







"









zcot.evalc                 G   s|   | dkr
dt | S | dk s| d dkrtjS t |}t| d }t| d }tj| d d  d| d   | | ||   S Nr   r   rx   )r   r   rN   r   r   r   )r   r   r   r  r  r3   r3   r4   r     s   .zcot.taylor_termr   c                 C   sL   | j d |dt }|r|jr| tj|||dS | tj|||dS )Nr   r  )r9   r/  r   r#  r   r   r   r   r  r3   r3   r4   r     s   
zcot._eval_nseriesc                 C   r  r  r  r  r3   r3   r4   r    r   zcot._eval_conjugateTc                 K   sv   | j dd|i|\}}|r3ddlm}m} td| |d|  }td|  | |d| | fS | |tjfS r  r  r  r3   r3   r4   rF     s   "zcot.as_real_imagc                 K   sn   ddl m} tj}t|t|fr||jd jt	fi |}t	| | t	|| }}|||  ||  S r  r   )r=   r   r   r   r   r  r  r3   r3   r4   r     s   zcot._eval_rewrite_as_expc                 K   sH   t |tr"tj}|jd }| ||  ||   ||  ||   S d S r  r   r   r3   r3   r4   r     s
   

*zcot._eval_rewrite_as_Powc                 K   s   t d| dt |d   S r   r  r  r3   r3   r4   rY    r  zcot._eval_rewrite_as_sinc                 K   s   t |t |td  dd S r   r   r  r3   r3   r4   r     r  zcot._eval_rewrite_as_cosc                 K   r  ra   r   r   r   r3   r3   r4   r     r   zcot._eval_rewrite_as_sincosc                 K   r  r  r   r   r3   r3   r4   r     r  zcot._eval_rewrite_as_tanc                 K   r  ra   )r   r   r  r   )r=   r   r   r  r  r3   r3   r4   r	    r  zcot._eval_rewrite_as_secc                 K   r  ra   )r   r   r  r   )r=   r   r   r  r  r3   r3   r4   r    r  zcot._eval_rewrite_as_cscc                 K   r  ra   r  r  r3   r3   r4   r     r  zcot._eval_rewrite_as_powc                 K   r  ra   r  r  r3   r3   r4   r     r  zcot._eval_rewrite_as_sqrtc                 K   s&   ddl m} |tj ||tj| S r  r  r  r3   r3   r4   r    r  zcot._eval_rewrite_as_besseljc           
      C   s   ddl m} ddlm} | jd }||d }d| t }|jr7||t d  	|}	|j
r4d|	 S |	 S |tju rK|j|d||jrGdndd}|tjtjfv rZ|tjtjS |jrb| |S | S )	Nr   r   r  rx   r   r(  r)  r*  r  r  r3   r3   r4   r5    s   

zcot._eval_as_leading_termc                 C   r  r  r8  r  r3   r3   r4   r9    r  zcot._eval_is_extended_realc                    s@  | j d }d }|jrit|j }g }|j D ]}t|dd }|| qtd  fddt|D }ddg}t|ddD ]}	|||	 d   t|	|d||	 d	 d   7  < q=|d |d
  	t
t||S |jr|jdd\}
}|
jr|
d
krtj}tddd}|| |
  }t|t| 	|t|fgS t|S )Nr   Fr   r  c                    r  r3   r  r  r  r3   r4   r\    r  z)cot._eval_expand_trig.<locals>.<listcomp>r   rx   rj   r   Tr  r  r  )r9   rW   r   r   r"  r{   r/   r  r.   r   r  rb  rT   r   r#  r   r2   r   rM   r!   r    )r=   rG   r   r   r   CXr   r  r   r   rz   rq  r   r`  r  r3   r  r4   r"    s,   


4  zcot._eval_expand_trigc                 C   s0   | j d }|jr|t jdu rdS |jrdS d S r@   )r9   r  r   r}   r  r<  r3   r3   r4   r=    s   
zcot._eval_is_finitec                 C   *   | j d }|jr|t jdu rdS d S d S r@   r9   r  r   r}   r<  r3   r3   r4   r       
zcot._eval_is_realc                 C   r  r@   r  r<  r3   r3   r4   rH    r  zcot._eval_is_complexc                 C   s0   t | jd \}}|r|jr|tj jS d S d S r  rr  )r=   rA  pimultr3   r3   r4   rC    rs  zcot._eval_is_zeroc                 C   s6   | j d }|||}||kr|t jrtjS t|S r  )r9   r   r   r}   r   rg   r   )r=   oldnewr   argnewr3   r3   r4   
_eval_subs  s
   
zcot._eval_subsra   rJ  rK  r`   r  )"rb   rc   rd   re   r   r   ry  rL  r   rM  r   r   r   r  rF   r   r   rY  r   r   r   r	  r  r   r   r  r5  r9  r"  r=  r  rH  rC  r  r3   r3   r3   r4   r     s@    
%


h

	
r   c                   @   s   e Zd ZU dZdZejfZdZe	e
d< dZe	e
d< edd Zdd Zd	d
 Zdd Zdd Zd0ddZdd Zdd Zdd Zdd Zdd Zdd Zdd Zd d! Zd1d#d$Zd%d& Zd'd( Zd2d*d+Zd,d- Zd3d.d/Z dS )4ReciprocalTrigonometricFunctionz@Base class for reciprocal functions of trigonometric functions. N_is_even_is_oddc                 C   s>  |  r| jr| | S | jr| |  S t|}|d urYd| jsY|jrY|j}|jd|  }||kr>|d t }| | S d| |krYd| t }| jrQ| |S | jrY| | S t	|dri|
 | kri|jd S | j|}|d u ru|S tdd || fD rd| tS tdd || fD rd| tS d| S )Nrx   r   ry  r   c                 s       | ]}t |tV  qd S ra   )r0   r   r  r3   r3   r4   r^  P      z7ReciprocalTrigonometricFunction.eval.<locals>.<genexpr>c                 s   r  ra   )r0   r   r  r3   r3   r4   r^  R  r  )r   r  r  rB   r}   r   rO  r   r   hasattrry  r9   _reciprocal_ofr   anyr   r  r  )r   r   rC   rO  r   r   tr3   r3   r4   r   2  s@   



z$ReciprocalTrigonometricFunction.evalc                 O   s$   |  | jd }t|||i |S r  )r  r9   getattr)r=   method_namer9   r   or3   r3   r4   _call_reciprocalW  s   z0ReciprocalTrigonometricFunction._call_reciprocalc                 O   s,   | j |g|R i |}|d urd| S |S r  )r  )r=   r  r9   r   r  r3   r3   r4   _calculate_reciprocal\  s   z5ReciprocalTrigonometricFunction._calculate_reciprocalc                 C   s2   |  ||}|d ur|| |krd| S d S d S r  )r  r  )r=   r  r   r  r3   r3   r4   _rewrite_reciprocalb  s   z3ReciprocalTrigonometricFunction._rewrite_reciprocalc                 C   s   t | jd }| ||S r  )r
   r9   r  r   )r=   rZ   r[   r3   r3   r4   r_   i  s   z'ReciprocalTrigonometricFunction._periodr   c                 C   s   |  d| | d  S )Nr   rx   r  r   r3   r3   r4   r   m     z%ReciprocalTrigonometricFunction.fdiffc                 K      |  d|S )Nr   r  r   r3   r3   r4   r   p  r  z4ReciprocalTrigonometricFunction._eval_rewrite_as_expc                 K   r  )Nr   r  r   r3   r3   r4   r   s  r  z4ReciprocalTrigonometricFunction._eval_rewrite_as_Powc                 K   r  )NrY  r  r   r3   r3   r4   rY  v  r  z4ReciprocalTrigonometricFunction._eval_rewrite_as_sinc                 K   r  )Nr   r  r   r3   r3   r4   r   y  r  z4ReciprocalTrigonometricFunction._eval_rewrite_as_cosc                 K   r  )Nr   r  r   r3   r3   r4   r   |  r  z4ReciprocalTrigonometricFunction._eval_rewrite_as_tanc                 K   r  )Nr   r  r   r3   r3   r4   r     r  z4ReciprocalTrigonometricFunction._eval_rewrite_as_powc                 K   r  )Nr   r  r   r3   r3   r4   r     r  z5ReciprocalTrigonometricFunction._eval_rewrite_as_sqrtc                 C   r  r  r  r  r3   r3   r4   r    r   z/ReciprocalTrigonometricFunction._eval_conjugateTc                 K   s"   d|  | jd  j|fi |S r   )r  r9   rF   )r=   rE   rG   r3   r3   r4   rF     s   z,ReciprocalTrigonometricFunction.as_real_imagc                 K   s   | j di |S )Nr"  )r"  r  )r=   rG   r3   r3   r4   r"    r   z1ReciprocalTrigonometricFunction._eval_expand_trigc                 C   s   |  | jd  S r  )r  r9   r9  r  r3   r3   r4   r9    r   z6ReciprocalTrigonometricFunction._eval_is_extended_realr   c                 C   s   d|  | jd  |S r   )r  r9   r5  )r=   r   r   r   r3   r3   r4   r5    rn  z5ReciprocalTrigonometricFunction._eval_as_leading_termc                 C   s   d|  | jd  jS r   )r  r9   r1  r  r3   r3   r4   r=    r  z/ReciprocalTrigonometricFunction._eval_is_finitec                 C   s   d|  | jd  |||S r   )r  r9   r   r=   r   r   r   r   r3   r3   r4   r     s   z-ReciprocalTrigonometricFunction._eval_nseriesrJ  r`   r  rK  )!rb   rc   rd   re   r  r   rg   rh   r  r   __annotations__r  rL  r   r  r  r  r_   r   r   r   rY  r   r   r   r   r  rF   r"  r9  r5  r=  r   r3   r3   r3   r4   r  $  s6   
 
$


r  c                   @   s   e Zd ZdZeZdZdddZdd Zdd	 Z	d
d Z
dd Zdd Zdd ZdddZdd Zdd Zeedd Zd ddZdS )!r  a  
    The secant function.

    Returns the secant of x (measured in radians).

    Explanation
    ===========

    See :class:`sin` for notes about automatic evaluation.

    Examples
    ========

    >>> from sympy import sec
    >>> from sympy.abc import x
    >>> sec(x**2).diff(x)
    2*x*tan(x**2)*sec(x**2)
    >>> sec(1).diff(x)
    0

    See Also
    ========

    sin, csc, cos, tan, cot
    asin, acsc, acos, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.14
    .. [3] https://functions.wolfram.com/ElementaryFunctions/Sec

    TNc                 C   
   |  |S ra   r_   r   r3   r3   r4   r        
z
sec.periodc                 K   s    t |d d }|d |d  S r   r  )r=   r   r   cot_half_sqr3   r3   r4   r     s   zsec._eval_rewrite_as_cotc                 K   r  r  r   r   r3   r3   r4   r     r  zsec._eval_rewrite_as_cosc                 K      t |t|t |  S ra   r   r   r3   r3   r4   r     r   zsec._eval_rewrite_as_sincosc                 K   rm  r  )r   r   r   r   r3   r3   r4   rY    rn  zsec._eval_rewrite_as_sinc                 K   rm  r  )r   r   r   r   r3   r3   r4   r     rn  zsec._eval_rewrite_as_tanc                 K      t td | ddS r   )r  r   r   r3   r3   r4   r    r   zsec._eval_rewrite_as_cscr   c                 C   s.   |dkrt | jd t| jd  S t| |r   )r   r9   r  r   r   r3   r3   r4   r     s   
z	sec.fdiffc                 K   sB   ddl m} tdtt| td |tj |  t|dfdS )Nr   r  r   rx   ro  rp  r  r3   r3   r4   r    s
   .zsec._eval_rewrite_as_besseljc                 C   r  r@   )r9   rG  r   r   r|   r}   r<  r3   r3   r4   rH    r  zsec._eval_is_complexc                 G   sX   | dk s
| d dkrt jS t|}| d }t j| td|  td|  |d|   S r  )r   rN   r   r   r   r   r   r   r   kr3   r3   r4   r     s
   .zsec.taylor_termr   c           
      C   s   ddl m} ddlm} | jd }||d }|td  t }|jr8||t  td  	|}	t
j| |	 S |t
ju rL|j|d||jrHdndd}|t
jt
jfv r[|t
jt
jS |jrc| |S | S )Nr   r   r  rx   r(  r)  r*  r   r   r  r!   r9   r   r-  r   r}   r.  r   r   rg   r/  r0  r   r   r1  r8   r  r3   r3   r4   r5    s   

zsec._eval_as_leading_termra   rJ  r  )rb   rc   rd   re   r   r  r  r   r   r   r   rY  r   r  r   r  rH  rM  r   r   r5  r3   r3   r3   r4   r    s$    #


r  c                   @   s   e Zd ZdZeZdZdddZdd Zdd	 Z	d
d Z
dd Zdd Zdd Zdd ZdddZdd Zeedd Zd ddZdS )!r  a  
    The cosecant function.

    Returns the cosecant of x (measured in radians).

    Explanation
    ===========

    See :func:`sin` for notes about automatic evaluation.

    Examples
    ========

    >>> from sympy import csc
    >>> from sympy.abc import x
    >>> csc(x**2).diff(x)
    -2*x*cot(x**2)*csc(x**2)
    >>> csc(1).diff(x)
    0

    See Also
    ========

    sin, cos, sec, tan, cot
    asin, acsc, acos, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.14
    .. [3] https://functions.wolfram.com/ElementaryFunctions/Csc

    TNc                 C   r  ra   r  r   r3   r3   r4   r   /  r  z
csc.periodc                 K   r  r  r  r   r3   r3   r4   rY  2  r  zcsc._eval_rewrite_as_sinc                 K   r  ra   r  r   r3   r3   r4   r   5  r   zcsc._eval_rewrite_as_sincosc                 K   s    t |d }d|d  d|  S r   r  r   r3   r3   r4   r   8  s   zcsc._eval_rewrite_as_cotc                 K   rm  r  )r   r   r   r   r3   r3   r4   r   <  rn  zcsc._eval_rewrite_as_cosc                 K   r  r   r  r   r3   r3   r4   r	  ?  r   zcsc._eval_rewrite_as_secc                 K   rm  r  )r   r   r   r   r3   r3   r4   r   B  rn  zcsc._eval_rewrite_as_tanc                 K   s0   ddl m} tdt dt||tj|   S )Nr   r  rx   r   r  r  r3   r3   r4   r  E  s   $zcsc._eval_rewrite_as_besseljr   c                 C   s0   |dkrt | jd  t| jd  S t| |r   )r   r9   r  r   r   r3   r3   r4   r   I  s   
z	csc.fdiffc                 C   r  r@   r  r<  r3   r3   r4   rH  O  r  zcsc._eval_is_complexc                 G   s   | dkr
dt | S | dk s| d dkrtjS t |}| d d }tj|d  d dd| d  d  td|  |d| d   td|  S r  )r   r   rN   r   r   r   r  r3   r3   r4   r   T  s   $

zcsc.taylor_termr   c           
      C   s   ddl m} ddlm} | jd }||d }|t }|jr0||t  	|}	t
j| |	 S |t
ju rD|j|d||jr@dndd}|t
jt
jfv rS|t
jt
jS |jr[| |S | S )Nr   r   r  r(  r)  r*  r  r  r3   r3   r4   r5  a  s   

zcsc._eval_as_leading_termra   rJ  r  )rb   rc   rd   re   r   r  r  r   rY  r   r   r   r	  r   r  r   rH  rM  r   r   r5  r3   r3   r3   r4   r    s$    #

r  c                   @   s\   e Zd ZdZejfZdddZedd Z	ddd	Z
d
d Zdd Zdd Zdd ZeZdS )r
  a  
    Represents an unnormalized sinc function:

    .. math::

        \operatorname{sinc}(x) =
        \begin{cases}
          \frac{\sin x}{x} & \qquad x \neq 0 \\
          1 & \qquad x = 0
        \end{cases}

    Examples
    ========

    >>> from sympy import sinc, oo, jn
    >>> from sympy.abc import x
    >>> sinc(x)
    sinc(x)

    * Automated Evaluation

    >>> sinc(0)
    1
    >>> sinc(oo)
    0

    * Differentiation

    >>> sinc(x).diff()
    cos(x)/x - sin(x)/x**2

    * Series Expansion

    >>> sinc(x).series()
    1 - x**2/6 + x**4/120 + O(x**6)

    * As zero'th order spherical Bessel Function

    >>> sinc(x).rewrite(jn)
    jn(0, x)

    See also
    ========

    sin

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Sinc_function

    r   c                 C   s8   | j d }|dkrt|| t||d   S t| |r  )r9   r   r   r   )r=   r   r   r3   r3   r4   r     s   

z
sinc.fdiffc                 C   s   |j rtjS |jr|tjtjfv rtjS |tju rtjS |tju r$tjS |	 r-| | S t
|}|d urQ|jrBt|j r@tjS d S d| jrStj|tj  | S d S d S r   )r;   r   r   r   r   r   rN   r   rg   r   rB   r}   r   r   r|   )r   r   rC   r3   r3   r4   r     s*   




z	sinc.evalr   c                 C   s    | j d }t|| |||S r  )r9   r   r   r  r3   r3   r4   r     s   
zsinc._eval_nseriesc                 K   s   ddl m} |d|S )Nr   )jn)r  r  )r=   r   r   r  r3   r3   r4   _eval_rewrite_as_jn  s   
zsinc._eval_rewrite_as_jnc                 K   s&   t t|| t|tjftjtjfS ra   )r(   r   r   r   rN   r   truer   r3   r3   r4   rY       &zsinc._eval_rewrite_as_sinc                 C   sP   | j d jrdS t| j d \}}|jrt|j|jgS |jr$|jr&dS d S d S )Nr   TF)r9   is_infiniter   r;   r   r}   
is_nonzeror   r@  r3   r3   r4   rC    s   zsinc._eval_is_zeroc                 C   rE  r7  )r9   rL   r  r  r3   r3   r4   r    s   zsinc._eval_is_realNrJ  rK  )rb   rc   rd   re   r   rg   rh   r   rL  r   r   r  rY  rC  r  r=  r3   r3   r3   r4   r
  q  s    4


	r
  c                   @   sT   e Zd ZdZejejejejfZ	e
edd Ze
edd Ze
edd ZdS )	InverseTrigonometricFunctionz/Base class for inverse trigonometric functions.c                   C   sB  i t dd td t dd td dt d td t dt d d td t dt dt d  d td t dt d d ttdd t dt dt d  d ttdd tjtd t dt d d td t tjt dd  td t dt d d ttdd t tjt dd  ttdd t dd d td dt d d t d t dd d ttdd t dd t dd  td	 t d d t dd  t d	 t dd t d td	 dt d t d t d	 t dd t dd  ttdd	 dt d t d ttdd	 iS )
Nri   rx   rj   r   rk   rn   rl   rm   rs   )r%   r   r   r   r|   r3   r3   r3   r4   _asin_table  sP    &
	
  "z(InverseTrigonometricFunction._asin_tablec                   C   s  t dd td dt d td t dtd t dd td dt d t d dt d ttdd t ddt d  td t ddt d  ttdd t ddt d d  td t ddt d d  ttdd dt d td d	t d t d dt d ttdd iS )
Nri   rl   r   rx   rn   rk   rm   rs   r   r%   r   r   r3   r3   r3   r4   _atan_table  s   "z(InverseTrigonometricFunction._atan_tablec                   C   s  i dt d d td t dtd t ddt d d  td dt tddt dd   td t ddt d d  ttdd dt tddt dd   ttdd dtd t ddt d  td dt dt d  td t ddt d  ttdd dt dt d  ttdd dt d td t dd ttdd t dd  ttd	d t dt d td
 t dt d ttdd
 t dt d  ttdd
 S )Nrx   ri   rj   rk   r   rn   rl   rm   rs   r  r3   r3   r3   r4   _acsc_table$  sF   ""(	
z(InverseTrigonometricFunction._acsc_tableN)rb   rc   rd   re   r   r   r   rN   rg   rh   rM  r   r  r  r  r3   r3   r3   r4   r    s    r  c                   @   s   e Zd ZdZd%ddZdd Zdd Zd	d
 Zedd Z	e
edd Zd&ddZd'ddZdd Zdd Zdd ZeZdd Zdd Zdd  Zd!d" Zd%d#d$ZdS )(r   ad  
    The inverse sine function.

    Returns the arcsine of x in radians.

    Explanation
    ===========

    ``asin(x)`` will evaluate automatically in the cases
    $x \in \{\infty, -\infty, 0, 1, -1\}$ and for some instances when the
    result is a rational multiple of $\pi$ (see the ``eval`` class method).

    A purely imaginary argument will lead to an asinh expression.

    Examples
    ========

    >>> from sympy import asin, oo
    >>> asin(1)
    pi/2
    >>> asin(-1)
    -pi/2
    >>> asin(-oo)
    oo*I
    >>> asin(oo)
    -oo*I

    See Also
    ========

    sin, csc, cos, sec, tan, cot
    acsc, acos, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Inverse_trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.23
    .. [3] https://functions.wolfram.com/ElementaryFunctions/ArcSin

    r   c                 C   s,   |dkrdt d| jd d   S t| |Nr   r   rx   r%   r9   r   r   r3   r3   r4   r   i     
z
asin.fdiffc                 C   2   | j | j }|j | j kr|jd jrdS d S |jS r7   r8   r9   r:   r<   r3   r3   r4   r?   o     zasin._eval_is_rationalc                 C      |   o	| jd jS r  )r9  r9   is_positiver  r3   r3   r4   _eval_is_positivew  r   zasin._eval_is_positivec                 C   r  r  )r9  r9   r0  r  r3   r3   r4   _eval_is_negativez  r   zasin._eval_is_negativec                 C   s  |j r:|tju rtjS |tju rtjtj S |tju r!tjtj S |jr'tjS |tju r0t	d S |tj
u r:t	 d S |tju rBtjS | rL| |  S |jr[|  }||v r[|| S t|}|d urpddlm} tj|| S |jrvtjS t|tr|jd }|jr|dt	 ; }|t	krt	| }|t	d krt	| }|t	 d k rt	 | }|S t|tr|jd }|jrt	d t| S d S d S )Nrx   r   )asinh)r   r   r   r   r   r2   r;   rN   r   r   r   rg   r   	is_numberr  r5   r   r   r0   r   r9   is_comparabler   r   )r   r   
asin_tabler   r   angr3   r3   r4   r   }  sX   











z	asin.evalc                 G   s   | dk s
| d dkrt jS t|}t|dkr1| dkr1|d }|| d d  | | d   |d  S | d d }tt j|}t|}|| ||   |  S r   )r   rN   r   r   r   r|   r   r   r   r   r   r  Rr  r3   r3   r4   r     s   $zasin.taylor_termNr   c                 C   s   | j d }||d }|tju r| ||S |jr"||S |tj tjtj	fv r:| 
tj|||d S d|d  jry|||rH|nd}t|jr\|jr[t | | S nt|jrl|jrkt| | S n| 
tj|||d S | |S Nr   r   r   r   rx   )r9   r   r-  r   r   r8   r.  r;   r   rg   r   r"   r5  rM   r0  r+  r    r   r  r=   r   r   r   r   r3  ndirr3   r3   r4   r5    s(   





zasin._eval_as_leading_termc                 C   s  ddl m} | jd |d}|tju rtddd}ttj|d  t	
|dd| }tj| jd  }	|	|}
|	|
 |
 }||dsX|dkrN|dS td |t| S ttj| j|||d}| t|
  }| ||  ||| | S |tju rtddd}ttj|d  t	
|dd| }tj| jd  }	|	|}
|	|
 |
 }||ds|dkr|dS t d |t| S ttj| j|||d}| t|
  }| ||  ||| | S tj| |||d}|tju r|S d|d  jrJ| jd ||r|nd}t|jr.|jr,t | S |S t|jr>|jr<t| S |S | t	j||||d	S |S 
Nr   Or  Tpositiverx   r   r  r  )sympy.series.orderr  r9   r   r   r   r   r   r   r"   nseriesr.  is_meromorphicr   r%   r   removeOrM   powsimpr   r   rg   r0  r+  r    r  r=   r   r   r   r   r  arg0r  serarg1r[   r\   res1resr
  r3   r3   r4   r     sN   
&
$&
&
&&
zasin._eval_nseriesc                 K      t d t| S r   r   r   r  r3   r3   r4   _eval_rewrite_as_acos	  r   zasin._eval_rewrite_as_acosc                 K   s    dt |dtd|d     S r   )r   r%   r  r3   r3   r4   _eval_rewrite_as_atan	  r   zasin._eval_rewrite_as_atanc                 K   s&   t j tt j| td|d    S ru  r   r2   r"   r%   r  r3   r3   r4   _eval_rewrite_as_log	  r  zasin._eval_rewrite_as_logc                 K   s    dt dtd|d   |  S r   )r   r%   r   r3   r3   r4   _eval_rewrite_as_acot	  r   zasin._eval_rewrite_as_acotc                 K      t d td|  S r   r   r   r   r3   r3   r4   _eval_rewrite_as_asec	  r   zasin._eval_rewrite_as_asecc                 K      t d| S r  )r   r   r3   r3   r4   _eval_rewrite_as_acsc	  r  zasin._eval_rewrite_as_acscc                 C      | j d }|jodt| jS Nr   r   r9   rL   rV   is_nonnegativer=   r   r3   r3   r4   r9  	     
zasin._eval_is_extended_realc                 C   rv  rw  r  r   r3   r3   r4   ry   	  rz  zasin.inverserJ  r  rK  )rb   rc   rd   re   r   r?   r  r  rL  r   rM  r   r   r5  r   r  r  r   _eval_rewrite_as_tractabler!  r$  r&  r9  ry  r3   r3   r3   r4   r   >  s,    
*
6

,r   c                   @   s   e Zd ZdZd%ddZdd Zedd Zee	d	d
 Z
d&ddZdd Zdd Zd'ddZdd ZeZdd Zdd Zd%ddZdd Zdd  Zd!d" Zd#d$ ZdS )(r   a  
    The inverse cosine function.

    Explanation
    ===========

    Returns the arc cosine of x (measured in radians).

    ``acos(x)`` will evaluate automatically in the cases
    $x \in \{\infty, -\infty, 0, 1, -1\}$ and for some instances when
    the result is a rational multiple of $\pi$ (see the eval class method).

    ``acos(zoo)`` evaluates to ``zoo``
    (see note in :class:`sympy.functions.elementary.trigonometric.asec`)

    A purely imaginary argument will be rewritten to asinh.

    Examples
    ========

    >>> from sympy import acos, oo
    >>> acos(1)
    0
    >>> acos(0)
    pi/2
    >>> acos(oo)
    oo*I

    See Also
    ========

    sin, csc, cos, sec, tan, cot
    asin, acsc, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Inverse_trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.23
    .. [3] https://functions.wolfram.com/ElementaryFunctions/ArcCos

    r   c                 C   s,   |dkrdt d| jd d   S t| |Nr   r   r   rx   r  r   r3   r3   r4   r   S	  r  z
acos.fdiffc                 C   r  r7   r  r<   r3   r3   r4   r?   Y	  r  zacos._eval_is_rationalc                 C   sP  |j r7|tju rtjS |tju rtjtj S |tju r!tjtj S |jr(td S |tju r0tj	S |tj
u r7tS |tju r?tjS |jr`|  }||v rRtd ||  S | |v r`td ||   S t|}|d urptd t| S t|tr|jd }|jr|dt ; }|tkrdt | }|S t|tr|jd }|jrtd t| S d S d S Nrx   r   )r   r   r   r   r2   r   r;   r   r   rN   r   rg   r  r  r5   r   r0   r   r9   r  r   )r   r   r  r   r  r3   r3   r4   r   a	  sJ   










z	acos.evalc                 G   s   | dkrt d S | dk s| d dkrtjS t|}t|dkr9| dkr9|d }|| d d  | | d   |d  S | d d }ttj|}t|}| | ||   |  S r   )r   r   rN   r   r   r   r|   r   r  r3   r3   r4   r   	  s   $zacos.taylor_termNr   c                 C   s  | j d }||d }|tju r| ||S |dkr,tdttj| | S |tj tj	fv r@| 
tj|||dS d|d  jr|||rN|nd}t|jrc|jrbdt | | S nt|jrr|jrq| | S n| 
tj|||d S | |S Nr   r   rx   r  )r9   r   r-  r   r   r8   r.  r%   r   rg   r   r"   r5  r0  r+  r    r   r  rM   r	  r3   r3   r4   r5  	  s(   




zacos._eval_as_leading_termc                 C   r'  r(  r)  r+  r3   r3   r4   r9  	  r,  zacos._eval_is_extended_realc                 C   s   |   S ra   )r9  r  r3   r3   r4   _eval_is_nonnegative	  s   zacos._eval_is_nonnegativec                 C   s  ddl m} | jd |d}|tju r~tddd}ttj|d  t	
|dd| }tj| jd  }	|	|}
|	|
 |
 }||dsT|dkrN|dS |t|S ttj| j|||d}| t|
  }| ||  ||| | S |tju rtddd}ttj|d  t	
|dd| }tj| jd  }	|	|}
|	|
 |
 }||ds|dkr|dS t|t| S ttj| j|||d}| t|
  }| ||  ||| | S tj| |||d}|tju r|S d|d  jrB| jd ||r|nd}t|jr'|jr%dt | S |S t|jr6|jr4| S |S | t	j||||d	S |S r  )r  r  r9   r   r   r   r   r   r   r"   r  r.  r  r%   r   r  rM   r  r   r   r   rg   r0  r+  r    r  r  r3   r3   r4   r   	  sN   
&
&
&
 &
zacos._eval_nseriesc                 K   s,   t d tjttj| td|d     S r   r   r   r2   r"   r%   r  r3   r3   r4   r   	  s   
zacos._eval_rewrite_as_logc                 K   r  r   r   r   r  r3   r3   r4   _eval_rewrite_as_asin	  r   zacos._eval_rewrite_as_asinc                 K   s8   t td|d  | td d|td|d      S ru  )r   r%   r   r  r3   r3   r4   r  	     8zacos._eval_rewrite_as_atanc                 C   rv  rw  r  r   r3   r3   r4   ry  	  rz  zacos.inversec                 K   s(   t d dtdtd|d   |   S r   )r   r   r%   r   r3   r3   r4   r!  	     (zacos._eval_rewrite_as_acotc                 K   r%  r  )r   r   r3   r3   r4   r$  	  r  zacos._eval_rewrite_as_asecc                 K   r"  r   r   r   r   r3   r3   r4   r&  
  r   zacos._eval_rewrite_as_acscc                 C   sV   | j d }| | j d  }|jdu r|S |jr%|d jr'|d jr)|S d S d S d S Nr   Fr   )r9   r8   r  rL   r*  is_nonpositive)r=   r`  rr3   r3   r4   r  
  s   

zacos._eval_conjugaterJ  r  rK  )rb   rc   rd   re   r   r?   rL  r   rM  r   r   r5  r9  r1  r   r   r-  r4  r  ry  r!  r$  r&  r  r3   r3   r3   r4   r   '	  s,    
+
+

,
r   c                       s   e Zd ZU dZee ed< ejej fZ	d*ddZ
dd Zdd	 Zd
d Zdd Zdd Zedd Zeedd Zd+ddZd,ddZdd ZeZ fddZd*ddZd d! Zd"d# Zd$d% Zd&d' Zd(d) Z  Z S )-r   a  
    The inverse tangent function.

    Returns the arc tangent of x (measured in radians).

    Explanation
    ===========

    ``atan(x)`` will evaluate automatically in the cases
    $x \in \{\infty, -\infty, 0, 1, -1\}$ and for some instances when the
    result is a rational multiple of $\pi$ (see the eval class method).

    Examples
    ========

    >>> from sympy import atan, oo
    >>> atan(0)
    0
    >>> atan(1)
    pi/4
    >>> atan(oo)
    pi/2

    See Also
    ========

    sin, csc, cos, sec, tan, cot
    asin, acsc, acos, asec, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Inverse_trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.23
    .. [3] https://functions.wolfram.com/ElementaryFunctions/ArcTan

    r9   r   c                 C   s(   |dkrdd| j d d   S t| |r  r9   r   r   r3   r3   r4   r   8
     
z
atan.fdiffc                 C   r  r7   r  r<   r3   r3   r4   r?   >
  r  zatan._eval_is_rationalc                 C   r  r  )r9   is_extended_positiver  r3   r3   r4   r  F
  r  zatan._eval_is_positivec                 C   r  r  )r9   is_extended_nonnegativer  r3   r3   r4   r1  I
  r  zatan._eval_is_nonnegativec                 C   r  r  )r9   r;   r  r3   r3   r4   rC  L
  r  zatan._eval_is_zeroc                 C   r  r  r8  r  r3   r3   r4   r  O
  r  zatan._eval_is_realc                 C   s  |j r7|tju rtjS |tju rtd S |tju rt d S |jr$tjS |tju r-td S |tj	u r7t d S |tj
u rLddlm} |t d td S | rV| |  S |jre|  }||v re|| S t|}|d urzddlm} tj|| S |jrtjS t|tr|jd }|jr|t; }|td kr|t8 }|S t|tr|jd }|jrtd t| }|td kr|t8 }|S d S d S )Nrx   rj   r   r   )atanh)r   r   r   r   r   r   r;   rN   r   r   rg   r   r   r   r  r  r5   r   r?  r2   r0   r   r9   r  r   r   )r   r   r   
atan_tabler   r?  r  r3   r3   r4   r   R
  sX   











z	atan.evalc                 G   s@   | dk s
| d dkrt jS t|}t j| d d  ||   |  S r  )r   rN   r   r   r   r   r   r3   r3   r4   r   
  s   zatan.taylor_termNr   c                 C   s  | j d }||d }|tju r| ||S |jr"||S |tj tjtj	fv r:| 
tj|||d S d|d  jr||||rH|nd}t|jr]t|jr\| |t S nt|jrot|jrn| |t S n| 
tj|||d S | |S r  )r9   r   r-  r   r   r8   r.  r;   r2   rg   r   r"   r5  rM   r0  r+  r!   r    r  r   r	  r3   r3   r4   r5  
  s(   







zatan._eval_as_leading_termc                 C   s   | j d |d}|tjtjtj fv r | tj||||dS tj| |||d}| j d 	||r3|nd}|tj
u rGt|dkrE|t S |S d|d  jrzt|jr^t|jr\|t S |S t|jrnt|jrl|t S |S | tj||||dS |S Nr   r  r  r   rx   )r9   r   r   r2   r   r   r"   r   r   r+  rg   r!   r   r0  r    r  r=   r   r   r   r   r  r  r
  r3   r3   r4   r   
  s(   




zatan._eval_nseriesc                 K   s2   t jd tt jt j|  tt jt j|    S r   )r   r2   r"   r   r  r3   r3   r4   r   
  s   zatan._eval_rewrite_as_logc                    sJ   |d t jt jfv rtd td| jd   |||S t ||||S r  )	r   r   r   r   r   r9   r   super_eval_aseriesr=   r   args0r   r   	__class__r3   r4   rE  
  s   $zatan._eval_aseriesc                 C   rv  rw  r  r   r3   r3   r4   ry  
  rz  zatan.inversec                 K   s0   t |d | td tdt d|d     S r   r%   r   r   r   r3   r3   r4   r4  
     0zatan._eval_rewrite_as_asinc                 K   s(   t |d | tdt d|d    S r   r%   r   r   r3   r3   r4   r  
  r6  zatan._eval_rewrite_as_acosc                 K   r%  r  r  r   r3   r3   r4   r!  
  r  zatan._eval_rewrite_as_acotc                 K   s$   t |d | tt d|d   S r   r%   r   r   r3   r3   r4   r$  
  s   $zatan._eval_rewrite_as_asecc                 K   s,   t |d | td tt d|d    S r   r%   r   r   r   r3   r3   r4   r&  
     ,zatan._eval_rewrite_as_acscrJ  r  rK  )!rb   rc   rd   re   tTupler   r  r   r2   rh   r   r?   r  r1  rC  r  rL  r   rM  r   r   r5  r   r   r-  rE  ry  r4  r  r!  r$  r&  __classcell__r3   r3   rH  r4   r   
  s4   
 &

4


r   c                       s   e Zd ZdZejej fZd'ddZdd Zdd Z	d	d
 Z
dd Zedd Zeedd Zd(ddZd)ddZ fddZdd ZeZd'ddZdd Zdd  Zd!d" Zd#d$ Zd%d& Z  ZS )*r   a  
    The inverse cotangent function.

    Returns the arc cotangent of x (measured in radians).

    Explanation
    ===========

    ``acot(x)`` will evaluate automatically in the cases
    $x \in \{\infty, -\infty, \tilde{\infty}, 0, 1, -1\}$
    and for some instances when the result is a rational multiple of $\pi$
    (see the eval class method).

    A purely imaginary argument will lead to an ``acoth`` expression.

    ``acot(x)`` has a branch cut along $(-i, i)$, hence it is discontinuous
    at 0. Its range for real $x$ is $(-\frac{\pi}{2}, \frac{\pi}{2}]$.

    Examples
    ========

    >>> from sympy import acot, sqrt
    >>> acot(0)
    pi/2
    >>> acot(1)
    pi/4
    >>> acot(sqrt(3) - 2)
    -5*pi/12

    See Also
    ========

    sin, csc, cos, sec, tan, cot
    asin, acsc, acos, asec, atan, atan2

    References
    ==========

    .. [1] https://dlmf.nist.gov/4.23
    .. [2] https://functions.wolfram.com/ElementaryFunctions/ArcCot

    r   c                 C   s(   |dkrdd| j d d   S t| |r.  r;  r   r3   r3   r4   r     r<  z
acot.fdiffc                 C   r  r7   r  r<   r3   r3   r4   r?     r  zacot._eval_is_rationalc                 C   r  r  )r9   r*  r  r3   r3   r4   r    r  zacot._eval_is_positivec                 C   r  r  )r9   r0  r  r3   r3   r4   r     r  zacot._eval_is_negativec                 C   r  r  r8  r  r3   r3   r4   r9  #  r  zacot._eval_is_extended_realc                 C   s  |j r5|tju rtjS |tju rtjS |tju rtjS |jr"td S |tju r+td S |tj	u r5t d S |tj
u r=tjS | rG| |  S |jrf|  }||v rftd ||  }|td krd|t8 }|S t|}|d ur|ddlm} tj || S |jrttj S t|tr|jd }|jr|t; }|td kr|t8 }|S t|tr|jd }|jrtd t| }|td kr|t8 }|S d S d S )Nrx   rj   r   )acoth)r   r   r   r   rN   r   r;   r   r   r   rg   r   r  r  r5   r   rR  r2   r|   r0   r   r9   r  r   r   )r   r   r@  r  r   rR  r3   r3   r4   r   &  s\   











z	acot.evalc                 G   sP   | dkrt d S | dk s| d dkrtjS t|}tj| d d  ||   |  S r  )r   r   rN   r   r   rA  r3   r3   r4   r   \  s   zacot.taylor_termNr   c                 C   s  | j d }||d }|tju r| ||S |tju r&d| |S |tj tjtj	fv r>| 
tj|||d S |jrd|d  jr|||rO|nd}t|jrdt|jrc| |t S nt|jrvt|jru| |t S n| 
tj|||d S | |S )Nr   r   r  rx   )r9   r   r-  r   r   r8   r.  rg   r2   rN   r   r"   r5  rM   r  r  r+  r!   r    r   r0  r	  r3   r3   r4   r5  g  s(   







zacot._eval_as_leading_termc                 C   s  | j d |d}|tjtjtj fv r | tj||||dS tj| |||d}|tj	u r0|S | j d 
||r:|nd}|jrLt|dk rJ|t S |S |jrd|d  jrt|jrft|jrd|t S |S t|jrvt|jrt|t S |S | tj||||dS |S rB  )r9   r   r   r2   r   r   r"   r   r   rg   r+  r;   r!   r   r  r  r    r0  rC  r3   r3   r4   r   ~  s,   




zacot._eval_nseriesc                    sB   |d t jt jfv rtd| jd  |||S t ||||S r(  )r   r   r   r   r9   r   rD  rE  rF  rH  r3   r4   rE    s   zacot._eval_aseriesc                 K   s.   t jd tdt j|  tdt j|    S r   )r   r2   r"   r  r3   r3   r4   r     s   zacot._eval_rewrite_as_logc                 C   rv  rw  r  r   r3   r3   r4   ry    rz  zacot.inversec                 K   s@   |t d|d   td tt |d  t |d  d    S ru  rJ  r   r3   r3   r4   r4    s   *zacot._eval_rewrite_as_asinc                 K   s8   |t d|d   tt |d  t |d  d   S ru  rL  r   r3   r3   r4   r    r5  zacot._eval_rewrite_as_acosc                 K   r%  r  rx  r   r3   r3   r4   r    r  zacot._eval_rewrite_as_atanc                 K   s0   |t d|d   tt d|d  |d   S ru  rM  r   r3   r3   r4   r$    rK  zacot._eval_rewrite_as_asecc                 K   s8   |t d|d   td tt d|d  |d    S ru  rN  r   r3   r3   r4   r&    r5  zacot._eval_rewrite_as_acscrJ  r  rK  )rb   rc   rd   re   r   r2   rh   r   r?   r  r  r9  rL  r   rM  r   r   r5  r   rE  r   r-  ry  r4  r  r  r$  r&  rQ  r3   r3   rH  r4   r   
  s0    *

5
	

r   c                   @   s   e Zd ZdZedd ZdddZdddZee	d	d
 Z
d ddZd!ddZdd Zdd ZeZdd Zdd Zdd Zdd Zdd ZdS )"r   a  
    The inverse secant function.

    Returns the arc secant of x (measured in radians).

    Explanation
    ===========

    ``asec(x)`` will evaluate automatically in the cases
    $x \in \{\infty, -\infty, 0, 1, -1\}$ and for some instances when the
    result is a rational multiple of $\pi$ (see the eval class method).

    ``asec(x)`` has branch cut in the interval $[-1, 1]$. For complex arguments,
    it can be defined [4]_ as

    .. math::
        \operatorname{sec^{-1}}(z) = -i\frac{\log\left(\sqrt{1 - z^2} + 1\right)}{z}

    At ``x = 0``, for positive branch cut, the limit evaluates to ``zoo``. For
    negative branch cut, the limit

    .. math::
        \lim_{z \to 0}-i\frac{\log\left(-\sqrt{1 - z^2} + 1\right)}{z}

    simplifies to :math:`-i\log\left(z/2 + O\left(z^3\right)\right)` which
    ultimately evaluates to ``zoo``.

    As ``acos(x) = asec(1/x)``, a similar argument can be given for
    ``acos(x)``.

    Examples
    ========

    >>> from sympy import asec, oo
    >>> asec(1)
    0
    >>> asec(-1)
    pi
    >>> asec(0)
    zoo
    >>> asec(-oo)
    pi/2

    See Also
    ========

    sin, csc, cos, sec, tan, cot
    asin, acsc, acos, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Inverse_trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.23
    .. [3] https://functions.wolfram.com/ElementaryFunctions/ArcSec
    .. [4] https://reference.wolfram.com/language/ref/ArcSec.html

    c                 C   s  |j rtjS |jr |tju rtjS |tju rtjS |tju r tS |tj	tj
tjfv r.td S |jrO|  }||v rAtd ||  S | |v rOtd ||   S |jrVtd S t|tru|jd }|jru|dt ; }|tkrsdt | }|S t|tr|jd }|jrtd t| S d S d S r/  )r;   r   rg   r   r   r   rN   r   r   r   r   r  r  r  r0   r  r9   r  r  r   r   r   
acsc_tabler  r3   r3   r4   r     s@   







z	asec.evalr   c                 C   s>   |dkrd| j d d tdd| j d d     S t| |r  r9   r%   r   r   r3   r3   r4   r        ,
z
asec.fdiffc                 C   rv  rw  rl  r   r3   r3   r4   ry  $  rz  zasec.inversec                 G   s   | dkrt jtd|  S | dk s| d dkrt jS t|}t|dkrB| dkrB|d }|| d | d   |d  d| d d   S | d }tt j||  }t||  d |  d }t j | | ||   d S Nr   rx   r   r   rj   )	r   r2   r"   rN   r   r   r   r|   r   r  r3   r3   r4   r   *  s   ,zasec.taylor_termNr   c                 C   s  | j d }||d }|tju r| ||S |dkr,tdt|tj | S |tj tj	fv r@| 
tj|||dS |jrd|d  jr|||rQ|nd}t|jrc|jrb| | S nt|jru|jrtdt | | S n| 
tj|||d S | |S r0  )r9   r   r-  r   r   r8   r.  r%   r   rN   r   r"   r5  r  r  r+  r    r0  r   rM   r	  r3   r3   r4   r5  <  s(   




zasec._eval_as_leading_termc                 C   s6  ddl m} | jd |d}|tju rjtddd}ttj|d  t	
|dd| }tj| jd  }	|	|}
|	|
 |
 }ttj| j|||d}| t|
  }| ||  ||| | S |tju rtddd}ttj|d  t	
|dd| }tj| jd  }	|	|}
|	|
 |
 }ttj| j|||d}| t|
  }| ||  ||| | S tj| |||d}|tju r|S |jrd|d  jr| jd ||r|nd}t|jr|jr| S |S t|jr|jrdt | S |S | t	j||||d	S |S 
Nr   r  r  Tr  rx   r  r   r  )r  r  r9   r   r   r   r   r   r   r"   r  r   r.  r%   r   r  rM   r  r   rg   r  r  r+  r    r0  r   r  r3   r3   r4   r   S  sF   
&
&
&
&

zasec._eval_nseriesc                 C   s2   | j d }|jdu rdS t|d j| d jfS r8  )r9   rL   r   r*  r+  r3   r3   r4   r9  {  s   

zasec._eval_is_extended_realc              	   K   s0   t d tjttj| tdd|d      S r   r2  r   r3   r3   r4   r     rK  zasec._eval_rewrite_as_logc                 K   r"  r   r3  r   r3   r3   r4   r4    r   zasec._eval_rewrite_as_asinc                 K   r%  r  )r   r   r3   r3   r4   r    r  zasec._eval_rewrite_as_acosc                 K   s8   t |d | }td d|  |tt |d d   S r   r%   r   r   r=   r   r   sx2xr3   r3   r4   r    s   (zasec._eval_rewrite_as_atanc                 K   s<   t |d | }td d|  |tdt |d d    S r   r%   r   r   rZ  r3   r3   r4   r!    s   ,zasec._eval_rewrite_as_acotc                 K   r  r   r7  r   r3   r3   r4   r&    r   zasec._eval_rewrite_as_acscrJ  r  rK  )rb   rc   rd   re   rL  r   r   ry  rM  r   r   r5  r   r9  r   r-  r4  r  r  r!  r&  r3   r3   r3   r4   r     s&    ;

%


(r   c                   @   s   e Zd ZdZedd ZdddZdddZee	d	d
 Z
dddZdddZdd ZeZdd Zdd Zdd Zdd Zdd ZdS ) r   aV  
    The inverse cosecant function.

    Returns the arc cosecant of x (measured in radians).

    Explanation
    ===========

    ``acsc(x)`` will evaluate automatically in the cases
    $x \in \{\infty, -\infty, 0, 1, -1\}$` and for some instances when the
    result is a rational multiple of $\pi$ (see the ``eval`` class method).

    Examples
    ========

    >>> from sympy import acsc, oo
    >>> acsc(1)
    pi/2
    >>> acsc(-1)
    -pi/2
    >>> acsc(oo)
    0
    >>> acsc(-oo) == acsc(oo)
    True
    >>> acsc(0)
    zoo

    See Also
    ========

    sin, csc, cos, sec, tan, cot
    asin, acos, asec, atan, acot, atan2

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Inverse_trigonometric_functions
    .. [2] https://dlmf.nist.gov/4.23
    .. [3] https://functions.wolfram.com/ElementaryFunctions/ArcCsc

    c                 C   s8  |j rtjS |jr$|tju rtjS |tju rtd S |tju r$t d S |tjtj	tjfv r1tj
S | r;| |  S |jrAtj
S |jrP|  }||v rP|| S t|tr|jd }|jr|dt ; }|tkrkt| }|td krut| }|t d k rt | }|S t|tr|jd }|jrtd t| S d S d S r/  )r;   r   rg   r   r   r   r   r   r   r   rN   r   r  r  r  r0   r  r9   r  r  r   rS  r3   r3   r4   r     sH   








z	acsc.evalr   c                 C   s>   |dkrd| j d d tdd| j d d     S t| |r.  rU  r   r3   r3   r4   r     rV  z
acsc.fdiffc                 C   rv  rw  r  r   r3   r3   r4   ry    rz  zacsc.inversec                 G   s   | dkrt d tjtd  tjt|  S | dk s | d dkr#tjS t|}t|dkrK| dkrK|d }|| d | d   |d  d| d d   S | d }ttj||  }t	||  d |  d }tj| | ||   d S rW  )
r   r   r2   r"   rN   r   r   r   r|   r   r  r3   r3   r4   r     s   $,zacsc.taylor_termNr   c                 C   s
  | j d }||d }|tju r| ||S |tj tjtjfv r2| 	t
j|||d S |tju r>d| |S |jrd|d  jr|||rO|nd}t|jrb|jrat| | S nt|jrs|jrrt | | S n| 	t
j|||d S | |S r  )r9   r   r-  r   r   r8   r.  r   rN   r   r"   r5  rM   rg   r  r  r+  r    r0  r   r	  r3   r3   r4   r5    s(   





zacsc._eval_as_leading_termc                 C   s6  ddl m} | jd |d}|tju rjtddd}ttj|d  t	
|dd| }tj| jd  }	|	|}
|	|
 |
 }ttj| j|||d}| t|
  }| ||  ||| | S |tju rtddd}ttj|d  t	
|dd| }tj| jd  }	|	|}
|	|
 |
 }ttj| j|||d}| t|
  }| ||  ||| | S tj| |||d}|tju r|S |jrd|d  jr| jd ||r|nd}t|jr|jrt| S |S t|jr|jrt | S |S | t	j||||d	S |S rX  )r  r  r9   r   r   r   r   r   r   r"   r  r   r.  r%   r   r  rM   r  r   rg   r  r  r+  r    r0  r   r  r3   r3   r4   r   %  sF   
&
&
&
&


zacsc._eval_nseriesc                 K   s*   t j tt j| tdd|d     S ru  r  r   r3   r3   r4   r   M  s   *zacsc._eval_rewrite_as_logc                 K   r%  r  )r   r   r3   r3   r4   r4  R  r  zacsc._eval_rewrite_as_asinc                 K   r"  r   r  r   r3   r3   r4   r  U  r   zacsc._eval_rewrite_as_acosc                 K   s,   t |d | td tt |d d   S r   rY  r  r3   r3   r4   r  X  rO  zacsc._eval_rewrite_as_atanc                 K   s0   t |d | td tdt |d d    S r   r\  r   r3   r3   r4   r!  [  rK  zacsc._eval_rewrite_as_acotc                 K   r  r   r#  r   r3   r3   r4   r$  ^  r   zacsc._eval_rewrite_as_asecrJ  r  rK  )rb   rc   rd   re   rL  r   r   ry  rM  r   r   r5  r   r   r-  r4  r  r  r!  r$  r3   r3   r3   r4   r     s$    *

,


(r   c                       s\   e Zd ZdZedd Zdd Zdd Zdd	 Zd
d Z	dd Z
dd Z fddZ  ZS )r   a
  
    The function ``atan2(y, x)`` computes `\operatorname{atan}(y/x)` taking
    two arguments `y` and `x`.  Signs of both `y` and `x` are considered to
    determine the appropriate quadrant of `\operatorname{atan}(y/x)`.
    The range is `(-\pi, \pi]`. The complete definition reads as follows:

    .. math::

        \operatorname{atan2}(y, x) =
        \begin{cases}
          \arctan\left(\frac y x\right) & \qquad x > 0 \\
          \arctan\left(\frac y x\right) + \pi& \qquad y \ge 0, x < 0 \\
          \arctan\left(\frac y x\right) - \pi& \qquad y < 0, x < 0 \\
          +\frac{\pi}{2} & \qquad y > 0, x = 0 \\
          -\frac{\pi}{2} & \qquad y < 0, x = 0 \\
          \text{undefined} & \qquad y = 0, x = 0
        \end{cases}

    Attention: Note the role reversal of both arguments. The `y`-coordinate
    is the first argument and the `x`-coordinate the second.

    If either `x` or `y` is complex:

    .. math::

        \operatorname{atan2}(y, x) =
            -i\log\left(\frac{x + iy}{\sqrt{x^2 + y^2}}\right)

    Examples
    ========

    Going counter-clock wise around the origin we find the
    following angles:

    >>> from sympy import atan2
    >>> atan2(0, 1)
    0
    >>> atan2(1, 1)
    pi/4
    >>> atan2(1, 0)
    pi/2
    >>> atan2(1, -1)
    3*pi/4
    >>> atan2(0, -1)
    pi
    >>> atan2(-1, -1)
    -3*pi/4
    >>> atan2(-1, 0)
    -pi/2
    >>> atan2(-1, 1)
    -pi/4

    which are all correct. Compare this to the results of the ordinary
    `\operatorname{atan}` function for the point `(x, y) = (-1, 1)`

    >>> from sympy import atan, S
    >>> atan(S(1)/-1)
    -pi/4
    >>> atan2(1, -1)
    3*pi/4

    where only the `\operatorname{atan2}` function reurns what we expect.
    We can differentiate the function with respect to both arguments:

    >>> from sympy import diff
    >>> from sympy.abc import x, y
    >>> diff(atan2(y, x), x)
    -y/(x**2 + y**2)

    >>> diff(atan2(y, x), y)
    x/(x**2 + y**2)

    We can express the `\operatorname{atan2}` function in terms of
    complex logarithms:

    >>> from sympy import log
    >>> atan2(y, x).rewrite(log)
    -I*log((x + I*y)/sqrt(x**2 + y**2))

    and in terms of `\operatorname(atan)`:

    >>> from sympy import atan
    >>> atan2(y, x).rewrite(atan)
    Piecewise((2*atan(y/(x + sqrt(x**2 + y**2))), Ne(y, 0)), (pi, re(x) < 0), (0, Ne(x, 0)), (nan, True))

    but note that this form is undefined on the negative real axis.

    See Also
    ========

    sin, csc, cos, sec, tan, cot
    asin, acsc, acos, asec, atan, acot

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Inverse_trigonometric_functions
    .. [2] https://en.wikipedia.org/wiki/Atan2
    .. [3] https://functions.wolfram.com/ElementaryFunctions/ArcTan2

    c                 C   s  ddl m} |tju r|jrtS dt |t| t S |tju r$tjS |j	r8|j	r8|j
r8|j
r8t|}t|}|jry|jry|jrGt|| S |jra|jrUt|| t S |jr`t|| t S n|jry|jrktd S |jrst d S |jrytjS |jr|jrttj||  S |j
rttt|dk fdt|dftjdfS |j
r|j
rtj t|tj|  t|d |d    S d S d S )Nr   )	Heavisiderx   T)'sympy.functions.special.delta_functionsr]  r   r   r;   r   r!   r   rN   r  r  r    rL   r  r   r0  r*  r   is_extended_nonzeror   r(   r   r2   r"   r%   )r   r   r   r]  r3   r3   r4   r     sN   


 z
atan2.evalc                 K   s.   t j t|t j|  t|d |d    S r   r  r=   r   r   r   r3   r3   r4   r     s   .zatan2._eval_rewrite_as_logc              	   K   sT   t dt||t|d |d     t|dftt|dk fdt|dftjdfS )Nrx   r   T)r(   r   r%   r   r   r!   r   r   r`  r3   r3   r4   r    s
   .zatan2._eval_rewrite_as_atanc                 K   sj   |j r|j rt||tj  S |tj|  }|d |d  }t|t| tjtt|tt|   S r   )rL   arg_fr   r2   r%   r"   rV   )r=   r   r   r   r   r   r3   r3   r4   _eval_rewrite_as_arg  s
   .zatan2._eval_rewrite_as_argc                 C   s   | j d jo| j d jS r(  r8  r  r3   r3   r4   r9    r   zatan2._eval_is_extended_realc                 C   s    |  | jd  | jd  S r(  r  r  r3   r3   r4   r    r   zatan2._eval_conjugatec                 C   sN   | j \}}|dkr||d |d   S |dkr"| |d |d   S t| |ru  r;  )r=   r   r   r   r3   r3   r4   r     s   

zatan2.fdiffc                    s*   | j \}}|jr|jrt |S d S d S ra   )r9   rL   rD  _eval_evalf)r=   precr   r   rH  r3   r4   rc    s   
zatan2._eval_evalf)rb   rc   rd   re   rL  r   r   r  rb  r9  r  r   rc  rQ  r3   r3   rH  r4   r   b  s    f
'r   rJ  )_typingr   rP  r   tUnionsympy.core.addr   sympy.core.cacher   sympy.core.exprr   sympy.core.functionr   r   r	   r
   sympy.core.logicr   r   r   r   sympy.core.modr   sympy.core.numbersr   r   r   r   r   sympy.core.relationalr   r   sympy.core.singletonr   sympy.core.symbolr   r   sympy.core.sympifyr   (sympy.functions.combinatorial.factorialsr   r   %sympy.functions.combinatorial.numbersr   r   r  r   ra  r    r!   &sympy.functions.elementary.exponentialr"   r#   #sympy.functions.elementary.integersr$   (sympy.functions.elementary.miscellaneousr%   r&   r'   $sympy.functions.elementary.piecewiser(   1sympy.functions.elementary._trigonometric_specialr)   r*   r+   sympy.logic.boolalgr,   sympy.ntheoryr-   sympy.polys.specialpolysr.   sympy.utilities.iterablesr/   r5   r6   rw   r   r   rB   r   r   r   r   r  r  r  r
  r  r   r   r   r   r   r   r   r3   r3   r3   r4   <module>   sx    D
 %K  8  l  V  ?xli|Q j g V [ ] K