Finite expression grammars give a computational way to probe elementary functions. For example, Desmond (2026) measured, for several operator bases and complexity bounds,
the fraction of enumerated elementary expressions whose derivatives
also occur in the same bounded grammar.
Following Liouville (1837, 1838, 1839), Watson (1966, p. 111) defines the elementary
transcendental functions as
For a fixed scientific-calculator basis of elementary operations, Odrzywołek (2026) gave a constructive representation using only the constant 1 and the EML
operator
(7)
For example,
(8)
and
(9)
This gives an analogue, for that specified basis, of the role played by NAND
in Boolean logic.
Bronstein, M. Symbolic Integration I: Transcendental Functions. New York: Springer-Verlag, 1997.Chow,
T. Y. "What is a Closed-Form Number." Amer. Math. Monthly106,
440-448, 1999.Desmond, H. "Exhaustive Symbolic Integration: Integration
by Differentiation and the Landscape of Symbolic Integrability." 6 May 2026.
https://arxiv.org/abs/2605.04978.Geddes,
K. O.; Czapor, S. R.; and Labahn, G. "Elementary Functions."
§12.2 in Algorithms
for Computer Algebra. Amsterdam, Netherlands: Kluwer, pp. 512-519, 1992.Hardy,
G. H. Orders
of Infinity: The 'infinitarcalcul' of Paul Du Bois-Reymond, 2nd ed. Cambridge,
England: Cambridge University Press, 1924.Knopp, K. "The Elementary
Functions." §23 in Theory
of Functions Parts I and II, Two Volumes Bound as One, Part I. New York:
Dover, pp. 96-98, 1996.Liouville, J. "Sur la classification
des Transcendantes et sur l'impossibilité d'exprimer les racines des certaines
équations en fonction finie explicite des coefficients. Part 1." J.
Math. pure appl.2, 56-105, 1837.Liouville, J. "Sur
la classification des Transcendantes et sur l'impossibilité d'exprimer les
racines des certaines équations en fonction finie explicite des coefficients.
Part 2." J. Math. pure appl.3, 523-547, 1838.Liouville,
J. "Sur l'integration d'une classe d'Équations différentielles
du second ordre en quantités finies explicites." J. Math. pure appl.4,
423-456, 1839.Marchisotto, E. A. and Zakeri, G.-A. "An Invitation
to Integration in Finite Terms." College Math. J.25, 295-308,
1994.Odrzywołek, A. "All Elementary Functions from a Single
Binary Operator." 4 Apr 2026. https://arxiv.org/abs/2603.21852.Ritt,
J. F. "Elementary Functions and Their Inverses." Trans. Amer. Math.
Soc.27, 68-90, 1925.Shanks, D. Solved
and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, 1993.Trott,
M. "Elementary Transcendental Functions." §2.2.3 in The
Mathematica GuideBook for Programming. New York: Springer-Verlag, pp. 164-171,
2004. https://www.mathematicaguidebooks.org/.Watson,
G. N. A
Treatise on the Theory of Bessel Functions, 2nd ed. Cambridge, England: Cambridge
University Press, p. 111, 1966.Zoładek, H. "Two Remarks
About Picard-Vessiot Extensions and Elementary Functions. Dedicated to the Memory
of Anzelm Iwanik." Colloq. Math.84/85, 173-183, 2000.