egraphs-good
egglog
BlogDocsChangelog

Fix rule report and variable ordering

#693
Comparing
rule-report
(
fdcd154
) with
main
(
e28e4e0
)
CodSpeed Performance Gauge
-29%
Improvements
1
Regressions
1
Untouched
9
Ignored
93

Benchmarks

Failed

python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark
Regression
CodSpeed Performance Gauge
-29%
4.8 s6.7 s

Improved

eggcc-extraction
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+13%
2.8 s2.5 s

Passed

math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+2%
8.6 s8.3 s
cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
476.9 ms474.8 ms
print-function
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.5 ms1.5 ms
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.5 s1.5 s
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
260 ms263 ms
extract-vec-bench
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
100.2 ms101.6 ms
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
3.8 ms3.8 ms
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
265.1 ms270 ms
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-3%
80.5 ms82.7 ms

Ignored

bdd
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-3%
14.3 ms14.7 ms
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.9 ms1.9 ms
primitives
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
741.4 µs739.4 µs
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.7 ms2.7 ms
bignum
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.1 ms1.1 ms
resolution
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-3%
4.7 ms4.8 ms
array
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
26.6 ms27.1 ms
birewrite
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.9 ms1.9 ms
push-pop
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
821.1 µs827.7 µs
prims
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
3.9 ms4 ms
set_sort_function
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
721.1 µs728.8 µs
bitwise
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
921.3 µs924.7 µs
schedule-demo
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
2.3 ms2.4 ms
repro-vec-unequal
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1 ms1 ms
calc
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
6.1 ms6.3 ms
test-combined-steps
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
3 ms3.1 ms
stratified
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.2 ms1.2 ms
subsume-relation
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1 ms1 ms
combinators
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-3%
19.8 ms20.3 ms
rw-analysis
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+6%
30.9 ms29.3 ms
string_quotes
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
506.1 µs507.6 µs
test-combined
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
1.5 ms1.5 ms
repro-desugar-143
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+10%
10.3 ms9.4 ms
set
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.9 ms2.9 ms
bool
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.8 ms1.8 ms
repro-empty-query
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
661.5 µs665.8 µs
complex-merge-func
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.1 ms1.1 ms
type-constraints-tests
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
581.6 µs583 µs
tricky-type-checking
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-9%
12.8 ms14 ms
string
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
619.6 µs625.4 µs
towers-of-hanoi
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
3.5 ms3.5 ms
repro-equal-constant
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
700.2 µs709.2 µs
complex-merge-prim
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
910.4 µs907.3 µs
subsume
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
1.7 ms1.7 ms
repro-new-backend-prims
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
835.3 µs834 µs
combined-nested
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
936.9 µs935.3 µs
repro-new-backend-delete
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
536.7 µs540.3 µs
unification-points-to
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
10.7 ms10.9 ms
repro-equal-constant2
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
717.7 µs717.7 µs
repro-define
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
872.7 µs876.7 µs
unify
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.2 ms1.2 ms
typecheck
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-5%
6.9 ms7.3 ms
container-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2.8 ms2.8 ms
repro-new-backend-python-vec
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
179.9 ms181.3 ms
cyk
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+65%
22.6 ms13.7 ms
repro-querybug2
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
759.2 µs760 µs
repro-primitive-query
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
747.1 µs760.3 µs
unstable-fn
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
6.6 ms6.7 ms
eqsat-basic-multiset
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
4.2 ms4.2 ms
repro-unsound-htutorial
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1 ms1 ms
eqsat-basic
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.9 ms1.9 ms
fibonacci
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.2 ms1.2 ms
datatypes
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
784.2 µs781 µs
f64
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.3 ms1.3 ms
vec
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.9 ms1.9 ms
delete
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
667.6 µs665.8 µs
repro-noteqbug
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
899.3 µs908.4 µs
eqsolve
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
31.6 ms32.1 ms
until
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-4%
3.3 ms3.4 ms
repro-querybug
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.1 ms1.1 ms
repro-should-saturate
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
622.5 µs621.2 µs
repro-querybug3
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2 ms2 ms
fibonacci-demand
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2.3 ms2.3 ms
repro-typechecking-schedule
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
426.2 µs426.5 µs
repro-silly-panic
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
958.4 µs961.8 µs
repro-unsound
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
381 ms378.6 ms
intersection
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
2.9 ms3 ms
points-to
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
2.8 ms2.8 ms
fail_wrong_assertion
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
1.6 ms1.6 ms
interval
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2 ms2 ms
repro-querybug4
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
786.7 µs791.7 µs
integer_math
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
13.2 ms13.3 ms
name-resolution
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.3 ms1.3 ms
fusion
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-3%
22.3 ms23 ms
list
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
4.9 ms4.9 ms
levenshtein-distance
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-3%
19.4 ms20 ms
merge-during-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.3 ms1.3 ms
math
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
38.2 ms38.3 ms
herbie-tutorial
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
9.3 ms9.4 ms
matrix
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
10.1 ms10.3 ms
naturals
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
3.5 ms3.6 ms
map
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
785.3 µs790.7 µs
knapsack
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
7.7 ms7.9 ms
include
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
1.3 ms1.3 ms
looking_up_nonconstructor_in_rewrite_good
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
645.9 µs642.2 µs
path-union
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.5 ms1.5 ms
merge-saturates
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
3.3 ms3.4 ms
merge_read
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
496.3 µs495.4 µs
path
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.3 ms1.3 ms
pathproof
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.7 ms1.7 ms
multiset
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
3.5 ms3.6 ms
looking_up_global
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
570.5 µs576.3 µs
i64
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
411.3 µs412 µs

Commits

Click on a commit to change the comparison range
Base
main
e28e4e0
-0.13%
Fix rule report
919e8f7
15 days ago
by yihozhang
-28.4%
update cost heuristic
7f51335
11 days ago
by yihozhang
-0.01%
accurate num matches
2a0422b
11 days ago
by yihozhang
-0.05%
nits
fdcd154
6 days ago
by yihozhang
© 2025 CodSpeed Technology
Home Terms Privacy Docs