3 ms·

So, it employs term-rewriting magics of some kind rather simple evaluate-the-subexpressions, doesn't it?