10.4.1 符号表达式的微分运算