Rieρ ddlmZddlmZddlmZmZmZmZddl m Z m Z m Z ddl mZddlmZddlmZmZmZddlmZmZdd lmZmZmZmZmZmZmZdd l m!Z!dd l"m#Z#dd l$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/m0Z0dd l1m2Z2m3Z3ddl4m5Z5m6Z6ddl7m8Z8m9Z9m:Z:m;Z;mZ>m?Z?m@Z@mAZAddlBmCZCddlDmEZEmFZFmGZGmHZHmIZImJZJmKZKmLZLddlMmNZNddlOmPZPmQZQddlRmSZSddlTmUZUmVZVmWZWmXZXmYZYddlZm[Z[m\Z\ed\ Z]Z^Z_Z`ZaZbZcZdZeZfedZgdedefdZhdZidZjdZkdZldZme\d Zne\d!Zod"Zpd#Zqd$Zrd%Zsd&Ztd'Zud(Zve\d)Zwd*Zxd+Zyd,Zzd-Z{e\d.Z|d/Z}d0Z~e\d1Ze\d2Zd3Zd4Zd5Ze\d6Zd7Ze\d8Zd9Zd:Ze\d;Zd<Zd=Zd>Zd?Zd@ZdAZdBZdCZdDS)E)Expr)Mul) DerivativeFunctiondiffexpand)IRationalpi)Ne)S)DummySymbolsymbols)explog)asinhcschcoshcothsechsinhtanh)sqrt) Piecewise) acosacotacscasecasinatancoscotcscsecsintan) Heaviside DiracDelta) elliptic_e elliptic_f) ChiCiEiShiSierferfifresnelcfresnelsli) uppergamma)assoc_laguerre chebyshevt chebyshevu gegenbauerhermitejacobilaguerrelegendre)polylog)Integral integrate)And)manualintegratefind_substitutions _parts_ruleintegral_steps manual_subs)raisesslowzx y z u n a b c d efFct|t|ksJ|t|sJdSN)rCxrequalsrJrKs Alib/python3.11/site-packages/sympy/integrals/tests/test_manual.pyassert_is_integral_ofrRsG 1a A % % % % 66!99  A  c$tttdzdzdzttdzzttdzzttttdtdz dtdzzz tdzz fgksJtt tdzt tt tzzt tt tzz ttt tt tzddtz fgksJtdz tddttfttttdz zttvsJtttttdzttrJdS)N) rDr#rNr$ur%r'r rrrJrSrQtest_find_substitutionsr\"s s1vvqy1}q0Q:3q6619Da K K a&&!adUQq!tV^ad* +, - - - - s1vvqy3q66CFF?:s1vvAO $ $),Q#a&&!QqS(A'B C C C C TE8B??CFF +/A!c1a4%jj.RSUV/W/W W W W W!*QqTT1"5"5q"8!Q???????rSc|tttttzksJttdtttdzksJttdzttdzdz ksJtdtdzzdtdzzzttdztdzzksJttdzdzttdzdzdz ksJtdtzdzdztdtzdzdzdz ksJttdzdzttdzdzdz ksJtdtzdzdztdtzdzdzdz ksJdS)NrUrX )rCyrNrrZr[rSrQ test_manualintegrate_polynomialsra+s 1a AaC ' ' ' ' 3q661 % %SVV 3 3 3 3 1a4 # #q!tax / / / / 1q!t8a!Q$h. 2 2adQTk A A A A AEA:q ) )a!eaZ!^ ; ; ; ; AaC!Ga< + +!a!|a/? ? ? ? ? AEA:q ) )a!eaZ!^ ; ; ; ; AaC!Ga< + +!a!|a/? ? ? ? ? ? ?rSc xttdtzttdtzdz ksJtdtztdtztdz ksJt dt dtdtzz z tt dtdtzz dz dz tt dtdtzz dzdz z tdtz tttksJtddtzdzz ttdtzdzdz ksJtttdztz tttdzdz ksJt ttzttdzzttzdS)NrUrVr^)rCrrNrrRrr[rSrQ!test_manualintegrate_exponentialsrc8s 3qs88Q ' '3qs88a< 7 7 7 7 1a4 # #Q#a&&'8 8 8 8 8!D3qs88,,,d1s1Q3xx<001455a7#d1s1Q3xx<>P>PST>T:U:UVW:WWYYY 1q5! $ $A . . . . 1!a=! , ,AaC!G q0@ @ @ @ @ 3q6619q=! , ,A A = = = =!Q$Aq/1a400000rSc tttttztttttzdz ttt tzdz z ksJtdtzt tztdtzttzdt tzzksJttt tzttdzt tzdz tdzdz z ksJtt tttt tztz ksJtdtdzzdzttztdtdzzttzdtzttzz dttzzksJtt tttt tzt tdzdzdz z ksJtt ttdksJttttdksJttdztdksJtt tt}|dt tkr |ddksJdS) NrUrXr^rW rVr)rCrrNr&r"rr!rE)results rQtest_manualintegrate_partsrhEsp 3q66CFF?A . . Q#a&&AQ#a&&A 55 6 6 6 6 1Q3s1vv:q ) )QqSQZ!CFF(-B B B B B 1s1vv:q ) )QT#a&&[]QT!V-C C C C C 3q661 % %SVVa 7 7 7 7 AadFQJ#a&&0! 4 4 !Q$s1vv !CFF "RAY. / / / / 477A & &!DGG)c!Q$(mmAo*E E E E E s1vvq ! !T ) ) ) ) s1vvq ! !T ) ) ) ) q!tQ  4 ' ' ' ' a! $ $F !9Q  F1INNNNNNrSc tttttt ksJtt ttt tt ksJtt ttt t tt tzksJttttt ttttz ksJtttttztttdzdz ttdz dz fvsJtt t t tztt t ksJtttttzttt ksJtt tdztt tksJtttdzttt ksJttt tdzztt t tdzt tdzzdz ksJttttttztt ttttttz ksJttdtzt tztt tdtzzksJttdtzt tztdt ttzdt ttdzzzdttdzzz ksJttdtztdtzdz ttttdzzttdzdz tttt tttttt ttttdtttdz z}}t|t|ksJ|t|z t$dksJt)tt ttdz }}t|t|ksJ|t|z t$dksJdS)NrUr^r)rCr&rNr"r'rr%r$r#rRrrrrrr!rrewritersimplifyrrPs rQ!test_manualintegrate_trigonometryrmXs 3q661 % %#a&& 0 0 0 0 3q661 % %#c!ff++ 5 5 5 5 3q661 % %SVVc!ff_)=)= = = = = 3q661 % %#c!ffs1vvo*>*>)> > > > > 3q66CFF?A . .3q66Q;?SVVQYJQRN2S S S S S CFF7SVV+Q / /CFF7 : : : : 3q66CFF?A . .3q66' 9 9 9 9 3q6619a ( (CFF 2 2 2 2 3q6619a ( (SVVG 3 3 3 3 1s1a4yy=! , ,C1IIAqD 4I0J0J10L L L L L 3q66#c!ff++-q 1 1c#c!ff++CPQFF :S6T6T5T T T T T 3qs88CFF?A . .1"s1Q3xx- ? ? ? ? 3qs88CFF?A . . 3s1vv;;3s1vvqy>>))Ac!ffaiK7 8 8 8 8$qs))T!A#YYq[111!DAJJ,QT 1 555$q''3tAww<<000$q''3tAww<<000 77Ad4!99oo%qA 1a A % % % % FF1IIM " "3 ' ' 0 0 2 2a 7 7 7 7 77CQqS NNqA 1a A % % % % FF1IIM " "3 ' ' 0 0 2 2a 7 7 7 7 7 7rSc<tttdzttztttdzdz ksJtttdzttdzzttdz tdtzdz z ksJtttttdzztttdz dz ksJtttdzttdzztttdzdz ttdzdz z ksJtt tdzt tztt tdzdz t tz ksJtt tt tdzztt tdzdz ksJtt tdzttztttdz dz dttdzzdz zttz ksJtt tdzttdzztt tdz dz dt tdzzdz z t tdzdz z ksJdS) NrUr^rX rerW)rCr&rNr"r'r%r#r$r[rSrQtest_manualintegrate_trigpowersrrws 3q6619s1vv-q 1 1SVVQY] B B B B 3q6619s1vvz11 5 5 AAaC2      3q66CFFAI-q 1 1c!ffaiZ!^ C C C C 3q6619s1vvqy0! 4 4 A A A A % & & & & 3q6619s1vv-q 1 1SVVQYq[3q665I I I I I 3q66CFFQJ. 2 2c!ffaik A A A A 3q6619s1vv-q 1 1 Q 1 qQ{1}$s1vv- . . . . 3q6619s1vvqy0! 4 4 Q 1 qQ{1}$s1vvqy{2 3 3 3 3 3 3rScZ7tttdtdtzzz ttttksJtdddtdzzzz ttdtzdz dz ksJtdddtdzzzz tttdz ksJtddtdzzz tttdz dz ksJtdddtdzzzz ttdtzdz ksJt dd }t d d }td||tdzzzz tt ttt ||z z |t ||z zz ||z d kfttt | |z z ttt | |z zz dt |zt | zz d fksJtdd|tdzzzz tt ttdt d|z zz d|zt d|z zz d|z d kft ttdt d |z zz ttdt d |z zzz zdt |zz d fksJtd|dtdzzzz tt tdtzt |z dt |zz |d kfttt | dz z ttt | dz zz dt | zz d fksJtdddtdzzzz tttdz ksJtdtttdzzzz tttt ttz z tt ttz zz ksJtdt dtdzz z tttksJtdt ddtdzzz z tttdz ksJtdt ddtdzzz z ttdtzksJtdt ddtdzzz z ttttddzdz ksJtdt tdzdzz tttksJtdt tdzdzz tttdz ksJtdt dtdzzdzz tttdz ksJtdt dtdzzdzz ttdtzdz ksJtdt |tdzzdzz tt ttt | zt | z |d kftt |tzt |z |d kftd fksJtdt |tdzzz tt ttt d|z z|d kftdtzdt |tdzzzzd fksJtdt tdzdz z ttdtzdt tdzdz zzksJtdt tdzdz z ttdtzdt tdzdz zzksJtdt dtdzzdz z ttdtzdt dtdzzdz zzdz ksJtdt dtdzzdz z ttdtzdt dtdzzdz zzdz ksJtdt |tdzzdz z tt tdt |zt |tdzzdz zd|ztzzt |z t|d ft tzdz d fksJtdt | dtdzzzz tt tdtzt d |z zdz |d kftdtzdt | dtdzzzzzdz d fksJtttttttzt dtdzz zksJttttztt ttztttzzt tdz tdzzdzztz ttd fdksJtttttzztt t t t tdz tdzzdzzdtdzzz tdtdzztzdt tdz zt tdz tdzzdzzzdtdzzt tdz zz zttdzd ftdzdz d fzdz tdztttzzdz zksJtttttttzt dtdzz z ksJttttztt ttztttzzt tdz tdzzdzz tz ttd ft tzdz d fksJtttttzzttt t t tdz tdzzdzzdtdzzz tdtdzztzdt tdz zt tdz tdzzdzzzdtdzzt tdz zz zttdzd ftdzdz d fzdz tdztttzzdz zksJtttttttzttdzdzdz z ksJttttztt ttztttzzttdztdzzdzdz z tz ttd fdksJtttttzztt ttdzz ttt tdzz tdzt tdzzz z zdz tdztttzzdz zksJtt#tttt#tzt%dtt ddtdzz z zz tzksJtt#ttzttt#ttzzt%dtt ddtdztdzzz z zz ttz zksJttt#ttzzttdzt#ttzzdz t%dt ddtdztdzzz z z tdtzz zksJtt'tttt'tzt%dtt ddtdzz z zz tz ksJtt'ttzttt'ttzzt%dtt ddtdztdzzz z zz ttz z ksJttt'ttzzttdzt'ttzzdz t%dt ddtdztdzzz z z tdtzz z ksJtt)tttt)tzttdzdzdz zksJtt)ttztt ttzt)ttzzttdztdzzdzdz ztz ttd ft tzdz d fksJttt)ttzzttttdzz ttt tdzz tdzt tdzzz z zdz tdzt)ttzzdz zksJtdt ||tdzzz z tt ttt ||z zt |z t+| d k|d kfttt | |z zt | z t+| d k|d kftd|ztzdt | zt ||tdzzz zzt | z t|d ftt |z d fksJtdt ||tdzzzz tt ttt | |z zt | z t+|d k|d kfttt ||z zt |z t+|d k|d kftdt |zt ||tdzzzzd|ztzzt |z t|d ftt |z d fksJdS)NrVrUrXr_r^rWaTrealbrrYro)rT)rCrrNr!rrrrr rurxr r rr rr rr@rrrB)rarbs rQ test_manualintegrate_inversetrigr}se 3q66QQqS\2A 6 6$s1vv,, F F F F 1A1H -q 1 1T!a%']]Q5F F F F F 1R!Q$Y/ 3 3tAww| C C C C 1AqD>1 - -a!eq @ @ @ @ 1A1H -q 1 1T!A#YY] B B B B $   B $   B 1b2ad7l+Q / /4$r"u++ &&42;;7BCD"RLL())CD"RLL0@,A,AAAd2hhJtUWTWyyDXY[_` b b b b b b 1a"QT'k?A . .41T!B$ZZ<())1R4QrT ?;QrTAXF2s1qbe},--A$r"u++ 4E0F0FFG4PR88TVZ[ ] ] ] ] ] ] 1b1QT6k?A . .4!DHH %%qbz2BF;D"IIaK((3q499Q;+?+??!D"II+NPTU W W W W W W 1a!AqD&j>1 - -a1 < < < < 1a!AqD&j>1 - -aQqS k1B1BAd1Q3iiK1P P P P P 1T!AqD&\\>1 - -a 8 8 8 8 1T!AadF(^^+Q / /47719 < < < < 1T!AadF(^^+Q / /4!99 < < < < 1T!AadF(^^+Q / /4(1a..8H3I3I!3K K K K K 1T!Q$(^^+Q / / a     1T!Q$(^^+Q / / ac      1T!AqD&1*---q 1 1 a      1T!AqD&1*---q 1 1 ac 1      1T"QT'A+... 2 24$s)) $$T2#YY.Q7%R :K:KDQSHH:TVX[\V\9]`acg_hii j j j j 1T"q!t)__,a 0 054"::&&Q/#acAd219oo6J6J(JJKKQqRStVTXZ[]^Z^Y^T_T_M_`abdefhieiklbmbmo1Q~'' ''( )+,a4QqS >!+; < < < < < 477A & &!DGG)c!Q$(mmAo*E E E E E 4!99a ( (I!D1II AqDQRTUQUIXYMHZHZ[\H\8\^_7_acdeghaiai6jlu,v,v v v v v 1T!A#YY; * *qb!AqD&4$q2w--;P;PRSUVRVW[\]`b\cWdWdRd;e2e.fgh.hklnokoptuvwxuxpypykyz{k{.{ { { { { 477A & &!DGG)hq!DQqRStVDTDTBT?UWX6Y6Y*Y Y Y Y Y 4!99a ( (Ad1Q3iiK(1aQQRTUWXTXYZ\]Y]T]Q^M^H_H_F_C`bc:d:def:f,f f f f f 1T!A#YY; * *ad4!99nQ.>!DQRUVXY[\X\]^`a]aXaUbQbLcLcJcefAgAgijklilAm.m m m m m 477A & &!DGG)hq!DQqRStVDTDTBT?UWX6Y6Y*Y Y Y Y Y 4!99a ( (Ad1Q3iiK(1aQQRTUWXTXYZ\]Y]T]Q^M^H_H_F_C`bc:d:def:f,f f f f f 1T!A#YY; * *ad4!99nQ.>!DQRUVXY[\X\]^`a]aXaUbQbLcLcJcefAgAgijklilAm.m m m m m 477A & &!DGG)c!Q$(mmAo*E E E E E 4!99a ( (I!D1II AqDQRTUQUIXYMHZHZ[\H\8\^_7_acdeghaiai6jmopqmqrsmsuylz,{,{ { { { { 1T!A#YY; * *a1a4$qa"g:O:OQRTUQUVZ[\_a[bVcVcQc:d1d.efg.gjkmnjnostuvwtwoxoxjxyzjz.z z z z z 1T"R1W*---q 1 14$r"u++ &&tBxx/bS1Wb1f1E1EF4B<<((rc2Caa4H4HIr"uQw499T"r!Q$w,-?-?!??@@rcJBrSTIIVT"XX:t$ & & & & & & 1T"r!Q$w,/// 3 34$s2v,,''bS 13rAvrAv3F3FG42;;''R0#b1fb1f2E2EFqbz$rBq!tG|"4"44qtAv=>>tBxxGBPQST"XX:t$ & & & & & & & &rSc ttdtdzzdz tz tttdtdzzdz dt ddtzz zz t tt ddktt ddkfksJtdtdztdtdzz zz ttttdz dz dz d tzz tdz dz dzdtjzzd tdzzz z t td ktd kfksJttd zdtdzzdzdtjzzz tdtdzzdzd tjzzdz dtdzzdzdtjzzdz z dtdtdzzdzzdz zddtdtdzzdzzz zksJdS)NrtrUr_r^rXrjrV}rerq1iѷiW) rCrrNrrrBr r Halfr[rSrQ&test_manualintegrate_trig_substitutionrsK 41a4! ,,Q. 2 241a4! $$qa1g6q8Aq>>)1xA+>??A B B B B B B 1adT"QT']]23Q 7 7D!Q$rA&&&A.TE"HqLAafH-r!Q$w7891T!WW9T"XX-c$q''!)A+.>.>>qA!Q S1a4[[=!DHH*T!A#YY.q0qA!Q hq!nn S!AYY &Jx1~~qs,K,K(KqA!Q qs88A:r!A#wwqA!Q q1Q3wA~  RQAE :1 3q66"QqS''>CFF2ac77N:qA!Q !a==?T!WWHS1XX-QAaC0@@qA!Q S1q\\>! Qs1vvXb1gg-#a&&AaC0@@qA!Q !99Q;AaCqA!Q q!t99Q;1a4 qA!Q S1q\\>2acAg;;q=qA!Q 1ac??1 ga1ooqA!Q T!aA k/ " " "Ad1ggIjHQNN.K.K$KA$MqA!Q Ac!ffaiK !Jq(2q//$B$B"BqA!QrSc ttttdzdtzzdzztttdzdtzzdzzksJtttdzdtzzdzttt ttdzdtzzdztksJttt tttttttt ttttksJdS)NrUr^)rCr rrNr`r@r&r[rSrQtest_manualintegrate_derivativer(s 2 1a4!A#:> : ::A > > adQqSj1n     :adQqSj1na88! < <AqD1Q3JNA..// 0 0 0 0 :c!ffaAq991 = =3q661a## $ $ $ $ $ $rSc  ttdtzdztdtzdzdz ttdtzdtdtzdz t tt t tzzdtttt t tzzt z tt dfttt dzdfksJtttdz dz ddttdz dz dzt ttttttzksJt ttdzttdzdz ksJt ttdztdksJt tttzttdzttzdz ksJt ttt zttdztt zdz ksJt tdtzdzttdztdtzdzzksJt tttzttdzttzdz ksJt ttdztdtz ztdzzttdzdz tddzttdzztddz tt dzzksJtd}t td tztdtzd z ztttd z ttd dztdtztd z zksJt t|tztdtz|z ztt|tddztt|zz tdtz|z zksJdS) Nr^rUrrVTrzrXr`rq)rRr)rNr(rCrurxrr r rr&r"r )r`s rQtest_manualintegrate_Heavisider1s=*QqSU++Yqs1u-=-=a-?@@@*QqS!,,i!nnQ.>??? :a!eQ// 3 3:a!A#g&&q("Q((3a 1a8H8H6H$5OPP Q Q Q Q*QqSUA..*QqSUA2F2F0FGGG 9Q<< + +q1~ = = = = 1Yq\\>1 - -Aa 7 7 7 7 1Yr]]?A . .! 3 3 3 3 1Y]]?A . .!Q$y!}}2DQ2F F F F F 1Yr]]?A . .!Q$y!}}2DQ2F F F F F 9QqS1W--q 1 1ac9QqS1W;M;M5M M M M M 1Yq\\>1 - -Aill1B11D D D D D 9QU++Ia!e,<,<> !9QU#3#3 3hq!nn DiQRPRUVPVFWFWW X X X X s A 3q1u::i!a&8&88! < <1q5zz\CQ00 0)AaC!A$$J2G2G G H H H H 3q1u::i!a&8&88! < < 8Aq>>! " "SQZZ /1Q371C1C C D D D D D DrSc td}dtdd}}t|||tt ||tt |tt |tt|tt|tt|tt||tg}|D]}t|t}dD]s} | ||}n#t$rY&wxYw| ||t|z dksJtt| tdtzdzz}t|t}d D]_}| ||t| ||z dksJ`td } t!t#|jdz D]H} t'|j} | | | <t)t|j| | t,sJIdS) Nnrqrer^)rzrYrrVr^rerorrUrV)rUrXrqt)rr r<rNr:r8r9r>r;r=r7rCsubs ValueErrorrrrangelenargslist isinstancefuncr@) rrurxpolyspintegraldegp_subbedqrinew_argss rQ$test_manualintegrate_orthogonal_polyrIsL A hq!nnqA Aq!Q  Aq!!4!4jA6F6F1a(1a..'!Q--!Qq!Q !EOO"1a((* L LC 66!S>>    MM!S))..q11H<DDFF!KKKKK affQ!a  "1a(( R RCMM!S))..q11AFF1cNNBJJLLPQQQQQQ CLLs16{{Q'' O OAAF||HHQKofafh.?CCXNN N N N N O%OOs'C>> D  D cttd\}}}tddd}t|||z zt||zz}|t tf}t ||||zdz t d|z|zdz zt||zzt ||zt||zdzzdz z |z ksJ|t||ztz |t||zzksJt|| trJdS)Nzr x phirT)integerpositiverUrX) maprsplitr"r rCr&rAtrigsimphasr)rrNphir integrandlimitss rQtest_issue_6799rgsPFIOO--..IAq#sD4000AQ#YAaC(I"b\F 9a ( ( A#a%#ac!e**Q, AcE *S3ZZAaC! -CA-E EqH I I I I yF++4466 6 ;q3q3w<1 - - Q!A##a!e** % & & & &sT"""As A 1a!AqD&j>1 - -aQqS k1B1BAd1Q3iiK1P P P P PsT"""A 1a!AqD&j>1 - - QaRbd# $%%qqbz$r!t**'<= > > > > 1q!tad{QQq!tVaZ0@0@@A1 E E QBaR!qb'$qAvz*:*:": QBQq!tVaZ   #!#$Q!W9Q!W#4T!AqD&1*5E5E#E#FGHIKK K K K K K 1q!taxa1fqj)9)99:A > >QTAXtAadFQJ///0!44 5 5 5 5 1a!Q$h1a4/0! 4 4QTEAqDFNQ&'++ , , , , , ,rSctttttztt ttzt tdz dzz tttzt tdz dzzttzzt t tdz dztz tz ksJtt tttztt t tzt tdz dzztt tzt tdz dzz ttzzt t tdz dztz tzksJtttttztt ttztttzttdzdzdz z ttzzttdzdzdz zt ttdzdztz tdz zksJdS)NrUrV)rCr rNrrr@rr!r[rSrQtest_issue_2850rs6 4773q66>1 - -!DGGdAqD519oo1May4A ??*CFF2235=dAqD519ooa>OQR5S5S2T T T T T 4773q66>1 - -!DGGdAqD519oo1M 477T1a4%!)__ $c!ff,2-/7adUQY8I1/M/M2N N N N N 4773q66>1 - -!DGGqay 1qMM!O@ VV?$2$&)!Q$(mmAo268@QTAXqRS8T8TUV8V2W W W W W W WrSc ttdtzttzttttdtzzdz dttzt dtzzdz z ksJt tdtzttztrJttdz tdzdtzz dzdzz ttttdzdtdzzz dtdzzzdtzz dzz tdtdtdzdtdzzz dtdzzzdtzz dzz tzz ksJdS)NrUrer^rXrorV)rCr&rNrr"rFcontains_dont_knowr@r[rSrQtest_issue_9462rs{ 3qs88CFF?A . .#a&&QqS/!2CaAhsSTUVSVxxFWXYFY2Y Y Y Y Yc!A#hhs1vvoq11DDFFFFF AEadQqSj1nq%88! < <#Aq!ta1f}qAv'=!'Ca'G$H!LLx1a4!AqD&=1QT6+AAaC+G!+K(LaPPPQ Q Q Q Q Q QrScttttdz z}dttdz zttzdz dttdz zttzdz z}t |t|kr|t|ksJtttzttdz z}tdttdz zttzdz dttdz zttzdz zzdttdz zttzdz z dttdz zttzdz z}t |t|kr|t|ksJdS)NrXrt!)r"rNrr&rCrrPs rQtest_cyclic_partsrsp As1Q3xxA 3qs88 CFF2#ac(( 3q66 1" 44A 1a A % %!&&))q.... #a&&QqSA Bs1Q3xxKA r !Ac!A#hhJs1vv$5b$8 8 9 C!HH SVVC "%c!A#hh,s1vv"5c"9 :A 1a A % %!&&))q......rSctdtdzzdtdzzzdtdzzzdtzzdztdzdtdzzzdtdzzzdtdzzzdtdzzzdtzzd zz tdtztdzd zz dttzzd tdzd zz z dtd zz z ksJdS) NrXr^rtrU rorWrerV)rCrNr!r[rSrQtest_issue_10847_slowrs AadFQq!tVObAg51Ad1ggI51a4!8 Dq!a%yP Q Q Q Q Q QrScfttdztdztz z ttttt t z zt t z tzksJt dd}ttdztdz|z z t|t ttt | z t | z |dkftt | tztt |tzz dt |zz dfztzksJtt ttz tttz ztdttddzztt ttz t tz zdz dtzt ttz zdz z dttz tddzztttz zdz zdttz tddzzdz zksJt d d}t d d}tt t|z t|tz ztd|dzzt tt t|z t |z t |z |dkftt |  t t|z ztt | t t|z zz dt | zz dfzdz d|zt t|z zdz z dt|z tddzzt|tz zdz zdt|z tddzzdz zksJtt tttztdttddzzttzdz dttddzzdz z ksJtt ttztztz tt dtztt ttztzt t z zt t z dt ttztzzzttdft tttzdfksJt d d}t d d}tt |tz|ztz tt d |zt tt |tz|zt | z  t | z |dkft tt | t |tz|zztt |t |tz|zzz zdt | zz dfzdt |tz|zzzt|dft |ttzdfksJttt |tz|zt|zz tt d |z|zt tt |tz|zt ||z|z z t ||z|z z ||z|z dkftt | |z|z t |tz|zzdt | |z|zzz tt | |z|zt |tz|zzdt | |z|zzz z dfzd|zt tt |tz|zt ||z|z z t ||z|z z ||z|z dkftt | |z|z t |tz|zzdt | |z|zzz tt | |z|zt |tz|zzdt | |z|zzz z dfzzdt |tz|zzzt|dft |t|tzzdfksJtt dtzdztdzz tdt dtzdzztt dtzdzdzz tt dtzdzdz zksJtt dtzdzdz tztdtzdztddzdz dtzdztddzdz z ksJtttddzttztdttddzzttzdz dttddzzdz z ksJttdzttzttt dtdzzz ddtdzzz z ksJttttdzddtz z zz ttttddtz zzt!tddtz ztz tz ksJdS)NrUcTrvrrXr^r_r`zrurxrzrVrerrjrY)rCrNrr!rrrrr`rr rurxr r rr@)rcryrzr{r|s rQtest_issue_10847rs  1a41a4!8,a 0 0Ad1T1"XX:6F6F4FtQBxx4ORS4S S S S S $   B 1a41a4"9-q 1 1 9d1T2#YY;''bS 126:DHH9q=))CR1 ,=,==$r(( KTR T T TVW X X X X X 4A;;QU3Q 7 7 !Xa^^ Da!eT!WW!4555a7!A#d1q5kk/!:KK 1q58Aq>> !!#ac((*1, -/0!a%(1a..1H/H/J K K K K K $   B $   B 4B<<#b1f++5q 9 9 "a% 4QV T"XX 566tBxx?aHbS zDRLL899CbS DQRUWQWLL@X->,>bdRi,P(Q(QSTUY[]Z]^`Z`ceZeUfUfSf(g(+D"R",=,=RTBY,O(P(PRSTXZ\Y\]_Y_bdYdTeTeRe(f)ghl(n o ood9d41r ??42 ;K;K+K&L<RTUWRWZ\R\M]M]&]_abd_dgi_ilm_m%n%($s2v{*;*;);d2a4"9oo)M%N%NPQRVXZWZ[]W]`bWbRcRcPc%d%(rc"frk):):T"Q$)__)L%M%MqQUWYVYZ\V\_aVaQbQbOb%c&dei%kllll RTBY' ( *,B 4 7;2hhs26{{6JD5Q  S S S S S S 4!a==AE2A 6 6!D1qMM/CPTUVWXUX[\U\P]P]`aPaLbLb:behimnopqnqtunuivivyzize{e{:{ { { { { 4!a==1,q0! 4 41q8Aq>>8QRT8TXYZ[X[^_X_bjklnobpbpWpqrWr8r r r r r 1hqmm+c!ff4a 8 8Aa!A>N2A 6 6 As2!8}}xB1H a;;; < < < < < >! , ,AaFF19M9Ma0P0P P P P P 1Qq66;;q>>..q11! 4 4 1Qq66!8L8L L L L L L LrScttttddftttttddfzksJdS)NrVrU)rCr@r`rNr[rSrQ#test_constant_independent_of_symbolrsU 8A1ay111 5 5 (1q!Qi   ! ! ! ! ! !rScttdtzttdtz dz ksJttttdtzztdttdzzdz ksJttdtzttzdttzz tdt ttdzzttdzz dttzzksJdS)NrUrzr^rV)rCr&rNr"rr[rSrQtest_issue_12641r s 3qs88Q ' 'C!HH9Q; 6 6 6 6 3q66#ac((?A . ."SVVQY,q. @ @ @ @ C!HHSVVOa#a&&j91 = = 3s1vvz??SVVQY&3q661 2 2 2 2 2 2rSctttttdzztttdz dz ksJdS)NrerW)rCr&rNr"r[rSrQtest_issue_13297rsH 3q66CFFAI-q 1 1c!ffaiZ!^ C C C C C CrSc tdtttdzzz tttdzdz tttdzdzz dS)NrV)rRrNrrr[rSrQtest_issue_14470rs^!QtAE{{]+Sa!eq-A-ACQQRU VWDXDX-XYYYYYrSc vttttttztt ttksJttdtztttztttt ttztttzksJttdtzt ttzt}|t rJ|ttdtzt ttzksJttdtddDtttdtzzdz ttdtzzdz zttdtzzdz zttd tzzd z zttd tzzd z zttdtzzdz ztttzztdtzd z z tdtzd z z tdtzd z z td tzdz z td tzdz z tdtzd z z ttz ksJdS)NrU cLg|]!}tt|tzz"Sr[)rNr).0ks rQ z#test_issue_9858..&s&@@@q#ac(( @@@rSrVrorqrWrerXr^r$rrtr_) rCrrNr"r&rr@rsumr)ress rQtest_issue_9858rs 3q66#c!ff++-q 1 1SQ[[ @ @ @ @ 3qs88CAKK/ 3 3 As3q66{{SQ[[( ) ) ) ) #bd))CAKK/ 3 3Cwwx     88A;;#bd))CAKK/ / / / / 3@@E!QKK@@@AA1 E E #ac(( 1 qQqSz!|#aAaCjl2Qs1Q3xxZ\A #ac(( 1  QqSz!| $&'Ah /14QqS" =>A!A#hhrk J AaC  !A#hhrk "$'!HHQJ /14QqS! <>A!ff E F F F F F FrSctttdzdzz tttdzdz ksJttdztdzdzz tttdzdz dz ksJtd tdzzdzdzz }t|tt|ksJdS) NrXrVrUrWrr^rerr_)rCrNr!rfactorrs rQtest_issue_8520r,s 1adQh< + +tAqDzz!| ; ; ; ; 1a4A+Q / /41Q<<? B B B B 1QT6A:/A 1a % %a ( ( / / 1 1Q 6 6 6 6 6 6rSctd\ttzttttzksJtttzksJt t fdt t fddS)Nzx yc$tSrM)rG)exprrNsrQz"test_manual_subs..;s{433rScBttSrM)rGrrrNr`srQrz"test_manual_subs..<s{4QA>>rS)rrrrGrHrrs@@@rQtest_manual_subsr3s 5>>DAq q66CFF?D tSVVQ ' '1s3q66{{? : : : : tSVVQ ' '3q66A: 5 5 5 5 :33333444 :>>>>>>?????rSctttttzttddzz }dttddzzt ttzdz dttddzztttzdz zdttddzzt ttzdz dttddzztttzdz zttzz}t ||dS) Nr^rXirVrrrtr)rrNr"r r&rRrPs rQtest_issue_15471r?s As3q66{{1hq!nn,,A QA s3q66{{*3.QA5F1Fs3q66{{1RSV1VVZ\]^`hijlm`n`n]nZnorsvwxsysyozozZz{}Z}ABCDFNOPRSFTFTCTATUXY\]^Y_Y_U`U`A`acAc[cehijekekZk kA!QrSc ndtzdzdtdzzdtzz dzz }t|tdtdtdzzdtzz dzzdz dtdzt dtdztt ddz zdz zd z zksJddtdzzdtzzdzz }t|tdtd tzdzzdtd tzd zzz ksJdS) NrerUr^rorWrfrVErX)rNrCrrr!r )rJgs rQtest_quadratic_denomrFs$ 1q1QT6AaC>!Ar2;//44D4AAA Q477]###c!ff, , , , , qssuu::+ + + + + + +rSc tttdztttdzzdz ttttddz zdtztttddz zzdz tdttdzz tt tzttdzz ttttdzztdzttdzzt tzt t ttzztzztz}t t ttzztzztzt tz tzzttzdzz }t t ttzztzztzt tz tzzt t tz tzz}t|ttt|tttzdf|d fttd ftt tzt ztzzd fksJ| t|sJ| tttzd|sJdS) NrUrer^rWrfrVrYTr)rRrrNr rrrurxderCrr rrOr)rJF1F2s rQtest_nested_powr\sI$q!t**aQT l1n555$q1Q446{++QqSa!A$$q&k1B1B-B2-EFFF!DAJJ,#a&&ad(;<<<!DRMM/1a4QU +;CFF+BCCC AacEA:A Q1WqL.1 acAg &!a 0B Q1WqL.1 acAg &s1Q37|| 3B 1a 9b"QqS"++.T ;;R1XXFAqDQRFUV;X\H]^^ _ _ _ _ 771::  Q   771::??1Q3 # # * *1 - ------rSc  tdtdzzdztddtzzz ddtzdztddz zzdz ddtzdztddz zzdz z d dtzdztddz zzd z zd tdtzdzzd z zt ttt t tzzdzz tttdt d zt tt t tzzz tt t tzzztt d ftdzdt tddz zzz dfksJttdtzdzdzdtzdzdtdz zdzz dtdzdtzdztddz zzdz dtdzdtzdztddz zzdz z dtdzdtzdztj dz zzdz z ddtzdztddz zzdz zddtzdztj dz zzdz z tdtdtzdzzdz zdtdtzdztj dz zdzzdz zdtdztdtzdztj dz zzdz ztttttzdttttzzttdz tdz ztddz z ztdttzdttttzzzdzdz zttdtzdztdtzdzzdztdtztdtzdzzdzdtzdz ddtzdztddz zzd z ztdtzdzd z zdtzdzdzdz ztddz zzdz dS)Nrer^rXrUrrqi7(QrzrTrVrWrror_rf) rRrNrr rCrurxrrr Onerr!r[rSrQ test_manualintegrate_sqrt_linearrjs1QT6!8T!AaC%[[0acAg1a004q!A#'QqTT!V9L7LR7OOacAg1a003469$qsQw--6G6JKLLL 1T!AaC%[[!^+Q / /3q!R%4AaC==4AaC==!@AA2a88LqRStUVWX[\]^[_[_`a[aWbUbOceiNjkk l l l l4!A;;q=AaCEQqttV+?DGG)QqS1W!Q$77:QtAwwY!aSTUVSWSWXYSYGZ=Z[]=]]DGG)QqS1Wa$88:;=>!a1Q44PQ6?R=RST=TUWXZ[\]Z]`aZaefejklelYmWmnoWopq''$qsQw--/1245c1Q37aeAg:NQR:R6S6S4STU4UVDGG)D!A#'QU1W)=$>$>>q@ABBB $qay//Da1---tAwwrzAaC/?!A$$q&/HICPQRVWXRYRYPY\]^bcghicjcjmncn^o^o\oPorsPsLtLtuvLvvxxx$qs1uT!A#a%[[01114qsT!A#']]2Q677Q3r6B!a1Q446':$:2$==QqS1W b@PPTUVWTWZ[T[^_S_`bSbbefgiejejkmemmoopqrrrrrrSc!tdtttz dzdz z t dtzdttdzdtztzz dz zzdtzz tdtdtdzzdtzzdzz tdt dtdztt ddz zzdz zdz tdtdtdzzdtzzdzz tdtdtdztt ddz z zdz zdz tdtdtdzzdtzzdz z tdt d tzdtdztdtdzzdtzzdz zzdzzdz tdtdtdzzdtzz dzz tt jz t tt jz zdttt jz dzzz tdttttzzttdzzzz ttt tdttzttttzzttdzzzzzdtztzzttz ttd tttdzdtzz z d zftdtzz tzt tdtzz tzztttdtzz tzdzzz ttd fdttttzzztz ttd ftttz d fksJtd tzd ztdtdzzdtzzdzz d tdtdzzdtzzdzzdz dtdzt dtdztt ddz zzdz zd z ztd tzd ztdtdzzdtzzdzz dtdtdzzdtzzdzzdz dtdztdtdztt ddz z zdz zd z ztd tzd ztdtdzzdtzzdz z d tdtdzzdtzzdz zdz dtdzt d tzdtdztdtdzzdtzzdz zzdzzd z zttt tzzttttzzttdzzzz ttt t zdtzz tztt tdttzttttzzttdzzzzzdtztzzttz tttdzdtzz z d ftdtzz tzt tdtzz tzztttdtzz tzdzzz d fzt ttttzzttdzzzztz zttd fdtzttttzzzdt zt ttttzzztttzzt ddz zdz zztz ztz ttd fttzt tdzzdz zttz d fksJtdtdzztdzz dtzzdz ttdzdtzz dzz tttdzdtzz dztdzdtzdz zt ddz zzdt dtzdttdzdtzz dzzzdz zdz zksJttdtdzzdtzz dztdz t ddz z tdtdzzdtzz dzzdtdzt dtzdz t ddz z zdz ztttttdzzzttttt dttzttttdzzzzdtztzzttz ttd ftt tztttdzzz d fzdz tttttdzzzzdz zttd ftttzd fksJtttttzzttdzzztttdz tdzdtzz z tt tdttzttttzzttdzzzzzdtztzzttz tttdzdtzz z d ftdtzz tzt tdtzz tzztttdtzz tzdzzz d fztdtzz tdz zttttzzttdzzzzzttd fdtttzzt ddz zzdtzz ttd ftttzd fksJttttdzdtzzdzztdzdz td z zt dd z zttdzdtzzdzzdt tdtdzzdz zdz z dS)NrVrUr^rXrerfrjrWrTrqr_irp erortiiiYi+AiiQiC)ir+i i:C)rRrrNr rrr r rrCrurxrrr r r r[rSrQ#test_manualintegrate_sqrt_quadraticr|s !D!a%!A...AaC!DA!APQAQUVX>X8Y8Y0YZ[0[\\\!DAqD1Q///aaRj!aPQddSTf*>UVX>X9Y9Y1YZ[1[\\\!D1a4!A...QAaC!DGG)DQRSTVWSWQWZ[\]Z]Q]`aQaLbLbBbc>c:cdf:ff g g g g$uQTz%'1%788Q35%/eAqDj576JU6R1S1SS#DJJ.uU1WU]QuXXd]5R/S/SST^^_``` 4!AqD&>>1 - -1YAd1ggId1qAv:.>.>$>1Q$F G GQ OQSTUWXQYQYZ !#a&&a1f 5t<>>>>?@BCDQqRStVDTDTBTUVBVWXZ[\^_X`X`b7719d# % % % % % % 4!A#a1f --q 1 1AaC!Q$!*$c!aQiQ1WqAv5E0F0F&F"F1Q"NOOPTUVPWPWWY[\]`acd`dfghifi`j\jlmYnYno !A#w{C1Q3! ,<,<a88Ea!A#g1a((!A#.1a97719d#  % % % % % %!DAac!,,,a46AaC>>!Q$z!A$$A777Q$z!A$$A777!AqD&AaDDSTVWRXAYAY:YYA#j1q111245addF;<<<<&sympy.functions.special.zeta_functionsr?sympy.integrals.integralsr@rAsympy.logic.boolalgrBsympy.integrals.manualintegraterCrDrErFrGsympy.testing.pytestrHrIrNr`rrZrrurxrr r rJrRr\rarcrhrmrrr}rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr[rSrQr5s DDDDDDDDDDDD0000000000$$$$$$""""""6666666666========]]]]]]]]]]]]]]]]]]999999::::::wwwwwwwwwwwwwwwwwwwwwwwwwwwwIIIIIIIIOOOOOOOOmmmmmmmmmmmmmmmmmmmmmmmm>>>>>>JJJJJJJJJJJJJJJJJJJJ::::::;;;;;;;;######..............--------&w'<==1aAq!Q1 HSMMTd @@@ @ @ @ 1 1 1333&888>333"^&^&^&B F F F444LLL " " " J$$$DDD0OOO< 7 7 7999 QQQ ***%,%,%,PWWWQQQ999QQQ /</</