Herbie run
| Date: | Sunday, June 8th, 2025 |
|---|---|
| Commit: | 0a03e455 on evaluation-egglog-herbie |
| Seed: | 2025159 |
| 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: | 4 182 059.7 MB |
Time bar (total: 45.9min)
| 5.5min | 3 928 585× | 0 | valid |
| 2.1min | 15 343× | 3 | exit |
| 1.9min | 450 089× | 1 | valid |
| 1.1min | 140 935× | 2 | valid |
| 39.5s | 40 298× | 5 | exit |
| 36.9s | 323 252× | 0 | invalid |
| 17.9s | 4 528× | 4 | exit |
| 12.6s | 15 120× | 3 | valid |
| 8.2s | 50 124× | 0 | exit |
| 6.2s | 29 258× | 1 | invalid |
| 2.0s | 6 679× | 1 | exit |
| 499.0ms | 1 530× | 2 | invalid |
| 126.0ms | 44× | 4 | valid |
| 11.0ms | 1× | 2 | exit |
ival-mult!: 1.7min (17.6% of total)adjust: 59.3s (10.3% of total)ival-div!: 47.9s (8.3% of total)ival-pow: 43.5s (7.5% of total)ival-exp: 42.0s (7.3% of total)ival-log: 40.4s (7% of total)ival-sub!: 30.8s (5.3% of total)ival-add!: 30.5s (5.3% of total)ival-pow2: 30.0s (5.2% of total)ival-cos: 27.2s (4.7% of total)ival-sqrt: 26.4s (4.6% of total)ival-sin: 24.4s (4.2% of total)ival-tan: 15.8s (2.7% of total)ival-neg: 11.4s (2% of total)ival-sinu: 7.0s (1.2% of total)ival-cosu: 5.6s (1% of total)ival-fabs: 4.3s (0.7% of total)ival-hypot: 3.9s (0.7% of total)ival-fmax: 3.3s (0.6% of total)ival-expm1: 3.2s (0.6% of total)ival-fmin: 2.9s (0.5% of total)ival-acos: 2.0s (0.3% of total)ival-sinh: 1.9s (0.3% of total)ival-log1p: 1.7s (0.3% of total)ival-asin: 1.7s (0.3% of total)ival-atan2: 1.6s (0.3% of total)ival-fmod: 1.3s (0.2% of total)ival-<=: 1.1s (0.2% of total)ival-atan: 1.0s (0.2% of total)ival-floor: 726.0ms (0.1% of total)ival-and: 715.0ms (0.1% of total)ival-cbrt: 619.0ms (0.1% of total)ival-<: 582.0ms (0.1% of total)ival-acosh: 305.0ms (0.1% of total)ival-asinh: 297.0ms (0.1% of total)ival-cosh: 292.0ms (0.1% of total)ival-log2: 250.0ms (0% of total)ival-if: 237.0ms (0% of total)ival-tanu: 178.0ms (0% of total)ival-atanh: 128.0ms (0% of total)ival-tanh: 127.0ms (0% of total)ival-assert: 111.0ms (0% of total)ival->: 52.0ms (0% of total)ival->=: 50.0ms (0% of total)ival-or: 13.0ms (0% of total)const: 3.0ms (0% of total)ival-==: 3.0ms (0% of total)ival-pi: 0.0ms (0% of total)exact: 0.0ms (0% of total)| 1 997× | iter-limit |
| 5× | saturated |
390 calls:
| Time | Variable | Point |
|---|---|---|
| 1.4min | u1 | 0 |
| 12.0s | alphay | inf |
| 8.3s | x | 0 |
| 6.6s | x | inf |
| 6.5s | x | -inf |
Compiled 241 491 112 to 8 574 878 computations (96.4% saved)
| 3 995× | iter-limit |
| 1 988× | node-limit |
| 28× | saturated |
| 3× | unsound |
1 230 calls:
| 14.1s | x |
| 9.5s | y |
| 7.7s | z |
| 7.5s | a |
| 6.8s | b |
Compiled 1 312 520 to 247 158 computations (81.2% saved)
Compiled 2 823 469 to 1 471 921 computations (47.9% 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)
| 522× | node-limit |
| 27× | saturated |
Compiled 1 061 608 to 345 199 computations (67.5% saved)
| 380× | fuel |
| 167× | done |
Compiled 304 237 to 39 257 computations (87.1% saved)
| 2 540× | binary-search |
| 1 406× | left-value |
| 2 446× | narrow-enough |
| 92× | predicate-same |
| 2× | predicate-failed |
| 17.3s | 178 492× | 0 | valid |
| 8.7s | 16 446× | 1 | valid |
| 2.0s | 2 527× | 2 | valid |
| 731.0ms | 8 892× | 0 | invalid |
| 465.0ms | 435× | 3 | valid |
| 17.0ms | 202× | 0 | exit |
| 14.0ms | 63× | 1 | invalid |
| 10.0ms | 4× | 4 | valid |
| 4.0ms | 40× | 1 | exit |
| 0.0ms | 1× | 2 | invalid |
Compiled 1 670 575 to 1 035 366 computations (38% saved)
ival-mult!: 5.1s (24.8% of total)ival-cos: 2.5s (12.1% of total)ival-sin: 2.4s (11.6% of total)ival-sub!: 1.5s (7.5% of total)ival-div!: 1.5s (7.1% of total)adjust: 1.2s (5.7% of total)ival-cosu: 1.1s (5.2% of total)ival-add!: 1.0s (4.9% of total)ival-pow2: 803.0ms (3.9% of total)ival-sqrt: 639.0ms (3.1% of total)ival-log: 543.0ms (2.6% of total)ival-sinu: 433.0ms (2.1% of total)ival-atan2: 363.0ms (1.8% of total)ival-pow: 338.0ms (1.6% of total)ival-exp: 336.0ms (1.6% of total)ival-hypot: 241.0ms (1.2% of total)ival-tan: 237.0ms (1.2% of total)ival-neg: 189.0ms (0.9% of total)ival-fabs: 41.0ms (0.2% of total)ival-acos: 40.0ms (0.2% of total)ival-fmax: 33.0ms (0.2% of total)ival-atan: 29.0ms (0.1% of total)ival-log1p: 16.0ms (0.1% of total)ival-if: 10.0ms (0% of total)ival-tanu: 9.0ms (0% of total)ival-fmin: 9.0ms (0% of total)ival->=: 7.0ms (0% of total)ival-asin: 7.0ms (0% of total)ival-tanh: 5.0ms (0% of total)ival-sinh: 5.0ms (0% of total)ival-expm1: 4.0ms (0% of total)ival-fmod: 2.0ms (0% of total)ival-copysign: 1.0ms (0% of total)ival-pi: 0.0ms (0% of total)1 calls:
| Time | Variable | Point |
|---|---|---|
| 31.7s | u1 | 0 |
Loading profile data...