Why tan(1) Controls Everything

Tier: THEOREM (T18, T29, T30, T31 unified via the Lindemann–Weierstrass obstruction)


Three EML results that looked independent turn out to have one root cause. That cause is a single fact about a single number: $\tan(1)$ is transcendental.


What “transcendental” means here

A number is algebraic if it is a root of a polynomial with rational coefficients. Every number you can write using +, −, ×, ÷, and $n$th roots is algebraic. $\sqrt{2}$, $\frac{3}{7}$, $\sqrt[5]{11 - \frac{1}{3}}$ — all algebraic.

A transcendental number is one that is provably not algebraic. $\pi$ is transcendental. $e$ is transcendental. And $\tan(1)$ — the tangent of one radian — is transcendental.

This is not just “we haven’t found the polynomial yet.” It is a theorem. The proof uses the Lindemann–Weierstrass theorem (1882): if $\alpha \neq 0$ is algebraic, then $e^\alpha$ is transcendental. Apply this to $\alpha = 2i$ (which is algebraic, degree 2 over $\mathbb{Q}$): $e^{2i} = \cos(2) + i\sin(2)$ is transcendental. From this, via standard identities, $\sin(1)/\cos(1) = \tan(1)$ is transcendental.

That one fact — $\tan(1) \notin \overline{\mathbb{Q}}$ — is the root cause of everything below.


Why you can’t build i from 1 using EML

The EML operator is $\mathrm{EML}(x, y) = e^x - \ln y$. Starting from the terminal set ${0, 1}$, EML trees generate a growing set of values:

T18 (Lean-verified): $i \notin \mathrm{EML}_k$ for any $k$.

Under strict real semantics the proof is three lines: every EML operation maps real inputs to real outputs, and $i$ is not real. Done.

The harder question is whether $i$ is reachable under complex semantics — where $\ln$ can accept negative inputs and return $\pm i\pi$. Here the $\tan(1)$ obstruction becomes essential.

To construct $i$, you need some tree value $z = \alpha + i\beta$ with imaginary part exactly $1$. The imaginary part of $e^{\alpha + i\beta}$ is $e^\alpha \sin(\beta)$. For this to equal $1$ with EML-constructible $\alpha$ and $\beta$, you need $\cot(\beta) = e^\alpha \cos(\beta)$ — and for the simplest case $\beta = 1$, this forces $\cot(1) = 1/\tan(1)$ to be EML-constructible.

But $\tan(1)$ is transcendental, so $1/\tan(1) = \cot(1)$ is transcendental. The only values EML can build from ${0, 1}$ lie in a specific field of elementary numbers. $\cot(1)$ is not in that field at the required position. The constraint cannot be satisfied in any finite depth.

The nearest miss: at depth 6, the closest EML tree to $\mathrm{Im} = 1$ achieves $\mathrm{Im} = 0.99999524$. A gap of $4.76 \times 10^{-6}$. Not a rounding error. A transcendental obstruction.


Three results, one root cause

Application 1 — Multiplication lower bound (T29)

Computing $xy$ in the six-operator library $\mathcal{F}_6$ requires at least 3 nodes.

Why? If $i$ were constructible, you could route through complex exponentials to implement multiplication in 2 nodes — the identity $xy = e^{\ln x + \ln y}$ combined with a complex-phase intermediate that sidesteps the restrictions of real exp-ln arithmetic.

Because $i$ is not constructible ($\tan(1)$ blocks it), that routing is unavailable. Exhaustive search over all 2-node mixed trees in $\mathcal{F}_6$ confirms no 2-node implementation exists.

In the extended 16-operator family $\mathcal{F}_{16}$, which includes the operator $\mathrm{ELAd}(a, b) = e^a \cdot b$, multiplication achieves 2 nodes:

mul(x, y) = ELAd(EXL(0, x), y)
          = ELAd(ln x, y)
          = e^(ln x) · y
          = x · y

This is the T29 + T10-update result: 3 nodes in $\mathcal{F}6$, 2 nodes in $\mathcal{F}{16}$.


Application 2 — Depth-3 ceiling for standard functions (T30)

Every classical elementary function — exp, ln, power $x^n$, sine, cosine, arctan, arcsin, arccos — has EML depth at most 3.

FunctionDepthRoute
$e^x$11 EML/EAL node
$\ln x$11 EXL node
$x^n$2$e^{n \ln x}$
$\sin x$3Euler: $(e^{ix} - e^{-ix}) / 2i$
$\arctan x$3$\frac{1}{2i}\ln\frac{1+ix}{1-ix}$

