Alessandro Cheli

> @0x0f0f0f Can you summarize the changes in this PR? What's the huge number of deletions from? And what's the huge performance gain from? This is awesome. @shashi I removed...

I will hold a 5 min lightning talk on thursday 6 pm CET https://egraphs.org/ if interested

> It's still slower than egg for that example, but this is a huge improvement compared to being like 300x slower the last time I compared them. > > I...

> For fun, I benchmarked this PR > > ```julia > julia> @benchmark simpl(ex) > BenchmarkTools.Trial: 10000 samples with 1 evaluation. > Range (min … max): 74.508 μs … 8.173...

@nmheim has just added a fully automated benchmark against egg that will report the compared performance of MT 2.0, egg and MT3.0 in a markdown table in the PR comments.

> Hey @0x0f0f0f I'm working on adopting this package but would like to use the 3.0 release. Do you know what else needs to be done in order to release...

> > Hey @0x0f0f0f I'm working on adopting this package but would like to use the 3.0 release. Do you know what else needs to be done in order to...

Hi! I'm sorry for the late reply, it will take me a while to look at this, as I'm currently slowly working on the internals, I'm focusing on achieving good...

@Audrius-St TermInterface 0.4 has been released and now #185 uses it. You can use the Metatheory version on that branch!

Thanks for reporting! This feature may be added in 2.0 branch https://github.com/JuliaSymbolics/Metatheory.jl/tree/2.0.0-DEV