Knowledge Base

A one-page orientation: the paper's claim, why it matters, and what you can do with this app.

Walkthrough of the paper's structure: reduction, master formula, compiler, circuits, open questions.

How the paper collapses a scientific calculator (36 primitives) down to EML + the constant 1.

The tree depths from Table 4: exp (1) is shallowest, multiplication (8) is deepest of the basics.

A single operator that is enough to express all operations in a system. NAND for Boolean. EML for continuous.

The class of functions built from rational operations, exponentials, logarithms, and trigonometric functions.

Every EML expression is a binary tree whose leaves are 1 and whose internal nodes are eml.

A number that is not the root of any non-zero polynomial with integer coefficients. π and e are transcendental.

Finding a closed-form formula that fits data. The paper uses EML as the search space.

Four reasons to care: universality, compilers, symbolic regression, and the analogy with Boolean logic.

Short answer: not as a replacement calculator, but as a theoretical object and a compiler target, yes.

Refresher on exp and ln, their key identities power every derivation in this paper.

To reach sin, cos, and π, EML temporarily goes through complex numbers via e^(ix) = cos x + i sin x.

Who this app is for, what v1 covers, and what's coming next.