Почему не сводится к нулю? Косинус вроде работает. Почему?
from sympy import *
x = Symbol("x")
expr = (1/(2*I)) * (E**(I*x) - E**(-I*x))
print(simplify(expr - sin(x)))
Процедуры упрощения Sympy обязательно являются эвристическими, поэтому вам придется дать им несколько подсказок. В этом случае вы можете сказать sympy переписать все в терминах экспонент:
simplify((expr - sin(x)).rewrite(exp)) # 0
@prgrm это, кажется, законный вопрос о способностях Sympy к упрощению.