Cool Link
Why Mathematica does not simplify Sinh[ArcCosh[x]] johndcook.com

johndcook.com/blog/2026/03/10/sinh-arccosh/