Herbie run
| Date: | Thursday, July 31st, 2025 |
|---|---|
| Commit: | 5c38500b 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: | 196 275.4 MB |
Time bar (total: 2.4min)
| 24.8s | 44 565× | 2 | valid |
| 17.0s | 97 145× | 1 | valid |
| 16.3s | 144 859× | 0 | invalid |
| 10.1s | 6 028× | 5 | exit |
| 5.8s | 85 993× | 0 | valid |
| 2.7s | 3 563× | 3 | valid |
| 279.0ms | 4 252× | 0 | exit |
| 159.0ms | 1 064× | 1 | exit |
| 117.0ms | 127× | 4 | exit |
| 6.0ms | 2× | 3 | exit |
| 3.0ms | 1× | 2 | exit |
| 2.0ms | 2× | 4 | valid |
Compiled 611 to 586 computations (4.1% saved)
ival-tan: 12.3s (19.4% of total)ival-pow: 10.9s (17.1% of total)adjust: 6.8s (10.8% of total)ival-mult!: 4.5s (7.1% of total)ival-cos: 4.2s (6.7% of total)ival-sin: 3.5s (5.6% of total)ival-div!: 3.3s (5.2% of total)ival-log: 3.2s (5.1% of total)ival-exp: 2.1s (3.4% of total)ival-sub!: 2.1s (3.3% of total)ival-add!: 2.0s (3.2% of total)ival-expm1: 1.9s (3.0% of total)ival-fabs: 1.6s (2.6% of total)ival-sqrt: 1.2s (1.9% of total)ival-log1p: 1.2s (1.9% of total)ival-<: 557.0ms (0.9% of total)ival-<=: 433.0ms (0.7% of total)ival-atan: 410.0ms (0.6% of total)ival-neg: 327.0ms (0.5% of total)ival-and: 320.0ms (0.5% of total)ival-cbrt: 317.0ms (0.5% of total)ival-fmin: 66.0ms (0.1% of total)ival-assert: 63.0ms (0.1% of total)ival->: 2.0ms (0.0% of total)exact: 0.0ms (0.0% of total)| 214× | iter-limit |
| 107× | node-limit |
Compiled 2 334 487 to 375 508 computations (83.9% saved)
| 107× | iter-limit |
24 calls:
| Time | Variable | Point |
|---|---|---|
| 784.0ms | n | inf |
| 565.0ms | x | 0 |
| 548.0ms | x | -inf |
| 471.0ms | x | inf |
| 289.0ms | n | 0 |
Compiled 43 887 to 30 235 computations (31.1% saved)
43 calls:
| 784.0ms | x |
| 319.0ms | eps |
| 212.0ms | (/.f64 #s(literal 1 binary64) n) |
| 154.0ms | b |
| 138.0ms | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
Compiled 19 406 to 6 506 computations (66.5% saved)
| 28× | node-limit |
Compiled 6 418 to 3 103 computations (51.7% saved)
| 22× | fuel |
| 6× | done |
Compiled 3 528 to 1 176 computations (66.7% saved)
| 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)
| 81× | binary-search |
| 40× | left-value |
| 81× | narrow-enough |
| 280.0ms | 3 676× | 0 | valid |
| 189.0ms | 964× | 2 | valid |
| 158.0ms | 991× | 1 | valid |
| 68.0ms | 241× | 3 | valid |
Compiled 12 349 to 13 352 computations (-8.1% saved)
ival-mult!: 106.0ms (20.2% of total)ival-pow: 75.0ms (14.3% of total)adjust: 70.0ms (13.3% of total)ival-sqrt: 67.0ms (12.8% of total)ival-cos: 62.0ms (11.8% of total)ival-div!: 49.0ms (9.3% of total)ival-sub!: 42.0ms (8.0% of total)ival-neg: 37.0ms (7.0% of total)ival-add!: 13.0ms (2.5% of total)ival-atan: 4.0ms (0.8% of total)ival-expm1: 1.0ms (0.2% of total)Loading profile data...