<<< native [ ESqrt (EGrouped [ ESymbol Bin "-" , ENumber "1" ]) ] >>> eqn sqrt {- 1}