Some explanation to these formulas would be helpful to someone who is "clueless", for example, how you derive $y'\sec^2(y)=1$ from $\tan(y)=x$. Also, what exactly are $f$ and $y$ in the last equation?
\[
\dfrac{df(y)}{dy}=\dfrac{f'(y)}{1+(f(y))^2}
\]
Do you mean the following?
\[
\dfrac{d\tan^{-1}(f(y))}{dy}=\dfrac{f'(y)}{1+(f(y))^2}
\]
But then this redefines $f$ because in post #1 $f(y)=\tan^{-1}(8y^3+1)$ and here $f(y)=8y^3+1$.
karush, you can refer to the list of derivatives of trigonometric functions in
Wikipedia.
This article explains how to find $(\tan^{-1}(x))'$. In the future, it would help if you explain what exactly you don't understand. In this case, it is not clear whether you know the chain rule or you need the derivative of $\tan^{-1}(x)$ and, if you need the latter, whether you can look it up or need to derive it as a derivative of inverse function.