The symbol tree slowness may also be caused by this:

#577 (comment)

The repeated symbol names make things worse for the tree generation - this might be fixable though.

Note to self: learn the difference between multiplication and addition: in the numbers above there are just 35 tags per line.

—
Reply to this email directly or view it on GitHub.