Herbie run
| Date: | Thursday, July 3rd, 2025 |
|---|---|
| Commit: | 1cb743ce on fl-generator |
| Seed: | 2025184 |
| 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:evaluate default |
| Memory: | 1 265 735.3 MB |
Time bar (total: 14.4min)
| 2.5min | 2 145 492× | 0 | valid |
| 22.5s | 69 477× | 1 | valid |
| 7.3s | 64 403× | 0 | invalid |
| 1.3s | 5 950× | 2 | valid |
| 716.0ms | 1 124× | 5 | exit |
| 450.0ms | 1 754× | 1 | invalid |
| 221.0ms | 696× | 3 | valid |
| 170.0ms | 412× | 4 | exit |
| 2.0ms | 21× | 1 | exit |
Compiled 3 866 to 3 526 computations (8.8% saved)
ival-mult!: 31.4s (31.7% of total)ival-div!: 12.2s (12.3% of total)ival-add!: 10.7s (10.8% of total)ival-sub!: 10.4s (10.5% of total)ival-log: 8.0s (8.1% of total)adjust: 7.0s (7.1% of total)ival-sqrt: 5.0s (5.1% of total)ival-sin: 4.3s (4.4% of total)ival-cosh: 3.7s (3.7% of total)ival-cos: 3.0s (3.0% of total)ival-exp: 2.0s (2.0% of total)ival-acos: 236.0ms (0.2% of total)ival-tan: 221.0ms (0.2% of total)ival-sinh: 218.0ms (0.2% of total)ival-fabs: 203.0ms (0.2% of total)ival-hypot: 195.0ms (0.2% of total)ival-tanh: 127.0ms (0.1% of total)const: 0.0ms (0.0% of total)| 1 890× | iter-limit |
| 943× | node-limit |
| 13× | saturated |
| 1× | unsound |
Compiled 20 582 727 to 2 494 701 computations (87.9% saved)
507 calls:
| 10.5s | y |
| 9.5s | x |
| 9.4s | z |
| 4.8s | t |
| 3.2s | (-.f64 b #s(literal 1/2 binary64)) |
Compiled 238 224 to 88 949 computations (62.7% saved)
| 948× | iter-limit |
48 calls:
| Time | Variable | Point |
|---|---|---|
| 6.2s | y | 0 |
| 5.6s | x | 0 |
| 4.3s | x | -inf |
| 4.2s | y | -inf |
| 4.0s | y | inf |
| 255× | node-limit |
| 14× | saturated |
Compiled 356 509 to 123 640 computations (65.3% saved)
Compiled 530 716 to 374 939 computations (29.4% saved)
| 1 672× | binary-search |
| 811× | left-value |
| 1 617× | narrow-enough |
| 55× | predicate-same |
| 12.2s | 125 062× | 0 | valid |
| 1.1s | 4 299× | 1 | valid |
| 60.0ms | 270× | 2 | valid |
| 3.0ms | 17× | 3 | valid |
Compiled 1 025 206 to 719 908 computations (29.8% saved)
ival-mult!: 3.8s (48.3% of total)ival-sub!: 1.1s (13.6% of total)ival-add!: 774.0ms (9.8% of total)ival-div!: 692.0ms (8.7% of total)ival-log: 438.0ms (5.5% of total)adjust: 301.0ms (3.8% of total)ival-sqrt: 273.0ms (3.4% of total)ival-sin: 239.0ms (3.0% of total)ival-cos: 169.0ms (2.1% of total)ival-exp: 118.0ms (1.5% of total)ival-tanh: 13.0ms (0.2% of total)ival-fabs: 4.0ms (0.1% of total)ival-cosh: 2.0ms (0.0% of total)| 158× | fuel |
| 111× | done |
Compiled 140 840 to 17 066 computations (87.9% saved)
| 269× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 99.9% | 0.1% | 0.0% | 0.0% | 0.0% | 0 |
| 46.8% | 46.8% | 53.1% | 0.1% | 0.0% | 0.0% | 0.0% | 1 |
| 50.5% | 50.1% | 49.2% | 0.1% | 0.0% | 0.6% | 0.0% | 2 |
| 58.6% | 57.0% | 40.3% | 0.1% | 0.0% | 2.6% | 0.0% | 3 |
| 65.2% | 62.7% | 33.5% | 0.1% | 0.0% | 3.6% | 0.0% | 4 |
| 71.2% | 68.2% | 27.5% | 0.1% | 0.0% | 4.1% | 0.0% | 5 |
| 75.9% | 72.3% | 23.0% | 0.1% | 0.0% | 4.6% | 0.0% | 6 |
| 79.8% | 75.6% | 19.1% | 0.1% | 0.0% | 5.1% | 0.0% | 7 |
| 81.7% | 77.0% | 17.3% | 0.1% | 0.0% | 5.6% | 0.0% | 8 |
| 84.3% | 79.3% | 14.7% | 0.1% | 0.0% | 5.9% | 0.0% | 9 |
| 85.9% | 80.5% | 13.2% | 0.1% | 0.0% | 6.2% | 0.0% | 10 |
| 88.5% | 82.8% | 10.8% | 0.1% | 0.0% | 6.2% | 0.0% | 11 |
| 89.6% | 83.6% | 9.8% | 0.1% | 0.0% | 6.5% | 0.0% | 12 |
Compiled 3 462 to 2 977 computations (14.0% saved)
Loading profile data...