Herbie run
| Date: | Wednesday, June 4th, 2025 |
|---|---|
| Commit: | b0d1c723 on main |
| Seed: | 2025155 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs default |
| Memory: | 3 852 833.1 MB |
Time bar (total: 46.1min)
| 5.6min | 3 928 322× | 0 | valid |
| 2.1min | 17 023× | 3 | exit |
| 1.9min | 450 095× | 1 | valid |
| 1.1min | 141 156× | 2 | valid |
| 40.0s | 40 213× | 5 | exit |
| 37.5s | 324 790× | 0 | invalid |
| 15.8s | 4 378× | 4 | exit |
| 13.4s | 15 608× | 3 | valid |
| 6.4s | 50 507× | 0 | exit |
| 6.3s | 29 456× | 1 | invalid |
| 847.0ms | 6 682× | 1 | exit |
| 523.0ms | 1 459× | 2 | invalid |
| 79.0ms | 38× | 4 | valid |
ival-mult!: 1.8min (18.6% of total)adjust: 58.5s (10.1% of total)ival-div!: 44.9s (7.8% of total)ival-exp: 43.6s (7.6% of total)ival-log: 42.8s (7.4% of total)ival-pow: 40.3s (7% of total)ival-pow2: 31.5s (5.5% of total)ival-cos: 29.1s (5% of total)ival-sub!: 28.3s (4.9% of total)ival-add!: 28.1s (4.9% of total)ival-sqrt: 24.6s (4.3% of total)ival-sin: 24.0s (4.2% of total)ival-tan: 15.1s (2.6% of total)ival-neg: 10.6s (1.8% of total)ival-sinu: 6.5s (1.1% of total)ival-cosu: 5.9s (1% of total)ival-hypot: 4.2s (0.7% of total)ival-fabs: 3.8s (0.7% of total)ival-fmax: 3.2s (0.6% of total)ival-expm1: 2.9s (0.5% of total)ival-fmin: 2.4s (0.4% of total)ival-asin: 2.2s (0.4% of total)ival-acos: 2.2s (0.4% of total)ival-atan2: 1.7s (0.3% of total)ival-log1p: 1.5s (0.3% of total)ival-floor: 1.5s (0.3% of total)ival-sinh: 1.4s (0.3% of total)ival-fmod: 1.4s (0.2% of total)ival-log2: 1.1s (0.2% of total)ival-acosh: 1.0s (0.2% of total)ival-<=: 1.0s (0.2% of total)ival-atan: 1.0s (0.2% of total)ival-and: 719.0ms (0.1% of total)ival-cbrt: 630.0ms (0.1% of total)ival-<: 626.0ms (0.1% of total)ival-tanu: 456.0ms (0.1% of total)ival-cosh: 442.0ms (0.1% of total)ival-asinh: 265.0ms (0% of total)ival-if: 234.0ms (0% of total)ival-atanh: 146.0ms (0% of total)ival-tanh: 111.0ms (0% of total)ival-assert: 108.0ms (0% of total)ival->: 71.0ms (0% of total)ival->=: 50.0ms (0% of total)ival-or: 14.0ms (0% of total)const: 5.0ms (0% of total)ival-==: 3.0ms (0% of total)exact: 0.0ms (0% of total)ival-pi: 0.0ms (0% of total)| 1 992× | iter-limit |
| 5× | saturated |
390 calls:
| Time | Variable | Point |
|---|---|---|
| 1.5min | u1 | 0 |
| 12.6s | alphay | inf |
| 10.2s | x | inf |
| 9.8s | x | 0 |
| 7.8s | x | -inf |
| 3 986× | iter-limit |
| 1 983× | node-limit |
| 30× | saturated |
| 3× | unsound |
Compiled 230 280 271 to 8 475 980 computations (96.3% saved)
1 229 calls:
| 15.1s | x |
| 8.7s | y |
| 7.6s | a |
| 6.6s | z |
| 6.5s | b |
Compiled 1 316 475 to 249 253 computations (81.1% saved)
Compiled 2 859 570 to 1 482 345 computations (48.2% saved)
| 522× | node-limit |
| 27× | saturated |
Compiled 1 024 228 to 331 422 computations (67.6% saved)
| 553× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 84.7% | 15.3% | 0% | 0% | 0% | 0 |
| 39.6% | 33.5% | 51.2% | 15.3% | 0% | 0% | 0% | 1 |
| 45.5% | 38.2% | 45.7% | 15.3% | 0% | 0.8% | 0% | 2 |
| 54% | 44.2% | 37.7% | 15.3% | 0% | 2.8% | 0% | 3 |
| 60.8% | 49.2% | 31.8% | 15.3% | 0% | 3.7% | 0% | 4 |
| 67.1% | 54% | 26.5% | 15.3% | 0% | 4.2% | 0% | 5 |
| 71% | 56.9% | 23.2% | 15.3% | 0% | 4.6% | 0% | 6 |
| 75% | 59.6% | 19.9% | 15.3% | 0% | 5.2% | 0% | 7 |
| 77% | 60.9% | 18.2% | 15.3% | 0% | 5.6% | 0% | 8 |
| 79.6% | 62.7% | 16.1% | 15.3% | 0% | 5.9% | 0% | 9 |
| 81.2% | 63.7% | 14.8% | 15.3% | 0% | 6.2% | 0% | 10 |
| 83.4% | 65.3% | 13% | 15.3% | 0% | 6.3% | 0% | 11 |
| 84.5% | 66% | 12.1% | 15.3% | 0% | 6.5% | 0% | 12 |
Compiled 33 071 to 9 403 computations (71.6% saved)
| 371× | fuel |
| 176× | done |
Compiled 303 547 to 39 608 computations (87% saved)
| 2 705× | binary-search |
| 1 326× | left-value |
| 2 609× | narrow-enough |
| 94× | predicate-same |
| 2× | predicate-failed |
| 19.3s | 186 680× | 0 | valid |
| 7.7s | 17 342× | 1 | valid |
| 1.2s | 1 995× | 2 | valid |
| 1.2s | 1 033× | 5 | exit |
| 843.0ms | 7 986× | 0 | invalid |
| 385.0ms | 318× | 3 | valid |
| 43.0ms | 225× | 1 | invalid |
| 5.0ms | 75× | 0 | exit |
| 0.0ms | 1× | 4 | valid |
| 0.0ms | 3× | 1 | exit |
Compiled 1 666 952 to 1 053 285 computations (36.8% saved)
ival-mult!: 5.7s (26.5% of total)ival-cos: 2.5s (11.3% of total)ival-sin: 2.1s (9.6% of total)ival-add!: 2.0s (9% of total)adjust: 1.4s (6.5% of total)ival-sub!: 1.4s (6.3% of total)ival-div!: 1.3s (6.2% of total)ival-pow: 983.0ms (4.5% of total)ival-pow2: 713.0ms (3.3% of total)ival-log: 601.0ms (2.8% of total)ival-sqrt: 541.0ms (2.5% of total)ival-exp: 529.0ms (2.4% of total)ival-sinu: 416.0ms (1.9% of total)ival-cosu: 317.0ms (1.5% of total)ival-neg: 248.0ms (1.1% of total)ival-atan2: 226.0ms (1% of total)ival-hypot: 209.0ms (1% of total)ival-tan: 178.0ms (0.8% of total)ival-acos: 88.0ms (0.4% of total)ival-fmax: 59.0ms (0.3% of total)ival-fabs: 49.0ms (0.2% of total)ival-atan: 30.0ms (0.1% of total)ival-log1p: 28.0ms (0.1% of total)ival-if: 26.0ms (0.1% of total)ival-fmod: 20.0ms (0.1% of total)ival-fmin: 15.0ms (0.1% of total)ival->=: 15.0ms (0.1% of total)ival-asin: 12.0ms (0.1% of total)ival-tanu: 11.0ms (0.1% of total)ival-tanh: 4.0ms (0% of total)ival-cosh: 4.0ms (0% of total)ival-cbrt: 3.0ms (0% of total)ival-sinh: 1.0ms (0% of total)ival-expm1: 1.0ms (0% of total)ival-pi: 0.0ms (0% of total)1 calls:
| Time | Variable | Point |
|---|---|---|
| 25.1s | u1 | 0 |
Loading profile data...