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