Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["ArcSech", "[", "z_", "]"]], "]"]], "\[RuleDelayed]", RowBox[List["2", " ", RowBox[List["ArcCosh", "[", SqrtBox[FractionBox[RowBox[List["z", "+", "1"]], RowBox[List["2", " ", "z"]]]], "]"]]]]]]]] |