\[K_{\mu}\left(z\right)K_{\nu}\left(z\right)=2\int_{0}^{\infty}K_{\mu\pm\nu}%
\left(2z\cosh t\right)\cosh\left((\mu\mp\nu)t\right)\,\mathrm{d}t,\]