Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

Avoiding create semi-naive rule instantiations when unnecessary.

#854Merged
Comparing
yihozhang-less-preprocessing
(
9a59e33
) with
main
(
1370061
)
CodSpeed Performance Gauge
×2.5
Improvement
17
Untouched
29
Skipped
190

Benchmarks

236 total
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
×2.5
6.1 s2.5 s
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+87%
213.6 ms114.5 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+86%
246 ms132.3 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+84%
4.8 s2.6 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+44%
254.1 ms176.4 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+37%
229.8 ms168.1 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+31%
263.5 ms201.8 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+21%
26.6 ms22 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+21%
223.7 ms185.5 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+15%
22.9 ms20 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+12%
36.9 ms32.8 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+12%
39.4 ms35.3 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+10%
1.5 s1.3 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
1.7 s1.6 s
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
723.2 ms661.4 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
1.7 s1.5 s
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
600.3 ms565.4 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
1.7 s1.6 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+4%
368.2 µs354.8 µs
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
5.5 s5.4 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
7.1 s6.9 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
8.4 ms8.2 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
1.7 s1.7 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.6 s1.6 s
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
4.5 s4.5 s

Commits

Click on a commit to change the comparison range
Base
main
1370061
×2.2
first draft
7aa8d00
1 day ago
by yihozhang
cleanup
0f1d601
1 day ago
by yihozhang
-0.56%
revert changes to python_array_optimize
dd6d0da
1 day ago
by yihozhang
×2.5
do the focus atom first
80a020e
22 hours ago
by yihozhang
+3.23%
review feedback
9a59e33
12 hours ago
by yihozhang
© 2026 CodSpeed Technology
Home Terms Privacy Docs