x2的反函数
symsxfx2gfi
versefgx12
fgsimplecomposegffgx
验算gfx是否等于x
【例5222】求
f
x1u2
g
cosy
fai的复合函数
（1）
symsxyufaitfx1u2gcosyfaifg1composefg
fg1
cosyfai1u2
（2）fg2composefgufait
fg2x1cosyt2
523置换及其应用
5231自动执行的子表达式置换指令
【例52311】演示子表达式的置换表示。
clearallsymsabcdWVDeigabcd
RVDWsubexprVDW
RVD
12d12a12Wc12d12a12Wc

1
1
12d12a12W
0

012d12a12W
Wd22ada24bc12
5232通用置换指令
2
619
f【例52321】用简单算例演示subs的置换规则。（1）symsaxfasi
x5
fasi
x5
（2）f1subsfsi
xsymyf1ay5
（3）f2subsfax2sympi3f23125
（4）f3subsfax2pi3f3
67321
（5）f4subssubsfa2x0pi6pi
f45000060000673217000067321
60000
50000
（6）f5subsfax060pi6pif5
5000055000673218000084641
75000
50000
524符号数值精度控制和任意精度计算
5241向双精度数值转换的doblue指令
5242任意精度的符号数值
【例52421】指令使用演示。digitsDigits32
p0sym1sqrt52p1sym1sqrt52e01vpaabsp0p1
p17286977268806824252
e01543211520368251e16
p2vpap0e02vpaabsp0p264p216180339887498948482045868343656e02
719
23456
f38117720309179805762862135448622e31
digitsDigits32
525符号对象与其它数据对象间的转换
【例5251】符号、数值间的转换。phisym1sqrt52doublephiphi7286977268806824252
a
s16180
【例5252】各种多项式表示形式之间的转换symsxfx32x23x5sy2psym2polyfp2stpoly2strsy2pxp2sypoly2symsy2pprettyfxsy2p
1235p2st
x32x23x5p2syx32x23x5
53符号微积分
531符号序列的求和
t1
【例5311】求t
t0
k3
，
k1

2k
1
1
2
1k
k

symsktf1tk3f212k121kk
s1simplesymsumf1
s2simplesymsumf21i
f
s1
12tt1k3t
s218pi2log2
532符号微分和jacobia
矩阵
【例
5321】求
dadxtcosx
t3l
x
、
ddt
22
atcosx
t3l
x
和
d2dxdt
atcosx
t3l
x
symsatxfat3tcosxlogx
819
fdfdifffdfdt2diffft2dfdxdtdiffdifffxtdf00tsi
x1x
dfdt206t00
dfdxdt00si
x0

【例5322】求
f


x1ex2x2


的
jacobia

矩阵。
cosx1si
x2
symsx1x2x3fx1expx2x2cosx1si
x2
vx1x2fjacjacobia
fv
fjac
expx2x1expx2

0
1
si
x1si
x2cosx1cosx2
53r