Jedino što mi pada na pamet, to je da, pošto se kosinus hiperbolički definiše kao
[dispmath]\cosh x\;\mathop=^\mathrm{def}\;\frac{e^x+e^{-x}}{2}[/dispmath]
ne uvedemo smenu [inlmath]x=a\cosh t[/inlmath], već uvedemo smenu [inlmath]x=a\cdot\frac{e^t+e^{-t}}{2}[/inlmath].

Nije šija nego vrat, ali bar nema kosinusa hiperboličkog.
[inlmath]a=2\;\Rightarrow\;x=\cancel 2\cdot\frac{e^t+e^{-t}}{\cancel 2}=e^t+e^{-t}\\
\mathrm dx=\left(e^t-e^{-t}\right)\mathrm dt[/inlmath]
Ovde treba da uvedemo jedan mali uslov – da je [inlmath]t>0[/inlmath], videćemo kasnije zašto.
Tim uslovom se ništa ne narušava, budući da je [inlmath]f\left(t\right)=e^t+e^{-t}[/inlmath] parna funkcija:
[inlmath]f\left(-t\right)=e^{-t}+e^{-\left(-t\right)}=e^{-t}+e^t=e^t+e^{-t}=f\left(t\right)[/inlmath]
tako da, ako se neka vrednost [inlmath]x[/inlmath] može preslikati u negativno [inlmath]t[/inlmath], tada se isto može preslikati i u pozitivno [inlmath]t[/inlmath]. Prema tome, uslovom [inlmath]t>0[/inlmath] nismo ništa ograničili što se tiče same mogućnosti smene.
[dispmath]\int\frac{\mathrm dx}{\sqrt{x^2-4}}=\int\frac{e^t-e^{-t}}{\sqrt{\left(e^t+e^{-t}\right)^2-4}}\mathrm dt=\int\frac{e^t-e^{-t}}{\sqrt{e^{2t}+2e^te^{-t}+e^{-2t}-4}}\mathrm dt=[/dispmath][dispmath]=\int\frac{e^t-e^{-t}}{\sqrt{e^{2t}+2\cdot 1+e^{-2t}-4}}\mathrm dt=\int\frac{e^t-e^{-t}}{\sqrt{e^{2t}-2+e^{-2t}}}\mathrm dt=\int\frac{e^t-e^{-t}}{\sqrt{\left(e^t\right)^2-2e^te^{-t}+\left(e^{-t}\right)^2}}\mathrm dt=[/dispmath][dispmath]=\int\frac{e^t-e^{-t}}{\sqrt{\left(e^t-e^{-t}\right)^2}}\mathrm dt=\int\frac{e^t-e^{-t}}{\left|e^t-e^{-t}\right|}\mathrm dt=[/dispmath]
Na ovom mestu dolazi do značaja onaj uslov [inlmath]t>0[/inlmath]:
[inlmath]t>0\quad\Rightarrow\quad e^t>e^{-t}\quad\Rightarrow\quad e^t-e^{-t}>0\quad\Rightarrow\quad\left|e^t-e^{-t}\right|=e^t-e^{-t}[/inlmath]
[dispmath]=\int\frac{\cancel{e^t-e^{-t}}}{\cancel{e^t-e^{-t}}}\mathrm dt=\int\mathrm dt=t+c[/dispmath]
E sad treba naći koliko je [inlmath]t[/inlmath]:
[dispmath]x=e^t+e^{-t}\quad /\cdot e^t[/dispmath][dispmath]xe^t=\left(e^t\right)^2+1[/dispmath][dispmath]\left(e^t\right)^2-xe^t+1=0[/dispmath][dispmath]\left(e^t\right)_{1,2}=\frac{x\pm\sqrt{x^2-4}}{2}[/dispmath][dispmath]t_{1,2}=\ln\frac{x\pm\sqrt{x^2-4}}{2}[/dispmath]
Pošto imamo uslov da je [inlmath]t>0[/inlmath], sledi:
[inlmath]\ln\frac{x\pm\sqrt{x^2-4}}{2}>0\quad\Rightarrow\quad\frac{x\pm\sqrt{x^2-4}}{2}>1\quad\Rightarrow\quad x\pm\sqrt{x^2-4}>2\quad\Rightarrow\quad\pm\sqrt{x^2-4}>2-x[/inlmath]
Rešenje s minusom otpada, jer bi tada bilo:
[inlmath]-\sqrt{x^2-4}>2-x\quad\Rightarrow\quad\sqrt{x^2-4}<x-2\\
x-2\ge 0\;\land\;x^2-4<\left(x-2\right)^2\\
x\ge 2\;\land\;\cancel{x^2}-4<\cancel{x^2}-4x+4\\
x\ge 2\;\land\;x<2\quad\bot[/inlmath]
Prema tome, uzimamo samo rešenje s plusom:
[dispmath]t_{1,2}=\ln\frac{x+\sqrt{x^2-4}}{2}[/dispmath][dispmath]t_{1,2}=\ln\left(x+\sqrt{x^2-4}\right)-\ln 2[/dispmath]
Konačno, integral je jednak:
[dispmath]t+c=\ln\left(x+\sqrt{x^2-4}\right)+\underbrace{c-\ln 2}_c=\enclose{box}{\ln\left(x+\sqrt{x^2-4}\right)+c}[/dispmath]