Herbie run
| Date: | Saturday, February 1st, 2025 |
|---|---|
| Commit: | 9a9c65da on really-crazy-encodings |
| Seed: | 2025032 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
| Memory: | 70 579.2 MB |
Time bar (total: 1.1min)
| 21.6s | 284 668× | 0 | valid |
| 10.4s | 44 192× | 1 | valid |
| 6.1s | 17 441× | 2 | valid |
| 307.0ms | 4 090× | 0 | invalid |
| 228.0ms | 202× | 5 | exit |
| 185.0ms | 451× | 3 | valid |
| 129.0ms | 998× | 0 | exit |
ival-mult: 6.9s (23.9% of total)ival-add: 3.7s (12.8% of total)adjust: 3.5s (12.1% of total)ival-pow: 3.3s (11.6% of total)ival-div: 2.7s (9.5% of total)ival-sub: 2.3s (7.9% of total)ival-sin: 1.6s (5.6% of total)ival-cos: 1.2s (4.2% of total)const: 896.0ms (3.1% of total)ival-sqrt: 591.0ms (2% of total)ival-exp: 456.0ms (1.6% of total)ival-log1p: 360.0ms (1.2% of total)ival-neg: 327.0ms (1.1% of total)exact: 261.0ms (0.9% of total)ival-pow2: 244.0ms (0.8% of total)ival-assert: 116.0ms (0.4% of total)ival-atan: 69.0ms (0.2% of total)ival-expm1: 67.0ms (0.2% of total)ival-tan: 53.0ms (0.2% of total)ival-==: 43.0ms (0.1% of total)ival-pi: 37.0ms (0.1% of total)ival-hypot: 25.0ms (0.1% of total)ival-<=: 11.0ms (0% of total)ival-if: 10.0ms (0% of total)ival-true: 10.0ms (0% of total)ival-and: 9.0ms (0% of total)ival-fabs: 5.0ms (0% of total)ival-<: 1.0ms (0% of total)| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 1284 | 4 |
+.f64 | #f | cancellation | 371 | 79 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 211 | 0 |
sqrt.f64 | #f | oflow-rescue | 206 | 0 |
/.f64 | #f | o/o | 177 | 0 |
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) x)) | sensitivity | 168 | 1 |
/.f64 | #f | n/o | 160 | 0 |
pow.f64 | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | sensitivity | 128 | 0 |
-.f64 | #f | nan-rescue | 90 | 0 |
/.f64 | #f | u/n | 89 | 0 |
/.f64 | #f | u/u | 51 | 0 |
/.f64 | #f | n/u | 50 | 0 |
+.f64 | #f | nan-rescue | 47 | 0 |
*.f64 | #f | n*u | 32 | 0 |
/.f64 | #f | o/n | 31 | 0 |
*.f64 | #f | n*o | 23 | 0 |
pow.f64 | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | oflow-rescue | 9 | 0 |
| ↳ | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | overflow | 39 | |
| ↳ | (/.f64 i n) | overflow | 9 | |
| ↳ | (+.f64 #s(literal 1 binary64) (/.f64 i n)) | overflow | 9 | |
sqrt.f64 | #f | uflow-rescue | 8 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 3851 | 192 |
| - | 109 | 6600 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 3851 | 134 | 58 |
| - | 109 | 206 | 6394 |
| number | freq |
|---|---|
| 0 | 6792 |
| 1 | 3544 |
| 2 | 382 |
| 3 | 34 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 30 | 1 | 0 |
| - | 2 | 0 | 9 |
| 1.4s | 16 382× | 0 | valid |
| 1.0s | 3 672× | 1 | valid |
| 513.0ms | 1 396× | 2 | valid |
| 45.0ms | 54× | 3 | valid |
Compiled 7 535 to 1 486 computations (80.3% saved)
ival-mult: 568.0ms (27.5% of total)adjust: 389.0ms (18.8% of total)ival-add: 245.0ms (11.9% of total)ival-pow: 190.0ms (9.2% of total)ival-div: 189.0ms (9.2% of total)ival-sub: 146.0ms (7.1% of total)ival-sin: 79.0ms (3.8% of total)ival-cos: 75.0ms (3.6% of total)const: 40.0ms (1.9% of total)ival-exp: 27.0ms (1.3% of total)ival-sqrt: 20.0ms (1% of total)ival-pow2: 18.0ms (0.9% of total)ival-true: 18.0ms (0.9% of total)exact: 18.0ms (0.9% of total)ival-neg: 15.0ms (0.7% of total)ival-assert: 8.0ms (0.4% of total)ival-atan: 7.0ms (0.3% of total)ival-log1p: 5.0ms (0.2% of total)ival-tan: 3.0ms (0.1% of total)ival-expm1: 3.0ms (0.1% of total)ival-pi: 2.0ms (0.1% of total)| 69× | saturated |
| 57× | node limit |
| 42× | iter limit |
| 43× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 54.5% | 45.5% | 0% | 0% | 0% | 0 |
| 21.4% | 11.7% | 42.9% | 45.5% | 0% | 0% | 0% | 1 |
| 37.4% | 20.4% | 34.1% | 45.5% | 0% | 0% | 0% | 2 |
| 48.7% | 26.2% | 27.7% | 45.5% | 0% | 0.6% | 0% | 3 |
| 57.7% | 30.7% | 22.6% | 45.5% | 0% | 1.2% | 0% | 4 |
| 71.2% | 37.7% | 15.3% | 45.5% | 0% | 1.6% | 0% | 5 |
| 72.9% | 38.4% | 14.3% | 45.5% | 0% | 1.8% | 0% | 6 |
| 77.9% | 40.7% | 11.6% | 45.5% | 0% | 2.2% | 0% | 7 |
| 81.5% | 42.6% | 9.7% | 45.5% | 0% | 2.3% | 0% | 8 |
| 84.1% | 43.8% | 8.3% | 45.5% | 0% | 2.5% | 0% | 9 |
| 86.2% | 44.6% | 7.2% | 45.5% | 0% | 2.7% | 0% | 10 |
| 88.2% | 45.6% | 6.1% | 45.5% | 0% | 2.8% | 0% | 11 |
| 89.1% | 45.9% | 5.6% | 45.5% | 0% | 2.9% | 0% | 12 |
Compiled 1 402 to 721 computations (48.6% saved)
Loading profile data...