Time bar (total: 9.0s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 12.5% | 87.4% | 0.1% | 5 |
| 18.7% | 81.1% | 0.1% | 6 |
| 21.8% | 71.8% | 6.4% | 7 |
| 31.2% | 62.4% | 6.4% | 8 |
| 35.9% | 55.4% | 8.7% | 9 |
| 37.8% | 48.8% | 13.4% | 10 |
| 42.7% | 42.3% | 15% | 11 |
| 47.7% | 34.2% | 18.1% | 12 |
| 49.1% | 30.4% | 20.5% | 13 |
| 51.9% | 25.8% | 22.3% | 14 |
Compiled 21 to 15 computations (28.6% saved)
| 741.0ms | 5377× | body | 128 | valid |
| 649.0ms | 1172× | body | 2048 | valid |
| 338.0ms | 735× | body | 1024 | valid |
| 261.0ms | 408× | body | 4096 | valid |
| 153.0ms | 1128× | body | 128 | invalid |
| 122.0ms | 367× | body | 512 | valid |
| 46.0ms | 197× | body | 256 | valid |
Compiled 62 to 44 computations (29% saved)
| 1× | egg-herbie |
| 754× | rules-20_binary64 |
| 594× | fma-neg_binary64 |
| 502× | rules-21_binary64 |
| 314× | rules-11_binary64 |
| 289× | rules-40_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 26 |
| 1 | 93 | 26 |
| 2 | 286 | 26 |
| 3 | 1121 | 24 |
| 4 | 3581 | 24 |
| 5 | 14 | 24 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| 33.1b | (*.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1/2 a)) | |
| ▶ | 33.1b | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a)) |
Compiled 114 to 76 computations (33.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a)) |
| ✓ | 1.2b | (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) |
| ✓ | 1.2b | (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) |
| ✓ | 22.0b | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) |
4 calls:
| 87.0ms | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a)) |
| 51.0ms | (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) |
| 42.0ms | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) |
| 10.0ms | (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) |
| 2× | batch-egg-rewrite |
| 283× | log1p-udef_binary64 |
| 168× | egg-rr |
| 158× | add-sqr-sqrt_binary64 |
| 154× | log1p-expm1-u_binary64 |
| 154× | expm1-log1p-u_binary64 |
4 calls:
| 93.0ms | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a)) |
| 93.0ms | (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) |
| 93.0ms | (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) |
| 93.0ms | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 74 |
| 1 | 368 | 74 |
| 2 | 4674 | 74 |
| 3 | 5003 | 74 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 426× | rules-21_binary64 |
| 290× | fma-neg_binary64 |
| 237× | rules-7-rev_binary64 |
| 212× | rules-40_binary64 |
| 212× | rules-41_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 121 | 2301 |
| 1 | 881 | 2220 |
| 2 | 4114 | 2220 |
| 3 | 5053 | 2220 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 225 | 10 | 235 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 226 | 11 | 237 |
| Status | Error | Program |
| 40.5b | (/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) 3/2))) (*.f64 2 a)) | |
| 33.5b | (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b))) (*.f64 a 2))) | |
| 34.8b | (/.f64 (*.f64 (neg.f64 b) (+.f64 1 (/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b)))) (*.f64 2 a)) | |
| 44.3b | (-.f64 (/.f64 c b) (/.f64 b a)) | |
| 44.1b | (*.f64 -1 (/.f64 b a)) | |
| 40.7b | (*.f64 -1 (/.f64 c b)) | |
| 33.6b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b)) (*.f64 a 2))) 3) | |
| ▶ | 33.1b | (*.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1/2 a)) |
| 33.4b | (/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) 1/4) 2)) (*.f64 2 a)) | |
| 40.2b | (/.f64 (+.f64 (neg.f64 b) (/.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) 3/2) (+.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) (+.f64 0 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) 0))))) (*.f64 2 a)) | |
| 56.8b | (/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a)) |
Compiled 6701 to 3680 computations (45.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (fma.f64 a (*.f64 c -4) (*.f64 b b)) |
| ✓ | 0.2b | (*.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1/2 a)) |
| ✓ | 1.2b | (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| ✓ | 22.0b | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
4 calls:
| 81.0ms | (*.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1/2 a)) |
| 51.0ms | (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| 41.0ms | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
| 11.0ms | (fma.f64 a (*.f64 c -4) (*.f64 b b)) |
| 2× | batch-egg-rewrite |
| 858× | prod-diff_binary64 |
| 202× | egg-rr |
| 143× | add-sqr-sqrt_binary64 |
| 136× | log1p-expm1-u_binary64 |
| 136× | expm1-log1p-u_binary64 |
4 calls:
| 102.0ms | (fma.f64 a (*.f64 c -4) (*.f64 b b)) |
| 102.0ms | (*.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1/2 a)) |
| 102.0ms | (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| 102.0ms | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 66 |
| 1 | 332 | 66 |
| 2 | 4056 | 66 |
| 3 | 5642 | 66 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 426× | rules-21_binary64 |
| 290× | fma-neg_binary64 |
| 237× | rules-7-rev_binary64 |
| 212× | rules-40_binary64 |
| 212× | rules-41_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 121 | 2301 |
| 1 | 881 | 2220 |
| 2 | 4114 | 2220 |
| 3 | 5053 | 2220 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 267 | 5 | 272 |
| Fresh | 2 | 8 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 270 | 13 | 283 |
| Status | Error | Program |
| 34.8b | (/.f64 (*.f64 (neg.f64 b) (+.f64 1 (/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b)))) (*.f64 2 a)) | |
| 33.6b | (/.f64 (/.f64 (*.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a)) | |
| 40.7b | (*.f64 -1 (/.f64 c b)) | |
| 36.0b | (*.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) (/.f64 1/2 a)) | |
| ▶ | 33.1b | (fma.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) (/.f64 1/2 a) 0) |
| 33.5b | (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b))) (*.f64 a 2))) | |
| 33.6b | (*.f64 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) (pow.f64 (cbrt.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) 2)) (/.f64 1/2 a)) | |
| 44.3b | (-.f64 (/.f64 c b) (/.f64 b a)) | |
| 44.1b | (*.f64 -1 (/.f64 b a)) | |
| 33.1b | (/.f64 1/2 (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) | |
| 33.6b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b)) (*.f64 a 2))) 3) | |
| 33.4b | (/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) 1/4) 2)) (*.f64 2 a)) | |
| 56.8b | (/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a)) |
Compiled 8672 to 5013 computations (42.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (fma.f64 a (*.f64 c -4) (*.f64 b b)) | |
| ✓ | 0.2b | (fma.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) (/.f64 1/2 a) 0) |
| ✓ | 1.2b | (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) |
| 22.0b | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
2 calls:
| 82.0ms | (fma.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) (/.f64 1/2 a) 0) |
| 51.0ms | (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) |
| 2× | batch-egg-rewrite |
| 598× | prod-diff_binary64 |
| 144× | add-sqr-sqrt_binary64 |
| 139× | log1p-expm1-u_binary64 |
| 139× | expm1-log1p-u_binary64 |
| 134× | add-cbrt-cube_binary64 |
2 calls:
| 76.0ms | (fma.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) (/.f64 1/2 a) 0) |
| 76.0ms | (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 43 |
| 1 | 346 | 42 |
| 2 | 3936 | 42 |
| 3 | 4982 | 42 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 679× | rules-20_binary64 |
| 564× | rules-21_binary64 |
| 230× | fma-neg_binary64 |
| 222× | rules-24-rev_binary64 |
| 193× | rules-7-rev_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 103 | 1335 |
| 1 | 754 | 1274 |
| 2 | 3535 | 1274 |
| 3 | 4765 | 1274 |
| 4 | 4845 | 1274 |
| 5 | 4808 | 1274 |
| 6 | 5085 | 1274 |
13 alts after pruning (12 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 247 | 1 | 248 |
| Fresh | 1 | 11 | 12 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 248 | 13 | 261 |
| Status | Error | Program |
| 34.8b | (/.f64 (*.f64 (neg.f64 b) (+.f64 1 (/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b)))) (*.f64 2 a)) | |
| 33.6b | (/.f64 (/.f64 (*.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a)) | |
| ✓ | 33.1b | (fma.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) (/.f64 1/2 a) 0) |
| 33.5b | (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b))) (*.f64 a 2))) | |
| 33.6b | (*.f64 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) (pow.f64 (cbrt.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) 2)) (/.f64 1/2 a)) | |
| 44.3b | (-.f64 (/.f64 c b) (/.f64 b a)) | |
| 44.1b | (*.f64 -1 (/.f64 b a)) | |
| 40.7b | (*.f64 -1 (/.f64 c b)) | |
| ▶ | 33.1b | (/.f64 1/2 (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) |
| 33.6b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b)) (*.f64 a 2))) 3) | |
| 48.3b | (exp.f64 (+.f64 (log.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) (log.f64 (/.f64 1/2 a)))) | |
| 33.4b | (/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) 1/4) 2)) (*.f64 2 a)) | |
| 56.8b | (/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a)) |
Compiled 7731 to 4516 computations (41.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) |
| ✓ | 0.2b | (/.f64 1/2 (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) |
| 1.2b | (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) | |
| 22.0b | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
2 calls:
| 216.0ms | (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) |
| 85.0ms | (/.f64 1/2 (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) |
| 2× | batch-egg-rewrite |
| 612× | prod-diff_binary64 |
| 142× | add-sqr-sqrt_binary64 |
| 135× | log1p-expm1-u_binary64 |
| 135× | expm1-log1p-u_binary64 |
| 132× | add-cbrt-cube_binary64 |
2 calls:
| 72.0ms | (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) |
| 72.0ms | (/.f64 1/2 (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 45 |
| 1 | 329 | 45 |
| 2 | 3966 | 45 |
| 3 | 5047 | 45 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 380× | rules-21_binary64 |
| 245× | fma-neg_binary64 |
| 238× | rules-16-rev_binary64 |
| 202× | rules-18_binary64 |
| 194× | rules-40_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 108 | 1284 |
| 1 | 790 | 1183 |
| 2 | 3732 | 1183 |
| 3 | 4999 | 1183 |
| 4 | 4924 | 1183 |
12 alts after pruning (10 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 215 | 2 | 217 |
| Fresh | 3 | 8 | 11 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 218 | 12 | 230 |
| Status | Error | Program |
| 40.7b | (/.f64 1/2 (*.f64 1/2 (-.f64 (/.f64 a b) (/.f64 b c)))) | |
| 48.3b | (exp.f64 (+.f64 (log.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) (log.f64 (/.f64 1/2 a)))) | |
| ✓ | 33.1b | (fma.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) (/.f64 1/2 a) 0) |
| 33.5b | (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (neg.f64 b))) (*.f64 a 2))) | |
| 33.6b | (/.f64 (/.f64 (*.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a)) | |
| 33.6b | (*.f64 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) (pow.f64 (cbrt.f64 (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))) 2)) (/.f64 1/2 a)) | |
| 44.3b | (-.f64 (/.f64 c b) (/.f64 b a)) | |
| 44.1b | (*.f64 -1 (/.f64 b a)) | |
| 40.7b | (*.f64 -1 (/.f64 c b)) | |
| ✓ | 33.1b | (/.f64 1/2 (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b)))) |
| 33.6b | (pow.f64 (cbrt.f64 (/.f64 1/2 (/.f64 a (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (neg.f64 b))))) 3) | |
| 33.4b | (/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))) 1/4) 2)) (*.f64 2 a)) |
Compiled 5650 to 3286 computations (41.8% saved)
Total 4.4b remaining (44%)
Threshold costs 0b (0%)
Compiled 18548 to 12866 computations (30.6% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 1.901565658296121e-67 | 1.68094319869498e-53 | 2.7919095286000728e-58 |
| 6 | -4.337663542347003e+121 | -2.705837089243012e+119 | -3.996635431194612e+121 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 59 |
| 1 | 29 | 59 |
Compiled 329 to 220 computations (33.1% saved)
Loading profile data...