17.3 符号微积分的计算