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