integral ((sinh x)/(cosh x) dx