gjdZddlmZmZmZmZddlmZmZm Z ddl m Z ddl m Z ddlmZmZddlmZmZddlmZdd lmZdd lmZmZmZdd lmZmZmZdd l m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/m0Z0m1Z1m2Z2m3Z3m4Z4m5Z5m6Z6m7Z7m8Z8dd l9m:Z:ddl;mZ>m?Z?m@Z@mAZAed\ZBZCZDedZEdZFdZGdZHdZIdZJdZKdZLdZMdZNdZOdZPdZQdZRdZSdZTd ZUd!ZVd"ZWd#ZXd$ZYd%ZZd&Z[d'Z\d(Z]d)Z^d*Z_d+Z`d,ZaGd-d.ebZcd/Zdd0Zed1Zfd2Zgd3Zhd4Zid5Zjd6Zkd7S)8z?Most of these tests come from the examples in Bronstein's book.)FunctionLambdadiff expand_log)IRationalpi)Ne)S)Symbolsymbols)explog)sqrt) Piecewise)atansintan)Polycancelfactor)gcdex_diophantinefrac_in as_poly_1t derivation splitfactorsplitfactor_sqfcanonical_representationhermite_reducepolynomial_reduceresidue_reduceresidue_reduce_to_basicintegrate_primitive%integrate_hyperexponential_polynomialintegrate_hyperexponential!integrate_hypertangent_polynomialintegrate_nonlinear_no_specialsinteger_powersDifferentialExtensionrisch_integrateDecrementLevelNonElementaryIntegralrecognize_log_derivativerecognize_derivativelaurent_series)raises)xtnuzayzt:3icJtttdzdtdzzz dtdzzz dtzzdzttdztdzzdtzz dz ttdzdz ttdz dtzzdz dz ttdzd tdzzz d tzzd z dz fksJtttdzdtzzd zttdzdtzzdzttdztd td tdtzdztd fksJdS)N  g;;?QQdomaing;;g؉؉?)rrr1\/var/www/html/ai-engine/env/lib/python3.11/site-packages/sympy/integrals/tests/test_risch.pytest_gcdex_diophantinerJs T!Q$1a4-!AqD&"82a4"?""DEEA1qs Q adQh 1 1 1uqs{Q! " "D!Q$1a4-"Q$*>*CQ)F$G$GH I I I I T!Q$1*q.1141qs Q3G3GaRSe U U dAd # # #T%'D.!D%I%I%IJ K K K K K KrHctttdztz tztttttztzttttfksJttdztz tzttttztzttttfksJtttdztz tztttdztfttttztzttdtztztfksJt t dttddtzztdtzzzdtzdzz ttdttdztttdztfksJdS)Nr?cvttdzttz tztS)Nr?)rr1rr2rGrHrIztest_frac_in..)s#wAs1vv~a'7;;rHr:T)r)rrr1r2r0 ValueErrorrGrHrI test_frac_inrO"s 4Q ! Q'' + + acAgq  41::& ' ' ' ' AE19Q; " " acAgq  41::& ' ' ' ' D!a%1a(($q1ua..91 = = acAgq  4Q 1--. / / / / :;;<<< 4QqS1a!e9,q1uqj8!<!+;Q&B&B4D D D D D a#a&&1*a(1,a 3 3 QCFFQJ! !1a(($q1c!ffqj>!3C/CQ*J*J8L L L L L afa # #tAq!}} 4 4 4 4 4 4rHc  tdtdzztdzzdtdzzdtdzzz tdzzzdtdzzdtdzzztdzzzdtzdtdzzzdtdzzztdzzzddtzz dtdzzz tzzdz dtzzt}td tdtttdz ddtzz tzz ddtzz ztgi }t ||td tdzztd zzdtdzzd tdzzztdzzzdtdzzdtdzzztdzzztt ddzdtdzzz dtdzzz tdzzzdtt ddzz dtdzzztdzzzddtzz dtdzzz dtdzzz dtzz tzz ddtdzzz dtzz ztksJt tdt|tdtksJt ttt||jksJt ttdzdtz tzzddtzz dtdzzz zt|tdtdzzdtz tdzzz ddtzz dtdzzz tzz ddtzz dtdzzz z tdksJtd tdttdtz ttttgi }t tttztzt|tttzttztzztztksJt tttztzt|dtdtztztksJtd tdtgi }t ttt|tdtksJt tdztdz z |ddddtzz tdzzz ksJtd tdttttgi }t tdztdz z |ddtzddtzz tdzzz ksJt tdz|dtksJdS)Nr9r@r;r:rAr?D extensionir<rBr=r>rCrZZ(x)rET coefficientD)basic)rr1r2r)rrdt1pDEs rItest_derivationrg:s~ Qq!tVAqD[Bq!tGa1f,ad2 2bAg!Q$6F15L L 1qAv!Q$ 1$%()AaC!AqD&(8!';<>?@BCA#FGH J JA #Q D!Q$AaCQRARUVXYZ[X[U\A\^_<`<`/a)b c c cB a  SAXad]a1fr!Q$w6F15L%L AqD2ad7 AqD &!$%hq!nn$4r!Q$w$>AqD$H!Q$#N&O aQ !AqD& (!Q$.&/23ac'Bq!tG2Ca1f2LqQRs1STU1U&V Qq!tVac&!!     d1ajj" % %a 3 3 3 3 d1ajj" % % - - - - d1a4!A#a%<1qs7Qq!tV*<?@BCA#FGHPT V V VA #Q D!Q$AaCQRARUVXYZ[X[U\A\^_<`<`/a)b c c cB q"  $qAvad{bAg!Q$6F15L'L 1a4!AqD&!(1f(%&'#9#9#9 QTAaCE\Q1WqAv. .'BBB"D D D D D tAqzz2 & &41::tAqzz*B B B B B R1WQT\AadF1a4K '!AqD& 01QT6!Q$; >1a41 LqRSt SVWXY[\X\V\ \_`bc_c cefggA #Q D1aLL/I)J K K KB q"4 0 0 0 acAqDj1QT6!AqD(! , ,dAqD51QT6!Q$;3F.J.JK L L L L 1bt 4 4 4 !ad Qq!tV#ad*A . . 2 4adUQq!tVAqD[=PRS8T8TVW7X6Z[ \ \ \ \ tAqzz2 & &41::tAqzz*B B B B B 41::r * *aQ/A2.F F F F F F FrHc .tdtdttdtdzztgi}t tttz tttdzt|tdtdtdtdtdtd ftt tztdttdztffksJtdtdtttdzdztgi}t ttd ztd zztdztzzdztttdzdzd zt|tdtdttd ztd zztdztzzdztdttd zd td zzzd tdzzzdztdftdtdtdtdffksJdS)NrVr?r:rWrzZZ[x]rEQQ[x]ZZr@r;r<r9rD)r)rr1r2rrfs rItest_canonical_representationrqes' #Q DQT1 > q!G $ $ $d1q5!G&D&D&D E q!G $ $ $d1a&@&@&@ A q!G $ $ $d1a&@&@&@ A C C C C C  !Q$q!trAadF{QT11a4772!Q$;1:LL!AadF#$%g 7 7 7 AadQq!tVAqD[(1,a @ @ @" F F q!tAv1}q !G 4 4 4d1a419q=!T[6\6\6\ ] q!G $ $ $d1a&@&@&@ A r1W % % %tAqD!G'D'D'D E G  G G G G  "qs(AqDBFAqD=0BqD1QT6M13DDq!tKQ O O 1a4!AqD&A+%!Q$q!t 3a1fQTkAAqDAIMq Q QSU W W qAvzAaC7 3 3 3 qAv!AqD 1QT6!Q$;.1a491W M M M O q!G $ $ $d1a&@&@&@ A q!G $ $ $d1a&@&@&@ A C C C C C C CrHc .tdtdttdtdzztgi}t tdttzztdzzt|ttttttztfksJt tdt|tdttdtfksJdS)NrVr?r:rWr)r)rr1r2r rps rItest_polynomial_reducerys #Q DQT1?D F F F F F !QAd 3 3 3 1x1~~%q 9 9 94AaCE 1;M;M N OQVW X X X X $r!tQ--adQh););R5 Q Q Q 1q!D ) ) )41Qq1Q3)+T+T+T U VX\] ^ ^ ^ ^ bdAQTAXq(9(92q N N NC T!Q$(Ad333T!a%^^DEtL L L L L "3q62q 1 1c"s1vv+6F6F5FQQTUVQWQWZ5X X X X X #Q D!Q$1PQTVXYTYZ[]^Z^T^P^A_abE F F F F F FrHc !tddtzztdzzdtdzzztdzzdtdzztzzdztdzzt}tdt}ttdttdtdzztttdtdzzztgt t ttt tgd}t|||tdt tzt tztt tzdtdzzdfksJttdztdztdzzztztzdztzt}t|||tt tztt tzddfksJttt}tdt}ttdttdtztztgt tttdzgd}t|||dtttdztdfksJttdttttgtgd}t|||ttddfksJtd td zzd td zzz d tdzzzdtdzzz dtdzzzdtzzdz t}td td zzdtdzzzdtdzzzdzt}t|||dd ttzz d d tdtzzzz tdtdtzzzddfksJttdtttttttztgtt ttttgd}ttdtztdzzttdt|tdttzddfksJttdtttttt tztgtt tttt gd}ttdtdzdtztdzz dtztztdzzttdtdztdztdzzdtztdzz tzt|dtttzdtdzttdzzz ddfksJttdttttgtgd}tttdzdz tzttdt|ddtzz tdzzttzdz ddfksJttdtztttt|tt  ddfksJttttttdzt|dttdttzz tdfksJttdttdtz ttdtztztgtt tttdzgd}ttdtd zzdtd zzz d tdzzztz tdzzdtztd zzdtztd zzz dtztd zzz dtztdzzzdtztdzzzttzz dtdzzzdtd zzz dtd zzz dtdzzzdtdzzzd tdzzz tz dztdzzzdtztdzzdtztd zzz dtztd zzz dtztdzzz dtztdzzzttdzzzdtztzz dtdzzzdtd zzz dtd zzz dtd zzzdtdzzzd tdzzz d tdzzz tzdztdzzzdtztdzzdtztd zzz dtztd zzz d tztdzzzd tztdzzzdtztdzzz ttzz dtd zzzdtdzzz dtd zzz dtd zzzdtd zzzdtdzzzdtdzzz tdzz dtzztzzdtztd zzzdtztd zzz dtztd zzz dtztdzzzttdzzz dtd zzz dtd zzzdtd zzzdtdzzz tdzz tdzzttdtd zzdtd zzz d tdzzztz tdzzdtdzzdtd zzzdtd zzz dtd zzz dtdzzzd tdzzzdtdzzz tz tdzzzdtdzzdtdzzzdtd zzz dtd zzz dtd zzzdtdzzzdtdzzz dtdzzz tdzzzdtd zzdtdzzzdtdzzz dtd zzz d td zzzdtd zzztdzz dtdzzz tzzdtd zzzdtdzzz d td zzztdzz t|\}}}t|tdz ttztttdzzdtdzzdz zz ksJ||ftttdzttdzdzz tdfksJdS)Nr?r:r;rrWTrFrZr<rCr@rAr9r\ # rtirur{r=irB)rrcr2r)r1rrr7rr%r,rt0r)r5rbrfelemnonelembs rItest_integrate_hyperexponentialrsm a!B$hQ2q5(!Q$ .!b!e)Q > BRU JANNA Q A Q DRUB > > > b!eq1ub!em#b(1,q0! 3Q77A %aB / / c!ff*c#a&&kk !1d+ , , , , Q A Q A Q D1QNN/K!SAYY''(**** + + +B &aB / / !#ad))Q / /7 8 8 8 8 Q DAJJ/GTWSX)Y)Y Z Z ZB %aB / /CFFAt3D D D D D R1Wr!Q$w 1a4 '!AqD& 02ad7 :QqS @1 DaHHA R1Wr!Q$w AqD (1 ,a00A %aB / / 3q66 > A3qs88 O ,s1s1Q3xx@Ag+FHI!Q$+O AqD&+ad7+q!tV+$&'1f+-/0!t+467c+:;=*> 8>AB"QT 8J 2ad 8rT!Q$Y8"#2ad8+.01W8589Av8>AB!Q$8G !Q$ 81a4 8Q$ 8"#A 8&(* 3+ 3+-1!AqD&2ad72BQq!tV2K 3 q52q!tGa1f$r!Q$w.AqD82ad7BQq!tVK !Q$E21Wr!Q$w.AqD82ad7BR1WL 1a4AqD&QT6"#%q5)2)-.aeGbAg,=1a4,G 1a4-AqD&-ad7-#%&T-*,-adF-346,727:;1b5 2ADFad7 2K !Q$ 2 A 2  --   D'1 $<r:rATrCr;r9r@r=rj8F(r]rTFexpandrVr?rWTr)rr1rrcr4r)r$rds rI*test_integrate_hyperexponential_polynomialr<s c!R%ilQq!tVBY&1a42R1WRU]B 1a4A 1b5Q'),QT"a%8:AC1b5  1b5QAAqDQA')+AqDQA79;AqDQAG 1a4A A!Q$r1u A%'(!tBEzA245rEA: ; <>q5 A QU21a4 "R1WRZ /"QT'"a%- ? 1a4A  1b5Q '),QT"a% 8: 1a4A 1a4A &(*1a4A 689!Q$r1u E 1RU U   #%QT'"*qAvby"81RU7"B 1RU #T#qD#!#%ad72:!Q$r1u #>DAq q!tQ ' 'B %beRUB 7 7I Qs1vvXs1vv r#a&&!}}-4y=:=:;R R R R R tAqzz41::r : :qBWXYZ]^_Z`Z`X`bcBdBdfk>l l l l l Q D1bMM4PQSTWXSXPY[]K^K^/_q#a!e**--.*0*0 1 1 1B tB||T"b\\2 > > !#a&&QU"3Q 7 7? @ @ @ @ Q D1bMM4PQSTUWSWPXZ\K]K]/^q#c!ff++../*1*1 2 2 2B tB||T"b\\2 > > !#c!ff++c!ff"4a 8 8%@ A A A A Q D1bMM/J%**   B tAqDQJ!AqD&1*b!e1C$CqAvcH G%1%%  #AqDQJ1a4A$=!Q$r1u $LadF2I%1%     SVVaZ/3q66A:BBEJ K K K K K KrHc Btdtdtttdzdztgi}t ttdzttzzdzt|tttttdz tfksJtdtdttt tdzdzztgi}t ttdzt|tddt zz tdzzddt zz tdzzz ttddt zz tfksJdS)NrVr?r:rWr@r9)r)rr1r2r&r5rps rI&test_integrate_hypertangent_polynomialrsK #Q DA1C*A*A B B BB *1a 4 4 a!!A$$'kAqDF" # # #A %q!ta!AqD&j1QQqTT1W96L(M MtT U U U U *41::tAqzz2 F F      rHc :tttdz tdzdzttddzgtdz tdftdz dfttddzdfgfdtdzzdtdzzdfgfgksJdS)Nr:r?r;r<r9)r(r1rrGrHrItest_integer_powersrs 1ac1a4!8Qx1~~-=> ? ? qSAq6AaC8aA&6%:; < AXQT1  'D) ) ) ) ) ) )rHc Ntttttdzztjt t t zt t dt t dtt t t t dtzt zt gtt t gttttttttdzgggddttdzgfksJttttdtzztjt t dzt zt t dt t dtt t t gtt gttttggddgdtgfksJtttttdz ztjt t dzt zt t dt t dtt t dz t gtt gttttdz ggddgdtdz gfksJtttttdzztttdzzztjt dt zt zt zt t dt t dtt t t t dtzt zt gtt t gttttttttdzgggddttdzgfksJtttttdzztttdzzdzztjt dtj t zzt zt zt t dt t dtt t t t dtzt zt gtt t gttttttttdzgggddttdzgfksJtttttdzzttdz tdzzztjt t dzt zt dzzt t dt t dtt t dz t t dtzt zt gtt t gttttdz ttttdzgttdz tttfggddtdz tdzgfksJtttttdzzttdz tdzzdzztjt t tdzdzt zt dzzt t dt t dtt t dz t t dtzt zt gtt t gttttdz ttttdzgttdz tttfggddtdz tdzgfksJtttttjt t t t dt t dtt t dz t gtt gttttdz gttdz tttfgddgdtdz gfksJtttdz tjt t t t dt t dtt t dz t gtt gttttdz ggddgdtdz gfksJdS)Nr:r?Nrrrr;) r)rr1_important_attrsrrcrrr7r Exp1rrGrHrItest_DifferentialExtension_exprs Q#ad))!3Q 7 7 H b2gr  DBKK$q!++tB|| QqSVR*r2;3q66):):q#ad)))!#7#7#7$1a4 J J J J J !Q#ac((!2A 6 6 G b!ebj"  tAr{{T!QZZb",FB 3q66  R$q  ; ; ; ; ; !Q#ac((!2A 6 6 G b!ebj"  tAr{{T!QZZbdB,H B&C!HH%%&T5MD!A#; H H H H H !Q#ad))!3c!ad(mm!CQ G G X q2vrkB # #T!R[[41::tB|| QqSVR3r2;3q66):):q#ad)))!#7#7#7$1a4 J J J J J !Q#ad))!3c!ad(Q,6G6G!G K K \ q16"9}b 2%r * *DBKK$q!** R d1Q3r62&&:(*+RvaQ7H7Hq#ad))7!#7#7#7$1a4 J J J J J !Q#ad))!3c!A#1*oo!Eq I I Z rAvrkBE!2 & &Q d1ajj RT2QqSVR((6*,-r2; 3qs88  fQAqD 223 ac((DQLL !"$8$8$841ad:K M M M M M !Q#ad))!3c!A#1*q.6I6I!I1 M M ^ r#a&&y1}b 2q5(" - -tAr{{T!QZZ RT2QqSVR((=*,-r2;3qs889L9Lq#ad))9!$QqS4A<< 89;O;O;O qsAqD      !c!ffq 1 1 B b"tAr{{T!QZZbdB$@1b' 3qs88  QqS4A<< 89D%=4QRSTQT+ W W W W W !QqS1 - - > b"tAr{{T!QZZbdB$@1b' 3qs88  rD%=41+ ? ? ? ? ? ? ?rHc Jtttttdzztdtdzzdtzzztjt t t dzzt tdzt dzzt zzt t dt t dtt dtz t t dtdzz t dgtt t gttttttttdzgggddttdzgfksJtttzttztjt t t zt t dt t dtt dtz t t dt zt zt gtt t gtttttttt tzgttttzttzfggddtt tzgfksJdS)Nr?r:Fr)NrrNrr) r)rr1rrrrcrr7rrGrHrItest_DifferentialExtension_logrs QAE !23qAv!|3D3D!Da H H Y bQh"SVV)b!e+R// 4 4d1bkk aT!A#r]] QAY5))) +-.BK 3q66  F1c!a%jj112B8L8L8L q!a%       !Ac!ffa 0 0 A beR$q"++Q D1bMM a"fb["(!"B fQA.?.?q#bd)).!$Qs1vvX1 568L8L8L q"Q$       rHc Vttttztjt t tzt t dt t dtt dtz t t t dzt zt gtt t gttttttttt zgttttzttzfggddtt tzgfksJttttztjt tt zt t dt t dtt dtz t gtt gttttgtttztttzfgddgdtgfksJtttttjt t t t dt t dtt dtz t gtt gttttgttdz tttfgddgdtgfksJdS)Nr?rrr:) r)rr1rrrrcrr7rr6rrGrHrI!test_DifferentialExtension_symlogrsg QTA . . ? bdBatAqzz4!R==$ IHCC'RvaQ'8'8&C"II:N:N&O!CFF(mmQT " #%9%9%9D!RT? L L L L L !QTA . . ? adBatAqzz4!R==&AAr7 3q66  qQxQT34tUm q       !T!WWq 1 1 B b"tAr{{T!QZZac2$?!R 3q66  s1vvaxT!WW67$ q        rHc n tttttztdjt t tztt dtt dtt dtz t t ttgtt tgttttttttgggddttgfksJtttttztdjt t tztt dtt dtt t t t dtz tgtt tgttttttttgggddttgfksJtttz ttdzzttzzttztz z tdjtttz ttdzzttzzttztz z tdjcxkrdt dtztt dzzz tztt ttt dtt dtz t t dt ztztgtt tgtttttttt tzgttttzttzfggddtt tzgfksnJdS) Nr handle_firstr?rr)Nrrr:rt) r)rr1rrrrrcrr7rGrHrI'test_DifferentialExtension_handle_firstrs QA F F F W beR$q"++Q D1bMM R (2r{VAs1vv%6%6q#a&&8I8I$J 4A, 0 0 0 0 0 !QA F F F W beR$q"++Q DRLL QqS" (B fQA&7&73q669J9J%K 4A, 0 0 0 0 0 !!Q$s1vvqy1a4!7!Q$q&!@!   (q!teCFFAIo14q!tAv=q   , 3 3 3 3 rAv"a%#R ( ($q"++ !QZZac2a"fb["(=(= >B As1vv  q#bd)) 4 4 5Qs1vvX18M7N 4BqD/ 3  3 3 3 3 3 3 3 3rHctttttztdjttttzksJjt tzksJjtksJjgdksJj dksJj dksJj tcxkrj j ksnJj tdtz tcxkrjj ksnJt!t"fdj dksJj t cxkrj j ksnJj tt t cxkrjj ksnJj dksJj d ksJj tcxkr"j j cxkr jksnJj tdtcxkrjj ksnJj d ksJt!t"fd j dksJj tcxkrj j ksnJj tdtz tcxkrjj ksnJj dksJd d gksJddgksJdS)Nrr)baser primitiverrtr?c,SN)increment_levelrpsrIrMz6test_DifferentialExtension_all_attrs..r1133rHr]rUrc,Sr)decrement_levelrpsrIrMz6test_DifferentialExtension_all_attrs..'rrHrr:)r)rr1rrnewfrrccasescaselevelr2TrbrrVr0rNrrindicesrps@rI$test_DifferentialExtension_all_attrsrs s1vvc!ff}ae D D DB 43q66#a&&= 7be     419999 8333 3 3 3 3 7k ! ! ! ! 8r>>>> 42 ' ' ' 'bh ' ' ' ' ' ' 44!R== 2 2 2 2BDN 2 2 2 2 2 2 :3333444 8r>>>> 42 ' ' ' 'bh ' ' ' ' ' ' 44B<< 1 1 1 124> 1 1 1 1 1 1 7e     8r>>>> 41 . . . .RX . . . ."$ . . . . . . 441:: / / / /bh / / / / / / 7f     :3333444 8r>>>> 42 ' ' ' 'bh ' ' ' ' ' ' 44!R== 2 2 2 2BDN 2 2 2 2 2 2 7k ! ! ! ! ::e   # # # # ::e   # # # # # #rHc ttdtdtdttt t gi}|jddtdttt t gtt gddddfksJ|jtt t ksJ|jt ksJ|jdksJ|j ddgksJ|jtksJ|j dksJttdttt t gddgdtgd}|jddtdttt t gtt gddddgdtgfksJttd dS) Nc>tdttgiS)NrrW)r)r1r2rGrHrIrMz;test_DifferentialExtension_extension_flag..5s4aV}MMMrHrVr?rWrtrr)rVextsextargsctSr)r)rGrHrIrMz;test_DifferentialExtension_extension_flag..Ds 466rH) r0rNr)rr1r2rrbrrrrps rI)test_DifferentialExtension_extension_flagr4s :MMNNN #Q DAJJ/G)H I I IB 4Q DAJJ/G!Q dD$#     441::     419999 8r>>>> 8 & & & & 419999 7e     Q DAJJ/Gu 4)*5*5 6 6 6B 4Q DAJJ/G!Q dT5MD!9#. . . . . :6677777rHc tttttztjt tttztdt dtdt dtdt ttdgttgttttggddgdtgfksJttdtdtztjt ttt dtt dtt tdtztgttgtttttdzgtttdzdtzfgddgdttdzgfksJtttttdzztjt d tztt dtt dtt dtz tgttgttttdzggdggdgtdzgf t d tztt dtt dtt dtz tgttgttttggdd gdtgffvsJttjtjt d tt dtt dtgtgggdgdgfksJttt!tttjt ttt dtt dtgtgggdgdgfksJdS) Nz ZZ[sin(y)]rEr?rorcPttttSr)r)rr1rGrHrIrMz1test_DifferentialExtension_misc..Ms(=c!ffa(H(HrHrCr:r;rr)r)rr6rr1rrrrr7r0NotImplementedErrorrr rQrrrewriterGrHrItest_DifferentialExtension_miscrGs QA 2 2 C c!ffRiL 1 1 142d3K3K3K a4 $r2d";";";> " "#s1SWW9~~r1u&=%>u qRy      !Q#ad))!3Q 7 7 H adBatAqzz4!R==&AAr7 3q!t99  THb1#1v ? adBatAqzz4!R==&AAr7 3q66  R$q  ;M< < < < < ! + + < aT!QZZ$q!**sBTFTFK L L L L T!WW__S%9%9!:!:A > > O aT!QZZ$q!**sBTFTFK L L L L L LrHcldttzdzdtdtzzdttdzzzdttzzdzz tdttdzz dtzz z}t|tjt ddt zzt zt t ddt zzdt dzzzdt dzzzt t dtt t t t dd t zzdt dzzz ddt zzt dzzz t zt d gtt t gtttttttdt dzz dtzz gggd dtdt dzz dtzz gfksJdS) NlF3ihiar;i?#r:r?rCrYzZZ(t0)rEr) rr1r)rrrrcrr7)rs rI$test_DifferentialExtension_Rothsteinr]s CFF Z '(3qs88*; c!ffai+#CFF*++-5+6 77:1c!ffqj>BqD;P7Q7Q RA A & & 7 zJrM)2-r 2 2D" : Q:')1"a%:89;5=5= aT"b\\4"r"u*r"a%x*?(@!ad( AC))h$($($( )+,b"+ 3q66  F1c!R!V*r!t*;&<&<==>tQ26 RT(9:  < < < < < < >>> 42:::: 44BF R(( ( ( ( ( 7k ! ! ! !     x2~~~~trzzzzttB||####w% B   % %8r>>>>419999441::%%%%7f$$$$$  % % % % % % % % % % % % % % % x2~~~~trzzzzttB||####w%               " 8r>>>> 42:::: 44BF R(( ( ( ( ( 7k ! ! ! !/ B   $ $# # $ $ $ $ $ $ $ $ $ -...      8r>>>> 42:::: 44BF R(( ( ( ( ( 7k ! ! ! ! ! !si+A!G A E& G&E* *G-E* .AGGG7I)III)II)) I65I6c  ttttzttttzksJtt ttdtt tz dz tt tzdz z ksJtddtdzzztdzzdtdzztdtdzzzztdzttdzzdtdzzttdzzzttdzzz tt ttdz tttdzdtdzzz zksJtdtdksJttttz dz}t|t}|ttttt zdzzt tdztz tttzz tzksJtt|t|z dksJtdtz dz tdtz dz z tz tddtz z dz tddtz zdz z tz z }t|t}|tdtz tddtz z zdz tdtz tddtz zzdz z t t tztdzzdtztdtz zz t tzz dtdzzdtzz z tzksJttt|t|z d dksJttttzttdzttzdz tdzdz z ksJttttztttttzzttzz ksJtttttttttztdz z ksJdS) NT)rewrite_complexr:r?r9r;rrt)force)r*rrr1rrr,rrrr6r rr)e1ans1e2ans2s rItest_risch_integratersK 2c!ff9a ( (Bs1vvI 5 5 5 5 3q661d ; ; ;AaCy{SRSQSTUQUYYWX[?X X X X X A!Q$JA-!Q$s1QT6{{0BBT#ad))^a1fSAYY&&QT2456 8 8c1a4%jj!,,s1a4yy!ad(/CC D D D D 1a A % % % % Qs1vvX\  B 2q ! !D Ac!CGG)a-(((+@!Q$(QQTUVQWQWZAXZ[+\+\\ ] ] ] ] $tQ--"$ % % * * * * bd))A+AaC "A %Q1Wa#a!A#g,,q.)H!(K KB 2q ! !D 3qs88CAaCLL(*S1XXc!ac'll-B1-DD !1R419qs3qs88|#;ad#BQq!tVaPQc\"RTU V VW W W W W fT$]]R/00 = = = B B B B 3q!t99a ( (AqDQKMAqDF,B B B B B 3q!t99a ( (Ac!Q$iiK!A#,= = = = = 3tAww<< + +qT!WW~!/C C C C C C CrHc2tdttzdtdtzzz tdtzztdtdtzzdtdtzzz ksJdS)Nig3333333@r9g333333r\g(@r@)r*rr1rGrHrItest_risch_integrate_floatrs{ CAJc!A#hh6AaC@! D DSQRSTQTXX X\]`abcdad]e]eXeHe e e e e e erHcttttdzttsJttttzt tzttsJtt ttzt ztt t ttsJdS)Nr:) isinstancer*rr1r,rrsubsrGrHrItest_NonElementaryIntegralrs oc!Q$ii335J K KKKK oad3q66k1557L M MMMM +AqDGQ77<AAX  F s1vvqyj1Q3s1vv:%A.Q7!Q$>B C CQ F  G QT6Bq!tG c!Q$h &QT 1CE 9C ?Q G ad7R1W s1a4x '#ad( 2SU :CFF B C AqD& ad7  AX &(+AqD 136q!t8 <>A!e D s1vvqyj1Q3s1vv:%A.Q7!Q$>B C C D D Q{3q6619qAvc!ffai/A663q6619D CFFQT AqD #a&&!)+, -A Q$AqD.2ad7 "SU *R /RT : adUQqSQZ ! #c!ff ,s1vvqy 83q66 A B BA E FA 1a A % % % % % %rHN)lrsympy.core.functionrrrrsympy.core.numbersrrr sympy.core.relationalr sympy.core.singletonr sympy.core.symbolr r &sympy.functions.elementary.exponentialrr(sympy.functions.elementary.miscellaneousr$sympy.functions.elementary.piecewiser(sympy.functions.elementary.trigonometricrrrsympy.polys.polytoolsrrrsympy.integrals.rischrrrrrrrrr r!r"r#r$r%r&r'r(r)r*r+r,r-r.r/sympy.testing.pytestr0 sympy.abcr1r2r3r4r5r6rrcrr7rJrOrRrgrlrqrwryr~rrrrrrrrrrrrrrrrrrr ExceptionrrrrrrrrrrGrHrIrsEEDDDDDDDDDDDD0000000000$$$$$$""""""////////========999999::::::EEEEEEEEEE8888888888****************************************************(''''''''''''''''''''' WU^^ B F3KKKKK ) ) ) 5 5 52222GGG$ ? ? ?2C2C2Cj!!!bbb D D DPPP"FFF>AXAXAXF(((>>,,,KKK.AAA   ))) #?#?#?L       333,!$!$!$H888&LLL, < < <        )")")"X%D%D%DPfffaaa000  ; ; ; &&&&&rH