sympy是python的数学符号计算库，是数学计算的利器。