A small compiler that translates human-intuitive mathematical intentions into executable expression trees built from a single binary operation: eml(x, y) = exp(x) − ln(y).