Herbie run
| Date: | Wednesday, July 2nd, 2025 |
|---|---|
| Commit: | 39713cb6 on main |
| Seed: | 2025183 |
| 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: | 115 898.4 MB |
Time bar (total: 1.5min)
| 20.4s | 21 221× | 5 | exit |
| 7.3s | 109 849× | 0 | valid |
| 6.7s | 39 275× | 1 | valid |
| 4.7s | 16 051× | 2 | valid |
| 635.0ms | 5 802× | 0 | invalid |
| 168.0ms | 1 168× | 1 | exit |
| 132.0ms | 1 366× | 0 | exit |
Compiled 352 to 312 computations (11.4% saved)
ival-exp: 7.7s (23.1% of total)ival-cos: 4.9s (14.7% of total)adjust: 3.8s (11.4% of total)ival-pow: 3.5s (10.6% of total)ival-log: 2.0s (5.9% of total)ival-sqrt: 1.6s (4.8% of total)ival-tan: 1.6s (4.7% of total)ival-mult!: 1.5s (4.5% of total)ival-fmod: 1.2s (3.7% of total)ival-sinh: 1.2s (3.6% of total)ival-div!: 749.0ms (2.3% of total)ival-sin: 727.0ms (2.2% of total)ival-sub!: 665.0ms (2.0% of total)ival-pow2: 629.0ms (1.9% of total)ival-acos: 611.0ms (1.8% of total)ival-add!: 333.0ms (1.0% of total)ival-neg: 220.0ms (0.7% of total)ival-hypot: 167.0ms (0.5% of total)ival-atan: 88.0ms (0.3% of total)ival-<=: 72.0ms (0.2% of total)ival-and: 31.0ms (0.1% of total)ival-or: 13.0ms (0.0% of total)ival-assert: 3.0ms (0.0% of total)ival->: 2.0ms (0.0% of total)ival-<: 2.0ms (0.0% of total)| 143× | iter-limit |
| 63× | node-limit |
| 4× | unsound |
| 3× | saturated |
Compiled 1 658 383 to 236 544 computations (85.7% saved)
53 calls:
| 966.0ms | x |
| 722.0ms | a |
| 448.0ms | (tan.f64 a) |
| 427.0ms | z |
| 416.0ms | (+.f64 y z) |
Compiled 30 763 to 7 499 computations (75.6% saved)
| 67× | iter-limit |
| 1× | saturated |
36 calls:
| Time | Variable | Point |
|---|---|---|
| 478.0ms | c | 0 |
| 264.0ms | x | -inf |
| 252.0ms | x | inf |
| 150.0ms | x | 0 |
| 112.0ms | w | inf |
Compiled 71 501 to 47 651 computations (33.4% saved)
| 19× | node-limit |
| 1× | saturated |
Compiled 16 570 to 8 345 computations (49.6% saved)
| 20× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 73.7% | 26.3% | 0.0% | 0.0% | 0.0% | 0 |
| 28.8% | 21.3% | 52.5% | 26.3% | 0.0% | 0.0% | 0.0% | 1 |
| 44.1% | 32.5% | 41.2% | 26.3% | 0.0% | 0.0% | 0.0% | 2 |
| 52.6% | 38.7% | 35.0% | 26.3% | 0.0% | 0.0% | 0.0% | 3 |
| 61.9% | 45.6% | 28.1% | 26.3% | 0.0% | 0.0% | 0.0% | 4 |
| 65.2% | 47.5% | 25.3% | 26.3% | 0.0% | 0.9% | 0.0% | 5 |
| 66.8% | 48.4% | 24.0% | 26.3% | 0.0% | 1.2% | 0.0% | 6 |
| 71.1% | 51.1% | 20.8% | 26.3% | 0.0% | 1.9% | 0.0% | 7 |
| 72.1% | 51.6% | 20.0% | 26.3% | 0.0% | 2.1% | 0.0% | 8 |
| 74.4% | 53.0% | 18.2% | 26.3% | 0.0% | 2.5% | 0.0% | 9 |
| 75.8% | 53.9% | 17.2% | 26.3% | 0.0% | 2.6% | 0.0% | 10 |
| 76.6% | 54.3% | 16.6% | 26.3% | 0.0% | 2.8% | 0.0% | 11 |
| 77.3% | 54.8% | 16.1% | 26.3% | 0.0% | 2.9% | 0.0% | 12 |
Compiled 279 to 216 computations (22.6% saved)
| 11× | fuel |
| 9× | done |
Compiled 3 331 to 869 computations (73.9% saved)
| 24× | binary-search |
| 14× | left-value |
| 21× | narrow-enough |
| 3× | predicate-same |
| 176.0ms | 740× | 1 | valid |
| 103.0ms | 1 505× | 0 | valid |
| 17.0ms | 43× | 2 | valid |
Compiled 10 665 to 6 897 computations (35.3% saved)
ival-tan: 72.0ms (30.8% of total)ival-cos: 39.0ms (16.7% of total)adjust: 26.0ms (11.1% of total)ival-sin: 24.0ms (10.3% of total)ival-exp: 16.0ms (6.8% of total)ival-mult!: 13.0ms (5.6% of total)ival-pow: 12.0ms (5.1% of total)ival-add!: 7.0ms (3.0% of total)ival-fmod: 7.0ms (3.0% of total)ival-pow2: 6.0ms (2.6% of total)ival-div!: 4.0ms (1.7% of total)ival-neg: 4.0ms (1.7% of total)ival-sqrt: 2.0ms (0.9% of total)ival-sub!: 2.0ms (0.9% of total)Loading profile data...