\[{\operatorname{Ai}}^{2}\left(z\right)+{\operatorname{Bi}}^{2}\left(z\right)=%
\frac{1}{\pi^{3/2}}\int_{0}^{\infty}\exp\left(zt-\tfrac{1}{12}t^{3}\right)t^{-%
1/2}\,\mathrm{d}t.\]