constant
Constant 0 · 0
Zero isn't a primitive in EML, it takes depth 3 to build. This is surprising and fundamental to how EML reshapes what 'simple' means.
depth 3
Domain: n/aDefinition
Formula
eml(1, eml(eml(1, 1), 1))Evaluate
0
EML tree
Click a node to highlight it. Each node shows its computed value below the label.
Step-through evaluation
- 1.depth 1const 1
- 2.depth 3const 1
- 3.depth 3const 1
- 4.depth 2exp(1) − ln(1) = 2.718282
- 5.depth 2const 1
- 6.depth 1exp(2.718282) − ln(1) = 15.154262
- 7.depth 0exp(1) − ln(15.154262) = 0
Derivation
- 1.Goal: produce 0.
- 2.Inner: eml(1, 1) = e.
- 3.Next: eml(e, 1) = exp(e) − ln(1) = exp(e).
- 4.Outer: eml(1, exp(e)) = exp(1) − ln(exp(e)) = e − e = 0.