<<< native [ ESqrt (ESqrt (ESqrt (ESqrt (ENumber "65536")))) , ESymbol Rel "=" , ENumber "2" ] >>> tex \sqrt{\sqrt{\sqrt{\sqrt{65536}}}} = 2