[lmm]

> I could in theory make an arbitrarily long expression out of the four fundamental operators

Not with only four inputs you can't. You can only have three operations, because you have no way of getting another input parameter.