How would I find the closed form of
$$ f(\alpha) = \sum_{n=0}^{\infty} \frac{\cos(\alpha \, n)}{n!}$$
My old pal Wolfram tells me that
$$ f(\alpha) = \mathrm{e}^{\cos(\alpha)}\cos(\sin(\alpha))$$
I've attempted writing out the first couple terms for different values of $\alpha$, but I haven't quite figured out how to arrive at the result.