a Z>m?Z?ddl@mAZAddlBmCZCddlDmEZEmFZFmGZGddlHmIZIddlJmKZKddlLmMZMmNZNddZOddZPdddZQd d!ZRe3d"d#ZSd$d%ZTd&d'ZUd(d)ZVd*d+ZWd,d-ZXdd/d0ZYe5d1d2ZZd3d4Z[d5d6Z\d7d8Z]d9d:Z^d;d<Z_d=d>Z`d?d@ZaddAdBZbe5dCdDZcdEdFZde3dGdHZee5dIdJZfdKdLZge5dMdNZhdOdPZidQdRZjdSdTZkdUdVZldWdXZme5dYdZZnd[d\Zoe5d]d^Zpe5d_d`Zqe5dadbZre5dcddZse5dedfZte5dgdhZue5didjZvdkdlZwe5dmdnZxdodpZydqdrZze5dsdtZ{e3dudvZ|e3dwdxZ}e3dydzZ~d{d|Zd}d~ZdS)) randrange)ShiftAShiftBUnShiftAUnShiftB MeijerShiftA MeijerShiftB MeijerShiftC MeijerShiftDMeijerUnShiftAMeijerUnShiftBMeijerUnShiftCMeijerUnShiftD ReduceOrder reduce_orderapply_operators devise_planmake_derivative_operatorFormula hyperexpandHyper_Function G_Functionreduce_order_meijerbuild_hypergeometric_formula)Sum)Tuple)Expr)I)S)symbols)binomial) Piecewise)hypermeijerg)zabc)XFAILraisesslow ON_TRAVISskip)verify_numerically)Rationalpi)exp exp_polarlog)atanh)sqrt)asincossin)besseli)erf)gamma lowergammacCs tttddtjftddtddft ttd tttt dtdt t t t tdt tkszJtt tdddggtddgtddd gtdttd dt t t t tt tdttddtttd t tddt tddksJdS) Nz1/3rz2/3)rr"r.rHalfr$r;r1rr/r4r9r#r:rDrDu/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/simplify/tests/test_hyperexpand.pytest_branch_bug#s ,&.0    rFcCs ttggtttksJttddgdgt ttdtksHJttgtjgtd dttksrJtttgtdgtd dttksJtttdtdgtdgtdtt tksJt t t dttdtdt ftsJdS)NrBr>3/21/2r)rr"r$r0r2rrCr6r7r5 isinstancerr r%ZdoitrrDrDrDrEtest_hyperexpand,s,*0(rKTrBFc Cstt||t}|trdS|s&dSi}|jth}|r|t|D]\}} t|||| <qBtddt| |Ds6q|q6gd\} } } } |rgd\} } } } t t||t || t t  |t| | | | dS)NFTcss|]}|jo|dkVqdS)rN)Z is_Integer).0r&rDrDrE Ezcan_do..)r>r<r=rB)r>r=r<)r%r&r'd)rr"r$has free_symbols enumeraterandcplxanyrsubstnreplacer1r0)apbq numericaldiv lowerplanerreplZrandsymsnair%r&r'rPrDrDrEcan_do9s(   rbcCsttjgtddgsJtgdtdddgs4JttddddgddgsRJttddgtddtddtjdgs~Jttd dtddgtd ddgsJttd dgtddtjgsJttd dtddgdgsJdS) N r>rBr?rGr<r=rO)rbrrCr.rDrDrDrE test_roachPs,("rfcCsttdddgtddtjtddgs,JttddgtdddgsLJttddtjdgtddtddgsxJtgdtjdgsJttjgtddtddtddgsJdS) Nr<r>rBrGr=r?rBr>r=rO)rbr.rrCrDrDrDrEtest_roach_fail\s , ,rhcCsddlm}ttgdgt|us&Jttdgdgt|usBJttddgdgtdks`JtddttgdtgsJttdd tdtd ksJdS) Nroor<rOrBrei)r<rB)rOr>)sympy.core.numbersrjrr"r$rbrTrirDrDrEtest_polynomialgs   rlcCsttdgtgtttt dtd dtttddttttdtdksfJttddgdgtdtdtt dtdksJtttjdgt ddgtddtdt t tt tdksJtttjtjgt ddgtdtddtt t dd tdt t tdtt ddks^Jttddgt ddgtddtdt t tt tdtdt t dksJttt dddddgtjdgtt ttt d d t d dt t td tdd td d td tt dd tdksTJttdtjddgddgtdtt t ddtjtksJttdgt dgttt dtjtt ddt ttt tt ddtt dt ttt ksJdS)Nr>rBr=rOr<r?rdrGrAr@i #)rr"r%r$r0r;r2rrCr.r3r4r5r&r8r:rDrDrDrEtest_hyperexpand_basespsD8 <& ( (, $* " 0*rpcCsttttjtgtjgtdttdtddttdtdksRJttttddtgdtgtddtdt dtjddtdksJdS)NrBrOr>r<)rr"r%rrCr$r4r.rDrDrDrEtest_hyperexpand_parametrics .".rqcCsrddlm}|ttdtdgdtdgtd ttdttd tjtdttjksnJdS)NrsimplifyrGr>r=rH) sympy.simplify.simplifyrsrr$r"rr7rCr6rrrDrDrEtest_shifted_sums *0rucCsttdddS)z Steer clear of integers.  2)rrrDrDrDrE_randratsryr<cCsttttd|S)z+ Polys is not good with real coefficients. rB)ryr)offsetrDrDrErTsrTcCs6ddlm}|j}|D]}||j}i}t|jD]\}}t|||<q8||}|j | d}|j}t || t t|sJ|j|jd| d} t | t t| t t|sJ||jdd|} |j|j} t| | D]:\} } t | | t t| | d t t|sJqqdS)Nr)FormulaCollection nonrepsmallcSs |dS)Nr|)rewrite)trDrDrEsztest_formulae..)sympy.simplify.hyperexpandr{formulaefuncr$rSrrTrV closed_formr}rWrXr1r0CBZ applyfuncdiffMzip)r{rformulahrepr`symrr$clderiv1deriv2d1d2rDrDrE test_formulaes2      rcCs ddlm}|j}|D]}||D]}t|jj|jj|jj|jj|j }i}|j D]}t ||<qT| |}|j |}|j }t|||sJ|j|jd |} t|| |sJ||j|} |j|j} t| | D]$\} } t| || ||sJqq$qdS)Nr)MeijerFormulaCollection)rrrr#ranrYbmrZr$rrTrVrrWrrrrr)rrsigrgrrrr$rrrrrrDrDrEtest_meijerg_formulaes*        rcCst|tSN)r$r)frDrDrEopsrcCsttdgdtdgdtgks$Jtt*ttdgdtddtWdn1s\0Ytt0ttdgdgtdgdgtWdn1s0Ytt0ttdggttdggtWdn1s0YddtdD\}}}|dt7}t||g|gt}t|d|f|gt}t t |tt|d|f|gt||f|gtt |tsJt|d|df|gt}t t |tt|d|df|gt||f|gtt |tsJdS) NrrDrBr>rIcss|]}t|VqdSrrTrLr`rDrDrErMrNztest_plan..r=) rrr$r) ValueErrorrrangerr"rWrr)a1a2b1rh2rDrDrE test_plans@   8 > >  rc Csddtd}}}dtd}}t|||f||f}t|d|d|df|d|df}t||t}t|t|tg}t|jt} tt|j || |j d|ttsJt||d|df|d|df}t||t}tt|j || |j d|tts JdS)NrBr>rIr=z5/2r) rrrr$rrrrWrrr) rra3rb2rropsrZderivrDrDrEtest_plan_derivativess(  ($ rc CsddtdD\}}}t|g|gt}tdddus:JtdddusLJtdtddusbJt||f||ft}tt|||t|tsJt||df||ft}tt|d||t|tsJt|d |f||ft}tt|d ||t|ts J|d ||df}|||f}tt ||\}}|j |fksJJ|j |fks\Jtt ||tt||tts~JdS) Ncss|]}t|VqdSrrrrDrDrErM rNz+test_reduction_operators..r=r>rr<rBrIrG) rr"r$rrrWapplyrrrrYrZr) rrrrrrYrZrrrDrDrEtest_reduction_operators s""$ rcCsPddtdD\}}}}}t||f|||ft}ttddttddtt||tt|d|f|||fttsJtt||tt||df|||fttsJtt ||tt||f|d||fttsJtt ||tt||f||d|fttsJtt ||tt||f|||dfttsLJdS)Ncss|]}t|VqdSrrrrDrDrErM'rNz'test_shift_operators..r?cSstdS)Nr)rrDrDrDrEr*rNz&test_shift_operators..cSstdS)NrB)rrDrDrDrEr+rNrB) rr"r$r)rrWrrrr)rrrrb3rrDrDrEtest_shift_operators&s2224rcCsddtdD\}}}}}t||f|||ft}ttddttddttddttddt||f|||fd t}t||tt|d |f|||fttsJt||f|||fd t}t||tt||d f|||fttsJt ||f|||fd t}t||tt||f|d ||ftts>Jt ||f|||fd t}t||tt||f||d |fttsJt ||f|||fd t}t||tt||f|||d fttsJdS) Ncss|]}t|VqdSrrrrDrDrErM5rNz(test_ushift_operators..r?cSstdddtS)NrBrDrrr$rDrDrDrEr8rNz'test_ushift_operators..cSstdddtS)NrD)r<rrr$rDrDrDrEr9rNcSstdddtS)Nr)rr<rBrrrDrDrDrEr:rNcSstdddtS)NrrBrrrrDrDrDrEr;rNrrBr>) rr"r$r)rrrWrrr)rrrrrrsrDrDrEtest_ushift_operators4s ..00rc Csddlm}ddlm}tt||||t}|tr:dS|||dddddddd}|s^dSi}tt||||tj thD]\} } t | || <q~t t||||t || |tS)ab This helper function tries to hyperexpand() the meijer g-function corresponding to the parameters a1, a2, b1, b2. It returns False if this expansion still contains g-functions. If numeric is True, it also tests the so-obtained formula numerically (at random values) and returns False if the test fails. Else it returns True. r)expand) unpolarifyFT)forceZ power_baseZ power_expmulr2Z multinomialbasic) Zsympy.core.functionr$sympy.functions.elementary.complexesrrr#r$rQrSrRrTrWrV) rrrrnumericrrr^r_r`rarDrDrE can_do_meijerJs    $rc Csddlm}ddlm}ttgggdgggt ttks@JttddgggdgdggtttdkspJttddgggdgdggtttdksJttgggt j gdggtddt tt t ksJttgggdgt j ggtddttt t ksJtgtgtdtt j ggs:Jtggtdgt dgds^JttgtgtgttdgsJttdgggdgttdttdkfdtdtdkftdgggdgtdfksJttgdgdggttdttdkfdtdtdkftgdgdggtdfks4Jtggttdgtttdtt j gsfJtggtgtgdsJtgt j gtgt gsJtggttggsJtggttggsJtggttt j gttt j gsJtggtt gdt j gdsJtggttt j ttt j ggs@Jtt j ggdgtt gs`Jtt j ggtgdt gdsJtgtt j gttgtt j gdsJtgtt j gtttttggdsJttt j ggtdtttggdsJtgggttgsJttddgggddgttdttdkftddtddtdtdkftddgggddgtdfksJ||ttdgdtgt dt dt j ggdtd t t t tddttksJttdggtgddgtttftdtdftttt ttttttddksbJtd t j fd ftd}t|t t t dtd ksJt|dd t t tt tddksJdS) Nr gammasimprrrBr>FTr<rO)rrDr)Zplace)sympy.simplify.gammasimprrtrsrr#r$r0r2rrCr7r4r/r6rr%r&r!absr"r1rr:)rrsrrDrDrEtest_meijerg_expandis  (  $$ $$"" " 2 ("( "*,,& 0"   &rcCs ddlm}m}ddlm}tttggttggt t tt t t t td|ttt ksjJttdggddggt t t |dt ksJt tggttdggsJt tggtdtggsJt tggtdtggsJtttggtttt jggt tt t tt jdtdtt |dtt tddtdtt |dtt krtttggttt jtggt krtttggtt jttggt ksnJt tdggtdttddtdggsJdS)Nr)CiSi) uppergammarBr>r=)'sympy.functions.special.error_functionsrr'sympy.functions.special.gamma_functionsrrr#r%r&r$r0r:rrrCr4r/r6r7r.)rrrrDrDrEtest_meijerg_lookups* . @"   rc Cstggttjgtttdttdgs0Jtggdtjgtt gsNJtggdttjtt tjgttjgsJtggdttjt tjgtjgsJtggtttjtgdttgsJtggtttjtdttgsJttjggt tgdgsJdS)Nr>rr=)rr%rrCr&rDrDrDrEtest_meijerg_expand_fails02*(&rcCsddtdD\}}ddtdD\}}ddtdD\}}}}}} t|g||g|g||gt} tddduszJtdddusJt||g||g|g|||gt} tt||| t| tsJt||g||g|g|||d gt} tt||d | t| tsJt||d g||g|g|||dgt} tt|d |d| t| tsjJt|g|||d g||dg||gt} tt|d|d | t| td d sJ||g} |||d g} |||d g}||d g}t t | ||| \}}|j |fksJt |j ||hks0J|j|fksBJt |j||hksZJtt| |tt| ||| ttsJdS) Ncss&|]}t|dt|tVqdSr?NrTrrrDrDrErMrNztest_meijerg..r>css&|]}t|dt|tVqdSrrrrDrDrErMrNcss|] }tVqdSrrrrDrDrErMrNrAr=rGrBgư>)Ztol)rr#r$rZ meijer_minusZ meijer_plusrWrrrrrsetrYrrZr)rrrrrb4b5ra4a5rZg2rrZrYrZniqrrDrDrE test_meijergs<  $&(*(   rc CsxddtdD\ }}}}}}}}}} t|g||g|g||gt} tt|| tt|g||g|dg||gttszJtt|| tt|dg||g|g||gttsJtt|| tt|g||g|g|d|gttsJtt || tt|g|d|g|g||gtts$Jt |g||g|g||gdt} t| | tt|g||g|dg||gttsxJt |g||g|g||gdt} t| | tt|g||g|g|d|gttsJt |g||g|g||gdt} t| | tt|dg||g|g||gtts Jt |g||g|g||gdt} t| | tt|g|d|g|g||gttstJdS)Ncss|]}t|VqdSrrrrDrDrErMrNz/test_meijerg_shift_operators..rwrBr)rr#r$rWrrrrr r r r r r) rrrrrrrrrrrrrDrDrEtest_meijerg_shift_operatorss<&    * * * *rcCsFdd}|tgddgddggttt ds2J|tgddgddggttd dtttdtdddszJ|tgddgddggttdd tdttdtdddd tdsJ|tggd gd gtttd d dsJ|tddgggddgtdtdt s4J|tddgddgddgddgtt ttdttdt dsJ|ttjgddgddgtddgtttdddsJd d}|gdgddggsJ|ddgggdgsJ|ddggdgdddgs J|ddggdgddgsBJdS)NcSsddlm}|||g\}}|}t|}|t|ttdkf|tdtdkf|dfks\dS|jdjd|kr|jdjd|ksdStd}t|t| |t|  dkrdSt|td| |td|  dkrdSdS)Nr)sympifyrBTFrwg|=) Zsympy.core.sympifyrrr!rr$argsrTrVr`)mr%r&rZm_Zz0rDrDrEr~s 0( ,4z"test_meijerg_confluence..trBrr=r>rGr< rArBrBrBrB)rrrrcSsJt||||t}t|dd}|tr>|jr:t|jdks>dSt||tS)NT)Z allow_hyperr=F)r#r$rrQZ is_PiecewiselenrrW)rrYrrZrm2rDrDrEu1s  z"test_meijerg_confluence..u)r>r>r?)rBrBrA)r#r$r2r.rrC)r~rrDrDrEtest_meijerg_confluences**(640 $ >$rcCsddlm}tdtddfdft}d}|ttddtdtddftd dftttt}| t || d d sJdS) Nr)RR))g@rBrDr=r>rgw gr?g?g-q=) Zsympy.polys.domains.realfieldrr#r.r$r"r1rr/Zalmosteqrr`)rrr%rrDrDrEtest_meijerg_with_Floats=s  <rc Csddlm}m}ddlm}ttdtgtdgtt|tdtksJJttdttgtdtdgttd|tdtksJttdtttgtdtdtdgttd|tdtksJttdgtgdtdgdttd|tdtksJ|tt ddtggdgt gt t t t|tdtksLJ|tt ddtdtggdgt t gt t t t|tdtksJ|tt ddtdtdtggdgt t t gt t t t|tdtksJtttddgdgtt dt  ks&Jtttgdddgt|dtksRJtttgd gd t|dtks~Jttdtdtjgtdtjgtd ttdd tdt|tdtksJtgd ddgsJtdddtd gddtgdd sJtdttttd gtdtdtdtgddsJJddlm}tttjtjtjdgtddtddtddgtdd||dt t t d |dtjksJdS)Nr)lerchphipolylogrrBr>r=rw)rBrBrBr)r>r>r>rOr?)r\Fr[)AbsrG)Z&sympy.functions.special.zeta_functionsrrrrrr"r%r$r#r1rr/r2rrCrbr&rrr.)rrrrrDrDrE test_lerchphiFs\ .$ 0 ,   " 0,,$* &(  "&rc Cs"ddtdD\}}}}}t|||g||gtg|||||gfD]d}t|}|j}|j||kshJ|j||}|j|j} t|| D]\} } t | | |sJqqDt d\}}}t t d|gd|g|| |d||dd|t |dg|g|||dd|dt |g|g|ks4Jt t t d|gd|g|t d|gd|g||sjJt t dgd||g|t d||f||t d|d|f|d|||d t d|d|df|d||ksJt t t dgd||g|t dgd||g||sJdS) Ncss|] }tVqdSrr)rL_rDrDrErMvrNz$test_partial_simp..r?za b zr=rBr>rDrG) rrrr$rrrrrrWrrr") r%r&r'rPerrr$rrZfunc1Zfunc2rDrDrEtest_partial_simpts< 4& * . *rcCs ttttgtgdttttttttttttksJJttttgdttgdtdtdtdtttdttdtdtksJttttgdttgdtdtdtdtttdttdtdtksJttdttdgdttdgtdgt dgdtddttttdtdtdttdtdtdttdtdtdttdtdksJtttgtgddksJttgtgddksJdS)NrBr<r>r)rr"r%r&r'r:r#r$rDrDrDrEtest_hyperexpand_specials$.>> <B rcCs\ddlm}ddlm}|ddd}|ttdgg|dgdgtt|dtksXJdS)Nr)Symbolrrr`T)integerrB)sympy.core.symbolrrtrsrr#r$r;)rrsr`rDrDrEtest_Mod1_behaviors      rcCs tddtddtdgtdddgs.JttjtdgtddtdgddsXJtgtdgslJttgtdtdgsJttgttjdtgsJttgttjdtdgsJttgttjdtdgsJttgttjdtgs Jttgttjdtdgs.JttgttjdtdgsRJttjgtdtgsnJttjgtdtgsJtdgdtgsJttttjgdttdttdgsJttttjgtjdtdttjgsJttgtdgddsJdS)NrBr=r>T)r])rbrr.rrCr%r&rDrDrDrEtest_prudnikov_miscs .*"" $$00rcCsttt gtjgsJttdtgtjgs2JttdtgtddgsPJttdtgtjgsjJttdtgtddgsJttdtgtddgsJttttjgdtdgsJttttjgdtgsJttttjgdtdgs Jttttjgtjgs(JttttjgtddgsJJtttddgtdgslJtdtgdgsJtdtgtdgddsJttgdtgsJttgdtdgsJttgdtdgsJdS)NrBr=r>Fr)rbr%rrCr.r&rDrDrDrEtest_prudnikov_1s""$""rc Cstj}t| | g|gsJt| |gd|gs8Jt| |gd|gsRJt| |gd|gslJt| dg|gsJ| |fD]}| |dd|dd|dd|df D]:}| |d|d|d|fD]}t||g|gsJqqdD]"}dD]}t||g|gsJqqqdS)Nr=r?r@rBr>rGrBr>r=rGrrCrbrpr`rrDrDrEtest_prudnikov_2s( rc Cs8tr tdtj}ttddtddg|gs2Jttddtddgd|gsVJttddtddgd|gszJttddtddg|gsJttddtddgd|gsJdD]p}| |dd|dd|dd|dd |f D]@}dd|dd|dd|dfD]}t||g|gsJqqqdS) NzToo slow for travis.rBrGr=r>r?rr@rc)r+r,rrCrbr.rrDrDrEtest_prudnikov_3s $$ $."rcCstj}d|d|d|fD]}| |d|d|d|fD]:}d|dd|dd|dfD]}t||g|gs\Jq\qrGr)r>r=rGrrrDrDrEtest_prudnikov_4s  rcCsTtj}dD]H}t|dD]8}dD].}t|dD]}t| ||g||gs.Jq.q qq |dd|dd|dfD]v}|d|d|fD]^}|d|d|fD]F}|d|d|fD].}||kr||krt| ||g||gsJqqqql|dd|dd|dfD]R}dD]H}|d|d|fD].}dD]"}t| ||g||gs"Jq"qqqdS)NrgrGrBr=r>r?rrCrrb)rrqr^rrDrDrEtest_prudnikov_5 s"""rcCs8tj}d|d|fD]x}dD]n}|ddfD]&}dD]}t|||g||gs4Jq4q,dD]2}d|d|fD]}t|||g||gslJqlqXqqdD]:}dD]0}dD]&}dD]}t|||g||gsJqqqqt||d|gd|d|gsJt|dd|gd|d|gsJt|ddgddgs4JdS)Nr=r?rgrBr>)rBr>r)rrr`rrrDrDrEtest_prudnikov_6!s"  $&rc CstdgdgsJtj}|d|d|d|fD]}t| g|gs0Jq0| |dd|dd|dd|df D]@}| |d|d|d|ddddf D]}t|g|gsJqqndS)Nr=rAr?r@rBr>rG)rbrrC)rr`rrDrDrEtest_prudnikov_7;s((rc Cstj}dD]}dD]L}td|dD]8}|dd|dd|dfD]}t||g||gs@Jq@q$qd|d|fD]B}|dd|dd|dfD]$}dD]}t||g||gsJqqqpq | |d|d|fD]}dD]B}|dd|dd|dfD]$}dD]}t||g||gsJqqq|d|d|fD]d}|d|d|dfD]H}|dd|dd|dfD](}||kr^t||g||gs^Jq^qBq*qdS)NrgrBr=r>r?r)rraZbiciZdirDrDrEtest_prudnikov_8Gs( rcCs^tdD] }tgt|ddgsJqtdD]&}tgdt|d dgs2Jq2dS)NrcrBr>r?)rrbr)irDrDrEtest_prudnikov_9bs  rc Csptj}| |dd|dd|dd|df D]2}dD](}t|dD]}t|g||gs@Jq@q2q*dD]@}|d|d|d|fD]"}dD]}t|g||gsJqq~qbd|d|d|fD]P}|ddd|dd|dfD]0}t|g||gsJt|gd||gsJqq|ddd|dd|dfD]$}td|gd||gs&Jq&ttddgtjtjgslJdS) NrBr=r>r?r@rGrr<)rrCrrbr.rrrr`rDrDrEtest_prudnikov_10js ("rcCs6ttttjgdttdttgs*Jttttjgtdddtdttjgs\JttddtddgtjtjdgsJttddtddgtddtjdgsJttddtddgtddtdddgsJttddtddgtddtdddgsJtddgtddddgs2JdS)Nr>r=rBrGr?r@)rbr%rrCr&r.rDrDrDrEtest_prudnikov_11s*2(,02rcCstgtttjdtgds JtgtttjdtdgdsDJtgtjtttjgs`JtgtddtttjgsJtgtddtjtddgsJtgtjtjdgsJtgtjtdddgsJtgtddtddtddgsJtgddtddgsJtgddtddgs4JtgdtddtddgsVJtgtddtddtddgs~JtgdtddtddgsJdS)Nr>FrBr=rGr?r@)rbr%rrCr.rDrDrDrEtest_prudnikov_12s$ "&"(rcCsVtj}| |fD]@}|d|d|d|fD]"}dD]}t||g|gs4Jq4q,qdS)Nr=r?r@rrrrDrDrEtest_prudnikov_2F1s rcCstttgtdgsJtdtgtgs,JtttgtttjgsJJtttgtttjgshJtttgtttddgsJtttgttddgsJtttgttddgsJtttgttdgsJtttgttdgsJtttgdtgsJtttgtjgs6JtttgtddgsRJttdtgtgslJttdtgtgsJttdtgtgsJttttjgtgsJtdtgtgsJtdtgtddgsJttddtddgdgsJtj}t|ddg|ddgs8Jt|ddg|dd gsZJt|ddg|dd gs|Jt|d dg|d dgsJt|d dg|d d gsJt|ddg|dd gsJt|ddg|ddgsJt|ddg|ddgs&Jt|ddg|dd gsHJt|dddg|dd gsnJt|d ddg|d d gsJt|d ddg|d d gsJt|d ddg|d dgsJt|d ddg|d d gsJt|dd dg|dd gs,Jt|dddg|dd gsRJt|dddg|dd gsxJt|dddg|dd gsJt|dddg|ddgsJt|d ddg|d dgsJt|d ddg|d dgsJt|dd dg|dd gs6Jt|dd dg|ddgs\Jt|dd dg|ddgsJdS)NrBr<r=r>rGrcrAr@ r? r)rbr%r&r'rrCr.ZOne)orDrDrEtest_prudnikov_fail_2F1sX"  """"""""""&&&&&&&&&&&&&&rcCsttttddttddgtddtddgs8JttttddttddgtddtddgspJttttddttddgtddtddgsJttttddttddgttdddtddgsJttddtjtjgddgsJttddtjdgtddtddgsrGr?r<rrcrrr@rrA)rbr%r.rrCrDrDrDrEtest_prudnikov_fail_3F2s888B$.222222rcCstdtgtddttgs"Jttddgtjdgs>JtdgtjtjgsVJttddgtjtddgsxJttddgtddtddgsJtdgtddtddgsJtdgtddtddgsJtdgtddtddgsJttjdgtddtddtddgs,JttjdgtddtddtddgsZJtgtddtdgsxJtgtddtd gsJtgtddtd gsJtgtttjdtdgsJdS) NrBr>r<rGr?r=r@gUUUUUU?gUUUUUU?)rbr%r&r.rrCrDrDrDrEtest_prudnikov_fail_others""&   ..r cCs.tddgtgd}t|tdtks*JdS)Nr<rB)r"r$rrrDrDrEtest_bugsr cCsHtddd}t|tddks"Jtddd}t|tddksDJdS)N)rerdro)r rB)r irer<rA)r"rr.r rDrDrEtest_omgissue_203 s  rN)TrBF)r<)T)Zsympy.core.randomrrrrrrrrr r r r r rrrrrrrrrrrrZsympy.concrete.summationsrZsympy.core.containersrZsympy.core.exprrrkrZsympy.core.singletonrrrZ(sympy.functions.combinatorial.factorialsr Z$sympy.functions.elementary.piecewiser!Zsympy.functions.special.hyperr"r#Z sympy.abcr$r%r&r'Zsympy.testing.pytestr(r)r*r+r,r-rWr.r/Z&sympy.functions.elementary.exponentialr0r1r2Z%sympy.functions.elementary.hyperbolicr3Z(sympy.functions.elementary.miscellaneousr4Z(sympy.functions.elementary.trigonometricr5r6r7Zsympy.functions.special.besselr8rr9rr:r;rFrKrbrfrhrlrprqruryrTrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr r rrDrDrDrEs d                      B  & ( .             6