Prove that:

$\displaystyle \displaystyle \int^1_{\frac{4}{5}} arsech xdx=2\arctan 2-\frac{\pi}{2}-\frac{4}{5}\ln 2$

I found $\displaystyle arsech x = \ln{\frac{1+\sqrt{1+x^2}}{x}}$

But When I tried to integrate it, it got very messy as well as not being the answer. I've got no idea how else to integrate, so any help will be very much appreciated.

Thanks!