Time bar (total: 8.7s)
| 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)
| 1× | intervals |
| 20.0ms | 175× | body | 128 | valid |
| 17.0ms | 30× | body | 2048 | valid |
| 10.0ms | 23× | body | 1024 | valid |
| 8.0ms | 11× | body | 4096 | valid |
| 3.0ms | 29× | body | 128 | nan |
| 3.0ms | 9× | body | 512 | valid |
| 2.0ms | 8× | body | 256 | valid |
| 1.0ms | 11× | body | 128 | invalid |
Compiled 44 to 32 computations (27.3% saved)
| 1× | egg-herbie |
| 2079× | fma-neg_binary64 |
| 1006× | fma-def_binary64 |
| 919× | div-sub_binary64 |
| 626× | distribute-rgt-in_binary64 |
| 435× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 26 |
| 1 | 38 | 24 |
| 2 | 95 | 24 |
| 3 | 227 | 22 |
| 4 | 357 | 22 |
| 5 | 614 | 22 |
| 6 | 1103 | 22 |
| 7 | 1373 | 22 |
| 8 | 1636 | 22 |
| 9 | 2330 | 22 |
| 10 | 3187 | 22 |
| 11 | 2880 | 22 |
| 12 | 2827 | 22 |
| 13 | 2896 | 22 |
| 14 | 2922 | 22 |
| 15 | 3797 | 22 |
| 16 | 4824 | 22 |
| 17 | 5240 | 22 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
| Status | Error | Program |
| ▶ | 32.4b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) |
Compiled 54 to 36 computations (33.3% saved)
Found 4 expressions with local error:
| 0.0b | (fma.f64 a (*.f64 c -4) (*.f64 b b)) |
| 0.1b | (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a) |
| 0.9b | (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| 21.6b | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
| 1× | rewrite-expression-head |
| 25× | *-un-lft-identity_binary64 |
| 16× | add-sqr-sqrt_binary64 |
| 15× | add-cube-cbrt_binary64 |
| 12× | times-frac_binary64 |
| 6× | add-cbrt-cube_binary64 |
4 calls:
| 10.0ms | (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a) |
| 8.0ms | (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| 2.0ms | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
| 1.0ms | (fma.f64 a (*.f64 c -4) (*.f64 b b)) |
Compiled 1782 to 979 computations (45.1% saved)
4 calls:
| 48.0ms | (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a) |
| 42.0ms | (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| 37.0ms | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
| 26.0ms | (fma.f64 a (*.f64 c -4) (*.f64 b b)) |
Compiled 3315 to 2387 computations (28% saved)
| 1× | egg-herbie |
| 710× | times-frac_binary64 |
| 442× | associate-/l*_binary64 |
| 430× | associate-/r*_binary64 |
| 353× | fma-def_binary64 |
| 175× | fma-neg_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 184 | 3090 |
| 1 | 464 | 2911 |
| 2 | 1317 | 2783 |
| 3 | 4847 | 2783 |
| 4 | 4988 | 2783 |
15 alts after pruning (15 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 114 | 15 | 129 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 115 | 15 | 130 |
| Status | Error | Program |
| 48.4b | (*.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) a) 3))) | |
| 43.2b | (*.f64 -1/2 (/.f64 (*.f64 b 2) a)) | |
| 43.3b | (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) | |
| 50.9b | (*.f64 -1/2 (/.f64 (*.f64 2 (fma.f64 (/.f64 c b) a (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)))) a)) | |
| 50.1b | (*.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (*.f64 4 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) | |
| ▶ | 31.7b | (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))) |
| 32.8b | (*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) a)) | |
| 33.7b | (*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (*.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))) a)) | |
| 44.4b | (*.f64 -1/2 (/.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) a)) | |
| 46.6b | (*.f64 -1/2 (*.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)))) | |
| 57.9b | (*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a)) | |
| 49.8b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (*.f64 b b))) a)) | |
| 36.3b | (*.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))) a)) | |
| 32.2b | (*.f64 -1/2 (*.f64 (*.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) a))) | |
| 32.4b | (*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (sqrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) (sqrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))) a)) |
Compiled 2421 to 1557 computations (35.7% saved)
Found 4 expressions with local error:
| 0.1b | (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) |
| 0.2b | (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))) |
| 0.5b | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) |
| 13.1b | (sqrt.f64 (*.f64 c (*.f64 a -4))) |
| 1× | rewrite-expression-head |
| 114× | times-frac_binary64 |
| 99× | *-un-lft-identity_binary64 |
| 65× | add-sqr-sqrt_binary64 |
| 65× | add-cube-cbrt_binary64 |
| 22× | associate-/r*_binary64 |
4 calls:
| 8.0ms | (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))) |
| 4.0ms | (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) |
| 3.0ms | (sqrt.f64 (*.f64 c (*.f64 a -4))) |
| 3.0ms | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) |
Compiled 4311 to 2956 computations (31.4% saved)
4 calls:
| 80.0ms | (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) |
| 69.0ms | (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))) |
| 54.0ms | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) |
| 10.0ms | (sqrt.f64 (*.f64 c (*.f64 a -4))) |
Compiled 3355 to 2535 computations (24.4% saved)
| 1× | egg-herbie |
| 471× | associate-*l/_binary64 |
| 410× | associate-*r/_binary64 |
| 393× | associate-/r/_binary64 |
| 312× | fma-def_binary64 |
| 277× | fma-neg_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 253 | 6039 |
| 1 | 572 | 5542 |
| 2 | 1851 | 5398 |
| 3 | 4719 | 5398 |
| 4 | 4946 | 5398 |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 176 | 6 | 182 |
| Fresh | 8 | 6 | 14 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 185 | 12 | 197 |
| Status | Error | Program |
| 48.4b | (*.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) a) 3))) | |
| 43.2b | (*.f64 -1/2 (/.f64 (*.f64 b 2) a)) | |
| 42.2b | (*.f64 -1/2 (*.f64 -1/2 (/.f64 (*.f64 c -4) b))) | |
| 49.8b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (*.f64 b b))) a)) | |
| 31.7b | (*.f64 -1/2 (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) | |
| 32.8b | (*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) a)) | |
| 31.7b | (*.f64 -1/2 (pow.f64 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) -1)) | |
| ▶ | 31.6b | (*.f64 -1/2 (*.f64 1 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) a))) |
| 43.3b | (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) | |
| 50.1b | (*.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (*.f64 4 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) | |
| 36.2b | (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) 3))))))) | |
| 42.1b | (*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (*.f64 (/.f64 b (*.f64 c -4)) -2)))) |
Compiled 3256 to 2049 computations (37.1% saved)
Found 4 expressions with local error:
| 0.0b | (*.f64 -4 (*.f64 c a)) |
| 0.1b | (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) a) |
| 0.5b | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) |
| 13.1b | (sqrt.f64 (*.f64 -4 (*.f64 c a))) |
| 1× | rewrite-expression-head |
| 25× | *-un-lft-identity_binary64 |
| 15× | add-sqr-sqrt_binary64 |
| 15× | add-cube-cbrt_binary64 |
| 15× | pow1_binary64 |
| 12× | times-frac_binary64 |
4 calls:
| 4.0ms | (*.f64 -4 (*.f64 c a)) |
| 4.0ms | (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) a) |
| 3.0ms | (sqrt.f64 (*.f64 -4 (*.f64 c a))) |
| 3.0ms | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) |
Compiled 1886 to 1178 computations (37.5% saved)
4 calls:
| 70.0ms | (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) a) |
| 52.0ms | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) |
| 10.0ms | (sqrt.f64 (*.f64 -4 (*.f64 c a))) |
| 10.0ms | (*.f64 -4 (*.f64 c a)) |
Compiled 2517 to 1911 computations (24.1% saved)
| 1× | egg-herbie |
| 729× | associate-*l*_binary64 |
| 678× | associate-/l*_binary64 |
| 551× | associate-/r*_binary64 |
| 219× | fma-def_binary64 |
| 179× | associate-*l/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 199 | 2467 |
| 1 | 468 | 2293 |
| 2 | 1356 | 2231 |
| 3 | 5074 | 2231 |
12 alts after pruning (11 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 46 | 1 | 47 |
| Fresh | 1 | 10 | 11 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 47 | 12 | 59 |
| Status | Error | Program |
| 42.2b | (*.f64 -1/2 (*.f64 -1/2 (/.f64 (*.f64 c -4) b))) | |
| 49.8b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (*.f64 b b))) a)) | |
| ▶ | 31.7b | (*.f64 -1/2 (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) |
| 32.8b | (*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) a)) | |
| 31.7b | (*.f64 -1/2 (pow.f64 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) -1)) | |
| 43.2b | (*.f64 -1/2 (/.f64 (*.f64 b 2) a)) | |
| 31.8b | (*.f64 -1/2 (*.f64 1 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 -4) (cbrt.f64 -4)) (*.f64 (*.f64 c a) (cbrt.f64 -4)))))) a))) | |
| ✓ | 31.6b | (*.f64 -1/2 (*.f64 1 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) a))) |
| 43.3b | (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) | |
| 50.1b | (*.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (*.f64 4 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) | |
| 36.2b | (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) 3))))))) | |
| 42.1b | (*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (*.f64 (/.f64 b (*.f64 c -4)) -2)))) |
Compiled 1172 to 791 computations (32.5% saved)
Found 4 expressions with local error:
| 0.0b | (*.f64 -4 (*.f64 c a)) |
| 0.2b | (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a)))))) |
| 0.5b | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) |
| 13.1b | (sqrt.f64 (*.f64 -4 (*.f64 c a))) |
| 1× | rewrite-expression-head |
| 21× | add-sqr-sqrt_binary64 |
| 19× | *-un-lft-identity_binary64 |
| 18× | add-exp-log_binary64 |
| 17× | pow1_binary64 |
| 16× | associate-*l*_binary64 |
4 calls:
| 9.0ms | (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a)))))) |
| 4.0ms | (*.f64 -4 (*.f64 c a)) |
| 3.0ms | (sqrt.f64 (*.f64 -4 (*.f64 c a))) |
| 2.0ms | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) |
Compiled 2145 to 1363 computations (36.5% saved)
4 calls:
| 65.0ms | (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a)))))) |
| 53.0ms | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) |
| 11.0ms | (*.f64 -4 (*.f64 c a)) |
| 11.0ms | (sqrt.f64 (*.f64 -4 (*.f64 c a))) |
Compiled 2465 to 1855 computations (24.7% saved)
| 1× | egg-herbie |
| 747× | associate-/l*_binary64 |
| 633× | associate-/r*_binary64 |
| 341× | fma-def_binary64 |
| 242× | distribute-rgt-in_binary64 |
| 234× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 211 | 2612 |
| 1 | 549 | 2371 |
| 2 | 1647 | 2311 |
| 3 | 5205 | 2311 |
12 alts after pruning (10 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 80 | 0 | 80 |
| Fresh | 0 | 10 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 80 | 12 | 92 |
| Status | Error | Program |
| 42.2b | (*.f64 -1/2 (*.f64 -1/2 (/.f64 (*.f64 c -4) b))) | |
| 49.8b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (*.f64 b b))) a)) | |
| 31.7b | (*.f64 -1/2 (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) | |
| 32.8b | (*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) a)) | |
| 31.7b | (*.f64 -1/2 (pow.f64 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) -1)) | |
| 43.2b | (*.f64 -1/2 (/.f64 (*.f64 b 2) a)) | |
| 31.8b | (*.f64 -1/2 (*.f64 1 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 -4) (cbrt.f64 -4)) (*.f64 (*.f64 c a) (cbrt.f64 -4)))))) a))) | |
| 31.6b | (*.f64 -1/2 (*.f64 1 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))) a))) | |
| 43.3b | (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) | |
| 50.1b | (*.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (*.f64 4 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))) | |
| 36.2b | (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) 3))))))) | |
| 42.1b | (*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (*.f64 (/.f64 b (*.f64 c -4)) -2)))) |
Compiled 1549 to 975 computations (37.1% saved)
Total 4.6b remaining (44.8%)
Threshold costs 0b (0%)
Compiled 16208 to 11358 computations (29.9% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 5.747738448649357e+78 | 2.1698839341732341e+99 | 8.470534450340484e+97 |
| 8 | -8.635924748638075e-49 | -1.5289181739433208e-52 | -2.5636004990570266e-52 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 8× | *-commutative_binary64 |
| 2× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 59 |
| 1 | 39 | 59 |
| 2 | 39 | 59 |
Compiled 43 to 31 computations (27.9% saved)
| 1× | intervals |
| 350.0ms | 5210× | body | 128 | valid |
| 347.0ms | 1109× | body | 2048 | valid |
| 180.0ms | 729× | body | 1024 | valid |
| 151.0ms | 405× | body | 4096 | valid |
| 65.0ms | 372× | body | 512 | valid |
| 41.0ms | 683× | body | 128 | nan |
| 23.0ms | 370× | body | 128 | invalid |
| 21.0ms | 175× | body | 256 | valid |
Compiled 302 to 223 computations (26.2% saved)
Loading profile data...