RieHddlmZddlmZddlmZmZmZddlm Z ddl m Z m Z m Z ddlmZmZmZmZmZmZddlmZmZddlmZmZmZmZmZmZdd lm 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,m-Z-m.Z.m/Z/m0Z0m1Z1m2Z2m3Z3m4Z4m5Z5m6Z6m7Z7m8Z9m:Z:m;Z;mZ>m?Z?dd l@mAZAdd lBmCZCmDZDmEZEmFZFmGZGmHZHd ZIdZJdZKdZLdZMdZNdZOdZPdZQdZRdZSdZTdZUdZVdZWdZXdZYdZZdZ[d Z\d!Z]d"Z^d#Z_d$Z`d%Zad&Zbd'Zcd(Zdd)S)*)AddMul)IRationalpi)S)DummySymbolsymbols)coshcothcschsechsinhtanh)rootsqrt)coscotcscsecsintan)powsimp)LTR1TR10TR10iTR11_TR11TR12TR12iTR13TR14TR15TR16TR111TR2TR2iTR3TR5TR6TR7TR8TR9TRmorrie_TR56TRpower hyper_as_trigfuprocess_common_addends trig_split as_f_sign_1)verify_numerically)abcxyzctdttzttzdt tz dt tz zksJdS)N)rrr=rrrr*rrrr Halfr:r )rMs rE test_TR2irQs 1a419  !A# ) ) ) ) As1vv  #a&& ( ( ( ( As1vv c!ff$ % %QA 6 6 6 6 3q66#a&&=! " "aAh . . . . 3q66#a&&=Q'( ) )Qs1vvXc!ff_ < < < < Aq#a&&1*% & &#a&&#a&&1**=a*? ? ? ? ? Aq#a&&1*%D 1 1 1S1XXaZ ? ? ? ? AA #$ / / /3qv;; > > > > AA #$ / / /3q66 9 9 9 9 AA #$ / / /3q66 9 9 9 9 AA #$ / / /3qx== @ @ @ @ Q!SVV#$ / / /1S[[= @ @ @ @ Q!SVV#$ / / /1SVV8 ; ; ; ; Q!SVV#$ / / /1SVV8 ; ; ; ; Q!SVV#$ / / /1S16]]? B B B B Q!r"3q6619,4 8 8 8CKKN J J J J Q!r"3q6619,4 8 8 8CFFAI E E E E Q!r"3q6619,4 8 8 8SVVaZA2Q Q Q Q Q CFFQJ?3q66QB</0t < < <AafH q@P P P P P P PrDcttttttz zz ttttz ztzksJttdz tzt t ksJtdtzdz tztt ksJtt t tttfD]T}|ttddz}t|}t||r|j |j ksJUdS)NrA) r+rr>r=rrrrrrrr9func)frMjs rEtest_TR3rYAs  s1q!a%y=!! " "c!QU)a-&8&8 8 8 8 8 r!tax==SVVG # # # # r"uQw{  Aw & & & &3S#s +== Ab!Q  FF!!Q''ztest__TR56..Ms !a%rDrTrKFrArB T)Trr=rr)hs rE test__TR56rdLsA SVVQYS!Q . .#a&&3q6619*q.2I I I I I SVVRZc1a / /3q662: = = = = SVVQYS!Q . .CFFAI:>A2E E E E E SVVQYS!Q - -Q : : : : SVVQYS!R . .CFFAI:>A2E E E E E SVVQYS!Q - -Q : : : : SVVacAg S!Q 5 5Q!A#'9J J J J J J JrDctttdzttdz dzksJtttdzttdzksJtttdzttdz dzdzksJdSNrArBrK)r,rr=rrCrDrEtest_TR5rhY s1vvqy>>c!ffaiZ!^ + + + + s1vvrz??c!ffrl * * * * s1vvqy>>s1vvqyj1nq0 0 0 0 0 0 0rDctttdzttdz dzksJtttdzttdzksJtttdzttdz dzdzksJdSrf)r-rr=rrCrDrEtest_TR6rk_rirDcPtttdztdtzdz tjzksJtttdzdztdtzdz t ddzksJdS)NrArBrT)r.rr=r rPrrCrDrEtest_TR7rmes s1vvqy>>S1XXaZ!&0 0 0 0 0 s1vvqy1}  QqS!hq!nn!< < < < < <  Aq Aq>> " " " " " s1vvc!ff}SVV#CFF*3q661 2 2 B CFF1HqQx{*SWWRZ7#a&&(B B  WWRZ "%b''"* -/72 ?ADQ J J J J J s2hq!nn$%%q(RA->)?)?)BBBs2a4yyRS|OT U UYabcegYhYh h h h h h hrDc  tj}d|z}t||ksJttdtdzdt|zt|zksJttdtdz dt |zt |zksJtt dt dz dt |zt|zksJtt dt dzdt |zt|zksJttddt dzzdt dzztddt |zt|zzksJttdtdzdtdztdzzdtdztdzksJttdtdztdz dz tdzdtdztdzksJttdtdztdztdzdttjztdztt ddzksJttdtdtdzztdtdtdzzksJttt  ttt zzdt tt zdz t dz z zt tt zdz t dz zzksJtt t  t tt zzdt tt zdz t dz z zttt zdz t dz zzksJtt}t t}d D] }||f||fttttt zft tt tt zffD]}t||}td |D}t|}|d j |dj kr+t|| d r)|j s"|dj |d j kr||krJ dS)NrTrBrArgrKrLr` )rBrB)rB)rxrB)rxrxc g|] }t| SrCr.0ais rE ztest_TR9..///BsBx///rDrTtrig)r rPr0rrrr>r=ziprrVr9expandis_Add)r:r;r<ssiargsexts rEtest_TR9rws A !A q66Q;;;; s1vvA  1SVV8CFF? 2 2 2 2 s1vvA  1SVV8CFF? 2 2 2 2 s1vvA  2c!ff9SVV#3 3 3 3 3 s1vvA  1SVV8CFF? 2 2 2 2 s1vv#a&& 1SVV8+ , ,A3q66#a&&0H H H H H s1vvA3q66#a&&0 1 1Qs1vvXc!ff_ D D D D AQQ')CFF2 3 3qQxA F F F F s1vvAQ'#a&&0 1 1 #af++ c!ffS!Q000 1 1 1 1 s1vvAs1vv % & &#a&&3q66#a&&=*@ @ @ @ @ AwQqS! " "bQqSUQqS[)9)9&9#ac!eack:J:J&J J J J J AwQqS! " "aAaCEAaCK(8(8&8QqSUQqS[9I9I&I I I I I AA AA277a&1a&3q663qs88"4s1vvs1Q3xx6HI 7 7Ar1::D//$///0BBA! QqTY..&r1888+>+>??/CD8/Q49! ))bAgggg  777rDc$ttttzt t t tzttttzzksJtt ttzt tttzt tttzzksJtt ttzt zt t t tzttttzzt t zt tttzt tttzztt zzksJttttzt zt t t tzttttzztt zt tttzt tttzzt t zz ksJdSN)rrr:r;rr<rCrDrE test_TR10rs AE  Aws1vv~As1vv = = = = = AE  s1vvc!ff}s1vvc!ff}< < < < < AEAI   a&&Q#a&&Q- 'Q/ QAQA &A. / / / / / AEAI   a&&Q#a&&Q- 'Q/ QAQA &A. / / / / / / /rDc ttdtdztdtdzztdksJttdtdztdtdzz tdksJttdtdztdtdzz tdksJttdtdztdtdzztdksJttdtdztdtdzzdztddzksJttdtdztdtdzztdztdtdzksJtdtdztdzdtdztdzztdzdtdztdzksJttdtdztdtdtdztdtdzzzztdksJtdtdztdtdtdztdtdzzzztdztdtdzz}t|t|cxkrtdksnJtt dtt zt zt dtt zt zzdt dzt ztt t dz zzksJttt t dz tt t dz ztt t dz dz ztt t dz dz zdt dztt t dz zzdz ksJttt t dz tt t dz zttt dz dz zttt dz dz zt dtt t dz zzdz t dttt dz zzdz zksJttt t dtt zzdt dztt t dz zzzdtt zksJttt t dtt zzdt dztt t dz zzzdtt zzdt dztt t dz zzksJttdtdztdtdzztdtdztdtdzzksJtd d }tt dtt z|zt dtt z|zzdt dztt t dz zz|zksJtt }tt }tt}tt}d D]m}||z||zf||z||zffD]V}t||}td |D} t| } | | dz s| j rJWntt }tt }tt dz }tt dz }d D]m}||z||zf||z||zffD]V}t||}td|D} t| } | | dz s| j rJWndS)NrBrTrArKrUrLr`rvAF) commutativerwc g|] }t| SrCrrzs rEr}ztest_TR10i..r~rDTrc g|] }t| SrCrrzs rEr}ztest_TR10i..r~rD) rrrrrr=rr>r rrr) eqrr<rrcrrargsirrrs rE test_TR10irs QAQA. / /3q66 9 9 9 9 QAQA. / /3q66 9 9 9 9 QAQA. / /3q66 9 9 9 9 QAQA. / /3q66 9 9 9 9 QAQA.2 3 3s1vvz A A A A QAQA.Q7 8 8CFFSVVO K K K K 3q66#a&&1SVV8CFF?2SVV; < < #a&&3q66     QAQQAQA)F!GG H H A     a&&Q-#a&& As1vv As1vv %' '(+A /14QA ?B 99biikk** 4 4 4 4c!ff 4 4 4 4 4 4 aQ!DGGCFFN1$44 5 5 $q'' ! CBqDMM! " " " " QQ#a&&a.0 FF477N1 "1vvd1gg~a/0 1 145d1ggIc!bd(mm4KA4M N N N N QQ#a&&a.0 FF477N1 "1vvd1gg~a/0 1 1 QA1H a$q''#a"Q$h--"7"99 : : : : Q$q''#a&&.(1T!WW9SRT]]+BB C CqQx O O O O Q$q''#a&&.( d1ggIc!bd(mm #$&'Ah/ 0 034T!WW9SRT]]3J K K K K QAQA. / / As1vv As1vv % & & & & s&&&A aQ!DGGCFFN1$44 5 5 $q'' #a"Q$h--! " " " " AA AA AA AA2>>sAaCj1Q3!*- > >Er5>>D//$///0Bb AQXX4X000 =AH = = = =  > AA AA BqD A BqD A2>>sAaCj1Q3!*- > >Er5>>D//$///0Bb AQXX4X000 =AH = = = =  >>>rDc  ttdtzdttzttzksJttdtzdttdz ttdzzttzttzzksJtttt ddzdttdz dz ttdz dzzttdz zttdz zzksJttdtzttdz ttdzzksJttdtzttdz ttdzzdzdttdzzttdzzz ksJttdtdksJttt t ddzt t ddztt t ddzdz tt t ddzdzzksJttddtddz tddzzksJttddtdksJtttttdz z tdz dttdz zksJdS)NrArKrTrUr`)r rr=rrrrCrDrE test_TR11rs AaC>>Qs1vvXc!ff_ , , , , AaC>>Q#a&&!)c!ffai!7Q ?A FG G G G G Ahq!nn$%% & & S1XXq[L3qs88Q; &AaC 0QqS 9: ; ; ; ; AaC>>c!ffaiZ#a&&!)3 3 3 3 3 AaC>> a&&!)c!ffai !#aA k#a&&!)&;; < < < < A<<3q66 ! ! ! ! Bx1~~%&&8Aq>>(9 : :s2hqRSnnCT?U?UWX?X>X[^_abjklnobpbp_p[q[qst[t>t t t t t A??s1vvqyj3q66194 4 4 4 4 A??c!ff $ $ $ $ As1Q3xx1 % %3qs88 3 3 3 3 3 3rDc tttdz tdtzzttdz zttdz ttdz zz dttdz zttdz ztdtzzksJtttdz tdtzzttdz zttdz ttdz zz tttdz ttdz z dttdz zksJtttdz ttdz z ddttdz zz ksJttdtzttdz zttdz z tdtzdttdz zz ks\Jttdtzttdz zttdz z tttttdz z dttdz zksJdS)NrTrArKr`rarB)r!rr=rrCrDrE test__TR11rsa QqS#ac(("3qs88+S1XXc!A#hh->? @ @ #ac(( 3qs88C!HH$ % % %%*3qs88C!HH+r?rCrDrE test_TR12rs/ AE  AQ3q66'#a&&.12DE E E E E AEAI   Q3q66CFF?c!ffWSVV^a%78 8 SVVc!ff_c!ff $s1vvgc!ffnq&8 99 ; ; ; ; ; AaC>>S1XX % % % % % %rDcttdtdztd tdz tdtdz z dzksJttdtdzdtdtdzztdtdzzksJttdtdztdztd tdz tdtdz z dztdzksJttdtdztdztd tdz dztdtdz z tdzksJdS)NrTrArLrB)r$rrrCrDrE test_TR13rs As1vv  3q66'#a&&.3q66#a&&="@1"D D D D D As1vv  !c!ffSVVm"3c!ffSVVm"C C C C C As1vv c!ff$ % % a&&Q#a&&Q- '! +SVV3 4 4 4 4 As1vv c!ff$ % % a&&Q! c!ffSVVm +SVV3 4 4 4 4 4 4rDc~tttttzdksJdSNrA)rrr=rrCrDrEtest_Lrs1 SVVc!ff_   " " " " " "rDc ttddztddzzttdz zt ddksJtt dtt zt dtt zzdt dztt tdz zzksJtt dzttdzz ttdzzdtt dzzz}t|tt dzdttdzzz dzksJttj tdt zdz z tt dzksJtttttttz zttttttzzzt dtttztdz zzksJtt dtt zdz tt dz ztt tdz zksJtdtdt zdzdz z ttdzz tt dzz tt dz ttdzzksJtttt ddzttdz ksJtttdz ttt ddzzttt ddzzttt ddzzt dd ksJtttt d dzttt d dzzt dttt d dzzttt d dzzz t d ksJttdtdztdtdzksJtd td D}t|tddtdzz ksJttt t tt dzztt t tt dzzksJtdtt dzzdtt zzdt dztt dzzzdt dztt zztdt zdzz d tt zdt dztt zzksJdS)N2rAr`rTrKrBrvrprUrLc2g|]}td|zSrArr{rMs rEr}ztest_fu..#s"...qQT...rDr_ii#)r5rrrrrr=r>r rPr:r;rrrange)rexprs rEtest_furs c"ggqj3r77A:%BqD 1 2 2hq!nn D D D D d1ggc!ffntAwws1vv~- . .!DGG)CBqDMM2I I I I I QSVVQY Q *Qs1vvqy[ 8B b66SVVQY3q6619,q0 0 0 0 0 afs1Q3xxz! " "c!ffai / / / / c!ffc!ffs1vvo&QQ#a&&)AA B B QAEBqDL!!! " " " " d1ggc!ffnQQ) * *c!bd(mm ; ; ; ; a#ac((A+a-#a&&!)+c!ffai7 8 8 Q SVVQY     c"Xa^^#$$ % %RU 3 3 3 3 c"Q$iiBx1~~-...s2hq!nn3D/E/EEc"XVWYZ^^J[F\F\\ ] ]aijkmoapap p p p p  Bx2 #b!R&8"9"99DGGC8TUWY??HZD[D[<[\_`bcklmoqcrcr`r\s\s>4773q66AQQUXYZ[\Y\U]U]`aUac d d #a&&1T!WW9SVV## $ $ $ $ $ $rDcttttttz dt tksJtttttz dttttz ksJdS)Nc |jSr count_opsr]s rEr^z test_objective...s{q{}}rD)measurec"|j Srrr]s rEr^z test_objective..0s  ~rD)r5rr=rrrCrDrEtest_objectiver-s c!ffSVVm%<%< = = = FF     c!ffSVVm%=%= > > > FF3q66M      rDcXd}ttgdddi|dddksJdS)Nc2td|jDS)Ncg|] }||dzz SrrCrs rEr}zAtest_process_common_addends....7s 222aQqS222rD)rrr]s rEr^z-test_process_common_addends..7s322162223rD)rBrArTrKevaluateFc |dzSrrCr]s rEr^z-test_process_common_addends..9s qsrD)key2key1r`)r6r)dos rEtest_process_common_addendsr4sa 4 3B !#|||"De"D"Db ] ( ( (+D E E E E E ErDctttttdddttdfksJtdttzdttzdddttdfksJtttt tzttt tzt tddttdfksJtttt d t tzddddtt dz d fksJtttt tdt dddtt d z d fksJtttt t dt dddtt d z d fksJtt dttzt d t tzddt dzddtt dz d fksJtt d ttzt d t tzddt dzddtt dz d fksJtttt dz t tt dz dt ddz ddtt dz d fksJtt d ttzt tzt d t tzt tzddt dzt tzddtt dz d fksJtttt tJtttt tJtdttzt t Jtttt d t tzJtttttzt tt tzJtttttzt tt tzJtt d ttzt dt tzt tzd Jtt dt tztddJtt dttdzt dtdzdJttd tdztd t d zdJdS) NrBTrArgrxrT)twor`FrKrLrU) r7rr=r>rrrr?rrCrDrEtest_trig_splitr<s c!ffc!ff % %!Q1a)> > > > > aAh3q66 * *q!RAt.D D D D D c!ffSVVmSVVCFF] 3 3 QAq!T" # # # # c!fftAwwhs1vvo4 8 8 8 Ar1bdE" # # # # c!ffc!ff$ / / / a!Q2a4' ( ( ( ( c!ffs1vvg4 0 0 0 a!RBqD%( ) ) ) ) d1ggc!ffntAwwhs1vvo4 @ @ @ 477Ar1bdE* + + + + tAwwhs1vvoQxAD A A A DGGQ1bdE* + + + + c!ffT!WWnc!ffT!WWn$ ? ? ? aAq!RT5) * * * * tAwwhs1vvoc!ff, !WWHSVVOCFF " . . . DGGCFF Aq!RT51 2 2 2 2 c!ffc!ff % % - - - c!ffc!ff % % - - - aAhQ ( ( 0 0 0 c!fftAwwhs1vvo . . 6 6 6 c!ffSVVmSVVCFF] 3 3 ; ; ; c!ffSVVmSVVCFF] 3 3 ; ; ; tAwwhs1vvotAwws1vv~c!ff'<$ G G G     d1ggd1ggos1vv4 8 8 8 @ @ @ d1ggd1ajj(#a&&Q-T B B B J J J c!ffSVVmSVVCFF] = = = E E E E ErDc \tdtdtdDzdtdztdzt dzt dzt dzdtd ztd zz ksJtt t ksJtd t zd t zksJt t dz t t td dzzt t td dzz}tt|td dksJtdtd dD}ttt|td dksJt t t t d z z }t||ksJt t d z tt d z zt t d zz}t|td t zt t d zzd z ksJdS)NrUc,g|]}t|SrCrrs rEr}z!test_TRmorrie..as666qCFF666rDr_rrrprLrvrsrBrTrArKrxracHg|]}td|ztzdz  S)rA)rrrs rEr}z!test_TRmorrie..gs* 4 4 4!c!Q$r'"*oo 4 4 4rDri) r1rrrrr=rrr/r+)ers rE test_TRmorrier`s! Ac66E"II66677 8 8 #b'' #b''#a&& Q'A.3q66 #a&&0@A B B B B A;;!     AaC==AaC     BqD #b!Q'(((RA->)?)??A x{{  xA . . . . 4 4uQ|| 4 4 45A s8A;; HQ$6$6 6 6 6 6 QAaCB B<<2     QqS#ac(( 3q6619 $B B<<3qs88CFFAI-a/ / / / / / /rDc Ttdttdzz dttdzz ksJtttdzttdz dzzdttzdz tdtzdz ztt dz tdtzdz zt ddzzksJt ddD]}t tt|zttt|zsJt tt|zttt|zsJdS)NrBrArTrKra)r3rr=rrrr9)ks rE test_TRpowerrqsX 1SVVQY;  1SVVQY; . . . . 3q6619S1XXq[( ) ) 3q66!c!A#hhqj CFF719s1Q3xxz#9HQNN#JK L L L L 1a[[AA!#a&&!)WSVVQY-?-?@@@@@!#a&&!)WSVVQY-?-?@@@@@@AArDcp ddlm}m}ttdzt tdzz}t |\}}|t|t dtzksJt tttz\}}|t|ttttzttttzdzz ksJt}|tt|ttt|zzksJ|tt|ttt|zzksJ|tt|t!t|ztz ksJ|t t|t#t|zksJ|t%t|t't|zksJ|t)t|t+t|ztz ksJtt ttt$t(fD].}|t,}||||||ksJ/|t#ttzt.ztt tt.tzzksJ|tttzt.ztttt.tzztz ksJ|tttzt.ztttt.tzztz ksJ|t!ttzt.ztttt.tzztzksJ|t'ttzt.ztt%tt.tzzksJ|t+ttzt.ztt)tt.tzztzksJdS)Nr)_osborne _osborneirArB)sympy.simplify.furrrr=r r4r5rr>r"r rrrrrrrrrrrr?) rrrrrWrdrVrcs rEtest_hyper_as_trigrzs55555555 a!d1ggqj B   DAq 1RUU88tAaCyy a!e % %DAq 1T!WW::$q''DGG+d1ggd1ggo.AB B B B B A 8DGGQ  1S1XX: - - - - 8DGGQ  1S1XX: - - - - 8DGGQ  3qs88A: - - - - 8DGGQ  3qs88 + + + + 8DGGQ  3qs88 + + + + 8DGGQ  3qs88A: - - - -tT4t411 DHHy!Q++q00000 9S1q\\1 % %a!A#g 6 6 6 6 9S1q\\1 % %a!A#gq 8 8 8 8 9S1q\\1 % %a!A#gq 8 8 8 8 9S1q\\1 % %a!A#gq 8 8 8 8 9S1q\\1 % %a!A#g 6 6 6 6 9S1q\\1 % %a!A#gq 8 8 8 8 8 8rDcdtttfD\}}}t||z| |zdzz t ttzksJt||z||zdz z t ttz ksJt| |z ||zdz z t ttzksJ||z| |zdzdzz d|zd|zz zd||zdz zz }t|dt ttzzt ttzzt tt tzdz z dz ksJtt t tt z t t tt z ksJ|tdz| |zdzz }t||ksJ||zdzdz| |zdzz }t||ksJ|| |zdzz }t||ksJ||ztdzzdz||zdz z }t|tdzdz t ttzzksJdS)Nc,g|]}t|SrC)rrs rEr}ztest_TR12i..s,,,Q#a&&,,,rDrBrArT) r:r;r<r#rrr=rr)tatbtcrs rE test_TR12irs,,1a),,,JBB "r'RCFQJ' ( (CAJJ 6 6 6 6 "r'BrEAI& ' 'CAJJ; 6 6 6 6 2#(RUQY' ( (CAJJ 6 6 6 6 r'RCFQJ? "BrEAbDL 11beai= AB    3q1u:: c!a%jj #a&&3q66/A"56q8 9 9 9 9 QA  3q66#a&&= 0 0 0 0 s1vv+B #B 99???? r'A+ B3r6A: &B 99???? bSVaZB 99???? Ga!e  $ $ & & *BrEAI 6B 99!a%! CAJJ. . . . . . .rDc ttdz ttdzz}ttdz }t||ksJtd|z d|z ksJtttdz dzttdzdzz|dzksJtttdz dzttdzdzz|dzttdzzksJtttdz dzttdzdzz|dzttdz zksJttdz tzttdztzz}t||ksJttdz tzttdzz}t||ksJt tdz dzttdzz}t||ksJt dd}tttdz |zttdz|zz||zksJtttdz |zttdz|zzttdz |zksJttdz |dzzttdz|zz}t|ttdz ||zz|fvsJtttdz ttdzzttdz ksJttdzttdz z}ttdz dzttdzz}dttdz zdttdzzz}t||z|ztdz zdtdz ttdzzttdzzzksJdS) NrBrArTrMTrNirK)rr=rr%r>rr )ransrMp1p2p3s rE test_TR14rs a&&1*s1vvz "B q6619*C 88s???? "::3     Q!aQ!a/ 0 0CF : : : : Q!aQ!a/ 0 0CFCFFQJ4G G G G G Q!aQ!a/ 0 0CFCFFQJ4G G G G G a&&1*q#a&&1*q (B 88r>>>> a&&1*q#a&&1* %B 88r>>>> a&&1*q#a&&1* %B 88r>>>>T"""A Q!aQ!a/ 0 0CF : : : : Q!aQ!a/ 0 0c!ffaiZ!O C C C C a&&1*A A Q .B 88Q!S!V+R0 0 0 0 0 Q!c!ffqj) * *s1vvqyj 8 8 8 8 a&&1*s1vvz "B a&&1*aQ! $B SVVaZ.1c!ffqj> *B 2b!a% ! !S1q5#a&&!)*;CFFAI*E%F F F F F F FrDctddttdzz z ttdz ksJt ddt tdzz z t tdz ksJtddt tdzz z dttdzz ksJdS)NrBrA)r&rr=rr'rrr(rCrDrEtest_TR15_16_17rs Ac!ffaiK SVVQYJ . . . . Ac!ffaiK SVVQYJ . . . . Qs1vvqy[ ! !QQ] 2 2 2 2 2 2rDcbttdzdtdfksJttdz dtdfksJtt dzdtdfksJtt dz dtdfksJtdtzdzdtdfksJtttztz ttdfksJtt tztzt tdfksJdS)NrBrxrA)r8r=r>rCrDrEtest_as_f_sign_1rs q1u  !Q * * * * q1u  !Q + + + + rAv  2q"+ - - - - rAv  2q!* , , , , qsQw  Aq!9 , , , , qsQw  Aq": - - - - r!tax aRBK / / / / / /rDN)esympy.core.addrsympy.core.mulrsympy.core.numbersrrrsympy.core.singletonr sympy.core.symbolr r r %sympy.functions.elementary.hyperbolicr rrrrr(sympy.functions.elementary.miscellaneousrr(sympy.functions.elementary.trigonometricrrrrrrsympy.simplify.powsimprrrrrrr r!r"r#r$r%r&r'r(r)r*r+r,r-r.r/r0r1r2rbr3r4r5r6r7r8sympy.core.randomr9 sympy.abcr:r;r<r=r>r?rFrHrQrYrdrhrkrmrtrrrrrrrrrrrrrrrrrrrrCrDrErsB0000000000""""""6666666666VVVVVVVVVVVVVVVVAAAAAAAASSSSSSSSSSSSSSSS****** 100000&&&&&&&&&&&&&&&&999111 !Q!Q!QH=== K K K111 111 === i i i7778///4>4>4>n444$000&&&444####$#$#$LEEE!F!F!FH000"AAA999<///&GGG8333 00000rD