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

Update python_array_optimize.egg

#529Merged
Comparing
saulshanabrook-patch-1
(
f059b61
) with
main
(
6f49428
)
CodSpeed Performance Gauge
-46%
Improvements
0
Regressions
1
Untouched
9
New
0
Dropped
0
Ignored
86

Benchmarks

Passed

extract-vec-bench
benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-bench
CodSpeed Performance Gauge
+1%
107.7 ms
106.7 ms
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfer
CodSpeed Performance Gauge
0%
436.3 ms
435.6 ms
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie
CodSpeed Performance Gauge
0%
285.5 ms
285.4 ms
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark::lambda
CodSpeed Performance Gauge
0%
121.5 ms
121.5 ms
cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson
CodSpeed Performance Gauge
0%
456.2 ms
456.2 ms
eggcc-extraction
benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extraction
CodSpeed Performance Gauge
0%
2.2 s
2.2 s
math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark
CodSpeed Performance Gauge
0%
16.7 s
16.7 s
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmark::rat-pow-eval
CodSpeed Performance Gauge
0%
2.5 ms
2.5 ms
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_expr
CodSpeed Performance Gauge
0%
2.2 s
2.2 s
python_array_optimizeRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimize
CodSpeed Performance Gauge
-46%
3.9 s
7.2 s

Ignored

antiunifyIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify
CodSpeed Performance Gauge
0%
2.2 ms
2.2 ms
arrayIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::array
CodSpeed Performance Gauge
+1%
26.2 ms
26 ms
bddIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bdd
CodSpeed Performance Gauge
0%
16.6 ms
16.6 ms
before-proofsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs
CodSpeed Performance Gauge
0%
1.3 ms
1.3 ms
bignumIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bignum
CodSpeed Performance Gauge
0%
610.7 µs
611.5 µs
birewriteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite
CodSpeed Performance Gauge
0%
1.2 ms
1.2 ms
bitwiseIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise
CodSpeed Performance Gauge
-2%
561.6 µs
570.2 µs
boolIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bool
CodSpeed Performance Gauge
-1%
1.2 ms
1.2 ms
calcIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::calc
CodSpeed Performance Gauge
0%
5.2 ms
5.2 ms
combinatorsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::combinators
CodSpeed Performance Gauge
0%
24.4 ms
24.4 ms
combined-nestedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested
CodSpeed Performance Gauge
-1%
661.2 µs
664.8 µs
container-rebuildIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild
CodSpeed Performance Gauge
0%
1.6 ms
1.6 ms
cykIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::cyk
CodSpeed Performance Gauge
0%
11.5 ms
11.5 ms
datatypesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes
CodSpeed Performance Gauge
-1%
441.2 µs
445.3 µs
deleteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::delete
CodSpeed Performance Gauge
0%
395.1 µs
394.9 µs
eqsat-basicIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic
CodSpeed Performance Gauge
0%
1.4 ms
1.4 ms
eqsat-basic-multisetIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multiset
CodSpeed Performance Gauge
0%
3.8 ms
3.7 ms
eqsolveIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve
CodSpeed Performance Gauge
0%
37.4 ms
37.4 ms
f64Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::f64
CodSpeed Performance Gauge
0%
796.2 µs
794.7 µs
fail_wrong_assertionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion
CodSpeed Performance Gauge
+1%
1,013.6 µs
999.3 µs
fibonacciIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci
CodSpeed Performance Gauge
0%
1 ms
1 ms
fibonacci-demandIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand
CodSpeed Performance Gauge
0%
2 ms
2 ms
fusionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fusion
CodSpeed Performance Gauge
-1%
37.6 ms
38 ms
herbie-tutorialIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial
CodSpeed Performance Gauge
0%
9 ms
9 ms
i64Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::i64
CodSpeed Performance Gauge
0%
243.9 µs
244.4 µs
includeIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::include
CodSpeed Performance Gauge
-1%
877.5 µs
885.2 µs
integer_mathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math
CodSpeed Performance Gauge
0%
16.7 ms
16.8 ms
intersectionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::intersection
CodSpeed Performance Gauge
0%
1.6 ms
1.6 ms
intervalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::interval
CodSpeed Performance Gauge
0%
1.5 ms
1.5 ms
knapsackIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack
CodSpeed Performance Gauge
+1%
7 ms
6.9 ms
levenshtein-distanceIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance
CodSpeed Performance Gauge
0%
18.8 ms
18.7 ms
listIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::list
CodSpeed Performance Gauge
0%
4.3 ms
4.3 ms
looking_up_globalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_global
CodSpeed Performance Gauge
-1%
291.3 µs
293.5 µs
looking_up_nonconstructor_in_rewrite_goodIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_good
CodSpeed Performance Gauge
0%
423.2 µs
423.6 µs
mapIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::map
CodSpeed Performance Gauge
-1%
420.9 µs
426.1 µs
mathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::math
CodSpeed Performance Gauge
0%
46.7 ms
46.8 ms
matrixIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::matrix
CodSpeed Performance Gauge
0%
11.3 ms
11.3 ms
merge-during-rebuildIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild
CodSpeed Performance Gauge
-1%
656.7 µs
665.9 µs
merge-saturatesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturates
CodSpeed Performance Gauge
0%
2.4 ms
2.4 ms
merge_readIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge_read
CodSpeed Performance Gauge
-1%
273.1 µs
276.1 µs
multisetIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::multiset
CodSpeed Performance Gauge
0%
2.6 ms
2.6 ms
name-resolutionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution
CodSpeed Performance Gauge
0%
788.9 µs
790.9 µs
pathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::path
CodSpeed Performance Gauge
0%
861.5 µs
860.5 µs
path-unionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::path-union
CodSpeed Performance Gauge
0%
1 ms
1 ms
pathproofIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof
CodSpeed Performance Gauge
0%
1.3 ms
1.3 ms
points-toIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::points-to
CodSpeed Performance Gauge
0%
1.8 ms
1.8 ms
primitivesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::primitives
CodSpeed Performance Gauge
0%
460.2 µs
462.2 µs
primsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::prims
CodSpeed Performance Gauge
0%
3.8 ms
3.8 ms
push-popIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop
CodSpeed Performance Gauge
+1%
460.3 µs
456.1 µs
repro-defineIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define
CodSpeed Performance Gauge
+1%
517.4 µs
510.6 µs
repro-desugar-143Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143
CodSpeed Performance Gauge
0%
9.3 ms
9.3 ms
repro-empty-queryIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-query
CodSpeed Performance Gauge
-1%
416.2 µs
420.1 µs
repro-equal-constantIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant
CodSpeed Performance Gauge
0%
458.5 µs
458.6 µs
repro-equal-constant2Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2
CodSpeed Performance Gauge
-1%
447.8 µs
452 µs
repro-noteqbugIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug
CodSpeed Performance Gauge
0%
576.9 µs
578.3 µs
repro-primitive-queryIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query
CodSpeed Performance Gauge
+1%
516.7 µs
509.5 µs
repro-querybugIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug
CodSpeed Performance Gauge
0%
666.7 µs
667.8 µs
repro-querybug2Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2
CodSpeed Performance Gauge
0%
466.9 µs
466.8 µs
repro-querybug3Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3
CodSpeed Performance Gauge
0%
1.4 ms
1.4 ms
repro-querybug4Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4
CodSpeed Performance Gauge
-1%
492.2 µs
496.5 µs
repro-should-saturateIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate
CodSpeed Performance Gauge
0%
423.4 µs
422.9 µs
repro-silly-panicIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic
CodSpeed Performance Gauge
0%
582 µs
581.2 µs
repro-typechecking-scheduleIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule
CodSpeed Performance Gauge
0%
250.9 µs
251.3 µs
repro-unsoundIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound
CodSpeed Performance Gauge
0%
504.7 ms
504.4 ms
repro-unsound-htutorialIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial
CodSpeed Performance Gauge
0%
648.5 µs
646.2 µs
repro-vec-unequalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal
CodSpeed Performance Gauge
0%
605.1 µs
607.3 µs
resolutionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::resolution
CodSpeed Performance Gauge
0%
4 ms
4 ms
rw-analysisIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis
CodSpeed Performance Gauge
0%
39.5 ms
39.5 ms
schedule-demoIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-demo
CodSpeed Performance Gauge
0%
2.2 ms
2.2 ms
setIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::set
CodSpeed Performance Gauge
0%
2 ms
2 ms
set_sort_functionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_function
CodSpeed Performance Gauge
0%
364.9 µs
364.9 µs
stratifiedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::stratified
CodSpeed Performance Gauge
0%
805 µs
806.1 µs
stringIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::string
CodSpeed Performance Gauge
0%
358.3 µs
357.6 µs
string_quotesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes
CodSpeed Performance Gauge
0%
292.7 µs
292.6 µs
subsumeIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume
CodSpeed Performance Gauge
0%
1.2 ms
1.2 ms
test-combinedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined
CodSpeed Performance Gauge
+1%
1 ms
1 ms
test-combined-stepsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps
CodSpeed Performance Gauge
0%
3 ms
3 ms
towers-of-hanoiIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi
CodSpeed Performance Gauge
0%
3.9 ms
3.9 ms
tricky-type-checkingIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking
CodSpeed Performance Gauge
0%
12.5 ms
12.5 ms
type-constraints-testsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests
CodSpeed Performance Gauge
+1%
383.9 µs
380.3 µs
typecheckIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck
CodSpeed Performance Gauge
0%
6.2 ms
6.2 ms
unification-points-toIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to
CodSpeed Performance Gauge
0%
9.1 ms
9.1 ms
unifyIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unify
CodSpeed Performance Gauge
0%
847.4 µs
846.9 µs
unstable-fnIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn
CodSpeed Performance Gauge
0%
6.9 ms
6.9 ms
untilIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::until
CodSpeed Performance Gauge
0%
2.8 ms
2.8 ms
vecIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::vec
CodSpeed Performance Gauge
+1%
828.7 µs
821.4 µs

Commits

Click on a commit to change the comparison range
Base
main
6f49428
-46%
Update python_array_optimize.egg This PR updates the array optimize example from Python. Now we can create this file directly with no changes running the command at the top in the Python repo. The updated file uses a different strategy for dealing with lists that are based more heavily on functions, so having this should be a good test case as well as benchmark for some of that.
f059b61
1 month ago
by saulshanabrook
© 2025 CodSpeed Technology
Home Terms PrivacyDocs