M6R0
I/evalf/INTERVALR6"F$F$F$-%$mapG6$%&evalfG-%)INTERVALG6#9"F$F$F$F$,
I%gminR6&'%"fG%*algebraicG'%"rG/%%nameG;%)realconsGF8'%"mGF6'%#b0GF865%"xG%"aG%
"bG%#fnG%$fnpG%%fnppG%#faG%#fbG%$bsfG%$msfG%$resG%#flG%"nG%"iG%#aiG%#biG%#bbG%#
mbG%#f0G6$%HMaple~Advisor~Database~1.01~for~Maple~6G%gnCopyright~(c)~1998~by~Ro
bert~B.~Israel.~~All~rights~reservedGF$C<>%'DigitsG,&FV"""""&FX>8$-%#opG6$FX9%>
8%-F(6#-Fgn6$FX-Fgn6$""#Fin>8&-F(6#-Fgn6$FboF`o@$2FdoF[o-%&ERRORG6$%2invalid~in
terval~G7$F[oFdo@$-%$hasG6$9$<(%$absG%$maxG%$minG%*piecewiseG%'signumG%*Heavisi
deGC+>8/-%(convertG6%Fdp%'pwlistGFen@$-Fbp6$F^qFep-F\p6#%Dcould~not~convert~to~
piecewise~listG>80,&-%%nopsG6#F^q#FXFboF_rFX>8,%)infinityG>8-<">FV,&FVFX!"&FX?(
81FXFXFjq%%trueGC)@%/FjrFX>82F[o>F`s-Fgp6$F[o-F(6$&F^q6#,&FjrFbo!"#FXFW@%/FjrFj
q>83Fdo>F]t-Fhp6$Fdo-F(6$&F^q6#,$FjrFboFW@$2F]tF`s\>84-F-6&&F^q6#,&FjrFbo!""FX/
Fen;F`sF]t.85Far>8.-%,gmin/newminG6&FduFjtFarFdr>Far&Ffu6#FX>Fdr&Ffu6#Fbo@$1""$
9#>9&-F(6#Fdr-%'RETURNG6#-F(6#Far@$-Fbp6$FinFbrC%>Far-%.gmin/infiniteG6%FdpFinF
dr@$Fav>FevFdr-FivF\w>8'-%(unapplyG6$FdpFen>8*-%*traperrorG6#-F(6#-Fiw6#F[o@$5/
F^x%*lasterrorG-%%typeG6$F^x%*undefinedG>F^x-F(6#-%&limitG6%Fdp/FenF[o%&rightG@
$4-F[y6$F^xF8-F\p6$%-Can~not~findG-%&LimitGFcy>8+-F`x6#-F(6#-Fiw6#Fdo@$5/F`zFix
-F[y6$F`zF]y>F`z-F(6#-Fby6%Fdp/FenFdo%%leftG@$4-F[y6$F`zF8-F\p6$F\z-F^zF`[l@%-%
(hastypeG6$7$F^xF`zFbr>%*gmin/eps2G-%&FloatG6$FX,&FYFXFVF`u>F`\l,$*&Fa\lFX,(-Ff
p6#F^xFX-Ffp6#F`zFX$FXFisFXFXF_r>8(-F[x6$-%%diffGF\xFen>8)-F[x6$-Fc]l6$Fdp-%"$G
6$FenFboFen@'2F^x,&F`zFXF`\lF`uC$>FarF^x>Fdr<#F[o2F^x,&F`zFXF`\lFXC$>Far-Fhp6$F
^xF`z>Fdr<$FdoF[oC$>FarF`z>Fdr<#Fdo@$32F[o""!2Fc_lFdoC&>86-F(6#-Fiw6#Fc_l>Fjt-F
hu6&<#Fc_lFg_lFarFdr>Far&FjtF\v>Fdr&FjtF_v@$3/Fcv""%29'FarC$>FarFi`l>FdrFer>%*g
min/eps1G*&Fa\lFX,&-FfpFfzFX-FfpFexFXFX@%/FdoF[o>%*gmin/eps3GFX>Ffal*&F`\lFX,&F
doFXF[oF`uF`u@%1Far$F`uFbr>Ffu7$FarFdr>Ffu-%*gmin/gminG6+FiwF_]lFe]lF[oFdoF^xF`
zFarFdr>FVFgr@$Fav>Fev-F(6#F^v-F(6#F[vF$6%F^alF`\lFfalF$F$,
I%gmaxR6#F1F$FQF$,$-F-6$,$FdpF`u&F,6#;FboFcvF`uF$F$F$F$,
I.gmin/infiniteR6%F0F3F96.F>F?F@FH%#b1G%#m1G%#b2G%#m2G%#b3G%#m3G%"vG%"cG6$%JMap
le~Advisor~Database~1.01~for~Maple~V~6GFSF$C*>FenFfn>F[oF\o>FdoFeo@$1FdoF[oF[p>
FVFgr@%1F[oF\bl@%1$FXFbrFdoC(>F^x-F-6%Fdp/Fen;!#5"#5F`z>F_]l-F-6&-%%subsG6$/Fen
*$FfuF`uFdp/Ffu;$F`uF`u$!"!Fc_lFe]lF^x>Fe]l-F&6$R6#%"tGF$F$F$@%/FdpFc_l,$FbrF`u
*$FdpF`uF$F$F$Fe]l>Far-F-6&Fjel/Ffu;$Fc_lFc_l$FXF`uFdr-Fhp6$F_]lF^x>Fdr-F&6$RFh
flF$F$F$@%F[glFbrF]glF$F$F$Fdr>Fiw-Fhu6%FdrFar-Fgn6#-Fhu6&Fe]lF_]lF^xF`zC'>F^q,
&FeelFXFaalF`u>F_]l-F-6%Fjel/Ffu;*$F^qF`uFbflFe]l>Fe]l-F&6$RFhflF$F$F$@%F[glF\g
lF]glF$F$F$Fe]l>F^x-F-6&Fdp/Fen;F^qFdoF`zF_]l>FiwFahlC'>F^q,&FfelFXFbalFX>F_]l-
F-6%Fjel/Ffu;Fc_lF[ilFe]l>Fe]l-F&6$RFhflF$F$F$@%F[glFbrF]glF$F$F$Fe]l>F^x-F-6&F
dp/Fen;F[oF^qF`zF_]l>FiwFahl>Fev&FiwF_v&FiwF\vF$F$F$F$,
I,gmin/newminR6&F?FDFFFG6%F:F@%#saGFQF$C$@%-F[y6$Fdp%$setG>FdoFdp>Fdo<#Fdp@'2Fi
n,&FevFXF`\lF`uC$@%/FdoFer-%)userinfoG6&FYF-%*new~best~GFin-Fa\m6(FYF-Fc\mFin%%
~at~GFdp7$FinFdo2Fin,&FevFXF`\lFXC%>F[o-Fhp6$FevFin@%0FdoFerC$-Fa\m6(FYF-%&best
~GFinFf\mFdp>Fdo-%&unionG6$Fi`lFdo>FdoFi`lF_p7$FevFi`lF$F$F$F$,
I*gmin/gminR6+FAFBFCF?F@FDFEFFFG65FNFO%#frG%#f1G%#f2G%$fp1G%$fp2G%$fa1G%$fb1GF`
dl%#fcG%%fpp1G%%fpp2G%#a1GFicl%$fpaG%$fpbG%"qG%"wGFQF$CH-Fa\m6)Fg`lF-%3Checking
~interval~G;Fi`l9(%+end~valuesG9)9*@$2,&Fb_mFXFi`lF`uF^al-Fiv6#-Fhu6&Fi`lFd_m9+
9,>Fdu-Fdp6#-F*6#Fa_m>Fdo-F`x6#-F(6#-%&evalrG6#Fdu@$5/FdoFix-F\\l6$FdoF]y>Fdo-F
`x6#-F(6#-Fj`m6#-%'normalGF[am@$F]amC%@%1Fi`lF\bl-%'assumeG6$Fg_l%%realG-F_bm6#
1Fi`lFg_l@$2Fb_mF^el-%-additionallyG6#1Fg_lFb_m@%/-Fjp6%Fc_l,&-Fdp6#Fg_lFXF]`mF
`uFc_lFX-Fiv6#7$F]`mF^`m>Fdo-F*6#;F\blF^el@'-F[y6$Fdo<$-%)specfuncG6$%&rangeGF*
-%%listG6#F`dmC$>Fiw-Fgn6$FX-Fgn6$FXFdo>F_]l-Fgn6$Fbo-Fgn6$F`uFdo-F[y6$FdoF8C$>
FiwFdo>F_]lFdo-F\p6$%0evalr~returned~GFdo-Fa\m6(FYF-%)range~onG7$Fi`lFb_m%%~is~
G7$FiwF_]l@&2F]`mFiwFbcm1F_]lFiw-Fiv6#-Fhu6&Fb`m-Fhp6$Fd_mFe_mF]`mF^`m>Fdu-FinF
a`m>FdoFe`m@$F]am>FdoFbam@$F]amC%-F_bm6$2Fi`lFg_l2Fg_lFb_m>Fdu-FinFacm@'/-Fjp6%
Fc_lFduFXFX>Fdo-F*6#;Fc_lF^el/-Fjp6%Fc_lFduF`uF`u>Fdo-F*6#;F\blFc_l>FdoFfcm@'Fj
cmC$>Fe]lFfdm>F^xF[emF_emC$>Fe]lFdo>F^xFdoFdem@&1,$FfalF`uFe]l@%1F^xFfalF`fmFi_
mF^im@%F[imF`fm-Fiv6#-Fhu6&Fb_mFe_mF]`mF^`m>Fdu-FevFa`m>FdoFe`m@$F]am>FdoFbam@$
F]amC%F]gm>Fdu-FevFacm@'Fdgm>FdoFhgmF[hm>FdoF_hm>FdoFfcm@&FjcmC$>F^qFfdm>FjqF[e
mF_emC$>F^qFdo>FjqFdo@&1Fc_lF^q-Fiv6#-%,gmin/convexG6%F,-F(6#-Fin6#Fi`l-F(6#-Fi
n6#Fb_m1FjqFc_l@%1Fd_mFe_m@%/Fe_mFd_m-Fiv6#-Fhu6&<$Fi`lFb_mFdfmF]`mF^`mFi_mF`im
>F]t-F`x6#F_[n@$5/F]tFix-F[y6$F]tF]y>F]t-F(6#-Fby6%-Fin6#F>/F>Fi`lFey@$4-F[y6$F
]t<$Fbr%(numericG-F\p6$%>Can't~evaluate~derivative~at~GFi`l>Fjt-F`x6#Fc[n@$5/Fj
tFix-F[y6$FjtF]y>Fjt-F(6#-Fby6%F^]n/F>Fb_mFb[l@$4-F[y6$FjtFe]n-F\p6$Fi]nFb_m@%2
F\blFe]l>Fjr,&Fi`lFX*&,&F]`mFXFd_mF`uFXFe]lF`uFX>FjrFi`l@$2F\blF^q>Fjr-Fgp6$Fjr
,&Fi`lFX*&,&F]tFX-%%sqrtG6#,&*$F]tFboFX*&F^qFX,&Fd_mFXF]`mF`uFXFisFXFXF^qF`uF`u
@$32F]tFc_l2FjqF^el>Fjr-Fgp6$Fjr,&Fi`lFX*(F]tFXFjqF`u,&FXFXFa\lF`uFXF`u@%2F^xF^
el>F`s,&Fb_mFX*&,&F]`mFXFe_mF`uFXF^xF`uFX>F`sFb_m@$Ff_n>F`s-Fhp6$F`s,&Fb_mFX*&,
&FjtFX-F^`n6#,&*$FjtFboFX*&F^qFX,&Fe_mFXF]`mF`uFXFisF`uFXF^qF`uF`u@$32Fc_lFjtFg
`n>F`s-Fhp6$F`s,&Fb_mFX*(FjtFXFjqF`uF]anFXF`u@&2F`s,&FjrFXF^alF`uFbcm2F`sFjrC%>
Fjr,&FjrF_rF`sF_r@%/FjrFi`l>F`zFd_m>F`z-F(6#-Fdp6#Fjr-Fiv6#-Fhu6&FjrF`zF]`mF^`m
@%Fbcn>F`zFd_m>F`zFecn@%/F`sFb_m>FarFe_m>Far-F(6#-Fdp6#F`s>Fen-Fhu6%FerFar-Fgn6
#-Fhu6&FerF`zF]`mF^`m@%2,&F`sFboFjrFisFh_m-Fiv6#-Fabl6*FdpFinFevFjrF`sF`zFar-Fg
n6#FenC&>FdrF`cn>Ffu-F(6#-FdpFgv>Fen-Fhu6%FerFfuFfen@%2F`zFarC$>Fen-Fabl6*FdpFi
nFevFjrFdrF`zFfuFfen-Fiv6#-Fabl6*FdpFinFevFdrF`sFfuFarFfenC$>FenFifn-Fiv6#FefnF
$F$F$F$,
I,gmin/convexR6-FAFBFCF?F@FDFEFFFGFi^mFj^m66FNFOF^^mF_^mF`^mFa^mFb^mFc^mFd^mF`d
lFe^m%$fpcGFh^mFicl%"dG%#fdG%$fpdG%%fppdG%%fpa1G%%fpb1GFQF$C+-Fa\m6)Fg`lF-%4Con
vex~on~interval~GFa_mFc_mFd_mFe_m@$Fg_mFi_m@&1F\im9-@'2Ffal9.Fi_m2F]`mFd_mFbcm-
Fiv6#7$F]`m-Ff]m6$-%&minusG6$F^`mF`\n<#Fb`m1FdhnFfal@'2FahnF\imF`im2F]`mFe_mFbc
mFfhn@%1Fc_l,&FahnFXFdhnFXC$>F`sFi`l>FjtFahnC$>F`sFb_m>FjtFdhn>Fdu-F(6#-FevFgdn
@%2Fc_lFduC$>Fdr,&F`sFX*&FjtFXFduF`uF`u@$52FdrFi`l2Fb_mFdr>Fdr*&,&*&FdhnFXFi`lF
XFX*&FahnFXFb_mFXF`uFX,&FdhnFXFahnF`uF`u>FdrF[[o>FfuF[fn>F^q-F(6#-FinFgv@'2-Ffp
F^rFfal-Fiv6#-Fhu6&FdrFfuF]`mF^`m2Fc_lF^qC*>Fen-Fhu6&FerFfuF]`mF^`m>Fjq,&Fi`lFX
*&Fc_nFXFahnF`uFX@$2FdrFjq-FivFgen>F`s,&Fjq$FYF`uFdrFj\o>F]tFddn>Fen-Fhu6%FerF]
tFfen>Fjt-F(6#-FinFgdn@%1Fc_lFjtC&>F`z-F(6#-Fdp6#Fjq>Fen-Fhu6%FerF`zFfen>Fg_l-F
(6#-FinFj]o-Fiv6#-F][n6,FdpFinFevFjqF`sF`zF]tFfenFg_lFjt-Fiv6#-F][n6,FdpFinFevF
`sFdrF]tFfuFfenFjtF^qC*>FenF`\o>Fjr,&Fb_mFX*&FcanFXFdhnF`uFX@$2FjrFdrFg\o>F`s,&
FdrFj\oFjrFj\o>F]tFddn>FenF]]o>FjtF`]o@%1FjtFc_lC&>FarFecn>Fen-Fhu6%FerFarFfen>
87-F(6#-FinFhcn-Fiv6#-F][n6,FdpFinFevF`sFjrF]tFarFfenFjtF^`o-Fiv6#-F][n6,FdpFin
FevFdrF`sFfuF]tFfenF^qFjtF$F$F$F$
