[ESub (EIdentifier "H") (ESymbol Ord "2"),ESymbol Rel "=",EOver False (ESub (EIdentifier "H") (ESymbol Ord "2")) (EPhantom (EIdentifier "x"))]