alt Hacker News> exp-minus-log construction is closed for the operations it supports, and spans both exp and log, so E must be either identical to or a subset of exp-minus-log; not the other way around.
Since E is by definition closed under exp, log and subtraction, it is clearly also closed under EML.
SabrinaJewson claims it is a STRICT subset: EML ⊂ E
I remind the trivial results that both E ⊆ EML and EML ⊆ E and hence EML = E
apart from construction: which is minimal for EML but highly redundant for E.
the EML paper shows that this minimal construction for EML is not unique so other binary operations may be found with perhaps more interesting properties, or admitting shorter binary trees for commonly used functions and values (which may reflect subjective "simplification" of expressions in mathematics.