Mason Protter

Fantastic, I'll look into it if I have time in the near future!

This could maybe be a cool use case for JET.jl (Not suggesting adding that as a dependency to MLSyle yet, but maybe I’ll play around in a separate package and...

One thing we could do is allow `Add` for non-Numbers, but not expose any constructors for it, so that people who want it have to opt in manually.

Maybe a trait like `Addable`

- [x] Multithreaded simplification - [ ] Distributed simplification

So, this is essentially SSA form, right? What if we made a struct `SSATerm` (or `CSETerm` if you prefer) that behaves as if it were a `Term` but actually stores...

Currently, ``` julia> @syms x (x,) julia> x / 37 |> simplify 0.02702702702702703 * x ``` I am starting to wonder if perhaps instead we should just carry around the...

I'm actually not sure if it should lead to `term(Rational, ...)`, because we don't want someone to use `x/2` in their MTK code and then run `build_function` and end up...

I think we should just treat `/` with `Int` like a rational, but not actually expose that to the outside code.

Amazing, Mike! This is a really promising direction.