A fascinating holiday special: integral of e^cos(x) from 0 to pi/2

This was a really cool integral with a fascinating solution involving infinite series, lots of gamma functions and some special functions at the end.