Dave's Math Tables: Integral sech(x) 
(Math | Calculus | Integrals | Table Of | sech x)
 
Discussion of
(integral) sech x = arctan (sinh x) + C.

1. Proof