Why Mathematica does not simplify Sinh[ArcCosh[x]] - 资讯列表