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