\[\mathrm{f}\left(z\right)=\frac{1}{\pi\sqrt{2}}\int_{0}^{\infty}\frac{e^{-\pi z%
^{2}t/2}}{\sqrt{t}(t^{2}+1)}\,\mathrm{d}t,\]