Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["ArcSin", "[", RowBox[List[RowBox[List["-", FractionBox["1", "2"]]], " ", SqrtBox[RowBox[List["2", "-", SqrtBox["2"]]]]]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List["-", FractionBox["\[Pi]", "8"]]]]]]] |