337 lines
16 KiB
Plaintext
337 lines
16 KiB
Plaintext
warning: unnecessary parentheses around block return value
|
|
--> crates/symclaw-core/src/modular_gcd/mod.rs:385:5
|
|
|
|
|
385 | (rand::Rng::random_range(rng, 1..p)) // nonzero
|
|
| ^ ^
|
|
|
|
|
= note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
|
|
help: remove these parentheses
|
|
|
|
|
385 - (rand::Rng::random_range(rng, 1..p)) // nonzero
|
|
385 + rand::Rng::random_range(rng, 1..p) // nonzero
|
|
|
|
|
|
|
warning: field `symbol_map` is never read
|
|
--> crates/symclaw-core/src/streaming.rs:599:5
|
|
|
|
|
596 | pub struct ExprWriter {
|
|
| ---------- field in this struct
|
|
...
|
|
599 | symbol_map: HashMap<String, u32>,
|
|
| ^^^^^^^^^^
|
|
|
|
|
= note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
|
|
|
|
warning: associated items `one`, `add`, `sub`, `mul`, and `evaluate` are never used
|
|
--> crates/symclaw-core/src/modular_gcd/mod.rs:74:8
|
|
|
|
|
65 | impl UniPolyMod {
|
|
| --------------- associated items in this implementation
|
|
...
|
|
74 | fn one(modulus: u64) -> Self { Self { coeffs: vec![1], modulus } }
|
|
| ^^^
|
|
...
|
|
84 | fn add(&self, other: &Self) -> Self {
|
|
| ^^^
|
|
...
|
|
93 | fn sub(&self, other: &Self) -> Self {
|
|
| ^^^
|
|
...
|
|
102 | fn mul(&self, other: &Self) -> Self {
|
|
| ^^^
|
|
...
|
|
166 | fn evaluate(&self, x: u64) -> u64 {
|
|
| ^^^^^^^^
|
|
|
|
warning: methods `is_zero` and `evaluate_all` are never used
|
|
--> crates/symclaw-core/src/modular_gcd/mod.rs:190:8
|
|
|
|
|
189 | impl ModPoly {
|
|
| ------------ methods in this implementation
|
|
190 | fn is_zero(&self) -> bool { self.terms.is_empty() }
|
|
| ^^^^^^^
|
|
...
|
|
230 | fn evaluate_all(&self, points: &[u64]) -> u64 {
|
|
| ^^^^^^^^^^^^
|
|
|
|
warning: fields `var_names` and `order` are never read
|
|
--> crates/symclaw-core/src/packed_poly.rs:80:5
|
|
|
|
|
78 | pub struct PackedPolyBuilder {
|
|
| ----------------- fields in this struct
|
|
79 | data: Vec<u8>,
|
|
80 | var_names: Vec<String>,
|
|
| ^^^^^^^^^
|
|
81 | n_terms: u32,
|
|
82 | order: u8,
|
|
| ^^^^^
|
|
|
|
warning: `symclaw-core` (lib) generated 5 warnings (run `cargo fix --lib -p symclaw-core` to apply 1 suggestion)
|
|
Finished `bench` profile [optimized + debuginfo] target(s) in 0.22s
|
|
Running benches/benchmarks.rs (target/release/deps/benchmarks-0028cf78a3682257)
|
|
Benchmarking parse/expr/simple
|
|
Benchmarking parse/expr/simple: Warming up for 3.0000 s
|
|
Benchmarking parse/expr/simple: Collecting 100 samples in estimated 5.0003 s (16M iterations)
|
|
Benchmarking parse/expr/simple: Analyzing
|
|
parse/expr/simple time: [290.29 ns 291.01 ns 291.72 ns]
|
|
Found 8 outliers among 100 measurements (8.00%)
|
|
4 (4.00%) low mild
|
|
2 (2.00%) high mild
|
|
2 (2.00%) high severe
|
|
Benchmarking parse/expr/medium
|
|
Benchmarking parse/expr/medium: Warming up for 3.0000 s
|
|
Benchmarking parse/expr/medium: Collecting 100 samples in estimated 5.0013 s (3.2M iterations)
|
|
Benchmarking parse/expr/medium: Analyzing
|
|
parse/expr/medium time: [1.5860 µs 1.5954 µs 1.6051 µs]
|
|
Found 6 outliers among 100 measurements (6.00%)
|
|
5 (5.00%) high mild
|
|
1 (1.00%) high severe
|
|
Benchmarking parse/expr/complex
|
|
Benchmarking parse/expr/complex: Warming up for 3.0000 s
|
|
Benchmarking parse/expr/complex: Collecting 100 samples in estimated 5.0089 s (2.2M iterations)
|
|
Benchmarking parse/expr/complex: Analyzing
|
|
parse/expr/complex time: [2.3055 µs 2.3209 µs 2.3397 µs]
|
|
Benchmarking parse/expr/deep
|
|
Benchmarking parse/expr/deep: Warming up for 3.0000 s
|
|
Benchmarking parse/expr/deep: Collecting 100 samples in estimated 5.0022 s (3.4M iterations)
|
|
Benchmarking parse/expr/deep: Analyzing
|
|
parse/expr/deep time: [1.4455 µs 1.4527 µs 1.4617 µs]
|
|
Found 1 outliers among 100 measurements (1.00%)
|
|
1 (1.00%) high mild
|
|
|
|
Benchmarking simplify/expr/identity
|
|
Benchmarking simplify/expr/identity: Warming up for 3.0000 s
|
|
Benchmarking simplify/expr/identity: Collecting 100 samples in estimated 5.0001 s (56M iterations)
|
|
Benchmarking simplify/expr/identity: Analyzing
|
|
simplify/expr/identity time: [86.386 ns 86.640 ns 86.977 ns]
|
|
Found 3 outliers among 100 measurements (3.00%)
|
|
3 (3.00%) high mild
|
|
Benchmarking simplify/expr/combine
|
|
Benchmarking simplify/expr/combine: Warming up for 3.0000 s
|
|
Benchmarking simplify/expr/combine: Collecting 100 samples in estimated 5.0056 s (3.1M iterations)
|
|
Benchmarking simplify/expr/combine: Analyzing
|
|
simplify/expr/combine time: [1.5627 µs 1.5647 µs 1.5671 µs]
|
|
Found 8 outliers among 100 measurements (8.00%)
|
|
6 (6.00%) high mild
|
|
2 (2.00%) high severe
|
|
Benchmarking simplify/expr/expand
|
|
Benchmarking simplify/expr/expand: Warming up for 3.0000 s
|
|
Benchmarking simplify/expr/expand: Collecting 100 samples in estimated 5.0052 s (3.7M iterations)
|
|
Benchmarking simplify/expr/expand: Analyzing
|
|
simplify/expr/expand time: [1.3802 µs 1.3910 µs 1.4009 µs]
|
|
Benchmarking simplify/expr/trig
|
|
Benchmarking simplify/expr/trig: Warming up for 3.0000 s
|
|
Benchmarking simplify/expr/trig: Collecting 100 samples in estimated 5.0033 s (4.2M iterations)
|
|
Benchmarking simplify/expr/trig: Analyzing
|
|
simplify/expr/trig time: [1.1906 µs 1.1968 µs 1.2046 µs]
|
|
Found 1 outliers among 100 measurements (1.00%)
|
|
1 (1.00%) high mild
|
|
Benchmarking simplify/expr/nested
|
|
Benchmarking simplify/expr/nested: Warming up for 3.0000 s
|
|
Benchmarking simplify/expr/nested: Collecting 100 samples in estimated 5.0125 s (1.7M iterations)
|
|
Benchmarking simplify/expr/nested: Analyzing
|
|
simplify/expr/nested time: [2.8926 µs 2.9019 µs 2.9140 µs]
|
|
Found 4 outliers among 100 measurements (4.00%)
|
|
4 (4.00%) high mild
|
|
|
|
Benchmarking differentiate/expr/polynomial
|
|
Benchmarking differentiate/expr/polynomial: Warming up for 3.0000 s
|
|
Benchmarking differentiate/expr/polynomial: Collecting 100 samples in estimated 5.0222 s (545k iterations)
|
|
Benchmarking differentiate/expr/polynomial: Analyzing
|
|
differentiate/expr/polynomial
|
|
time: [8.9347 µs 9.0139 µs 9.0937 µs]
|
|
Found 15 outliers among 100 measurements (15.00%)
|
|
4 (4.00%) high mild
|
|
11 (11.00%) high severe
|
|
Benchmarking differentiate/expr/trig
|
|
Benchmarking differentiate/expr/trig: Warming up for 3.0000 s
|
|
Benchmarking differentiate/expr/trig: Collecting 100 samples in estimated 5.0184 s (1.1M iterations)
|
|
Benchmarking differentiate/expr/trig: Analyzing
|
|
differentiate/expr/trig time: [4.5093 µs 4.5405 µs 4.5698 µs]
|
|
Benchmarking differentiate/expr/chain
|
|
Benchmarking differentiate/expr/chain: Warming up for 3.0000 s
|
|
Benchmarking differentiate/expr/chain: Collecting 100 samples in estimated 5.0087 s (1.2M iterations)
|
|
Benchmarking differentiate/expr/chain: Analyzing
|
|
differentiate/expr/chain
|
|
time: [4.1437 µs 4.1656 µs 4.1929 µs]
|
|
Benchmarking differentiate/expr/product
|
|
Benchmarking differentiate/expr/product: Warming up for 3.0000 s
|
|
Benchmarking differentiate/expr/product: Collecting 100 samples in estimated 5.0460 s (540k iterations)
|
|
Benchmarking differentiate/expr/product: Analyzing
|
|
differentiate/expr/product
|
|
time: [9.0468 µs 9.0543 µs 9.0635 µs]
|
|
Found 13 outliers among 100 measurements (13.00%)
|
|
1 (1.00%) low mild
|
|
6 (6.00%) high mild
|
|
6 (6.00%) high severe
|
|
|
|
Benchmarking integrate/expr/polynomial
|
|
Benchmarking integrate/expr/polynomial: Warming up for 3.0000 s
|
|
Benchmarking integrate/expr/polynomial: Collecting 100 samples in estimated 5.0231 s (773k iterations)
|
|
Benchmarking integrate/expr/polynomial: Analyzing
|
|
integrate/expr/polynomial
|
|
time: [6.3288 µs 6.3470 µs 6.3665 µs]
|
|
Found 8 outliers among 100 measurements (8.00%)
|
|
6 (6.00%) high mild
|
|
2 (2.00%) high severe
|
|
Benchmarking integrate/expr/trig
|
|
Benchmarking integrate/expr/trig: Warming up for 3.0000 s
|
|
Benchmarking integrate/expr/trig: Collecting 100 samples in estimated 5.0015 s (9.7M iterations)
|
|
Benchmarking integrate/expr/trig: Analyzing
|
|
integrate/expr/trig time: [523.03 ns 526.77 ns 530.30 ns]
|
|
Found 1 outliers among 100 measurements (1.00%)
|
|
1 (1.00%) high mild
|
|
Benchmarking integrate/expr/exp
|
|
Benchmarking integrate/expr/exp: Warming up for 3.0000 s
|
|
Benchmarking integrate/expr/exp: Collecting 100 samples in estimated 5.0012 s (13M iterations)
|
|
Benchmarking integrate/expr/exp: Analyzing
|
|
integrate/expr/exp time: [386.90 ns 390.00 ns 393.26 ns]
|
|
Found 1 outliers among 100 measurements (1.00%)
|
|
1 (1.00%) high mild
|
|
|
|
Benchmarking polynomial_gcd/subresultant_prs_deg3_7var
|
|
Benchmarking polynomial_gcd/subresultant_prs_deg3_7var: Warming up for 3.0000 s
|
|
Benchmarking polynomial_gcd/subresultant_prs_deg3_7var: Collecting 10 samples in estimated 9.2853 s (110 iterations)
|
|
Benchmarking polynomial_gcd/subresultant_prs_deg3_7var: Analyzing
|
|
polynomial_gcd/subresultant_prs_deg3_7var
|
|
time: [82.968 ms 84.462 ms 85.797 ms]
|
|
Benchmarking polynomial_gcd/modular_gcd_deg3_7var
|
|
Benchmarking polynomial_gcd/modular_gcd_deg3_7var: Warming up for 3.0000 s
|
|
Benchmarking polynomial_gcd/modular_gcd_deg3_7var: Collecting 10 samples in estimated 6.7267 s (20 iterations)
|
|
Benchmarking polynomial_gcd/modular_gcd_deg3_7var: Analyzing
|
|
polynomial_gcd/modular_gcd_deg3_7var
|
|
time: [200.16 ms 239.28 ms 294.71 ms]
|
|
Found 2 outliers among 10 measurements (20.00%)
|
|
2 (20.00%) high severe
|
|
Benchmarking polynomial_gcd/univariate_gcd_deg10
|
|
Benchmarking polynomial_gcd/univariate_gcd_deg10: Warming up for 3.0000 s
|
|
Benchmarking polynomial_gcd/univariate_gcd_deg10: Collecting 10 samples in estimated 5.0003 s (207k iterations)
|
|
Benchmarking polynomial_gcd/univariate_gcd_deg10: Analyzing
|
|
polynomial_gcd/univariate_gcd_deg10
|
|
time: [21.587 µs 21.666 µs 21.876 µs]
|
|
|
|
Benchmarking packed_poly/tree_to_packed
|
|
Benchmarking packed_poly/tree_to_packed: Warming up for 3.0000 s
|
|
Benchmarking packed_poly/tree_to_packed: Collecting 100 samples in estimated 5.0474 s (364k iterations)
|
|
Benchmarking packed_poly/tree_to_packed: Analyzing
|
|
packed_poly/tree_to_packed
|
|
time: [12.568 µs 12.590 µs 12.616 µs]
|
|
Found 12 outliers among 100 measurements (12.00%)
|
|
3 (3.00%) low mild
|
|
2 (2.00%) high mild
|
|
7 (7.00%) high severe
|
|
Benchmarking packed_poly/packed_to_tree
|
|
Benchmarking packed_poly/packed_to_tree: Warming up for 3.0000 s
|
|
Benchmarking packed_poly/packed_to_tree: Collecting 100 samples in estimated 5.2214 s (106k iterations)
|
|
Benchmarking packed_poly/packed_to_tree: Analyzing
|
|
packed_poly/packed_to_tree
|
|
time: [47.096 µs 47.485 µs 47.923 µs]
|
|
Found 11 outliers among 100 measurements (11.00%)
|
|
1 (1.00%) low mild
|
|
4 (4.00%) high mild
|
|
6 (6.00%) high severe
|
|
Benchmarking packed_poly/packed_add
|
|
Benchmarking packed_poly/packed_add: Warming up for 3.0000 s
|
|
Benchmarking packed_poly/packed_add: Collecting 100 samples in estimated 5.0697 s (30k iterations)
|
|
Benchmarking packed_poly/packed_add: Analyzing
|
|
packed_poly/packed_add time: [168.16 µs 169.59 µs 171.11 µs]
|
|
|
|
Benchmarking simd_arith/batch_mod_mul_10k
|
|
Benchmarking simd_arith/batch_mod_mul_10k: Warming up for 3.0000 s
|
|
Benchmarking simd_arith/batch_mod_mul_10k: Collecting 100 samples in estimated 5.0823 s (50k iterations)
|
|
Benchmarking simd_arith/batch_mod_mul_10k: Analyzing
|
|
simd_arith/batch_mod_mul_10k
|
|
time: [100.85 µs 101.41 µs 102.08 µs]
|
|
Benchmarking simd_arith/batch_mod_add_10k
|
|
Benchmarking simd_arith/batch_mod_add_10k: Warming up for 3.0000 s
|
|
Benchmarking simd_arith/batch_mod_add_10k: Collecting 100 samples in estimated 5.0334 s (636k iterations)
|
|
Benchmarking simd_arith/batch_mod_add_10k: Analyzing
|
|
simd_arith/batch_mod_add_10k
|
|
time: [7.7101 µs 7.7265 µs 7.7481 µs]
|
|
Benchmarking simd_arith/batch_montgomery_mul_10k
|
|
Benchmarking simd_arith/batch_montgomery_mul_10k: Warming up for 3.0000 s
|
|
Benchmarking simd_arith/batch_montgomery_mul_10k: Collecting 100 samples in estimated 5.0946 s (207k iterations)
|
|
Benchmarking simd_arith/batch_montgomery_mul_10k: Analyzing
|
|
simd_arith/batch_montgomery_mul_10k
|
|
time: [23.652 µs 23.687 µs 23.730 µs]
|
|
Found 10 outliers among 100 measurements (10.00%)
|
|
7 (7.00%) high mild
|
|
3 (3.00%) high severe
|
|
Benchmarking simd_arith/poly_mul_mod_1000
|
|
Benchmarking simd_arith/poly_mul_mod_1000: Warming up for 3.0000 s
|
|
Benchmarking simd_arith/poly_mul_mod_1000: Collecting 100 samples in estimated 5.6900 s (500 iterations)
|
|
Benchmarking simd_arith/poly_mul_mod_1000: Analyzing
|
|
simd_arith/poly_mul_mod_1000
|
|
time: [11.364 ms 11.435 ms 11.509 ms]
|
|
Found 1 outliers among 100 measurements (1.00%)
|
|
1 (1.00%) high mild
|
|
|
|
Benchmarking egraph/simplify/simple
|
|
Benchmarking egraph/simplify/simple: Warming up for 3.0000 s
|
|
Benchmarking egraph/simplify/simple: Collecting 100 samples in estimated 5.1927 s (35k iterations)
|
|
Benchmarking egraph/simplify/simple: Analyzing
|
|
egraph/simplify/simple time: [135.99 µs 136.38 µs 136.90 µs]
|
|
Benchmarking egraph/simplify/medium
|
|
Benchmarking egraph/simplify/medium: Warming up for 3.0000 s
|
|
Benchmarking egraph/simplify/medium: Collecting 100 samples in estimated 5.6500 s (40k iterations)
|
|
Benchmarking egraph/simplify/medium: Analyzing
|
|
egraph/simplify/medium time: [137.02 µs 138.10 µs 139.14 µs]
|
|
Found 20 outliers among 100 measurements (20.00%)
|
|
3 (3.00%) high mild
|
|
17 (17.00%) high severe
|
|
Benchmarking egraph/simplify/complex
|
|
Benchmarking egraph/simplify/complex: Warming up for 3.0000 s
|
|
|
|
Warning: Unable to complete 100 samples in 5.0s. You may wish to increase target time to 5.3s, or reduce sample count to 90.
|
|
Benchmarking egraph/simplify/complex: Collecting 100 samples in estimated 5.2986 s (100 iterations)
|
|
Benchmarking egraph/simplify/complex: Analyzing
|
|
egraph/simplify/complex time: [52.896 ms 53.252 ms 53.627 ms]
|
|
|
|
Benchmarking series/taylor_sin/5
|
|
Benchmarking series/taylor_sin/5: Warming up for 3.0000 s
|
|
Benchmarking series/taylor_sin/5: Collecting 100 samples in estimated 5.0085 s (1.3M iterations)
|
|
Benchmarking series/taylor_sin/5: Analyzing
|
|
series/taylor_sin/5 time: [3.9580 µs 3.9831 µs 4.0095 µs]
|
|
Benchmarking series/taylor_sin/10
|
|
Benchmarking series/taylor_sin/10: Warming up for 3.0000 s
|
|
Benchmarking series/taylor_sin/10: Collecting 100 samples in estimated 5.0209 s (672k iterations)
|
|
Benchmarking series/taylor_sin/10: Analyzing
|
|
series/taylor_sin/10 time: [7.3950 µs 7.4237 µs 7.4616 µs]
|
|
Found 3 outliers among 100 measurements (3.00%)
|
|
3 (3.00%) high mild
|
|
Benchmarking series/taylor_sin/20
|
|
Benchmarking series/taylor_sin/20: Warming up for 3.0000 s
|
|
Benchmarking series/taylor_sin/20: Collecting 100 samples in estimated 5.0515 s (288k iterations)
|
|
Benchmarking series/taylor_sin/20: Analyzing
|
|
series/taylor_sin/20 time: [17.096 µs 17.223 µs 17.363 µs]
|
|
Found 22 outliers among 100 measurements (22.00%)
|
|
2 (2.00%) low mild
|
|
3 (3.00%) high mild
|
|
17 (17.00%) high severe
|
|
Benchmarking series/taylor_exp/5
|
|
Benchmarking series/taylor_exp/5: Warming up for 3.0000 s
|
|
Benchmarking series/taylor_exp/5: Collecting 100 samples in estimated 5.0298 s (646k iterations)
|
|
Benchmarking series/taylor_exp/5: Analyzing
|
|
series/taylor_exp/5 time: [7.8384 µs 8.1573 µs 8.5544 µs]
|
|
Found 15 outliers among 100 measurements (15.00%)
|
|
6 (6.00%) high mild
|
|
9 (9.00%) high severe
|
|
Benchmarking series/taylor_exp/10
|
|
Benchmarking series/taylor_exp/10: Warming up for 3.0000 s
|
|
Benchmarking series/taylor_exp/10: Collecting 100 samples in estimated 5.0330 s (298k iterations)
|
|
Benchmarking series/taylor_exp/10: Analyzing
|
|
series/taylor_exp/10 time: [17.288 µs 17.781 µs 18.405 µs]
|
|
Found 9 outliers among 100 measurements (9.00%)
|
|
3 (3.00%) high mild
|
|
6 (6.00%) high severe
|
|
Benchmarking series/taylor_exp/20
|
|
Benchmarking series/taylor_exp/20: Warming up for 3.0000 s
|
|
Benchmarking series/taylor_exp/20: Collecting 100 samples in estimated 5.1541 s (136k iterations)
|
|
Benchmarking series/taylor_exp/20: Analyzing
|
|
series/taylor_exp/20 time: [38.204 µs 39.111 µs 40.286 µs]
|
|
Found 33 outliers among 100 measurements (33.00%)
|
|
20 (20.00%) low mild
|
|
5 (5.00%) high mild
|
|
8 (8.00%) high severe
|
|
|