HackerPapers

arXiv:2603.21852cs.SC

All elementary functions from a single binary operator

Andrzej Odrzywołek

Abstract

A single two-input gate suffices for all of Boolean logic in digital hardware. No comparable primitive has been known for continuous mathematics: computing elementary functions such as sin, cos, sqrt, and log has always required multiple distinct operations. Here I show that a single binary operator, eml(x,y)=exp(x)-ln(y), together with the constant 1, generates the standard repertoire of a scientific calculator. This includes constants such as e, pi, and i; arithmetic operations including addition, subtraction, multiplication, division, and exponentiation as well as the usual transcendental and algebraic functions. For example, exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), and likewise for all other operations. That such an operator exists was not anticipated; I found it by systematic exhaustive search and established constructively that it suffices for the concrete scientific-calculator basis. In EML (Exp-Minus-Log) form, every such expression becomes a binary tree of identical nodes, yielding a grammar as simple as S -> 1 | eml(S,S). This uniform structure also enables gradient-based symbolic regression: using EML trees as trainable circuits with standard optimizers (Adam), I demonstrate the feasibility of exact recovery of closed-form elementary functions from numerical data at shallow tree depths up to 4. The same architecture can fit arbitrary data, but when the generating law is elementary, it may recover the exact formula.

arXiv comments
2 figures, Supplementary Information, code available at https://zenodo.org/records/19183008
Journal reference
DOI
Subjects
cs.SCSymbolic Computation cs.LGMachine Learning

On Hacker News

Linked by 3 identifiable commenters in 3 comments across 2 threads, from Apr 2026 to Jun 2026. Found in 2 HN submissions from Apr 2026 to Apr 2026. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments2 threads

  1. Everything is logarithms 1 comment
    • This makes a good benchmark LLMs: ``` look at this paper: https://arxiv.org/pdf/2603.21852 now please produce 2x+y as a composition on EMLs ``` Opus(paid) - claimed that "2" is circular. Once I told it that ChatGPT have already done this, finished successfully. ChatGPT(free)…

      eugene3306View on HNParent context

    • Got curious to see whether SymPy could be used to evaluate the expressions, so I used Claude Code to build a quick evaluator. Numeric and symbolic results appear to agree: nix run github:pveierland/eml-eval EML Evaluator — eml(x, y) = exp(x) - ln(y) Based on arXiv:2603.21852v2…

      pveierlandView on HNParent context

Submitted to Hacker News

  • All elementary functions from a single binary operator
  • Show HN: Monogate – EML operator family, hybrid framework, 108-node sin(x)

    EML operator family, 52-74% node reduction, and empirical results from 36 hours of building We spent 36 hours implementing and extending arXiv:2603.21852 (Odrzywołek, 2026 — the "NAND gate for continuous math" paper that was on the front page two days ago). What we found: phantom attractors in EML symbolic regression, a Lambert W fixed point governing right-chain trees, two new operators (EDL, EXL), a HybridOperator that cuts node counts 52-74%, and machine-precision Taylor sin(x) at 108 nodes.…

Connected through shared HN threads, not inferred similarity or a recommendation.