Show that the function $f: ({-\pi \over 2}, {\pi \over 2}) \to \mathbb R$, $f(x) = \tan (x) + 3x +1$, has an inverse function that's differentiable everywhere. Also solve $(f^{-1})'(1)$.
I showed that it's strictly increasing and differentiable and that $f'(x) = 4 + \tan^2(x)$, tried to show that on point $y=\tan(x)+3x+1$ $(f^{-1})'(y) = {1 \over 4+ \tan^2(x)}$ but I'm stuck now.