Evaluate: $$ \lim_{x \to \frac{\pi}{2}} \frac{\cot x - \cos x}{(\pi - 2x)^3} $$
Evaluate: $$ \int \frac{e^{\tan^{-1} x}}{1 + x^2} \left[ \left(\sec^{-1}\sqrt{1 + x^2}\right)^2 + \cos^{-1}\left(\frac{1 - x^2}{1 + x^2}\right) \right] dx, \quad x > 0 $$
Given \[ 0 \le x \le \frac{1}{2}, \] find the value of \[ \tan \left( \sin^{-1}\left( \frac{x}{\sqrt{2}} + \frac{\sqrt{1 - x^2}}{\sqrt{2}} \right) - \sin^{-1} x \right). \]