Definite Integral of sin(arccosh(x)+7) How would I go about computing $\displaystyle\int_{10}^{16}\sin(\cosh^{-1}(x)+7)\mathrm dx$?
I haven't attempted anything yet, because I don't even know how to integrate the inverse hyperbolic cosine.

Hint. Substitute $y=\cosh^{-1}x$ and use the definition of the hyperbolic functions (i.e., write interms of the exponential(s)) and use integration by parts.
