Since you know the result, why not just differentiate it:
$$
\begin{align}
(\arcsin (\tanh x))'&=(\tanh x)'\times \frac{1}{\sqrt{1-(\tanh x)^2}}\\\\
&=({\rm sech}\: x)^2 \times \frac{1}{\sqrt{({\rm sech}\: x)^2 }}\\\\
&={\rm sech}\: x.
\end{align}
$$
I don’t know how to prove this identity. Any help?
This proves that
$$
\int{\rm sech}\: x\:dx = \arcsin (\tanh x)
$$ up to a constant.
Edit: you might want to write
$$
\begin{align}
\int{\rm sech}\: x\:dx&=\int({\rm sech}\: x)^2 \times \frac{1}{\sqrt{({\rm sech}\: x)^2 }}\:dx\\\\
&=\int(\tanh x)'\times \frac{1}{\sqrt{1-(\tanh x)^2}}\:dx\\\\
&=\arcsin (\tanh x)+C.
\end{align}
$$