Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["ArcCot", "[", SqrtBox[RowBox[List["-", "z_"]]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List["-", FractionBox[RowBox[List[SqrtBox[RowBox[List["-", SuperscriptBox["z", "2"]]]], " ", RowBox[List["ArcCoth", "[", SqrtBox["z"], "]"]]]], "z"]]]]]]] |