Let $\cos$ be the D165: Standard complex cosine function.
Let $z \in \mathbb{C}$ be a D1207: Complex number.

Then \begin{equation} \cos z = \frac{e^{i z} + e^{- i z}}{2} \end{equation}