antiderivative of cosh(2x) dx