Herbie run
| Date: | Thursday, July 31st, 2025 |
|---|---|
| Commit: | 5057d169 on main |
| 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: | 1 408 343.9 MB |
Time bar (total: 14.5min)
| 2.6min | 2 145 428× | 0 | valid |
| 17.5s | 69 461× | 1 | valid |
| 7.6s | 63 899× | 0 | invalid |
| 1.5s | 6 007× | 2 | valid |
| 637.0ms | 1 208× | 5 | exit |
| 356.0ms | 1 887× | 1 | invalid |
| 221.0ms | 715× | 3 | valid |
| 203.0ms | 407× | 4 | exit |
| 2.0ms | 16× | 1 | exit |
| 1.0ms | 4× | 4 | valid |
Compiled 3 754 to 3 541 computations (5.7% saved)
ival-mult!: 31.6s (35.0% of total)ival-div!: 11.3s (12.5% of total)ival-sub!: 10.8s (11.9% of total)ival-add!: 9.0s (10.0% of total)ival-log: 8.0s (8.8% of total)ival-sin: 5.0s (5.5% of total)ival-sqrt: 4.7s (5.2% of total)adjust: 3.8s (4.2% of total)ival-cos: 2.8s (3.1% of total)ival-exp: 2.0s (2.3% of total)ival-tan: 333.0ms (0.4% of total)ival-cosh: 260.0ms (0.3% of total)ival-fabs: 207.0ms (0.2% of total)ival-hypot: 188.0ms (0.2% of total)ival-sinh: 181.0ms (0.2% of total)ival-acos: 168.0ms (0.2% of total)ival-tanh: 98.0ms (0.1% of total)const: 0.0ms (0.0% of total)| 1 900× | iter-limit |
| 949× | node-limit |
| 10× | saturated |
Compiled 20 266 478 to 2 494 690 computations (87.7% saved)
| 953× | iter-limit |
48 calls:
| Time | Variable | Point |
|---|---|---|
| 7.2s | x | 0 |
| 4.9s | z | -inf |
| 4.3s | y | -inf |
| 3.8s | x | inf |
| 3.7s | y | 0 |
508 calls:
| 12.5s | x |
| 9.3s | y |
| 6.6s | z |
| 4.4s | t |
| 3.2s | a |
Compiled 241 328 to 88 375 computations (63.4% saved)
| 255× | node-limit |
| 14× | saturated |
Compiled 331 614 to 114 712 computations (65.4% saved)
Compiled 519 041 to 367 077 computations (29.3% saved)
| 157× | fuel |
| 112× | done |
Compiled 130 873 to 17 073 computations (87.0% saved)
| 1 594× | binary-search |
| 829× | left-value |
| 1 549× | narrow-enough |
| 45× | predicate-same |
| 12.0s | 120 082× | 0 | valid |
| 727.0ms | 3 253× | 1 | valid |
| 40.0ms | 285× | 2 | valid |
| 4.0ms | 28× | 3 | valid |
Compiled 858 127 to 627 714 computations (26.9% saved)
ival-mult!: 3.7s (53.4% of total)ival-sub!: 995.0ms (14.5% of total)ival-add!: 577.0ms (8.4% of total)ival-div!: 547.0ms (8.0% of total)ival-log: 370.0ms (5.4% of total)ival-sin: 190.0ms (2.8% of total)adjust: 168.0ms (2.5% of total)ival-cos: 156.0ms (2.3% of total)ival-exp: 95.0ms (1.4% of total)ival-sqrt: 74.0ms (1.1% of total)ival-tanh: 13.0ms (0.2% of total)ival-fabs: 3.0ms (0.0% of total)ival-sinh: 1.0ms (0.0% of total)| 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...