Time bar (total: 10.5s)
| 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 |
| 25% | 74.9% | 0.1% | 5 |
| 25% | 74.9% | 0.1% | 6 |
| 25% | 68.6% | 6.4% | 7 |
| 31.2% | 62.4% | 6.4% | 8 |
| 36.7% | 54.6% | 8.7% | 9 |
| 38.2% | 48.4% | 13.4% | 10 |
| 42.7% | 42.3% | 15% | 11 |
| 47.8% | 34.1% | 18.1% | 12 |
| 49.1% | 30.3% | 20.5% | 13 |
| 51.9% | 25.8% | 22.3% | 14 |
Compiled 21 to 15 computations (28.6% saved)
| 699.0ms | 5328× | body | 128 | valid |
| 591.0ms | 1145× | body | 2048 | valid |
| 320.0ms | 786× | body | 1024 | valid |
| 270.0ms | 431× | body | 4096 | valid |
| 125.0ms | 1015× | body | 128 | invalid |
| 118.0ms | 377× | body | 512 | valid |
| 40.0ms | 189× | body | 256 | valid |
Compiled 62 to 44 computations (29% saved)
| 1× | egg-herbie |
| 1968× | fma-neg_binary64 |
| 1363× | fma-def_binary64 |
| 898× | div-sub_binary64 |
| 743× | associate-/l*_binary64 |
| 567× | times-frac_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 26 |
| 1 | 30 | 22 |
| 2 | 64 | 22 |
| 3 | 135 | 22 |
| 4 | 201 | 22 |
| 5 | 335 | 22 |
| 6 | 554 | 22 |
| 7 | 929 | 22 |
| 8 | 1477 | 22 |
| 9 | 2115 | 22 |
| 10 | 2599 | 22 |
| 11 | 2554 | 22 |
| 12 | 2602 | 22 |
| 13 | 2671 | 22 |
| 14 | 3117 | 22 |
| 15 | 2327 | 22 |
| 16 | 2375 | 22 |
| 17 | 2383 | 22 |
| 18 | 2389 | 22 |
| 19 | 2395 | 22 |
| 20 | 2397 | 22 |
| 21 | 2397 | 22 |
| 22 | 2585 | 22 |
| 23 | 2685 | 22 |
| 24 | 2619 | 22 |
| 25 | 2631 | 22 |
| 26 | 2661 | 22 |
| 27 | 2677 | 22 |
| 28 | 2707 | 22 |
| 29 | 2707 | 22 |
| 30 | 2751 | 22 |
| 31 | 2851 | 22 |
| 32 | 2827 | 22 |
| 33 | 2827 | 22 |
| 34 | 2638 | 22 |
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 |
| 34.1b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)) | |
| ▶ | 34.0b | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))) (*.f64 3 a)) |
Compiled 111 to 74 computations (33.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (*.f64 (*.f64 3 a) c) |
| ✓ | 0.4b | (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) |
| ✓ | 1.2b | (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))) |
| ✓ | 20.7b | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) |
4 calls:
| 59.0ms | (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))) |
| 44.0ms | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) |
| 11.0ms | (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) |
| 4.0ms | (*.f64 (*.f64 3 a) c) |
| 2× | batch-egg-rewrite |
| 270× | egg-rr |
2 calls:
| 113.0ms | ((sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))) (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 (*.f64 3 a) c)) |
| 0.0ms | () |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 55 |
| 1 | 270 | 47 |
| 2 | 3245 | 47 |
| 3 | 4976 | 47 |
| 4 | 4950 | 47 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 458× | times-frac_binary64 |
| 447× | unswap-sqr_binary64 |
| 283× | associate-*r*_binary64 |
| 278× | associate-/l*_binary64 |
| 258× | associate-/r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 89 | 1820 |
| 1 | 272 | 1752 |
| 2 | 830 | 1726 |
| 3 | 4167 | 1726 |
| 4 | 4976 | 1726 |
15 alts after pruning (15 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 307 | 14 | 321 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 308 | 15 | 323 |
| Status | Error | Program |
| 35.0b | (/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)))) (*.f64 3 a)) | |
| 45.9b | (/.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (*.f64 3 a)) | |
| 43.8b | (/.f64 (/.f64 (-.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)) (*.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b))))) (*.f64 3 a)) | |
| 57.5b | (/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a)) | |
| 46.3b | (/.f64 (/.f64 1 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)))) (+.f64 (fma.f64 b b (*.f64 b b)) (*.f64 (*.f64 3 a) c)))) (*.f64 3 a)) | |
| ▶ | 34.1b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)) |
| 54.0b | (/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)))) (*.f64 3 a)) | |
| 45.7b | (/.f64 (*.f64 -2 b) (*.f64 3 a)) | |
| 48.3b | (/.f64 (fma.f64 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)) -9/8 (*.f64 (/.f64 (*.f64 c a) b) -3/2)) (*.f64 3 a)) | |
| 34.8b | (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b))) 3))) (*.f64 3 a)) | |
| 34.9b | (/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)) 1/4) 2)) (*.f64 3 a)) | |
| 45.8b | (/.f64 (fma.f64 b 1 (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)))) (*.f64 3 a)) | |
| 46.9b | (/.f64 (exp.f64 (log.f64 (+.f64 b (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)))))) (*.f64 3 a)) | |
| 46.0b | (/.f64 (*.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b))))) (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b))))) 2)) (*.f64 3 a)) | |
| 55.3b | (/.f64 (fma.f64 (/.f64 (*.f64 c a) b) -3/2 (fma.f64 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)) -9/8 (*.f64 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) -27/16))) (*.f64 3 a)) |
Compiled 10187 to 5590 computations (45.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)) |
| ✓ | 0.4b | (/.f64 1/3 a) |
| ✓ | 1.2b | (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) |
| ✓ | 20.7b | (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) |
4 calls:
| 88.0ms | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)) |
| 54.0ms | (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) |
| 43.0ms | (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) |
| 2.0ms | (/.f64 1/3 a) |
| 2× | batch-egg-rewrite |
| 159× | egg-rr |
2 calls:
| 79.0ms | ((sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a) (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))) |
| 0.0ms | () |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 55 |
| 1 | 280 | 55 |
| 2 | 3406 | 55 |
| 3 | 5118 | 55 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 766× | times-frac_binary64 |
| 487× | associate-/l*_binary64 |
| 405× | associate-/r*_binary64 |
| 391× | fma-def_binary64 |
| 368× | fma-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 134 | 1923 |
| 1 | 420 | 1901 |
| 2 | 1372 | 1860 |
| 3 | 4965 | 1854 |
| 4 | 5172 | 1854 |
15 alts after pruning (14 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 215 | 11 | 226 |
| Fresh | 11 | 3 | 14 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 226 | 15 | 241 |
| Status | Error | Program |
| 45.3b | (*.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b)))) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a)) | |
| 42.6b | (fma.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b))) | |
| 35.0b | (/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)))) (*.f64 3 a)) | |
| 38.9b | (*.f64 -1/2 (/.f64 c b)) | |
| 34.1b | (/.f64 (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) 1/3) a) | |
| 43.8b | (/.f64 (/.f64 (-.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)) (*.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b))))) (*.f64 3 a)) | |
| 34.4b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3)) | |
| 46.0b | (fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3)) | |
| 58.6b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3)) | |
| 45.7b | (*.f64 -2/3 (/.f64 b a)) | |
| 34.1b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (*.f64 1/3 (/.f64 1 a))) | |
| 43.6b | (*.f64 1/3 (/.f64 (sqrt.f64 (neg.f64 (*.f64 3 (*.f64 c a)))) a)) | |
| ▶ | 34.1b | (/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (*.f64 a 3)) |
| ✓ | 34.1b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)) |
| 45.7b | (/.f64 (*.f64 -2 b) (*.f64 3 a)) |
Compiled 6476 to 3831 computations (40.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (fma.f64 a (*.f64 c -3) (*.f64 b b)) |
| ✓ | 0.2b | (/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (*.f64 a 3)) |
| 1.2b | (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) | |
| 20.7b | (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) |
2 calls:
| 89.0ms | (/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (*.f64 a 3)) |
| 11.0ms | (fma.f64 a (*.f64 c -3) (*.f64 b b)) |
| 2× | batch-egg-rewrite |
| 88× | egg-rr |
2 calls:
| 99.0ms | ((/.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (*.f64 a 3)) (fma.f64 a (*.f64 c -3) (*.f64 b b))) |
| 0.0ms | () |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 33 |
| 1 | 280 | 33 |
| 2 | 3611 | 32 |
| 3 | 4983 | 32 |
| 4 | 4899 | 32 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 834× | fma-neg_binary64 |
| 432× | times-frac_binary64 |
| 355× | unswap-sqr_binary64 |
| 261× | associate-/l*_binary64 |
| 249× | associate-*r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 76 | 1075 |
| 1 | 240 | 1013 |
| 2 | 754 | 998 |
| 3 | 3783 | 991 |
| 4 | 5266 | 991 |
13 alts after pruning (12 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 254 | 2 | 256 |
| Fresh | 3 | 10 | 13 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 258 | 13 | 271 |
| Status | Error | Program |
| 43.8b | (/.f64 (/.f64 (-.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)) (*.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b))))) (*.f64 3 a)) | |
| 34.4b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3)) | |
| 46.0b | (fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3)) | |
| ▶ | 33.2b | (*.f64 (/.f64 1 a) (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) 3)) |
| 58.6b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3)) | |
| 45.7b | (*.f64 -2/3 (/.f64 b a)) | |
| 34.1b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (*.f64 1/3 (/.f64 1 a))) | |
| 43.6b | (*.f64 1/3 (/.f64 (sqrt.f64 (neg.f64 (*.f64 3 (*.f64 c a)))) a)) | |
| 42.6b | (fma.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b))) | |
| 38.9b | (*.f64 -1/2 (/.f64 c b)) | |
| 35.8b | (fma.f64 1/3 (/.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) a) (neg.f64 (/.f64 b (*.f64 a 3)))) | |
| ✓ | 34.1b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)) |
| 45.7b | (/.f64 (*.f64 -2 b) (*.f64 3 a)) |
Compiled 7037 to 4335 computations (38.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (*.f64 a (*.f64 c -3)) |
| ✓ | 0.2b | (*.f64 (/.f64 1 a) (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) 3)) |
| ✓ | 0.8b | (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) |
| ✓ | 13.5b | (sqrt.f64 (*.f64 a (*.f64 c -3))) |
4 calls:
| 281.0ms | (*.f64 (/.f64 1 a) (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) 3)) |
| 166.0ms | (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) |
| 21.0ms | (sqrt.f64 (*.f64 a (*.f64 c -3))) |
| 5.0ms | (*.f64 a (*.f64 c -3)) |
| 2× | batch-egg-rewrite |
| 144× | egg-rr |
2 calls:
| 81.0ms | ((sqrt.f64 (*.f64 a (*.f64 c -3))) (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) (*.f64 (/.f64 1 a) (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) 3)) (*.f64 a (*.f64 c -3))) |
| 0.0ms | () |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 52 |
| 1 | 326 | 52 |
| 2 | 3983 | 52 |
| 3 | 5164 | 52 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 720× | times-frac_binary64 |
| 647× | fma-neg_binary64 |
| 388× | associate-/l*_binary64 |
| 338× | associate-/r*_binary64 |
| 286× | associate-*r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 106 | 1172 |
| 1 | 326 | 1086 |
| 2 | 1013 | 1029 |
| 3 | 4948 | 1029 |
| 4 | 5399 | 1029 |
13 alts after pruning (11 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 187 | 3 | 190 |
| Fresh | 3 | 8 | 11 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 190 | 13 | 203 |
| Status | Error | Program |
| 35.8b | (fma.f64 1/3 (/.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) a) (neg.f64 (/.f64 b (*.f64 a 3)))) | |
| 33.6b | (/.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) 3)) 2) (/.f64 a (cbrt.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) 3)))) | |
| 43.8b | (/.f64 (/.f64 (-.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b)) (*.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (*.f64 a c) (*.f64 b b))))) (*.f64 3 a)) | |
| 34.4b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3)) | |
| 46.0b | (fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3)) | |
| ✓ | 33.2b | (*.f64 (/.f64 1 a) (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) 3)) |
| 42.6b | (fma.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b))) | |
| 38.9b | (*.f64 -1/2 (/.f64 c b)) | |
| 43.6b | (*.f64 (/.f64 1 a) (/.f64 (sqrt.f64 (*.f64 -3 (*.f64 c a))) 3)) | |
| ✓ | 34.1b | (*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)) |
| 45.7b | (*.f64 -2/3 (/.f64 b a)) | |
| 48.0b | (*.f64 (/.f64 1 a) (/.f64 (-.f64 (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -3)))) b) 3)) | |
| 45.7b | (/.f64 (*.f64 -2 b) (*.f64 3 a)) |
Compiled 4733 to 3159 computations (33.3% saved)
Total 7.0b remaining (70.6%)
Threshold costs 0b (0%)
Compiled 27042 to 18878 computations (30.2% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 4.3912144638503513e-72 | 8.26668635655845e-71 | 2.865150196435242e-71 |
| 6 | -3.999369888062522e+98 | -4.985389729246998e+97 | -3.9352038855422006e+98 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 10× | *-commutative_binary64 |
| 9× | +-commutative_binary64 |
| 8× | sub-neg_binary64 |
| 7× | neg-sub0_binary64 |
| 7× | neg-mul-1_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 27 | 57 |
| 1 | 41 | 55 |
| 2 | 57 | 55 |
| 3 | 75 | 55 |
| 4 | 85 | 55 |
| 5 | 90 | 55 |
| 6 | 91 | 55 |
| 7 | 89 | 55 |
Compiled 317 to 220 computations (30.6% saved)
Loading profile data...