Herbie run
| Date: | Monday, February 12th, 2024 |
|---|---|
| Commit: | 94ba31d2 on explanations-table |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024043 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 10.5min)
| 1.2min | 372409× | 256 | valid |
| 13.4s | 73192× | 256 | infinite |
| 5.9s | 10622× | 1024 | valid |
| 1.2min | 7730× | 8192 | exit |
| 2.6s | 7072× | 512 | valid |
| 718.0ms | 4752× | 256 | unsamplable |
| 3.8s | 4391× | 512 | infinite |
| 1.1s | 1834× | 2048 | valid |
| 628.0ms | 1032× | 4096 | valid |
| 193.0ms | 519× | 256 | invalid |
| 64.0ms | 61× | 1024 | infinite |
Compiled 49329 to 28930 computations (41.4% saved)
| 173499× | fma-define |
| 133129× | associate-*r* |
| 133099× | fma-neg |
| 111749× | associate-*l* |
| 104674× | log-prod |
| 13× | saturated |
| 317× | node limit |
| 11× | unsound |
Compiled 40276 to 24511 computations (39.1% saved)
Compiled 3487412 to 2327219 computations (33.3% saved)
| 219× | egg-herbie |
| 108244× | fma-define |
| 85747× | fma-neg |
| 76613× | log-prod |
| 72323× | associate-*r* |
| 68240× | *-commutative |
| 57× | saturated |
| 155× | node limit |
| 33× | fuel |
| 7× | unsound |
| 24× | done |
Compiled 10615 to 6663 computations (37.2% saved)
| 57× | egg-herbie |
| 51375× | fma-neg |
| 40847× | fma-define |
| 21621× | distribute-lft-in |
| 21336× | unsub-neg |
| 20835× | distribute-lft-neg-in |
| Operator | Subexpression | Explanation | Count |
|---|---|---|---|
pow.f64 | (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2)) | sensitivity | 1 |
/.f64 | #f | n/o | 94 |
sqrt.f64 | #f | oflow-rescue | 1204 |
/.f64 | #f | n/u | 10 |
/.f64 | #f | o/o | 649 |
sin.f64 | #f | sensitivity | 104 |
/.f64 | (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) | u/u | 62 |
| ↳ | (*.f64 (*.f64 i i) (*.f64 i i)) | underflow | 97 |
| ↳ | (*.f64 i i) | underflow | 122 |
| ↳ | (*.f64 (*.f64 2 i) (*.f64 2 i)) | underflow | 62 |
sqrt.f32 | #f | oflow-rescue | 189 |
log.f32 | (log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) 1)))) | sensitivity | 123 |
/.f64 | #f | u/n | 53 |
cos.f64 | (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))) | sensitivity | 177 |
log.f32 | #f | oflow-rescue | 3 |
*.f64 | #f | n*o | 35 |
sqrt.f64 | #f | uflow-rescue | 194 |
exp.f64 | (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))) | sensitivity | 1 |
+.f64 | #f | nan-rescue | 56 |
/.f64 | #f | o/n | 194 |
log.f64 | (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) | sensitivity | 120 |
-.f64 | #f | cancellation | 938 |
-.f64 | #f | nan-rescue | 108 |
+.f64 | #f | cancellation | 154 |
*.f64 | #f | n*u | 82 |
*.f64 | (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) | o*u | 7 |
| ↳ | (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2)) | overflow | 7 |
| ↳ | (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) | overflow | 7 |
| ↳ | (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2))) | underflow | 7 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 3587 | 21 |
| - | 418 | 10566 |
| 21× | saturated |
| 36× | node limit |
Compiled 46932 to 25712 computations (45.2% saved)
| 162× | batch-egg-rewrite |
| 108623× | log1p-expm1-u |
| 78508× | expm1-log1p-u |
| 57452× | prod-diff |
| 46133× | log-prod |
| 44213× | unpow-prod-down |
| 156× | node limit |
| 6× | unsound |
130 calls:
| 3.0s | y.re |
| 2.4s | y.im |
| 2.4s | x.re |
| 1.9s | x.im |
| 1.4s | x |
Compiled 6051 to 4080 computations (32.6% saved)
Compiled 142183 to 99659 computations (29.9% saved)
6609 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 226.0ms | base | @ | inf | (exp.f64 (neg.f64 (log.f64 (log.f64 base)))) |
| 203.0ms | y.im | @ | inf | (pow.f64 (hypot.f64 y.re y.im) -2) |
| 195.0ms | y.re | @ | 0 | (*.f64 y.re (log.f64 (/.f64 -1 x.im))) |
| 180.0ms | y.im | @ | -inf | (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re)) |
| 162.0ms | re | @ | 0 | (*.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)) |
| 317× | binary-search |
| 35× | left-value |
| 16× | predicate-same |
| 301× | narrow-enough |
| 6.3s | 28747× | 256 | valid |
| 819.0ms | 4532× | 256 | infinite |
| 1.2s | 1396× | 512 | infinite |
| 196.0ms | 658× | 512 | valid |
| 121.0ms | 358× | 1024 | valid |
| 194.0ms | 311× | 2048 | valid |
| 61.0ms | 52× | 1024 | infinite |
| 38.0ms | 26× | 4096 | valid |
Compiled 71411 to 48703 computations (31.8% saved)
| 58× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.3% | 13.7% | 0% | 0% | 0% | 0 |
| 55.6% | 48% | 38.3% | 13.7% | 0% | 0% | 0% | 1 |
| 64.1% | 54.2% | 30.4% | 13.7% | 0% | 1.7% | 0% | 2 |
| 72% | 59% | 23% | 13.7% | 0% | 4.3% | 0% | 3 |
| 77.8% | 62.3% | 17.8% | 13.7% | 0% | 6.2% | 0% | 4 |
| 83.7% | 67% | 13% | 13.7% | 0% | 6.3% | 0% | 5 |
| 85.9% | 68.4% | 11.2% | 13.7% | 0% | 6.6% | 0% | 6 |
| 88.3% | 70.3% | 9.3% | 13.7% | 0% | 6.6% | 0% | 7 |
| 90% | 71.6% | 8% | 13.7% | 0% | 6.8% | 0% | 8 |
| 91.2% | 72.5% | 7% | 13.7% | 0% | 6.8% | 0% | 9 |
| 92.6% | 73.6% | 5.9% | 13.7% | 0% | 6.8% | 0% | 10 |
| 94% | 74.7% | 4.8% | 13.7% | 0% | 6.8% | 0% | 11 |
| 94.5% | 75.1% | 4.4% | 13.7% | 0% | 6.9% | 0% | 12 |
Compiled 1558 to 1007 computations (35.4% saved)
Loading profile data...