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