RecodeX 重构消息，Mathematica软件未自动简化sinh(arccosh(x))表达式，引发技术社区讨论其符号计算逻辑与数学简化规则。