sympy库使用：第3部分 简化数学表达式（翻译 tcy）