想复现一下文献，手推公式太痛苦了，佬们推符号公式，进行函数运算用的什么软件啊