The hierarchy is strictly infinite — depth-$k$ functions exist for every $k \geq 1$ (the $k$-fold iterate $\exp^{(k)}$ lives at depth exactly $k$). But no standard function lives above depth 3.

Why can’t $\sin$ be collapsed to depth 2? The complex route $\sin(x) = \mathrm{Im}(e^{ix})$ is depth 2 over $\mathbb{C}$, but it requires $i$ as a constructed constant. Since $i$ is not constructible ($\tan(1)$ blocks it), the collapse is prevented.

This is the Depth Stability Theorem: $i \notin \mathrm{EML}_k$ if and only if every EML-Atlas function has the same depth over $\mathbb{C}$ as it does over $\mathbb{R}$. The complex shortcut is uniformly blocked, for every function, by the single $\tan(1)$ fact.


Application 3 — Density paradox (T31)

T31: The set of all EML tree values is dense in the space of holomorphic functions on any compact simply-connected domain $K \subset \mathbb{C}$. Every smooth function can be approximated to any precision by some finite EML tree.

And yet: $i$ is never exactly reached.

Is this a contradiction? No. Density and exact membership are different things.

The rational numbers $\mathbb{Q}$ are dense in $\mathbb{R}$, but $\sqrt{2} \notin \mathbb{Q}$. EML values are dense in holomorphic function space, but $i \notin \mathrm{EML}_k$.

The $\tan(1)$ obstruction explains both sides:

$i$ is an accumulation point of $\mathrm{EML}_1$. It is not an element of $\mathrm{EML}_k$. These two facts coexist without contradiction.


The five-way equivalence

The connection is not just a chain of implications. It is a logical equivalence. All five conditions hold together or fail together:

#ConditionStatus
(1)$\tan(1) \notin \overline{\mathbb{Q}}$ (Lindemann–Weierstrass)Theorem (proven 1882)
(2)$i \notin \mathrm{EML}_k$ for all $k$ (T18)Follows from (1); Lean-verified for real semantics
(3)$\mathrm{depth}\mathbb{C}(f) = \mathrm{depth}\mathbb{R}(f)$ for all Atlas functionsFollows from (2) via Depth Stability Theorem
(4)$\mathrm{depth}(\arctan) = \mathrm{depth}(\arcsin) = \mathrm{depth}(\arccos) = 3$Follows from (3)
(5)Every EML-Atlas function has a stable, well-defined depth stratumFollows from (4)

And the reverse: (5) implies (1). If depth strata are stable, then the complex routing shortcut is blocked, which (by the contrapositive of the $\tan(1)$ chain) requires $\tan(1)$ to be transcendental.

The EML depth theory holds if and only if $\tan(1)$ is transcendental.


What happens if Lindemann–Weierstrass fails?

Suppose hypothetically that $\tan(1) \in \overline{\mathbb{Q}}$ — that there exists a polynomial with rational coefficients having $\tan(1)$ as a root.

Then:

The entire depth theory is a single house of cards resting on one transcendence fact. Remove Lindemann–Weierstrass and nothing is left standing.


Summary

The structure of the EML depth theory is:

tan(1) ∉ Q̄  (Lindemann–Weierstrass)

i ∉ EML_k  (T18, Lean-verified for real semantics)

depth_ℂ = depth_ℝ  (Depth Stability Theorem)

┌─────────────────────────────────────────────────────┐
│ T29: mul needs ≥ 3 nodes in F6                      │
│ T30: standard functions have depth ≤ 3; strict ∞   │
│ T31: EML dense in H(K); i unreachable but limit pt. │
└─────────────────────────────────────────────────────┘

One number. One transcendence fact. Three theorems.


Monogate Research (2026). “Why tan(1) Controls Everything.” monogate research blog. https://monogate.org/blog/tan1-obstruction

Full paper: D:/monogate/python/paper/Unifying_Obstruction_Tan1.tex · Sessions S93–S99 + Unified synthesis

Reproduce:

pip install monogate
python -c "
from monogate import eml
# Nearest-miss to Im=1 at depth 6 (transcendental obstruction):
# Best known: Im = 0.99999524 (gap 4.76e-6)
print('tan(1) =', __import__('math').tan(1))
print('Is tan(1) algebraic? No. (Lindemann-Weierstrass)')
"
React