我不确定如何让Sympy执行/简化这些类型的身份？
它执行sin(a + b)之类的操作，但似乎没有其他操作（如标题中的那个）
答案 0 :(得分：2)
一种方法是尝试简化函数/方法的各种组合，例如rewrite和simplify。例如，以下内容给出了您想要的结果：
import sympy as sp
x = sp.var('x', real = True)
f = sp.tan(x/2)
sp.re(f.rewrite(sp.exp).simplify().rewrite(sp.sin)).simplify()
sin（x）/（cos（x）+ 1）