Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["ArcSin", "[", SqrtBox[RowBox[List["-", "z_"]]], "]"]], "]"]], "\[RuleDelayed]", FractionBox[RowBox[List[SqrtBox[RowBox[List["-", "z"]]], " ", RowBox[List["ArcCosh", "[", SqrtBox[RowBox[List["1", "+", "z"]]], "]"]]]], SqrtBox["z"]]]]]] |