[dave809]

(mult (add seven three) twelve)

[dllthomas]

Better, obviously, but I think the regular math notation still wins. It's more concise, and equally (if not more) familiar.