Simplify eggspressions (#210)

* feat: use egg crate to simplify expressions

* chore: appease clippy in tests

* fix: more rules, simpler analysis data

* chore: documentation

* fix: more proper error handling

* ci: run clippy on --all-targets

* fix: sidestep simplification if unwarranted

* perf: parse sexpr into recexpr directly, no stringification

* fix: simplify C, just derive "ordering"

* fix: include percent symbol when turning variable into sexp

* chore: rename ConstantFold to Arithmetic

* fix: better behaved names in proptests

* fix!: no need for evaluating in simplifying

* fix: appease 1.70 clippy

* fix: suggestions from PR review

* fix: whitespace

* fix: make rules lazy static; add a few more

* fix: get poetry run stubtest to pass

* fix: add in some fixes from (closed) #219

* fix: better testing

* fix: add currently failing test

* fix: appease clippy; more failing tests

* fix!: all tests pass now!

* fix: some rule and arb_name updates

* fix: appease clippy

* feat!: remove ordered-float dependency, simplify

* fix: simpler simplification, avoid some stringification

* fix: move expression simplification to its own file

* fix! expression <-> recexpr ourselves without symbolic_expressions

* fix: appease clippy

* chore: remove Cargo.lock

---------

Co-authored-by: kalzoo <22137047+kalzoo@users.noreply.github.com>

.github/workflows/msrv.yml

@@ -103,7 +103,7 @@ jobs:
         uses: actions-rs/cargo@v1
         with:
           command: clippy
-          args: -- -D warnings
+          args: --all-targets --all-features -- -D warnings
 
   deny:
     name: Deny