\[J_{0}\left(x\right)=\frac{2}{\pi}\int_{0}^{\infty}\sin\left(x\cosh t\right)\,%
\mathrm{d}t,\]