EML Atlas
Mathematical objects classified by EML depth and operator cost.
Last updated: 2026-04-27 · SuperBEST v5.2 headline: 14n positive / 22n general · 16 elementary operators (THEOREM) + 8 Pfaffian towers (OBSERVATION) = 24 total · 35/36 calculator coverage
Depth Strata
EML depth measures how many nested exponentiations a function requires. Depth 0 = no exp/ln. Depth 1 = one application. Depth ∞ = impossible as a finite real tree.
Constants and polynomials. No exp or ln required.
| Object | Cost | Ref |
|---|---|---|
| Integers, rationals | 0 nodes | — |
| Polynomials p(x) | 0 nodes (constants only) | — |
| Arithmetic: +, −, ×, ÷ | see SuperBEST table | T08 |
| π (as constant terminal) | 0 nodes | — |
One application of exp or ln. The native depth of EML.
| Object | Cost | Ref |
|---|---|---|
| exp(x) | 1 node (EML) | T03 |
| exp(−x) | 1 node (DEML) | T08 |
| sin(x) over ℂ | 1 node (ceml(ix, 1)) | T07, T16 |
| cos(x) over ℂ | 1 node (ceml(ix, 1)) | T07 |
| softplus(x) = ln(1+eˣ) | 1 node (LEAd(x,1)) | T19 (new) |
| x · y (multiplication) | 1 node (ELAd) | T22 (new) |
| x / y (division) | 1 node (EDL) | T08 |
| Fourier kernel exp(iωt) | 1 complex node | T16 |
| Laplace kernel exp(−st) | 1 real node | T16 |
Requires composing exp and ln once. Power functions, reciprocals.
| Object | Cost | Ref |
|---|---|---|
| ln(x) | 1 node (EXL) | T04, T08 |
| neg(x) = −x | 2 nodes (EXL∘DEML) | T09 |
| recip(x) = 1/x | 1 node (ELSb) | R16-C1 |
| x^n (integer power) | 3 nodes (EXL) | T08 |
| x^r (real power) | 3 nodes | T08 |
| sqrt(x) | 2 nodes | T08 |
| add(x,y) x>0 | 3 nodes (EAL) | T11 (new) |
| sub(x,y) | 3 nodes (EML) | T11 (new) |
| mul(x,y) x>0 | 3 nodes (EXL) | T10 |
| abs(x) | 4 nodes | T08 |
| Gaussian exp(−x²/2) | 3 nodes | T08 |
| log-sum-exp (N terms) | N−1 LEAd nodes | T19 (new) |
| softmax denominator (N) | N−1 nodes | T19 (new) |
Requires the complex bypass — sin, cos, trig via Euler. Depth-∞ over ℝ, depth-1 to 3 over ℂ.
| Object | Cost | Ref |
|---|---|---|
| sin(x) Taylor, 8 terms | 101 nodes (real path) | T16 |
| Fourier series, N terms | N nodes (complex path) | T16 |
| Heat equation mode eᵏᵗ | 2 nodes | CAL-4 |
| tan(x) | 3 complex nodes | — |
Provably unreachable as finite real EML trees. Require either infinite depth or complex domain.
| Object | Cost | Ref |
|---|---|---|
| sin(x) over ℝ | ∞ (Infinite Zeros Barrier) | T01 |
| cos(x) over ℝ | ∞ | T01 |
| i = √−1 (strict branch) | ∞ (nearest: 4.76×10⁻⁶ at depth 6) | T17 |
SuperBEST Routing Table
Minimum node counts across the 16-operator family. All entries proved optimal by exhaustive search (T08). Total: 22 nodes vs 289 naive = 92% savings.
* sin/cos column compares 1-node complex path vs 101-node real Taylor path
| Operation | Best family | Nodes | Naive |
|---|---|---|---|
| exp(x) | EML | 1 | 1 |
| ln(x) | EXL | 1 | 3 |
| neg(x) | EXL+DEML | 2 | 9 |
| recip(x) | ELSb | 1 | 5 |
| sqrt(x) | EXL | 2 | 7 |
| sub(x,y) | EML | 2 | 5 |
| add(x,y) | EAL | 3 | 11 |
| mul(x,y) | ELAd | 2 | 13 |
| pow(x,n) | EXL | 3 | 15 |
| div(x,y) | ELSb | 2 | 15 |
| sin(x) | ceml (ℂ) | 1 | 101 |
| cos(x) | ceml (ℂ) | 1 | 101 |
| softplus | LEAd | 1 | 3 |
| Total | 22 | 289 | |
16-Operator Census
Every binary combination of exp(±x) with ln(y) via arithmetic. Completeness class determined by the position of negation relative to exp (T26–T28).
■ Exactly complete (8) · ■ Approximately complete (1) · ■ Incomplete (7)
| Name | Formula | Complete? | Why |
|---|---|---|---|
| EML | exp(x) − ln(y) | YES | exp(+x), no restriction |
| EAL | exp(x) + ln(y) | YES | exp(+x), add |
| EXL | exp(x) · ln(y) | YES | exp(+x), mul |
| EDL | exp(x) / ln(y) | YES | exp(+x), div |
| EPL | exp(x) ^ ln(y) | YES | exp(+x), pow |
| LEAd | ln(exp(x) + y) | YES | exp(+x), composition |
| ELAd | exp(x + ln(y)) | YES | exp(+x), composition |
| ELSb | exp(x − ln(y)) | YES | exp(+x), composition |
| EMN | ln(y) − exp(x) | APPROX | −exp(x) outside: unbounded ↓ but exp residual |
| DEML | exp(−x) − ln(y) | NO | Slope barrier: self-comp slope = +1 |
| DEMN | ln(y) − exp(−x) | NO | Domain failure: output always < 0 |
| DEAL | exp(−x) + ln(y) | NO | Domain collapse: offset e⁻¹ irremovable |
| DEXL | exp(−x) · ln(y) | NO | Dead constant: dexl(x,1) ≡ 0 |
| DEDL | exp(−x) / ln(y) | NO | Decay barrier: outputs → 0 |
| DEPL | exp(−x) ^ ln(y) | NO | Decay barrier: bounded above by 1 |
| LEX | ln(exp(x) − y) | NO | Domain barrier: domain → ∅ at depth 2 |
Structural rule: exp(+x) with no domain restriction ↔ exactly complete (T26, T27, T28). See Why exp(+x) Means Complete →
Pfaffian Tower Extensions OBSERVATION TIER
The 16 elementary operators reach every elementary function. But mathematics is larger
than the elementary class. Functions like erf, Bessel J_n, and Gamma
Γ have no finite composition of exp and ln
(Liouville 1833 / Risch 1968). They live in Pfaffian families that need new
primitives — one generator per family.
8 independent tower generators. 35+ Pfaffian functions reachable as finite EML trees of
depth ≤ 4 from {EML, T_X}. Per-tower verification against mpmath@30 in
exploration/E201_extended_atlas/.
Tier note: the elementary 16 are THEOREM-tier (Lean-verified). The 8 towers are OBSERVATION-tier (numerical verification only; independence empirical per C-198, not proven minimal).
| Tower | Family | Generator | Covers | Chain | Depth | Verified |
|---|---|---|---|---|---|---|
| T_erf | Error Function | ∫₀ˣ exp(−y·t²) dt | erf, erfc, erfi, dawson, fresnels, fresnelc | 2 | 4 | 1.2×10⁻³¹ |
| T_Si | Sine/Cosine Integral | ∫₀ˣ sin(y·t)/t dt | Si, Ci, Shi, Chi, Ein, Ei, li | 3 | 3 | 2.1×10⁻³⁰ |
| T_J | Bessel | (1/π)∫₀^π cos(x sin(t) − y·t) dt | J_n, Y_n, I_n, K_n, Hankel H_n | 3 | 3 | 1.2×10⁻³¹ |
| T_Ai | Airy | (1/π)∫₀^∞ cos(t³/3 + x·t + y) dt | Ai, Bi, Ai′, Bi′, Scorer | 3 | 2 | 1.5×10⁻⁷ (via ODE) |
| T_Γ | Gamma | ∫₀^∞ t^(x−1) exp(−y·t) dt | Γ, β, ψ (digamma), ψₙ (polygamma), n! = Γ(n+1) | 2 | 4 | 8.0×10⁻¹⁸ |
| T_W | Lambert W | solve w·exp(w) = x + y | W₀, W₋₁ (real branches) | 2 | 1 | 0 |
| T_K | Elliptic Integrals | ∫₀^(π/2) 1/√(1 − m sin²(t) + y) dt | K(m), E(m), F(φ,m), Π(n;φ,m) | 3 | 2 | 4.3×10⁻³¹ |
| T_F | Hypergeometric (series) | ∑ (a)ₙ(b)ₙ/(c)ₙ · zⁿ/n! | ₂F₁, ₁F₁, ₀F₁, Legendre, Gegenbauer, Jacobi, Laguerre, Hermite | 2–4 | 3 | 0 |
What the towers add
- Calculator coverage 34/36 → 35/36.
factorial(n) = Γ(n+1)becomes a finite Pfaffian tree at depth 2 via T_Γ. Modulo stays at 1/36 (discrete; no continuous representation). - 42 named special functions reachable across the 8 families. Max depth 4 from any tower; node range 1–11 in BEST routing.
- 8 / 8 towers independent. No single fixed integral kernel spans more than one tower at finite depth (C-198).
What's still outside
Even with all 24 operators, some functions remain outside: Riemann zeta ζ(s)
(infinite Dirichlet series + functional equation), modular forms, non-computable functions
(Chaitin's Ω), and discrete operations like mod (no continuous Pfaffian
representation). The Pfaffian closure covers most of applied mathematics, not all of
mathematics.
Special Functions — EML Classification
Exact depth and cost over ℝ and ℂ for standard special functions.
| Function | Depth ℝ | Depth ℂ | Notes |
|---|---|---|---|
| exp(x) | 1 | 1 | Native. eml(x,1). |
| exp(−x) | 1 | 1 | deml(x,1). |
| ln(x) | 2 | 2 | 1 EXL node. |
| x^r | 2 | 2 | 3 nodes via EXL. |
| neg(x) | 2 | 2 | 2 nodes. T09. |
| x + y | 2 | 2 | 3 nodes (EAL, x>0). 11n (general). |
| x · y | 2 | 2 | 1 node (ELAd) or 3n (EXL). |
| softplus(x) | 2 | 2 | 1 LEAd node. T19. |
| sin(x) | ∞ | 1 | T01 (ℝ barrier). T07 (ℂ bypass). |
| cos(x) | ∞ | 1 | T01 (ℝ barrier). T07 (ℂ bypass). |
| tan(x) | ∞ | 3 | sin/cos ratio. |
| sinh(x) | 3 | 3 | (eˣ − e⁻ˣ)/2: 3 real nodes. |
| cosh(x) | 3 | 3 | (eˣ + e⁻ˣ)/2: 3 real nodes. |
| sigmoid σ(x) | 3 | 3 | 1/(1+e⁻ˣ): 2–3 nodes. |
| i = √−1 | ∞ | ∞* | T17. *Nearest depth-6: gap 4.76×10⁻⁶. |
Calculus Costs
Node counts for standard calculus operations under SuperBEST routing (T08, T25).
| Operation | Cost | Notes |
|---|---|---|
| Taylor series, N terms | 9N − 3 nodes | T25. sin(x) 8 terms = 69n. |
| Fourier series, N harmonics | N complex nodes | T16. Each harmonic 1 ceml. |
| Derivative d/dx [exp(f)] | + 0 nodes | Native: d/dx eml(f,1) = exp(f)·f′. |
| Gaussian integral ∫e^(−x²)dx | 3 nodes (no elementary antiderivative) | Depth-2 approx. |
| Heat equation mode exp(−kt)sin(nx) | 4 nodes | 2 real + 2 complex. |
| U(t) = exp(−iHt) (quantum) | 1 matrix EML node | Q-3. Exact. |
| Partition function Z = Tr[exp(−βH)] | 2 matrix nodes | Q-1. Tr + matrix exp. |
| Softmax over N logits | N − 1 LEAd + N EML nodes | T19. |
Domain Catalog — 295+ Equations
Selected SuperBEST node counts across technology, sports, neural networks, physics, biology, quantum, and finance. Per-row values reflect the basis state at the time each row was added; the current routing-table headline is the v5.2 figure shown in the SuperBEST page. Full catalog: 295+ Equations →
Expanded from 157 (Monster Sprint) → 214 (COMP-ALL) → 295+ (domain-2: FIN, INFO, QM, THERMO, CHEM, BIO, ECON sessions).
| PageRank (per page, N pages) | 5N+4 nodes | web ranking |
| TF-IDF | 7n | document relevance |
| Haversine distance | 28n | GPS/navigation |
| NFL passer rating | 33n | most complex sports formula |
| ELO rating update | 26n | chess/competitive ratings |
| Pythagorean expectation | 11n | same structure as Hill equation |
| Softplus ln(1+eˣ) | 1n via LEAd(x,1) | cheapest smooth activation |
| Sigmoid σ(x) | 7n | standard activation |
| Cross-entropy loss (N classes) | 8N−3n | training loss |
| Ohm's law V=IR | 2n | product of two scalars |
| Kinetic energy ½mv² | 7n | v² = mul chain |
| Gravitational force GMm/r² | 9n | power-law denominator |
| Basic reproduction number R₀=β/γ | 2n | cheapest important metric |
| SIR model per-step | 20n | full epidemic simulation |
| Fermi-Dirac distribution | 9n | same structure as sigmoid |
| Partition function Z (N terms) | 6N−3n | same as softmax denominator |
| Sharpe ratio | 4n | mean/std ratio |
| Black-Scholes full DAG (shared) | 83n | most expensive EML computation |
Cost Theory
Structural decomposition of SuperBEST node counts. T38–T43.
Cost(E) = NaiveCost(E) − SharingDiscount(E) − PatternBonus(E)
Structural Classes (T41)
| Class | Signature | Description | Mean cost | Example |
|---|---|---|---|---|
| A | (1, 0) | Pure exponential | 10.4n | Boltzmann, Arrhenius |
| B | (0, 0) | Rational / polynomial | 12.2n | Newton gravity, Coulomb |
| C | (0, 1) | Log-ratio (cheapest) | 9.5n | Shannon entropy, pH |
| D | (1,1)+ | Mixed exp+log | 20.1n | Black-Scholes (47n) |
Key Cost Facts
| Theorem | Statement | Detail |
|---|---|---|
| T34 (Naive UB) | Cost(E) ≤ NaiveCost(E) | Always achievable; no sharing or pattern required. |
| T38 (Decomp) | Three-term formula | Cost = NC − SD − PB. Unique decomposition for each expression. |
| T38-NNP | No Nesting Penalty | Cost(O₁(O₂(A,B),C)) = c(O₁)+c(O₂)+Cost(A)+Cost(B)+Cost(C). |
| T40 (Add Law) | Cost(op(E₁,E₂)) = Cost(E₁)+Cost(E₂)+1 | For independent sub-expressions. Explains Lorentz (57n). |
| T40 (Linear) | N-term sum: (α₀+3)N − 3 | Exact formula. Softmax: 4N−3. Shannon: 6N−3. Taylor: 8N−3. |
| T41 (Domain) | Positive routing saves 8n/add | 3n (EAL) vs 11n (general add). ~1750n saved across 295-eq catalog. |
| T41 (ISO) | 8 cross-domain isomorphism families | Radioactive decay = compound interest = population growth (same tree). |
| T42 (QCC) | Cost ≤ O(N²) conjecture | No standard scientific equation exceeds quadratic growth. Open. |
| T43 (Linear Ceil) | Cost ≤ O(N) conjecture | Linear Ceiling: no standard equation exceeds O(N). Open. |
Pattern Bonus Table (top 6)
| Pattern | Bonus | Formula |
|---|---|---|
| DEML | −5n | exp(−x) − ln(y) |
| EAL | −4n | exp(x) + ln(y) |
| LEAd | −4n | ln(exp(x) + y) |
| ELAd | −4n | exp(x + ln(y)) |
| EML | −3n | exp(x) − ln(y) |
| EXL | −3n | exp(x) · ln(y) |
Blind test validation: 27/30 exact (MAE = 0.20) on held-out fluid dynamics, optics, acoustics, materials, epidemiology equations. See Cost Theory → and 295+ Equations →
Theorem catalog → · Research blog → · Full catalog on monogate.dev ↗