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