sec^-1 (x) tanhx dx