| Current Path : /usr/home/beeson/Otter-Lambda/ |
| Current File : /usr/home/beeson/Otter-Lambda/optable.o |
ELF T5 4 ( U��E�� ]�U����E�E��}�� t#�}�� t)�}�� t�-�E �� �E��%�E ��@ �E���E ��� �E���E� �E���U����E���E ���P����Ћ� �E��E ���E
���P����Ћ� �E��E�;E�u �E� �! �}� u�}� �����E�� �}� u�}� �����E��� �}� uE�}� t$�}� t�}� t�}� t �}� u �E� � �E� � �}� u?�}� t$�}� t�}� t�}� t �}� u �E� �X�E� �O�}� u?�}� t$�}� t�}� t�}� t �}� u �E� ��E� ��E� �E��� % $ > $ > I : ; I : ;
: ; I8
: ;
: ; I
' I I
: ; I
8
.? : ;' I@ : ;I
4 : ;I
4 : ; I?
I ! I/ 4 : ;I?
� � GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21) yyy/automode/optable.c /home/beeson/Otter-Lambda int long int unsigned char short unsigned int long unsigned int signed char short int long long int long long unsigned int ( char digit ~ a ln ~ # val a # 0 bignum = arg #� � argtag # t - i .� d / b 0g � &symbol &� # arity '� #info (� #args )� # u term *� double actualop ( .
M � M " �
men
~ # choice ~ # operation S
� access_optable � n � �
get_brother r , menu
� � i
� �
j cousins + � r � X a � � b � �A + �pB + �t testop � � optable # � brother �� � S �
yyy/automode yyy optable.c model.h terms.h bignum.h �=�4g#���.h""���K�K�-���-���-��� ���� | � A�B
b A�B
r � A�B
t t u t t r u r s ts u tu � u ` � � access_optable � get_brother cousins j testop � optable � brother � unsigned int GCC: (GNU) 4.1.2 20061115 (prerelease) (Debian 4.1.1-21) .symtab .strtab .shstrtab .rel.text .rel.data .bss .debug_abbrev .rel.debug_info .rel.debug_line .rel.debug_frame .debug_loc .rel.debug_pubnames .rel.debug_aranges .debug_str .comment .note.GNU-stack 4 � � � ) @ + % � 8; / `- 4 `-
F j. � B $8 � V C2 � R �8 f �2 \ b �8 0 s <3 � � �3 d ~ �8 � $4 � �8 � D4
� Q4 : � �4 �4 � 9 l $� �V �
@* % - 9 F V d p w � � � � � � � ( 3 > I T j x � � � � � � � � � ! , < J \ n � � � � � � � � � � * 9 H T ` p � � � � � � � � � � � � ) 5 C R h u � � � � � � � & 5 H Z m � � � � � � � � / ? L Y b k ~ � � � � � � � & 2 = G Q f { � � � � � � & 7 H ^ m { � � � � � � � � � �
% 4 B V g v � � � � � � � � � �
!
)
6
C
P
]
j
z
�
�
�
�
�
�
�
�
�
�
+ ; G [ p { � � � � � � � � � � " , 4 < F S ` i s } � � � � � � � � �
+
;
G
U
g
y
�
�
�
�
�
�
�
�
. : G Y d z � � � � � � � � # * 4 > E L V a n x � � � � � � � � � �
* 4 > J _ i s � � � � � � � � � � % - 4 : F Z c r } � � � � � � � � � � � � � ' 6 E W i y � � � � � � � � ' 3 ? K V e n v ~ � � � � � � � � � $ 9 @ P W a n } � � � � � � � � � � � � % 3 ? L Y f u ~ � � � � � � � � � � �
' 6 F R b j r � � � � � � � � � � 2 G U e r � � � � � � � � � � � ! 1 A N Y d o z � � � � � � � � � �
& 4 B N Z e q ~ � � � � � � � � �
& 2 > J Z j z � � � � � � � � � ' 3 ? N [ f q | � � � � � � � � � ' 4 E V d r � � � � � � � � � � ! . ; H T a o ~ � � � � � � � � � � % 2 ? L Y f s � � � � � � � � � � % 1 = I U f v � � � � � � � � � & 5 > L ^ l ~ � � � � � � � ! ! 1! D! U! f! w! �! �! �! �! �! �! �! �! " " '" :" C" J" X" g" v" �" �" �" �" �" �" �" # # !# 3# <# L# U# e# w# �# �# �# �# �# �# �# �# �# $ $ #$ .$ 6$ >$ G$ T$ `$ n$ {$ �$ �$ �$ �$ �$ �$ �$ �$ �$ �$ �$ % % % '% 0% :% H% U% d% r% |% �% �% �% �% �% �% �% �% �% & & & && 6& D& P& ]& i& q& y& �& �& �& �& �& �& �& �& �& �& ' ' "' -' 9' D' K' R' c' m' u' ' �' �' �' �' �' �' �' �' �' �' �' ( ( (( 3( @( Q( a( j( y( �( �( �( �( �( �( �( �( �( ) ) ) )) 6) @) K) V) `) i) q) �) �) �) �) �) �) �) �) �) �) �) �) �) �) �) * * * * %* .* 7* @* I* R* \* e* o* x* �* �* �* �* �* �* �* �* �* �* �* �* + + %+ 1+ =+ I+ V+ c+ s+ ~+ �+ �+ �+ �+ �+ �+ �+ �+ �+ �+ �+ �+ , , , , $, /, :, E, P, Z, d, u, �, �, �, �, �, �, �, �, �, - - - +- 6- B- M- Y- d- p- {- �- �- �- �- �- �- �- �- �- �- �- . . . %. /. :. C. M. V. _. j. u. �. �. �. �. �. �. �. �. �. �. �. / / / / $/ ,/ 4/ </ D/ L/ T/ \/ d/ l/ u/ �/ �/ �/ �/ �/ �/ �/ �/ �/ �/ �/ �/ �/
0 0 '0 80 I0 V0 c0 p0 }0 �0 �0 �0 �0 �0 �0 �0 �0 �0 �0 �0 �0 �0 1
1 1 !1 -1 91 E1 Q1 ]1 i1 w1 �1 �1 �1 �1 �1 �1 �1 �1 �1 �1 2 2 2 $2 -2 62 ?2 H2 Q2 Z2 d2 k2 r2 y2 �2 �2 �2 �2 �2 �2 �2 �2 �2 �2 �2 �2 �2 �2 3
3 3 !3 ,3 83 @3 G3 P3 \3 m3 �3 �3 �3 �3 �3 �3 �3 �3 4
4 4 4 (4 64 D4 R4 `4 i4 q4 {4 �4 �4 �4 �4 �4 �4 �4 �4 �4 �4 �4 �4 5 5 "5 ,5 65 @5 J5 T5 ]5 f5 o5 x5 �5 �5 �5 �5 �5 �5 �5 �5 �5 6 6 6 ,6 76 B6 J6 W6 d6 v6 �6 �6 �6 �6 �6 �6 �6 �6 7 7 "7 -7 87 C7 N7 [7 h7 v7 �7 �7 �7 �7 �7 �7 �7 �7 �7 8
8 8 #8 .8 ;8 I8 ]8 q8 8 �8 �8 �8 �8 �8 �8 �8 9 9 9 +9 69 G9 Y9 k9 ~9 �9 �9 �9 �9 �9 �9 �9 �9 �9 : : !: .: ;: H: U: b: i: u: �: �: �: �: �: �: �: �: �: �: �: �: �: ; ; ; !; (; /; 6; =; D; K; S; b; h; q; x; �; �; �; �; �; �; �; �; �; �; �; �; �; �; �; < < < < $< ,< 4< << D< L< T< ^< o< �< �< �< �< �< �< �< �< �< �< �< = = ,= 6= ?= R= \= k= u= �= �= �= �= �= �= �= �= �= �= �= �= �= �= > > > '> 0> :> O> _> f> m> t> {> �> �> �> �> �> �> �> �> �> �> �> �> �> �> �> ?
? ? ? (? 2? :? B? J? R? Z? b? q? w? �? �? �? �? �? �? �? �? @ @ /@ ?@ P@ Z@ m@ �@ �@ �@ �@ �@ �@ �@ �@ �@ A A )A :A KA WA cA pA ~A �A �A �A �A �A �A �A �A �A �A �A �A B B B +B 9B EB QB ]B sB �B �B �B �B �B �B C C #C -C 8C FC QC _C iC wC �C �C �C �C �C �C �C �C �C �C �C �C �C D
D D "D 3D DD SD cD sD �D �D �D �D �D �D �D E 'E ;E PE eE }E �E �E �E �E �E F 'F @F WF oF �F �F �F �F �F G *G AG YG qG �G �G �G �G �G H H 8H RH gH }H �H �H �H �H �H I -I JI hI �I �I �I �I �I �I �I �I �I �I J J "J -J 8J BJ MJ XJ eJ sJ �J �J �J �J �J �J �J �J �J �J K K K ,K =K NK YK eK qK K �K �K �K �K �K �K �K L L L L &L 6L DL WL mL �L �L �L �L �L �L �L M M #M 1M ;M EM VM fM uM �M �M �M �M �M �M �M �M �M �M N N +N 8N BN KN [N kN N �N �N �N �N �N �N O O 4O EO VO eO kO �O �O �O �O �O �O �O �O �O �O �O P P $P 5P ;P AP GP MP SP YP _P eP mP zP �P �P �P �P �P �P �P �P �P �P �P Q Q Q $Q *Q 6Q BQ NQ [Q mQ |Q �Q �Q �Q �Q �Q �Q �Q �Q �Q �Q �Q R R $R ,R 4R ?R JR QR [R eR oR wR R �R �R �R �R �R �R �R �R �R �R �R �R �R �R �R S S S S S )S 4S <S BS HS NS ZS fS nS vS S �S �S �S �S �S �S �S �S �S �S �S �S �S �S �S �S �S �S T T *T 9T HT WT fT uT �T �T �T �T �T �T �T �T �T U U 'U /U 7U ?U JU YU hU wU �U �U �U �U �U �U �U �U �U �U V V 1V =V EV RV bV pV yV �V �V �V �V �V `* � �V �V b �V r � optable.c testop arithmetic optable devalop computeroot computepower computefunction factorinteger evalatpoint evalpi evaleulere evalfunction factornumerically decimaltofraction writenumberassquare writenumberascube writenumberaspower writenumberaspowerof writeintegeraspower writeassum defnofi powersofi0 powersofi1 powersofi2 powersofi3 weakcomplexarithmetic complexpowers complexarithmetic cevalop complexfactorsofinteger factorcomplexinteger doubleminus pushminusin pullminusout regroupterms orderterms dropzero additivecancel collectterms collectall additivecommute pullminusout2 minusintoproduct1 minusintoproduct2 minusintoproduct3 multbyzero multbyone bringminusout bringminusout2 bringminusout3 regroupfactors collectnumbers orderfactors collectpowers distriblaw difofsquares squareofsum squareofdif makedifofcubes makesumofcubes multcommute multiplyout expandnumerator expanddenominator multdef zeronum unitdenom recip multiplyfractions multiplyfractions2 cancelop addfractions apart apartandcancel polydivop cancelbypolydiv pulloutrational pulloutdenom pulloutreal breakfraction breakfraction2 cancelminusinquotient minusintonum minusintodenom minusoutfromnum minusoutfromdenom minusoutfromnum2 minusoutfromdenom2 minusoutfromdenom3 minusoutfromdenom22 minusoutfromdenom33 minusoutfromnum22 negatenumdenom breakfraction1 compoundfractions1 invertandmultiply invertandmultiply2 compoundfractions2 compoundfractions3 compoundfractions4 factordenominator commondenominfraction findcommondenom findcommondenom2 commondenom commondenom2 commondenomandsimp commondenomandsimp2 multnumanddenom zeroexponent unitexponent zerobase unitbase intpowerofminusone powertopower minustopower quotienttopower producttopower plainbinomialtheorem reversecollectpowers poweroutoffraction powerstonum powerstodenom expandsquare expandcube expandpower breakpower cubeofsum cubeofdif reversepowertopower1 reversepowertopower2 reversepowertopower3 poweroutofrecip eliminateconstnegexp eliminateconstnegexpnum eliminatenegexp1 eliminatenegexp eliminatenegexpnum eliminatenegexpdenom introducenegexp introducenegexp1 negexpofquotient reversecollectpowers2 productofsqrts sqrtofproduct sqrtsimp sqrtofsquare sqrttoabs factorundersqrt sqrtofquotient sqrtofquotient2 quotientofsqrts cancelsqrt cancelsqrt2 powerofsqrt powerofsqrt2 evaltorational computesqrt weakarithmetic cancelsqrtgcd factorpolyundersqrt rationalizedenom rationalizenum cancelsqrt3 multiplyoutundersqrt lauringson roottosqrt sqrttoroot sqrttoroot2 sqrtofpower sqrtofpower2 pushundersqrt ratdenomandsimp exponenttosqrt exponenttoroot sqrtexp rootexp rootpowerexp powerrootexp powersqrtexp sqrtexpdenom rootexpdenom powerofminusone factorbase fractexpdenom fractexpnum productofroots rootofproduct rootofpower5 rootsimp rootofpower rootofpower3 rootofpower2 rootofpower4 powerofroot powerofroot2 powerofroot3 factorunderroot rootofminus factorpolyunderroot multiplyoutunderroot sqrtofsqrt sqrtofroot rootofsqrt rootofroot rootofquotient quotientofroots cancelroot cancelroot2 cancelroot3 cancelrootgcd pushunderoddroot pushunderevenroot pushminusunderroot rootdenom rootnum sqrtnum sqrtdenom powerofroot4 powerofroot5 recipofi recipofi2 recipofi3 sqrtofminus1 sqrtofneg cleardenomofi multiplycomplexconjugates sumofsquares squareofabs complexabs complexapart complexform sqrtofi sqrtofminusi sqrtofaplusbi sqrtofaminusbi factoroutnumber cleardenoms contentfactor factorsquareofsum factorsquareofdif differenceofsquares factorquadratic quadraticformula writeassquare prodofpowers factorcoefficients makesubstitution unwinddefinition regardvarasconst invisiblesub makesubstitution2 writeascube writeaspower differenceofcubes sumofcubes differenceofnthpowers differenceofnth2 sumofnthpowers sumoffourthpowers factorquartic autosubstitution guessfactor factorbypolydiv factorbygrouping writeaspoly switchsides changesigns addeqn subeqn transfer1 transfer2 muleqn diveqn squareeqn cancelterm cancelfactor alltoleft trueeqn pseudosquare pseudosquare2 pseudosquare3 spliteqn completethesquare sqrteqn crossmultiply negativediscriminant introduceabs solvenumerically powereqn rooteqn functioneqn spliteqn2 selecteqn showalleqns collectmultiplesolns rejecteqn checkroot solvelinear eliminatequadraticterm computediscriminant showcallingcubic viete realcardan cardan2 cardan reversesub translatevar polyvalop powereqn2 powereqn3 powereqn4 powereqn5 logbeqn logeqn lneqn cramersrule evaluatedeterminant varsleft eqnscollectall lineupvars addtwoeqns subtwoeqns muleqns diveqns addmuleqns submuleqns swapeqns ordereqns dropeqn impossibleeqns multabs divabs divabs2 solvelinearfor addselectedeqn subselectedeqn mulselectedeqn divselectedeqn addmulselectedeqn submulselectedeqn swapselectedeqn solveselectedeqn addselectedrow subselectedrow mulselectedrow divselectedrow addmulselectedrow submulselectedrow swapselectedrow multbymatrixidentity solveone eqnscancelterm eqnsaddterm eqnssubterm substforvar matrixform multbyidentity swaprows addrows subrows mulrows divrows addmulrows submulrows multiplymatrices dropzerocolumn dropzerorow dropduplicaterow convertmatrixeqn dividebymatrix twobytwoinverse exactmatrixinverse decimalmatrixinverse abspos absposandassume absneg abslinear abslinearquo multiplyabsval absofproduct absoffraction fractionofabs absevenpower abspower abssqrt absroot cancelabs3 cancelabsgcd abseqn abseqn2 abslessthan absle lessthanabs leabs abseqntoineq1 abseqntoineq2 absineqtrue absineqtrue2 absineqtrue3 absineqfalse abslessthanneg absleneg absleneg2 abseqnneg absgreaterthan absge greaterthanabs geabs absineqtrueg absineqfalseg absgreaterthanneg absgeneg absgeneg2 absineqtrue3g absineqtrue2g intervaltoabs1 intervaltoabs2 absevenpowerrev abspowerrev reverselessthan addeqn1 subeqn1 changesigns1 changesignsandsense1 mulineq mulineqsq divineq numericalineq evenpowerineq1 evenpowerineq3 squareineq1 squareineq3 lessthantole combineintervals explicitdomain reversegreaterthan changesignsandsense3 changesigns1g evenpowerineq3g squareineq3g greaterthantoge reversele addeqn2 subeqn2 changesigns2 changesignsandsense2 evenpowerineq2 evenpowerineq4 squareineq2 squareineq4 reversege changesignsandsense4 changesigns2g evenpowerineq2g evenpowerineq4g squareineq4g sqrtineq11 sqrtineq14 sqrtineq12 sqrtineq15 sqrtinterval1 sqrtinterval3 sqrtinterval5 powerineq11 powerineq12 sqrtineq13 squaretrue1 squarefalse1 sqsqrtineq1 sqrtineq21 sqrtineq24 sqrtineq22 sqrtineq25 sqrtinterval2 sqrtinterval4 sqrtinterval6 powerineq21 powerineq22 sqrtineq23 squaretrue2 squarefalse2 sqsqrtineq2 recipineq11 recipineq21 recipineq31 recipineq41 recipinterval11 recipinterval21 recipinterval31 recipinterval41 recipinterval51 recipinterval61 recipineq12 recipineq22 recipineq32 recipineq42 recipinterval12 recipinterval22 recipinterval32 recipinterval42 recipinterval52 recipinterval62 oddrootineq rootineq11 rootineq13 rootineq12 rootineq15 rootinterval1 powerineq14even powerineq14odd powerineq13 powerineq15 powerineq16 powerineq17 powerrootineq1 oddrootineq2 rootineq21 rootineq23 rootineq22 rootineq25 rootinterval2 powerineq24even powerineq24odd powerineq23 powerineq25 powerineq26 powerineq27 powerrootineq2 droppositive1 posnum1 mulineqsqrt1 mulineqbysquare1 mulineqsqrt2 mulineqbysquare2 normalizelinear1 intervalsneg1 intervalspos1 droppositive2 posnum2 mulineqsqrt3 mulineqbysquare3 mulineqsqrt4 mulineqbysquare4 normalizelinear2 intervalsneg2 intervalspos2 sqrtineq11g sqrtineq14g sqrtineq12g sqrtineq15g powerineq11g squareineq1g powerineq12g sqrtineq13g squaretrue1g squarefalse1g sqsqrtineq1rev sqrtineq21g sqrtineq24g sqrtineq22g sqrtineq25g powerineq21g squareineq2g powerineq22g sqrtineq23g squaretrue2g squarefalse2g sqsqrtineq2rev recipineq11g recipineq21g recipineq31g recipineq41g recipineq12g recipineq22g recipineq32g recipineq42g oddrootineqg rootineq11g rootineq13g rootineq12g rootineq15g powerineq14eveng powerineq14oddg powerineq13g powerineq15g powerineq16g powerineq17g powerrootineq1rev oddrootineq2g rootineq21g rootineq23g rootineq22g rootineq25g powerineq24eveng powerineq24oddg powerineq23g powerineq25g powerineq26g powerineq27g powerrootineq2rev posnum1g mulineqsqrt1g mulineqbysquare1g mulineqsqrt2g mulineqbysquare2g normalizelinear1g intervalsneg1g intervalspos1g posnum2g mulineqsqrt3g mulineqbysquare3g mulineqsqrt4g mulineqbysquare4g normalizelinear2g intervalsneg2g intervalspos2g binomialtheorem binomialcoeftofactorials defnoffactorial evaluatefactorial evaluatebinomialcoef sigmatosum evaluatesigmatorational factorialrecursion cancelfactorial1 cancelfactorial2 cancelfactorial3 cancelfactorial1b cancelfactorial2b cancelfactorial3b factorcubeofsum factorcubeofdif factor4thofsum factor4thofdif factornthofsum factornthofdif sigmaconstant minusoutofsigma constantoutofsigma sigmasum sumofi sumofisquared sumofallpowers showfirstterms evaluatesigmatodecimal evalpuresigmatorational evalpuresigmatodecimal sigmapoly telescopingsum shiftindex renameindexvariable productofsigmas splitofflastterm sumoficubed sumofitothefourth difsigma reversedifsigma intsigma reverseintsigma constantintosigma sumtodifofsums0 sumtodifofsums selectinductionvariable basiscase inductionstep useinductionhyp thereforeasdesired abssinineq abscosineq sinineq coslowerbound absarctanineq arctanineq tanineq lnineq1 logineq1 lnrightineq1 lnleftineq1 logrightineq1 logleftineq1 expineq1 lnineq2 logineq2 lnrightineq2 lnleftineq2 logrightineq2 logleftineq2 expineq2 lnineq1g logineq1g lnrightineq1g lnleftineq1g logrightineq1g logleftineq1g expineq1g lnineq2g logineq2g lnrightineq2g lnleftineq2g logrightineq2g logleftineq2g expineq2g loginexponent logofpowerof10 logofone logoften logtoln introduceloginexponent factornumberinlog factoroutbase10 loginexponent2 logrecip logbrecip logofpower logofproduct logofreciprocal logofquotient collectlogs collectlogs2 attractlogs logsqrt logroot factoroutbase logofpowerreverse computelog lninexponent lnofe lnofone lnofpowerofe introducelninexponent lninexponent2 lnofpower lnofproduct lnofreciprocal lnofquotient collectlns collectlns2 attractlns lnsqrt lnroot lnofpowerreverse computeln lnrecip sinsumrev sindifrev cossumrev cosdifrev tanhalf1rev tanhalf2rev cothalf1rev cothalf2rev tansumrev tandifrev cotsumrev cotdifrev reversesinsq rectangulartopolar polartorectangular absofpolar minustopolar complexrootminus complexexptonum demoivre explicitparams logbinexponent logbinexponent2 logbofb logbofpowerofb logbofproduct logbofreciprocal logbofquotient logbofone factorlogbase logpowerofbofb logbofpower collectlogb collectlogb2 attractlogb2 logbtolns logbtologs changebase logbtolog logbtoln lntolog introducelogbinexponent sin0 cos0 tan0 zeroesofsin onesofcos zeroesoftan mod360 mod2pi sin90 sin30 sin45 radtodeg degtorad combine3045 tanrule cottotan cottosincos secrule cscrule tanrule2 cotrule2 cscrule2 secrule2 tanrecip tanrecip2 cotrecip cotrecip2 secrecip cscrecip sintocsc costosec tantodenom sinsquare1 sinsquare2 sinsquare3 sinsqtocossq cossqtosinsq secsqminustansq tansquare1 tansquare2 secsqtotansq tansqtosecsq sinoddpower cosoddpower tanoddpower secoddpower makesinpower makecospower cscsqminuscotsq cotsquare1 cotsquare2 cscsqtocotsq cotsqtocscsq csccomplement cotcomplement cotoddpower cscoddpower sinsum sindif cossum cosdif tansum tandif cotsum cotdif doublesin doublecos1 doublecos2 doublecos3 doublecos5 doublecos6 doubletan doublecot reversedoublesin reversedoublesin2 reversedoublecos1 reversedoublecos2 reversedoublecos3 decrementtrigarg querytrigarg triplesin triplecos expandsin expandcos checknumerically solvesin30 solvesin330 solvesin60 solvesin300 solvecos30 solvecos150 solvecos60 solvecos120 solvetan30 solvetan330 solvetan60 solvetan120 solvesin45 solvesin315 solvecos45 solvecos135 solvetan45 solvetan135 solvesin0 solvesin90 solvesin270 solvecos90 solvecos0 solvecos180 solvetan0 solvecot90 solvesin solvesin2 solvecos solvetan evalarcsin evalarccos evalarctan evalarccot evalarcsec evalarccsc arcsinodd arccosodd arctanodd periodicform rejectimpossiblesin rejectimpossiblecos tanasin tanacos tanatan sinasin sinacos sinatan cosasin cosacos cosatan secasin secacos secatan atantan asinsin acoscos atantan2 sumofarcsin sumofarctan sintocos costosin tantocot seccomplement sintocos2 costosin2 tantocot2 cottotan2 sectocsc2 csctosec2 sintocosdeg costosindeg tantocotdeg cotcomplementdeg seccomplementdeg csccomplementdeg sintocos2deg costosin2deg tantocot2deg cottotan2deg sectocsc2deg csctosec2deg adddegrees multdegrees divdegrees sinodd coseven tanodd cotodd seceven cscodd sinsqeven cossqeven tansqeven cotsqeven secsqeven cscsqeven sinperiodic cosperiodic tanperiodic secperiodic cscperiodic cotperiodic sinsqperiodic cossqperiodic secsqperiodic cscsqperiodic sinhalfperiod1 sinhalfperiod2 coshalfperiod1 coshalfperiod2 sinsqhalf cossqhalf sinsqhalf2 cossqhalf2 sincossame tanhalf1 tanhalf2 cothalf1 cothalf2 sinhalf1 sinhalf2 coshalf1 coshalf2 twicehalf sincos cossin sinsin coscos sumofsin difofsin sumofcos difofcos trigdoublesub testlimit limsum limdif limconst limident limlinear limminus limprod limpower limexponent2 limexponent limsqrt limoddroot limevenroot limpoly limabs limrecip limquotient factorunderlimit limrationalfunction quotientofpowers rationalizefraction pulloutnonzerolimit factoroutconstant multnumdenom divnumdenom2 divnumdenom limapartandfactor limsqrt1 limsqrt2 limroot1 limroot2 limsqrtdenom1 limsqrtdenom2 limrootdenom1 limrootdenom2 lhopital derivop isolateln isolatelnpower negexptodenom exptodenom trigtodenom createcompoundfraction limsin1 limtan1 limcos1 limcos2 defnofe limln1 limexp1 limexp2 limpowertimeslnabs limosccos limoscsin limosctan liminfcos liminfsin liminftan limsinh1 limtanh1 limcosh1 limcosh2 limlogisloglim limcontinuous changelimitvariable limvalop limexptolog limundefined limlog squeezetheorem rationalizesum limleadingterms limleadingterm sumleadingterm undefinedpart limthruexp limthrulog limtlnt limtpowerlnt limtlntpower limtpowerlntpower limlntovert limlntpowerovert limlntovertpower limlntpowerovertpower limtoverlnt limtoverlntpower limtpoweroverlnt limtpoweroverlntpower inflimpower1 inflimpower2 limexpinf limexpinf2 limlnright limsqrtinf limrootinf limarctaninf limarccotinf limarccotinf2 limtanhinf limthrusin limthrucos invertlim liminverseevenpower liminverseoddpower lim1inverseright lim1inverseleft limquoinfinite limlnsing limtansing limcotsing limsecsing limcscsing limprod2left limprod2right infinityovernonzero nonzerooverinfinity timesinfinity infinitytimesinfinity addinfinity infinityplusinfinity toinfinity1 toinfinity0 tominusinfinity1 tominusinfinity0 powerofinfinity infinityminusinfinity zerodenom zerodenom2 zerodenom3 infinityoverzero infinityoverzero2 infinityoverzero3 infinityoverzerosq infinityoverzero2n zerosqdenom zerosqdenom2 zero2ndenom zero2ndenom2 lninfinity sqrtinfinity rootinfinity ataninfinity acotinfinity acotminusinfinity asecinfinity acscinfinity triginfinity coshinfinity sinhinfinity tanhinfinity lnzero difconstant difidentity difsum difminus diflinear difpower difpoly primerule defnofderivative diflinear2 difproduct difrecip difquotient difsqrt difroots difinversepower difabs difsin difcos diftan difsec difcot difcsc difexp difatox difexponential difln diflnabs logdif difexp2 difatox2 difln2 diflnabs2 diflncos diflnsin difatan difasin difacos difacot difasec difacsc difatan2 difasin2 difacos2 difacot2 difasec2 difpower2 difsqrt2 difsin2 difcos2 diftan2 difsec2 difcot2 difcsc2 difabs2 chainrule minmaxexperiment addcriticalpoints addendpoints addundefinedpoints addlimits rejectpoint tabulate tabulateexact selectmax selectmin ssolveop eliminateparameter functionisconstant difeqn eliminatederivative ratsimpop factorop multiplyoutandsimp cancelgcd univariatepoly monicpoly backtosqrts backtoroots eliminatesqrts difdif difdifn secondderiv highderiv int1 intconst intident intlinear intminus intsum intdif intlinearity intpower intinversepower intpoly intrecip intrecip2 multiplyoutintegrand expandintegrand intabs intsin intcos inttan intcot intsec intcsc intsecsq intcscsq inttansq intcotsq inttosec inttocsc intsin2 intcos2 inttan2 intcot2 intsec2 intcsc2 intsecsq2 intcscsq2 inttansq2 intcotsq2 inttosec2 inttocsc2 intexp1 intexp2 intexp3 intexp4 intexp5 intexp6 intexponential intln inttoerf choosesubstitution autochoosesubstitution difsubstitution showcallingproblem trysubstitution changeintegrationvariable intsub autointsub integratebyparts autointegratebyparts equatetoproblem transferintegral simpleint fundamentaltheorem fundamentaltheorem2 evalbar evalbarln switchlimits additivity insertpoint breakabsint integratenumerically pureintegratenumerically integrateemptyinterval integraltolimit integraltolimit2 integraltolimit3 integraltolimit4 intdivtest1 intdivtest2 oddintegrand evenintegrand trigsubsin trigsubtan trigsubsec trigsubsinh trigsubcosh trigsubtanh yourtrigsub intsinsq intcossq intsubcos intsubsin intsubtan intsubcot intsubsec intsubcsc tantosecinint cottocscinint intsecpower intcscpower weierstrass trigrationalizedenom1 trigrationalizedenom4 trigrationalizedenom2 trigrationalizedenom5 trigrationalizedenom3 trigrationalizedenom6 squarefreefactors partialfractionsop completethesquare1 intrecip3 inttoatan inttoacoth inttolnratio1 inttoatanh inttolnratio2 inttoasin inttolnratio3 inttoacos intasin intacos intatan intacot intacscplus intacscminus intasecplus intasecminus absorbconstant intsinh intcosh inttanh intcoth intcsch intsech oneminusxseries oneminusxseries2 oneminusxseries3 oneplusxseries oneplusxseries2 oneplusxseries3 oneminusxseriesrev oneminusxseries2rev oneminusxseries3rev oneplusxseriesrev oneplusxseries2rev oneplusxseries3rev xoveroneminusxseries xoveroneminusxseries2 xoveroneminusxseries3 xoveroneplusxseries xoveroneplusxseries2 xoveroneplusxseries3 xoveroneminusxseriesrev xoveroneminusxseries2rev xoveroneminusxseries3rev xoveroneplusxseriesrev xoveroneplusxseries2rev xoveroneplusxseries3rev oneoveroneminusxkseries oneoveroneminusxkseries2 oneoveroneminusxkseries3 xmoveroneminusxkseries xmoveroneminusxkseries2 xmoveroneminusxkseries3 oneoveroneminusxkseriesrev oneoveroneminusxkseries2rev oneoveroneminusxkseries3rev xmoveroneminusxkseriesrev xmoveroneminusxkseries2rev xmoveroneminusxkseries3rev oneoveroneplusxkseries oneoveroneplusxkseries2 oneoveroneplusxkseries3 xmoveroneplusxkseries xmoveroneplusxkseries2 xmoveroneplusxkseries3 oneoveroneplusxkseriesrev oneoveroneplusxkseries2rev oneoveroneplusxkseries3rev xmoveroneplusxkseriesrev xmoveroneplusxkseries2rev xmoveroneplusxkseries3rev geometricseriesfromk geometricseriesfromk2 geometricseriesfromk3 geometricseriesminusfromk geometricseriesminusfromk2 geometricseriesminusfromk3 geometricseriesfromkrev geometricseriesfromk2rev geometricseriesfromk3rev geometricseriesminusfromkrev geometricseriesminusfromk2rev geometricseriesminusfromk3rev lnseries lnseries2 lnseries3 lnseriesminus lnseriesminus2 lnseriesminus3 lnseriesrev lnseries2rev lnseries3rev lnseriesminusrev lnseriesminus2rev sinseries sinseries2 sinseries3 cosseries cosseries2 cosseries3 sinseriesrev sinseries2rev sinseries3rev cosseriesrev cosseries2rev cosseries3rev expseries expseries2 expseries3 expseriesrev expseries2rev expseries3rev negexpseries negexpseries2 negexpseries3 negexpseriesrev negexpseries2rev negexpseries3rev atanseries atanseries2 atanseries3 atanseriesrev atanseries2rev atanseries3rev binomialseries binomialseries2 binomialseries3 binomialseriesrev binomialseries2rev binomialseries3rev ldots0 ldots1 ldots2 ldotstosigma showanotherterm showmoreterms showevaluatedterms showfactorialsinterms showdevaluatedterms showundevaluatedterms telescopingseries multiplyseries multiplypowerseries divideseriesbypoly dividepolybyseries dividepowerseries squareseries squarepowerseries powerofseries addseries subseries seriesfirstterms seriesmoreterms seriesaddindex seriessubindex seriessum difseries reversedifseries intseries reverseintseries evalfirstterms seriesintdif seriesintdifdef seriesdifint eliminatecofi seriesevenandodd divergencetest integraltest ratiotest roottest comparisontest1 comparisontest2 limitcomparisontest condensationtest finishdivergencetest finishintegraltest finishratiotest finishroottest finishcomparisontest1 finishcomparisontest2 finishlimitcomparisontest finishcondensationtest statefinalbound1 statefinalbound2 harmonicseries zeta2 complexlntopolarform complexln lnofi lnofminusone lnofnegative complexcos complexsin complexsqrt complexroot complexexponential complexexponential2 etotheipi etotheminusipi etothei2npi etothecoterminal isinh icosh coshi sinhi itanh icoth tanhi cothi cosisin cosminusisin complexcosrev complexsinrev complexcosrev2 complexsinrev2 coshdef coshdefrev2 sinhdef sinhdefrev2 coshdefrev sinhdefrev cosheven sinhodd coshplussinh coshminussinh cosh0 sinh0 exptohyper1 exptohyper2 sinhsqplus1 coshsqminus1 coshsqminussinhsq coshsqtosinhsq sinhsqtocoshsq oneminustanhsq oneminussechsq tanhdef tanhdefrev cothdef cothdefrev sechdef sechdefrev cschdef cschdefrev tanhsqplussechsq tanhsqtosechsq sechsqtotanhsq sinhsum coshsum doublesinh doublecosh tanhln asinhtoln acoshtoln atanhtoln difsinh difcosh diftanh difcoth difsech difcsch diflnsinh diflncosh difasinh difacosh difatanh difacoth difasech difacsch sgpos sgneg sgzero sgodd sgodd2 sgabs1 sgabs2 abssg sgevenpower sgoddpower sgrecip difsg intsg sgint sgassumepos sgassumeneg sgprod1 sgprod2 sgfract1 sgfract2 sgpower sgrecip2 sgrecip3 sgtoabs abstimessg difj0 difj1 difjn dify0 dify1 difyn difi0 difi1 difin difk0 difk1 difkn applyfunction0 applyfunction1 applyfunction2 applyfunction3 applyfunction4 applyfunction5 applyfunction6 applyfunction7 applyfunction8 applyfunction9 applyfunction10 applyfunction11 applyfunction12 applyfunction13 applyfunction14 applyfunction15 expand multiplyifcancels ordersimplefactors limsum1 limsum2 limsum3 intsqrt doublecos4 eliminatesinsq eliminatecossq eliminatetansq eliminatesecsq maximalsub multiplycoefs preparetocancel knownroot transfereqn transferstrictineq transferineq transfer contentgcd fractionalsubstitution gcdsubstitution distribandcancel difofpowers limsum4 factorhelper factorandcancel factoroneside unitelns unitelogs unitelns2 unitelogs2 trigsuminfraction cleanupexponents brother access_optable get_brother cousins
? � N � ] � � � � 6 � 5 � 5 � 6 w y ! t * x 3 u < z ] y f w o t x x � z � u � u � y � w � t � x � z $ ( , 0 4 8 < @ D H ` d h l p t ! x " � # � $ � % � & � ' � ( � ) � * � + � � , � - � � � � � . � / � 0 � � 1 � 2 � 3 � 4 5 6 7 8 9 : ; < $ = ( > , ? 0 @ 4 A 8 B < C @ D D E H F L G P H T I X J \ K ` L d M h N l O � P � Q � R � S � T � U � V � W � X � Y � Z � [ � \ � ] � ^ � _ � ` � a � b � c � d � e � f � g h i j k l m $ n ( o , p 0 q 4 r 8 s < t ` s d u h v l S p S t C x V | w � x � y � z � { � | � } � ~ � � � � � � � � � � � � G � � � D � � � � � � � � � � � � � � � � � G � � � � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D � H � L � ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D � H � L � P � T � X � \ � ` � d � h � l � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � 8 < @ D H L P T X \ ` d
h l p
t x | � � � � � � � � � � � � � � � � � ! � " � # � $ � % � & � ' � ( � ) � � � * � + � , � - � . $ / ` , d 0 h + l 1 p 2 t w x ) | 3 � 4 � 5 � 6 � � � 7 � 8 � 9 � : � ; � < � = � > � ? � @ � A � � B � � � C � D � E � F � G � H � I � J � 7 K $ L ` M d N h O l P p Q t R x S | T � U � V � W � X � � Y � Z � [ � \ � ] � ^ � _ � ` � a � b � c � d � e f g h i j k l m N $ n ( C , o 0 p 4 q 8 S < r @ Y ` s d t h u l v p w t x x y | z � { � | � } � ~ � � Y � � � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D � H � L � P � T � X � \ � ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � �
� $
� (
� ,
� 0
� 4
� 8
� <
� @
� D
� H
� L
� P
� T
� X
� `
� d
� h
� l
� p
� t
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� �
� � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D � ` � d � h � l � p t x | � � � � � � �
� � �
� � � � � � � � � � � � � $ ! ( " , # 0 $ 4 % 8 & < � @ ' D ( ` ) d * h + l , p - t . x / | � � 0 � 1 � 2 � 3 � 4 � 5 � 6 � 7 � 8 � 9 � : � ; � < � = � > � ? � @ � A � B � C � D
E
F
G
H $
I (
J ,
K `
L d
M h
N l
O �
P �
Q �
R �
S �
T �
U �
V �
W �
X �
Y �
Z �
[ �
\ �
] �
^ �
_ �
` �
a �
b �
c d e f g h $ i ( j , k 0 l 4 m 8 n < o ` p d q h r l s p t t u x v | w � � � x � y � z � { � � | � } � ~ � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 } 8 � < � @ � D � H ~ L � P � T � X � \ � ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � 8 � ` � d � h � l � p � t � x � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D � H � ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D H L P ` d h l p t x | �
� � �
� � � � � � � � � � � � � � � � � � � � � � � � ! $ " ( # , $ 0 % 4 & 8 ' < ( @ ) D * H + L , P - T . X ` / d 0 h 1 l 2 p 3 t 4 x 5 � 6 � 7 � 8 � 9 � : � ; � < � = � > � ? � @ � A � B � C � D � E � F � G � H I J K L M N O P Q $ R ( S , T 0 U 4 V 8 W < X @ Y ` Z d [ h \ l ] p ^ t _ x ` | a � b � c � d � e � f � g � h � i � j � k � l � m � n � o � p � q � r � s � t , $ ( , 0 4 8 < " @ 0 D + H 1 L 2 P T u X ` v d w h x l y p z t { x | | } � ~ � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D � H � L � P � T � X � \ � ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � W � � � V � � � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D � H � L � P � T � X � ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � j $ � ( � , � 0 � 4 � 8 � < � @ � D � ` � d � h � l � p t x | � � � � � � �
� � � �
� � � � � � � � � � � � � � � � � � $ ! ( " , # 0 $ 4 % 8 & < ' @ y ` ( d ) h * l + p , t - x . | / � 0 � 1 � 2 � 3 � 4 � 5 � 6 � 7 � 8 � 9 � : � ; � < � = � > � ? � ' � @ � A B C D E F G H I J $ K ( L , M 0 N 4 O 8 P < Q @ R D S H T L U ` V d W h X l Y p Z t [ x \ | ] � ^ � _ � ` � C � a � b � c � D � d � e � f � g � h � i � j � k � l � m � n � o � p � q � r � s � t � u � v � w x y z { | $ } ( ~ , 0 � 4 � 8 � < � @ � D � H � L � ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 � 8 � < � @ � D � H ! L � P > T � X � ` ! d C h � � � � ! � � � � � C � � � y � � � � � � � � � � � � � � � � $ � ( � , � 0 � 4 ! 8 ` � d � h � l � p � t � x � | � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � �
� �
$ ( , 0 4 8 < @ ` d h l ! p t x | � � ! � " � # � $ � % � ! � � ! � & � ' � ( ) $ * ( + , , 0 - 4 . 8 / < 0 @ 1 ` 2 d 3 h 4 l 5 p 6 t 7 � 8 � 9 � : � ; � < � = � > � ? � @ � ! ! & ! A $! B (! C ,! D 0! E 4! F 8! G <! H @! I D! J H! K L! L P! M `! N d! O h! P l! Q p! R t! S �! Y �! s �! � �! T �! �! U �! V �! W �! � �! X �! Y �! Z �! [ �! \ �! V �! ] �! ^ �! _ �! " ` $" a (" b ," c 0" d 4" e 8" f <" g `" C d" � h" y l" � p" � t" � x" � |" � �" ! �" > �" �" & �" h �" i �" j �" k �" l �" m �" n �" o �" p �" q �" r �" s �" t �" u �" v # w # x # y # z # { $# | (# } ,# ~ 0# 4# � 8# � <# � @# � D# � H# � L# � `# � d# � h# � l# � p# � t# � x# � |# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � �# � $ � $ � $ � $ � $ � $$ � ($ � ,$ � 0$ � 4$ � 8$ � <$ � @$ � D$ � H$ � L$ � `$ � d$ � h$ � l$ � p$ � t$ � x$ � |$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � �$ � % � % � % � % � % � $% � (% � ,% � 0% � 4% � 8% � <% � @% � D% � `% � d% � h% � l% � p% � t% � x% � |% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% � �% �% �% �% �% �% & & & & &
& & &
& $& (& ,& `& d& h& l& p& t& x& |& �& �& �& �& �& �& �& �& � �& ! �& " �& # �& $ �& % �& & �& ' �& ( �& ) �& * �& + �& , �& - �& . �& / �& 0 �& 1 �& 2 �& 3 �& 4 �& 5 �& 6 ' 7 ' 8 ' 9 ' : ' ; ' < ' = $' > (' ? ,' @ 0' A 4' B 8' C `' D d' E h' F l' G p' H t' I x' J |' K �' L �' M �' N �' O �' P �' Q �' R �' S �' T �' U �' V �' W �' X �' Y �' Z �' [ �' \ �' ] �' ^ ( _ $( ` (( a ,( b 0( c 4( d `( e d( f h( g l( h p( i t( j x( k |( l �( m �( n �( o �( p �( q �( r �( s �( t �( u �( v �( w �( x �( y �( z �( { �( | �( } �( ~ �( �( � �( � �( � �( � ) � $) � () � ,) � 0) � 4) � `) � d) � h) � l) � p) � t) � x) � |) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � �) � * � * � * � * � * � * � * � $* � (* � ,* � 0* � 4* � `* L d* E h* C l* C p* s t* w x* � |* � �* c �* D �* E �* J �* I �* �* S �* D �* � �* �* � �* � �* � �* � �* �* �* E �* � �* / �* � �* �* � �* � �* � �* � �* � �* � �* � � � � � � ) - 1 { � � � ` 0 4 H L