Ofcourse one can notice that
$ \left(\frac{\sinh\left(x\right)}{\cosh\left(x\right)}\right)'=\frac{\cosh^{2}\left(x\right)-\sinh^{2}\left(x\right)}{\cosh^{2}\left(x\right)}=\frac{1}{\cosh^{2}\left(x\right)} $
But im looking for a straight way to prove that
$ \int\frac{1}{\cosh^{2}x}dx=\frac{\sinh\left(x\right)}{\cosh\left(x\right)}+ C $
Here's what I tried:
$ \int\frac{1}{\cosh^{2}x}=\int\frac{1}{1+\sinh^{2}x}dx=\frac{\arctan\left(\sinh x\right)}{\cosh x} + C$
Now im not sure how to continue. Thanks in advance
Based on your comment to another answer, you want to show that $\displaystyle \int \mathrm{sech}^2 x dx = \tanh x + c$.
I find the easiest way is to use complex numbers. Start with the circular trigonometric version $\displaystyle \int \sec^2 x dx = \tan x + c$, which I assume you can assume or you know how to prove. Then transform to the hyperbolic trigonometric version with the substitution $x=iy$:
Note that $\cos iy = \cosh y \implies \sec iy = \mathrm{sech}\ y$ and $\tan iy = i\tanh y$.
$\displaystyle \int \sec^2 iy d(iy) = \tan iy + c$
$\displaystyle i\int \mathrm{sech}^2 y dy = i\tanh y + c$
$\displaystyle \int \mathrm{sech}^2 y dy = \tanh y + z$
where $z$ is an arbitrary complex constant. If you're dealing with a purely real domain, $z$ will be real as well.