\[\int\frac{\,\mathrm{d}z}{\operatorname{Ai}\left(z\right)\operatorname{Bi}\left%
(z\right)}=\pi\ln\left(\frac{\operatorname{Bi}\left(z\right)}{\operatorname{Ai%
}\left(z\right)}\right),\]