\[K_{0}\left(x\right)=\int_{0}^{\infty}\cos\left(x\sinh t\right)\,\mathrm{d}t=%
\int_{0}^{\infty}\frac{\cos\left(xt\right)}{\sqrt{t^{2}+1}}\,\mathrm{d}t,\]