Herbie run
| Date: | Tuesday, June 10th, 2025 |
|---|---|
| Commit: | 11f6f515 on evaluate-sound-egg-herbie |
| Seed: | 2025161 |
| 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:proofsgenerate:egglog default |
| Memory: | 3 546 279.8 MB |
Time bar (total: 1.1hr)
| 6.3min | 3 929 534× | 0 | valid |
| 2.2min | 449 155× | 1 | valid |
| 2.1min | 18 134× | 3 | exit |
| 1.1min | 141 565× | 2 | valid |
| 41.3s | 39 364× | 5 | exit |
| 38.7s | 321 577× | 0 | invalid |
| 19.7s | 4 416× | 4 | exit |
| 14.2s | 15 190× | 3 | valid |
| 8.1s | 51 392× | 0 | exit |
| 7.1s | 29 028× | 1 | invalid |
| 1.0s | 6 228× | 1 | exit |
| 533.0ms | 1 491× | 2 | invalid |
| 57.0ms | 35× | 4 | valid |
ival-mult!: 1.9min (18.5% of total)adjust: 56.8s (9.2% of total)ival-exp: 48.7s (7.9% of total)ival-pow: 44.7s (7.3% of total)ival-log: 42.0s (6.8% of total)ival-div!: 41.0s (6.7% of total)ival-sin: 32.0s (5.2% of total)ival-pow2: 32.0s (5.2% of total)ival-add!: 31.4s (5.1% of total)ival-sub!: 31.4s (5.1% of total)ival-cos: 30.6s (5% of total)ival-sqrt: 25.3s (4.1% of total)ival-tan: 18.1s (2.9% of total)ival-neg: 11.4s (1.9% of total)ival-hypot: 7.6s (1.2% of total)ival-sinu: 7.5s (1.2% of total)ival-cosu: 5.8s (1% of total)ival-fabs: 4.5s (0.7% of total)ival-asin: 3.3s (0.5% of total)ival-fmax: 3.0s (0.5% of total)ival-atan2: 3.0s (0.5% of total)ival-expm1: 2.7s (0.4% of total)ival-fmin: 2.7s (0.4% of total)ival-acos: 2.6s (0.4% of total)ival-sinh: 1.8s (0.3% of total)ival-log1p: 1.7s (0.3% of total)ival-fmod: 1.5s (0.2% of total)ival-atan: 1.4s (0.2% of total)ival-<=: 1.2s (0.2% of total)ival-cbrt: 919.0ms (0.1% of total)ival-floor: 817.0ms (0.1% of total)ival-and: 814.0ms (0.1% of total)ival-<: 604.0ms (0.1% of total)ival-asinh: 330.0ms (0.1% of total)ival-if: 280.0ms (0% of total)ival-cosh: 274.0ms (0% of total)ival-acosh: 272.0ms (0% of total)ival-tanh: 215.0ms (0% of total)ival-log2: 207.0ms (0% of total)ival-tanu: 185.0ms (0% of total)ival-assert: 182.0ms (0% of total)ival-atanh: 163.0ms (0% of total)ival->=: 73.0ms (0% of total)ival->: 64.0ms (0% of total)ival-or: 17.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)390 calls:
| Time | Variable | Point |
|---|---|---|
| 7.5s | x | 0 |
| 6.8s | x | -inf |
| 6.5s | x | inf |
| 5.4s | y | -inf |
| 4.9s | y | inf |
Compiled 64 724 914 to 6 383 150 computations (90.1% saved)
1 218 calls:
| 13.7s | x |
| 10.2s | y |
| 8.2s | z |
| 6.0s | a |
| 5.5s | t |
Compiled 920 159 to 223 559 computations (75.7% saved)
| 519× | node-limit |
| 30× | saturated |
| 2× | iter-limit |
Compiled 972 709 to 344 307 computations (64.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)
Compiled 2 032 653 to 1 175 335 computations (42.2% saved)
| 2 380× | binary-search |
| 1 357× | left-value |
| 2 291× | narrow-enough |
| 88× | predicate-same |
| 1× | predicate-failed |
| 20.9s | 163 009× | 0 | valid |
| 7.6s | 16 867× | 1 | valid |
| 1.4s | 2 370× | 2 | valid |
| 640.0ms | 7 009× | 0 | invalid |
| 297.0ms | 250× | 3 | valid |
| 38.0ms | 219× | 1 | invalid |
| 11.0ms | 127× | 0 | exit |
| 2.0ms | 12× | 1 | exit |
| 2.0ms | 1× | 4 | exit |
| 1.0ms | 4× | 2 | invalid |
Compiled 1 479 276 to 961 747 computations (35% saved)
ival-mult!: 5.9s (26.9% of total)ival-div!: 2.8s (12.9% of total)ival-sin: 2.5s (11.4% of total)ival-cos: 2.5s (11.2% of total)ival-sub!: 1.6s (7.4% of total)ival-add!: 1.0s (4.7% of total)adjust: 1.0s (4.7% of total)ival-pow: 712.0ms (3.2% of total)ival-pow2: 664.0ms (3% of total)ival-sqrt: 501.0ms (2.3% of total)ival-log: 500.0ms (2.3% of total)ival-sinu: 427.0ms (1.9% of total)ival-cosu: 346.0ms (1.6% of total)ival-exp: 327.0ms (1.5% of total)ival-atan2: 273.0ms (1.2% of total)ival-hypot: 182.0ms (0.8% of total)ival-tan: 163.0ms (0.7% of total)ival-neg: 139.0ms (0.6% of total)ival-acos: 81.0ms (0.4% of total)ival-tanh: 65.0ms (0.3% of total)ival-atan: 60.0ms (0.3% of total)ival-log1p: 23.0ms (0.1% of total)ival-fabs: 23.0ms (0.1% of total)ival->=: 20.0ms (0.1% of total)ival-asin: 20.0ms (0.1% of total)ival-expm1: 16.0ms (0.1% of total)ival-if: 14.0ms (0.1% of total)ival-fmod: 3.0ms (0% of total)ival-tanu: 2.0ms (0% of total)ival-fmax: 2.0ms (0% of total)ival-sinh: 2.0ms (0% of total)ival-cosh: 1.0ms (0% of total)ival-pi: 0.0ms (0% of total)| 357× | fuel |
| 185× | done |
Compiled 290 385 to 38 778 computations (86.6% saved)
1 calls:
| Time | Variable | Point |
|---|---|---|
| 2.4min | u1 | 0 |
Loading profile data...