2 ms·

One thing that sometimes gets tricky in these things is handling Sub term sharing. I wonder how they implemented it.