Herbie run
| Date: | Thursday, July 31st, 2025 |
|---|---|
| Commit: | c647ca5a on no-recurse-on-approx-spec |
| Seed: | 2025212 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicgenerate:rrgenerate:taylorgenerate:proofsgenerate:evaluate default |
| Memory: | 195 706.5 MB |
Time bar (total: 2.4min)
| 26.0s | 44 565× | 2 | valid |
| 16.4s | 97 145× | 1 | valid |
| 14.4s | 144 859× | 0 | invalid |
| 10.2s | 6 028× | 5 | exit |
| 6.1s | 85 994× | 0 | valid |
| 2.9s | 3 563× | 3 | valid |
| 317.0ms | 4 252× | 0 | exit |
| 177.0ms | 1 064× | 1 | exit |
| 100.0ms | 127× | 4 | exit |
| 7.0ms | 2× | 3 | exit |
| 2.0ms | 1× | 2 | exit |
| 2.0ms | 2× | 4 | valid |
Compiled 687 to 605 computations (11.9% saved)
ival-tan: 12.6s (20.1% of total)ival-pow: 10.8s (17.3% of total)adjust: 7.0s (11.2% of total)ival-cos: 4.1s (6.5% of total)ival-mult!: 3.7s (5.9% of total)ival-div!: 3.2s (5.1% of total)ival-log: 3.1s (5.0% of total)ival-sin: 3.1s (5.0% of total)ival-exp: 2.7s (4.4% of total)ival-sub!: 2.2s (3.5% of total)ival-add!: 2.1s (3.3% of total)ival-expm1: 1.7s (2.6% of total)ival-fabs: 1.4s (2.2% of total)ival-sqrt: 1.3s (2.1% of total)ival-log1p: 1.2s (1.8% of total)ival-<: 545.0ms (0.9% of total)ival-atan: 388.0ms (0.6% of total)ival-<=: 367.0ms (0.6% of total)ival-and: 304.0ms (0.5% of total)ival-neg: 297.0ms (0.5% of total)ival-cbrt: 285.0ms (0.5% of total)ival-fmin: 148.0ms (0.2% of total)ival-assert: 63.0ms (0.1% of total)ival->: 1.0ms (0.0% of total)exact: 0.0ms (0.0% of total)| 215× | iter-limit |
| 108× | node-limit |
| 1× | saturated |
Compiled 2 341 290 to 375 404 computations (84.0% saved)
| 107× | iter-limit |
| 1× | saturated |
24 calls:
| Time | Variable | Point |
|---|---|---|
| 637.0ms | n | inf |
| 544.0ms | x | 0 |
| 489.0ms | x | -inf |
| 479.0ms | x | inf |
| 461.0ms | a | inf |
43 calls:
| 812.0ms | x |
| 414.0ms | eps |
| 238.0ms | (/.f64 #s(literal 1 binary64) n) |
| 153.0ms | b |
| 150.0ms | b_2 |
Compiled 19 138 to 6 560 computations (65.7% saved)
Compiled 43 609 to 30 090 computations (31.0% saved)
| 28× | node-limit |
Compiled 6 113 to 2 993 computations (51.0% saved)
| 22× | fuel |
| 6× | done |
Compiled 3 435 to 1 162 computations (66.2% saved)
| 77× | binary-search |
| 40× | left-value |
| 77× | narrow-enough |
| 271.0ms | 3 443× | 0 | valid |
| 208.0ms | 852× | 2 | valid |
| 143.0ms | 910× | 1 | valid |
| 62.0ms | 187× | 3 | valid |
Compiled 11 545 to 12 728 computations (-10.2% saved)
ival-mult!: 108.0ms (21.1% of total)ival-sqrt: 87.0ms (17.0% of total)ival-div!: 86.0ms (16.8% of total)ival-pow: 67.0ms (13.1% of total)adjust: 66.0ms (12.9% of total)ival-sub!: 31.0ms (6.1% of total)ival-neg: 27.0ms (5.3% of total)ival-cos: 21.0ms (4.1% of total)ival-add!: 12.0ms (2.3% of total)ival-atan: 4.0ms (0.8% of total)ival-expm1: 2.0ms (0.4% of total)| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 61.1% | 38.9% | 0.0% | 0.0% | 0.0% | 0 |
| 7.4% | 4.5% | 56.6% | 38.9% | 0.0% | 0.0% | 0.0% | 1 |
| 22.3% | 13.6% | 47.5% | 38.9% | 0.0% | 0.0% | 0.0% | 2 |
| 40.2% | 23.5% | 34.9% | 38.9% | 0.0% | 2.7% | 0.0% | 3 |
| 53.4% | 31.1% | 27.2% | 38.9% | 0.0% | 2.8% | 0.0% | 4 |
| 63.0% | 36.3% | 21.3% | 38.9% | 0.0% | 3.6% | 0.0% | 5 |
| 65.9% | 37.5% | 19.4% | 38.9% | 0.0% | 4.2% | 0.0% | 6 |
| 70.4% | 38.8% | 16.3% | 38.9% | 0.0% | 6.0% | 0.0% | 7 |
| 73.6% | 40.2% | 14.4% | 38.9% | 0.0% | 6.5% | 0.0% | 8 |
| 76.3% | 40.9% | 12.7% | 38.9% | 0.0% | 7.5% | 0.0% | 9 |
| 78.4% | 41.4% | 11.4% | 38.9% | 0.0% | 8.3% | 0.0% | 10 |
| 81.1% | 42.4% | 9.9% | 38.9% | 0.0% | 8.8% | 0.0% | 11 |
| 82.3% | 42.7% | 9.2% | 38.9% | 0.0% | 9.3% | 0.0% | 12 |
Compiled 483 to 337 computations (30.2% saved)
Loading profile data...