# Havercosine

The havercosine function $\mathrm{havercos} \colon \mathbb{C} \rightarrow \mathbb{C}$ is defined by $$\mathrm{havercos}(z) = \dfrac{1+\cos(z)}{2},$$ where $\cos$ denotes cosine.