Why Mathematica does not simplify Sinh[ArcCosh[x]]

When Mathematica seems to not to know how to simplify an expression, it may be doing the right thing, being more sophisticated than you expect.