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

[codex] fold math microbenchmark into rust_api_benchmarking

#846
Comparing
MilkBlock:codex/math-microbench-pr
(
e76512f
) with
main
(
88c4ea8
)
CodSpeed Performance Gauge
-5%
Regression
1
Untouched
45
New
2
Skipped
190

Benchmarks

238 total
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-5%
34.9 ms36.9 ms
rust_rule_math_microbenchmark
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A10.8 s
rust_rule_math_microbenchmark
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A10.2 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-5%
79 ms83.1 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-3%
552.3 µs571.1 µs
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-3%
959.5 ms991.4 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+3%
32.8 ms31.8 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
207 ms200.7 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+3%
287.4 ms278.7 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-3%
351.3 µs361.5 µs
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-3%
21.5 ms22 ms
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
675.7 ms661.4 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
132.2 ms134.8 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
2.5 s2.5 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
1.7 s1.7 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
12.2 ms12.1 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-1%
298.7 ms300.6 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
10.5 ms10.6 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
177.5 ms176.6 ms
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
11.2 s11.2 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.3 s1.3 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
9.2 s9.1 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.4 s5.3 s
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
4.5 s4.5 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s1.6 s

Commits

Click on a commit to change the comparison range
Base
main
88c4ea8
-0.37%
bench: fold math microbenchmark into rust_api_benchmarking
c5d23e7
3 months ago
by MilkBlock
+0.31%
ci: run rust math microbenchmark in codspeed
1bdecba
2 months ago
by MilkBlock
-6.4%
ci: retry codspeed run
bbe5165
2 months ago
by MilkBlock
-1.31%
test: assert rust math microbenchmark tuple count
6d37d04
2 months ago
by MilkBlock
+2.36%
bench: assert math microbenchmark tuple count
e76512f
2 months ago
by MilkBlock
© 2026 CodSpeed Technology
Home Terms Privacy Docs