如何使用Mathematica进行符号运算和化简