Why Mathematica does not simplify sinh(arccosh(x))
(news.ycombinator.com)
1.
2.
A triangle whose interior angles sum to zero
(news.ycombinator.com)