1. Core building blocks
From eml and 1, we recover exponential and logarithm, then arithmetic kernels.
E(x) = eml(x, 1), L(x) = ln(x), S(a, b) = eml(ln(a), eb)
A(a, b) = a + b, G(a, b) = a − b, M(x, y) = xy, D(x, y) = x/y
Use the explorer to inspect one construct at a time and see domain restrictions.