Sympy не упрощает формулу синус Эйлера

Question

Почему это не упрощается до нуля? Кажется, косинус работает. Почему?

from sympy import *

 x = Symbol("x")
expr = (1/(2*I)) * (E**(I*x) - E**(-I*x))
print(simplify(expr - sin(x)))

Answer 1

Процедуры упрощения Sympy обязательно эвристические, поэтому вам придется дать им несколько советов. В этом случае вы можете сказать sympy переписать все в терминах экспонент:

simplify((expr - sin(x)).rewrite(exp)) # 0