Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["ArcCot", "[", RowBox[List[SqrtBox["3"], "-", "2"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List["-", FractionBox["1", "12"]]], " ", RowBox[List["(", RowBox[List["5", " ", "\[Pi]"]], ")"]]]]]]]] |