2 minutes now. Most time is spent on pattern matching, as it should be.