<<< native [ EFraction NormalFrac (EGrouped [ ENumber "1" , ESymbol Bin "+" , ESqrt (ENumber "5") ]) (ENumber "2") ] >>> eqn {1 + sqrt 5} over 2