令 $u=1+2\ln t$。因 $t>1$，有 $u>1$，且 $\frac{\mathrm{d}u}{\mathrm{d}t}=\frac{2}{t}$。由微积分基本定理，$\frac{\mathrm{d}y}{\mathrm{d}t}=\frac{2{\mathrm{e}}^u}{tu}$，而 $\frac{\mathrm{d}x}{\mathrm{d}t}=4t$。

故 $\frac{\mathrm{d}y}{\mathrm{d}x}=\frac{{\mathrm{e}}^u}{2t^{2}u}$。对 $t$ 求导，得

当 $x=9$ 时，$1+2t^2=9$，结合 $t>1$ 得 $t=2$，此时 $u=1+2\ln 2$。因此