Rie0jddlmZddlmZddlmZmZmZddlm Z m Z m Z ddl m Z ddlmZmZddlmZmZmZddlmZmZmZmZdd lmZdd lmZdd lmZm Z m!Z!m"Z"m#Z#m$Z$dd l%m&Z&m'Z'm(Z(m)Z)dd l*m+Z+ddl,m-Z-ddl.m/Z/ddl0m1Z1ddl2m3Z3m4Z4m5Z5ddl6m7Z7m8Z8m9Z9m:Z:ddl,m;Z;ed\ZZ?edZ@dZAdZBdZCdZDdZEdZFdZGdZHdZIdZJd ZKd!ZLd"ZMd#ZNd$ZOd%ZPe7d&ZQd'ZRd(ZSd)ZTd*ZUe9d+ZVd,ZWd-ZXd.ZYe9d/ZZe9d0Z[d1Z\d2Z]d3S)4)Sum)Add) DerivativeFunctiondiff)IRationalpi)Ne)Symbolsymbols)LambertWexplog)asinhcoshsinhtanhsqrt) Piecewise)acosasinatancossintan)besseljbesselkbesselyjn)erf)Integral)ratsimp)simplify) componentsheurischheurisch_wrapper)XFAILskipslowON_CI) integratezx,y,z,nufc tttztthksJtdttzz tthksJttttttthksJtttt t tztt tttt t tthksJtttt ttzztttt tztt thksJtttddzt ttz tttttddzt ttthksJttttttthksJttttttttttttthksJtttttttztttttttttttthksJdS)N6) r&xyrrrrr r.rrClib/python3.11/site-packages/sympy/integrals/tests/test_heurisch.pytest_componentsr8s ac1  ! $ $ $ $ aQi # #s * * * * c!ffa SVVQK / / / / c!ffT#a&&\\)1 - - QQc!ffq) * * * * aCFF1H oq ) ) Qs1vvX3q66" # # # # a"b)))$s1vv,,6 : : QHQOO#T#a&&\\15 6 6 6 6 addA   AaDD      j1q))1 - - AaDD*QqTT1%%& ' ' ' ' add4!a==(! , , AaDD*QqTT1%%z!A$$':':; < < < < < >Q     Aq>>QT!V # # # # ArE1  Br ) ) ) ) Aq ! !QqS ( ( ( ( ( (r6c tdtz tttksJtddtzz tttdzksJtdtttzz tttttzksJtdtdzzdtdzzdz z tdtdtdzzdz zdz dtdtdzzdzzdz fvsJtdtdzzdtdzzdzz tdtdtdzzdzzdz ksJtdtdzz tdtz ksJtdtdzz tddtdzzz ksJdS) Nr0rB r>)r'r3rrr4r5r6r7test_heurisch_fractionsrK;s AaC  s1vv % % % % Aq1uIq ! !SQZZ / / / / Aq3q66zNA & &#a#a&&j// 9 9 9 9 AadF !Q$   c!AqD&1*oo-2Ac"QT'A+6F6F4F4KL M M M M AadFAadFQJ' + +qQq!tVaZ/@2/E E E E E AadFA  "Q$ & & & & Bq!tGQ  1a1f: - - - - - -r6cztttttttztz ksJttdtztt ttdzztttzzksJtttdzttttdzzdtzz dtzttzdtzz fvsJdS)NrB)r'rr3r5r6r7test_heurisch_logrNLs CFFA  !CFF(Q, . . . . C!HHa QB3q66MAc!ffH$< < < < < C1IIq ! !aAqD kAaC&71SVVac9I%J J J J J J Jr6c PttttttksJttt ttt  ksJttdtzttdtzdz ksJttttzttttzttz ksJttttdzztttdzdz ksJtttdz tJtdtztdtztdz ksJttdtzzttdtzztdz dtztddzzz ksJtt tt zt zt ddft ddfjtttt zzt zt dzz ksJtttt zt ddfjt tt zttz ksJtt  ttt z tt ttt z zztt ttt z zz z }ttt tt ttt z zzt |ksJdS)Nr1rBrIr0rM) r'rr3rr#zr4functionrr)antis r7test_heurisch_exprSRs CFFA  #a&& ( ( ( ( CGGQ  CGG8 + + + + C1IIq ! !SAYY^ 3 3 3 3 Ac!ffHa Ac!ffHs1vv$5 5 5 5 5 Ac!Q$iiK # #s1a4yy1} 4 4 4 4 CAJJ " " * * * AqD!  1SVV + + + + AadFA  !AqD&Q-!Q$s1vv|2C"C C C C C HQT!VaAYAq ::CQ G GAaQRdFSTHWXYZWZK[ [ [ [ [ C1q!Qi((11 5 5Ac!ff D D D D FF7DQKKAd1q5kkM 2 22S4A;;5G5GG HD CFF3r$q1u++~... 2 2d : : : : : :r6c tttttt ksJttttzdztttttzz ksJttttttksJtt ttt dt tdzzdz t t ttzttzzt t ttz ttzz fvsJtttttzttt ttzksJtttttzttt ttzksJtttttztttdzdz ttdz dz fvsJtttttz tt ttksJtttdtzzttdtzdz ttdtzzdz z ksJtdtz dz tdzzttztdtz dz tdzttzdttzz dtzttzzzksJtttdz ttdz ztdtztdtdzz ttdz zz tdtdzz ttdz zztttdz zttdz zzksJtttttdzdzz tttt ksJtdttdzz tdtdzttdt tdz zdz zdz ksJtdttzttzttdzdzz tttdttzdz ttdttzdzz ksJtdttz tdtttdz zksJdS)Nr0rB1rJrM)r'rr3rr rrrr4rrrrrrr5r6r7test_heurisch_trigonometricrXfs CFFA  3q66' ) ) ) ) Bs1vvIM1 % %RAY 6 6 6 6 CFFA  #a&& ( ( ( ( CFFA   AA M1 CFFQJ!A# CFFQJ!A##     CFF3q66M1 % %#a&&Q 7 7 7 7 CFF3q66M1 % %#a&&Q 7 7 7 7 CFF3q66M1 % %#a&&!)a-#a&&!)a)H H H H H CFF3q66M1 % %SVV 4 4 4 4 Ac!A#hhJ " "c!A#hhmaAaCj1n&D D D D D AbDFQTM#a&&(! , ,"Q1SVV c!ffH9 s3q66z9*1+ + + + + D1IIQqS )1 - -1R!Q$YaPQc7R1R QT ??D1II %2&()$qs)) D1II(=2> > > > > CFFCFFAIaK(! , ,c!ff = = = = As1vvaxL! $ $$q'' $tAwws1Q3xx7G7I2J2J(J1(L L L L L Ac!ffHSVVOSVVQY]3Q 7 74QA A < < DGGCFFNQ&''<( ( ( ( ( Ad1ggIq ! !QtD1II%6 6 6 6 6 6 6r6cttttttksJttttttksJttttzttttzttz ksJttttzttttzttz ksJttt tdz zttdzt tdz zdz t tdz ztt dtdzzzdz z ksJdSNrBrJ)r'rr3rrrr5r6r7test_heurisch_hyperbolicr[sN DGGQ  477 * * * * DGGQ  477 * * * * Ad1ggIq ! !QtAwwYa%8 8 8 8 8 Ad1ggIq ! !QtAwwYa%8 8 8 8 8  %!** a  qDqsOA-ac :QtA1H~~=Ma=OO P P P P P Pr6c tttttztttttzdz ttt tzdz z ksJtttt t z tdtzt tt t z zt t z dttt t z zz ksJdSNrB)r'rr3rrrr5r6r7test_heurisch_mixedr^s CFF3q66M1 % %QAq3q66#a&&=?)J J J J J C$r(( OOQ ' '1Q3s1T1"XX:+>tQBxx+G!CPQRVXYWYRZRZPZOOJ[+[ [ [ [ [ [ [r6c tdttz tdttzksJtdttdzz tdttz ksJtttdztdttdzzdz ksJttttt tztdtt tdzzdz ksJt d}tt|ttztd|dzz t|ttzzdttzt |ttzz|z z ksJt t|ttzttdttzt tt|zz|z dttt|zz|dzz zt|dfdksJt dd }t t|ttztd|dzz t|ttzzdttzt |ttzz|z z ksJdS) Nr0rBrMrIrFr4r)rTTpositive) r'rr3rrr r(rr r4s r7test_heurisch_radicalsrcs Ad1ggIq ! !QtAwwY . . . . Ad1ggqjL! $ $477 2 2 2 2 DGGQJ " "aQ l1n 4 4 4 4 CFF4A<<' + +r$s1vv,,//A!/C C C C Cs A C$q'' NNA & &!AqD&QtAwwY*? $q'' #aQi.. "+# # # # # C$q'' NNA . .) DGGCQ NN "1 $qT!WWQY'71'< Tr`)r r(r3rrrr rrbs r7"test_heurisch_symbolic_coeffs_1130rjss A Aq!taxL! , , T1"XX$r(( #c!dA2hh,&7&7488&DDq!HH1d|11     sT"""A Aq!taxL! , ,aQia1H I I I I I Ir6c ttddtdzzztgttddtdzzzzdz tdttdtzzdz zksJttddtdzzz tgttddtdzzz zdz tdt tdtzzdz zksJtdtddtdzzzz tgtdttdtzzdz ksJtdtddtdzzz z tgtdt tdtzzdz ksJtt dtdzztgtdt zttdtzzdz ksJtdtddtdzzz z tgt ttdd zdz ksJtdtddtdzzzz tgtttdd zdz ksJtdtd tdzzdz z tgtd td tztd td tdzzdz zzzd z ksJdS) Nr0rUrBhintsi rJrM) r'rr3rrrr r"r rr5r6r7test_heurisch_hackingrpsq DQq!tV$$ar 2 2 2 $q1QT6z  1tAwwuT!WWQY'7'77:: ; ; ; ; DQq!tV$$ar 2 2 2 $q1QT6z  1tAwwtDGGAI6r99 : : : : Ad1qAv:&&& 4 4 4 Qd1ggai   " # # # # Ad1qAv:&&& 4 4 4 QT!WWQY! " " " " C1a4LL!2 . . . QrT 3tAwwqy>>!"$ % % % % Ad1qAv:&&& 4 4 4 Qx1~~ q  ! ! ! ! Ad1qAv:&&& 4 4 4 aA! " " " " Ad1QT6!8nn$ar 2 2 2 773qsT!WWT!AqD&1*%5%55566 6q 8 9 9 9 9 9 9r6cXttttJdSr:)r'r.r3r5r6r7test_heurisch_functionrrs$ AaDD!   $ $ $ $ $r6ctttt}ttt|ztttdzdz ksJtttdz|ztttdzdz ksJt|ttz tt ttksJdS)NrBrM)rr.r3r'r)dfs r7!test_heurisch_function_derivativerus addAB AaDDGQ  1Q44719 , , , , AaDD!GBJ " "addAgai / / / / BqttGQ  3qtt99 , , , , , ,r6c $dttzz }t|ttttzksJdttz z }t|ttttz  ksJdttz ttzzz }t|tt tttz  dtzz tttzdtzz zt tdfdtz dfksJt tdzttz ttzzz }t|ttt tdz tdztdzz z ztdzt tdz tdztdzz z ztz z ksJdS)Nr0rBrT)r4r3r(rrr r)r.s r7test_heurisch_wrapperrws 1q5 A Aq ! !SQZZ / / / / 1q5 A Aq ! !c!a%jj[ 0 0 0 0 AEAE?A Aq ! !Y a!e**ac SQZZ1- -r!Qxx81Q3+&G&G G G G G QTAEAE? #$$A Aq ! !QtQTE1a4!Q$;,?'@'@%@d4Aq!tad{# $ $$Q&&' ' ' ' ' ' 'r6ctdtdttdzzzz ttttksJdSrg)r'r3rrr5r6r7test_issue_3609rysG AqAA M*+Q / /4A<< ? ? ? ? ? ?r6cd}tdzdtdzzz dtdzzz dtzzdz tdzdtdzzzdtdzzzdtdzzzz }ddtdzzzdtzzd td zzztd zdtd zzzdtzzz ttz}|tt|tt|ksJdS) NcJ|jrtfd|jDS|S)Nc>g|]}||Sr5)has).0argr3s r7 z6test_pmint_rat..drop_const..s(BBB#cggajjB#BBBr6)is_Addrargs)exprr3s `r7 drop_constz"test_pmint_rat..drop_consts4 ; BBBBBBBC CKr6rUrJrBrGrHrMrF)r3rr$r')rr.gs r7test_pmint_ratrs A1a4!AqD& 1Q3 & *QTAadF]R1W-DqAv-MNA Qq!tVac AadF "QTAadF]QqS%89CFFBA :ghq!nn--q 1 1Q 6 6 6 6 6 6r6cztttz ttdzz ttz}tdz dz tttz z tttdzdzdz z}t|t|ksJdS)NrBr0)r3rrr'r.rs r7test_pmint_trigr s SVVs1vvqy 3q66)A Aa!CFF(SQQ//11A Aq>>Q      r6ctrtddtztttzztt tzttzdz ztt tzttzdzz tz }t tttzt tzdtttzt tzz z}t t |t|ksJdS)NToo slow for CI.r0rB)r,r*r3rrr$r'rs r7test_pmint_logexprs !    Q3q66 AAJQ/!34a#a&&j3q666IA5MMaOA AAJQ   1a#a&&j3q66&9#::A 8Aq>> " "a ' ' ' ' ' 'r6cttdz ttzttdzttdzz ttz dzz }ttt ttdz zdz ttt ttdzzdz z ttdttzdz z z }t t|t|ksJdS)NrBrMr0rrJ)rr3r"rr rr$r'rs r7test_pmint_erfrs QTE 3q663q6619s1vvqy03q669A=>A RSVVaZ "T"XXc#a&&1*oo%=a%??$r((AcRSffHWXLBYYA 8Aq>> " "a ' ' ' ' ' 'r6ctt}tttztz tttz z}t|t|ksJdSr:)rr3r'rs r7test_pmint_LambertWr"sO A (1++ AhqkkM)A Aq>>Q      r6clttdzttttz }tttzttttz }t |t|ksJttttztttdztzz tz }ttt}t |t|ksJt tdztt ttz }tttztt ttz }t |t|ksJdS)Nr0)rnur3rr'r!rs r7test_pmint_besseljr)sQ72q>>)A 3q66 CA'''A Aq>>Q     GBNN QwrAvq111 114AAA Aq>>Q     261 bQiiA 3q66 C2q NN"A Aq>>Q      r6ctrtdttttzt tdtzz}dtztttzt tdz dtzzdz tttdz tzt tdtzzdz z}t |t|ksJttttzttdtzz}dtztttzttdz dtzzdz tttdz tzttdtzzdz z }t |t|ksJdS)NrrBrIr0rMrF)r,r*r3rrr r'rrs r7test_pmint_bessel_productsr9sk !     '"a..QqS)))A 1WR^^GBFAaC0002QwrAvq7I7I5I'RTVWXYVYJZJZ5Z[\5\\A Aq>>Q     '"a..QqS)))A 1WR^^GBFAaC0002QwrAvq7I7I5I'RTVWXYVYJZJZ5Z[\5\\A Aq>>Q      r6c,trtdd}d|tdt|tt|tzzzzzd|tzz t|tzz }t tt t tztt t tz}t|t|ksJdS)Nrc:tt|Sr:)rr)r3s r7omegaz%test_pmint_WrightOmega..omegaNsAr6r0rB) r,r*r3rrrrrr')rr.rs r7test_pmint_WrightOmegarJs !        UU1XXSq]]a%%((l;; < >Q      r6cttddtdzzztgdtztdtdzzdzzdtdtzzzksJdS)Nr0g?rBrlg?g?)r'rr3rr5r6r7test_RRrWs| DT!Q$Y''" 5 5 5 Ad419q=!!!Cc!e $44 5 5 5 5 5 5r6ctd\}td|}fd}t|||}t|||}||||ksJdS)Nzt RrPc:|tdz|dzz z Sr]r)r3Rs r7r.ztest_issue_22527..fks" tAqD1a4K   r6)r rr-subs)trPr.UzUtrs @r7test_issue_22527rhs 6??DAq aA!!!!! 11Q44  B 11Q44  B A      r6N)^sympy.concrete.summationsrsympy.core.addrsympy.core.functionrrrsympy.core.numbersrr r sympy.core.relationalr sympy.core.symbolr r &sympy.functions.elementary.exponentialrrr%sympy.functions.elementary.hyperbolicrrrr(sympy.functions.elementary.miscellaneousr$sympy.functions.elementary.piecewiser(sympy.functions.elementary.trigonometricrrrrrrsympy.functions.special.besselrrr r!'sympy.functions.special.error_functionsr"sympy.integrals.integralsr#sympy.simplify.ratsimpr$sympy.simplify.simplifyr%sympy.integrals.heurischr&r'r(sympy.testing.pytestr)r*r+r,r-r3r4rPrr.r8r<r@rDrKrNrSrXr[r^rcrerhrjrprrrurwryrrrrrrrrrrr5r6r7rs))))))<<<<<<<<<<0000000000$$$$$$////////GGGGGGGGGGKKKKKKKKKKKK999999::::::VVVVVVVVVVVVVVVVJJJJJJJJJJJJ777777......******,,,,,,KKKKKKKKKK999999999999//////gj!! 1a HSMM<<<&HHH;;;)))..."KKK ;;;(777BPPP\\\ ###"DDD LLL JJJ9990%%% - - - ' ' '@@@ 7 7 7  ((((((     555"r6