Let $\sin$ be the D164: Standard complex sine function.
Let $z \in \mathbb{C}$ be a D1207: Complex number.

Then \begin{equation} \sin z = \frac{\exp(i z) - \exp(- i z)}{2 i} \end{equation}