Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", SuperscriptBox["\[ExponentialE]", RowBox[List["ArcCosh", "[", "z_", "]"]]], "]"]], "\[RuleDelayed]", RowBox[List["z", "+", RowBox[List[SqrtBox[RowBox[List[RowBox[List["-", "1"]], "+", "z"]]], " ", SqrtBox[RowBox[List["1", "+", "z"]]]]]]]]]]] |