变量 符号 替换 函数 符号计算