Why Mathematica does not simplify Sinh[ArcCosh[x]] - 信息索引