Update docs for egraph semantic analysis.

[gkronber]

Adresses #267

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.42%. Comparing base (32786c0) to head (e9e8244).

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@           Coverage Diff            @@
##           ale/3.0     #268   +/-   ##
========================================
  Coverage    81.42%   81.42%           
========================================
  Files           19       19           
  Lines         1491     1491           
========================================
  Hits          1214     1214           
  Misses         277      277           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[github-actions]

Benchmark Results

	egg-sym	egg-cust	MT@e9e82447fa4...	MT@32786c06710...	egg-sym/MT@e9e...	egg-cust/MT@e9...	MT@32786c06710...
egraph_addexpr	1.45 ms		6.06 ms	6.1 ms	0.239		1.01
basic_maths_simpl2	15.1 ms	5.14 ms	27.4 ms	27.5 ms	0.552	0.188	1.01
prop_logic_freges_theorem	2.55 ms	1.56 ms	2.43 ms	2.46 ms	1.05	0.64	1.01
calc_logic_demorgan	61 μs	34.6 μs	82.8 μs	81.5 μs	0.737	0.418	0.985
calc_logic_freges_theorem	24.4 ms	12.9 ms	49.2 ms	48.6 ms	0.497	0.263	0.99
basic_maths_simpl1	6.79 ms	2.9 ms	4.96 ms	5.07 ms	1.37	0.586	1.02
egraph_constructor	0.0845 μs		0.103 μs	0.104 μs	0.818		1.01
prop_logic_prove1	39.5 ms	15.2 ms	46 ms	47.4 ms	0.859	0.33	1.03
prop_logic_demorgan	80.8 μs	45 μs	99.2 μs	97.7 μs	0.815	0.453	0.984
while_superinterpreter_while_10			19.3 ms	19.5 ms			1.01
prop_logic_rewrite			113 μs	113 μs			1
time_to_load			132 ms	132 ms			1

Benchmark Plots

A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR.
Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).