上篇主要介绍了入门和一些基本的用法，由于篇幅太长，故在写一篇
就主要写了简化和展开，其余到时再补充吧
三角函数简化
acos(x)
cos(acos(x))
asin(1)
1.trigsimp简化
要使用三角恒等式简化表达式，请使用trigsimp()。
trigsimp(sin(x)**2 + cos(x)**2) trigsimp(sin(x)**4 - 2*cos(x)**2*sin(x)**2 + cos(x)**4) trigsimp(sin(x)*tan(x)/sec(x))
trigsimp() 也可以使用双曲三角函数
trigsimp(cosh(x)**2 + sinh(x)**2)
trigsimp(sinh(x)/tanh(x))
与相似simplify()，trigsimp()将各种三角身份应用于输入表达式，然后使用试探法返回“最佳”表达式。
2.expand_trig展开
要扩展三角函数，即应用和或双角度恒等式，请使用expand_trig()。
因为expand_trig()倾向于使三角表达式更大，并且 trigsimp()倾向于使它们更小
expand_trig(sin(x + y))
expand_trig(tan(2*x))
