Time bar (total: 17.3s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.6% | 0.4% | 0 |
| 0% | 99.6% | 0.4% | 1 |
| 0% | 99.6% | 0.4% | 2 |
| 0% | 99.6% | 0.4% | 3 |
| 0% | 99.6% | 0.4% | 4 |
| 0% | 99.6% | 0.4% | 5 |
| 0% | 99.6% | 0.4% | 6 |
| 0% | 99.6% | 0.4% | 7 |
| 0% | 99.6% | 0.4% | 8 |
| 0% | 99.6% | 0.4% | 9 |
| 0% | 99.6% | 0.4% | 10 |
| 0% | 99.6% | 0.4% | 11 |
| 0% | 99.6% | 0.4% | 12 |
| 0% | 99.6% | 0.4% | 13 |
| 0% | 99.6% | 0.4% | 14 |
Compiled 39 to 24 computations (38.5% saved)
| 2.1s | 11259× | body | 128 | invalid |
| 1.5s | 8256× | body | 128 | valid |
Compiled 116 to 71 computations (38.8% saved)
| 1× | egg-herbie |
| 486× | fma-neg_binary64 |
| 408× | sub-neg_binary64 |
| 353× | unsub-neg_binary64 |
| 284× | fma-def_binary64 |
| 258× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 43 |
| 1 | 59 | 41 |
| 2 | 155 | 41 |
| 3 | 548 | 39 |
| 4 | 1926 | 39 |
| 5 | 4455 | 39 |
| 1× | node limit |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 15.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) |
Compiled 137 to 74 computations (46% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (*.f64 y z) (*.f64 t a)) |
| ✓ | 4.9b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) |
| ✓ | 5.8b | (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))) |
| ✓ | 6.7b | (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))) |
4 calls:
| 99.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) |
| 64.0ms | (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))) |
| 20.0ms | (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))) |
| 8.0ms | (-.f64 (*.f64 y z) (*.f64 t a)) |
| 1× | batch-egg-rewrite |
| 238× | add-sqr-sqrt_binary64 |
| 219× | log1p-expm1-u_binary64 |
| 219× | expm1-log1p-u_binary64 |
| 218× | add-cbrt-cube_binary64 |
| 216× | add-exp-log_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 88 |
| 1 | 462 | 78 |
| 1× | node limit |
4 calls:
| 39.0ms | (-.f64 (*.f64 y z) (*.f64 t a)) |
| 39.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) |
| 39.0ms | (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))) |
| 39.0ms | (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))) |
| 1× | egg-herbie |
| 870× | fma-neg_binary64 |
| 391× | sub-neg_binary64 |
| 371× | associate--l+_binary64 |
| 329× | cancel-sign-sub-inv_binary64 |
| 199× | distribute-rgt-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 171 | 7694 |
| 1 | 674 | 7597 |
| 2 | 1541 | 7516 |
| 3 | 2950 | 7105 |
| 1× | node limit |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 196 | 9 | 205 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 196 | 10 | 206 |
| Status | Error | Program |
| 44.4b | (*.f64 (-.f64 (*.f64 y x) (*.f64 c b)) z) | |
| 29.5b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 i (-.f64 (*.f64 a b) (*.f64 j y)))) | |
| 45.1b | (pow.f64 (sqrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z c (*.f64 i a)) (*.f64 j (fma.f64 i y (*.f64 t c)))))) 2) | |
| 12.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 i (*.f64 a b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) | |
| 21.3b | (fma.f64 x (+.f64 (fma.f64 y z (neg.f64 (*.f64 (cbrt.f64 (*.f64 t a)) (cbrt.f64 (pow.f64 (*.f64 t a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 t a))) (cbrt.f64 (pow.f64 (*.f64 t a) 2)) (*.f64 (cbrt.f64 (*.f64 t a)) (cbrt.f64 (pow.f64 (*.f64 t a) 2))))) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) | |
| ▶ | 11.9b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) |
| 13.1b | (-.f64 (+.f64 (*.f64 a (*.f64 i b)) (+.f64 (*.f64 c (*.f64 t j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 a (*.f64 t x))))) | |
| 45.8b | (*.f64 t (-.f64 (*.f64 c j) (*.f64 a x))) | |
| 32.8b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (pow.f64 (cbrt.f64 (fma.f64 b (fma.f64 z c (*.f64 i a)) (*.f64 j (fma.f64 i y (*.f64 t c))))) 3)) | |
| ✓ | 15.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) |
Compiled 6731 to 1293 computations (80.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (*.f64 y x) (*.f64 c b)) |
| ✓ | 4.1b | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))) |
| ✓ | 4.7b | (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))) |
| ✓ | 6.7b | (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) |
4 calls:
| 55.0ms | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))) |
| 20.0ms | (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))) |
| 19.0ms | (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) |
| 8.0ms | (-.f64 (*.f64 y x) (*.f64 c b)) |
| 1× | batch-egg-rewrite |
| 255× | add-sqr-sqrt_binary64 |
| 240× | log1p-expm1-u_binary64 |
| 240× | expm1-log1p-u_binary64 |
| 239× | add-cbrt-cube_binary64 |
| 234× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 62 |
| 1 | 499 | 62 |
| 1× | node limit |
4 calls:
| 38.0ms | (-.f64 (*.f64 y x) (*.f64 c b)) |
| 38.0ms | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))) |
| 38.0ms | (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))) |
| 38.0ms | (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) |
| 1× | egg-herbie |
| 1699× | fma-neg_binary64 |
| 805× | fma-def_binary64 |
| 339× | sub-neg_binary64 |
| 262× | unsub-neg_binary64 |
| 235× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 87 | 3877 |
| 1 | 296 | 3788 |
| 2 | 702 | 3716 |
| 3 | 1542 | 3572 |
| 4 | 3002 | 3572 |
| 5 | 3980 | 3572 |
| 6 | 4382 | 3572 |
| 7 | 4599 | 3572 |
| 8 | 4675 | 3572 |
| 9 | 4687 | 3572 |
| 10 | 4689 | 3572 |
| 11 | 4799 | 3572 |
| 12 | 4843 | 3572 |
| 13 | 4843 | 3572 |
| 1× | node limit |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 137 | 3 | 140 |
| Fresh | 4 | 4 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 142 | 8 | 150 |
| Status | Error | Program |
| ▶ | 12.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 i (*.f64 a b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| 21.5b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 t (*.f64 x (neg.f64 a))))) | |
| 45.1b | (pow.f64 (sqrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z c (*.f64 i a)) (*.f64 j (fma.f64 i y (*.f64 t c)))))) 2) | |
| 13.1b | (-.f64 (+.f64 (*.f64 a (*.f64 i b)) (+.f64 (*.f64 c (*.f64 t j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 a (*.f64 t x))))) | |
| 45.8b | (*.f64 t (-.f64 (*.f64 c j) (*.f64 a x))) | |
| 24.8b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (/.f64 (-.f64 (pow.f64 (*.f64 y x) 2) (pow.f64 (*.f64 c b) 2)) (fma.f64 y x (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) | |
| 12.5b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) 3)) | |
| ✓ | 15.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) |
Compiled 4949 to 1022 computations (79.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 4.4b | (*.f64 i (*.f64 a b)) |
| ✓ | 4.9b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 i (*.f64 a b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| ✓ | 5.6b | (*.f64 i (*.f64 y j)) |
| ✓ | 6.9b | (*.f64 c (*.f64 t j)) |
4 calls:
| 103.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 i (*.f64 a b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| 10.0ms | (*.f64 i (*.f64 a b)) |
| 9.0ms | (*.f64 c (*.f64 t j)) |
| 8.0ms | (*.f64 i (*.f64 y j)) |
| 1× | batch-egg-rewrite |
| 272× | log1p-expm1-u_binary64 |
| 272× | expm1-log1p-u_binary64 |
| 271× | add-cbrt-cube_binary64 |
| 264× | add-log-exp_binary64 |
| 263× | add-cube-cbrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 64 |
| 1 | 560 | 64 |
| 1× | node limit |
4 calls:
| 35.0ms | (*.f64 i (*.f64 a b)) |
| 35.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 i (*.f64 a b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| 35.0ms | (*.f64 i (*.f64 y j)) |
| 35.0ms | (*.f64 c (*.f64 t j)) |
| 1× | egg-herbie |
| 752× | fma-neg_binary64 |
| 740× | fma-def_binary64 |
| 414× | cancel-sign-sub-inv_binary64 |
| 350× | associate--l+_binary64 |
| 325× | sub-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 119 | 4292 |
| 1 | 440 | 4292 |
| 2 | 1230 | 4202 |
| 3 | 3320 | 4013 |
| 1× | node limit |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 109 | 2 | 111 |
| Fresh | 3 | 3 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 112 | 7 | 119 |
| Status | Error | Program |
| 29.0b | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 b c)) (*.f64 t (-.f64 (*.f64 j c) (*.f64 a x)))) | |
| ▶ | 12.5b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) 3)) |
| ✓ | 12.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 i (*.f64 a b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| 13.1b | (-.f64 (+.f64 (*.f64 a (*.f64 i b)) (+.f64 (*.f64 c (*.f64 t j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 a (*.f64 t x))))) | |
| 35.0b | (pow.f64 (sqrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (fma.f64 i (*.f64 a b) (*.f64 (*.f64 c t) j)) (fma.f64 c (*.f64 z b) (*.f64 i (*.f64 j y)))))) 2) | |
| 24.8b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (/.f64 (-.f64 (pow.f64 (*.f64 y x) 2) (pow.f64 (*.f64 c b) 2)) (fma.f64 y x (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) | |
| ✓ | 15.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) |
Compiled 3432 to 721 computations (79% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 1.8b | (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) |
| ✓ | 4.1b | (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))) |
| 4.7b | (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))) | |
| 6.7b | (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) |
2 calls:
| 126.0ms | (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) |
| 54.0ms | (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))) |
| 1× | batch-egg-rewrite |
| 196× | add-sqr-sqrt_binary64 |
| 181× | add-cbrt-cube_binary64 |
| 181× | log1p-expm1-u_binary64 |
| 181× | expm1-log1p-u_binary64 |
| 178× | add-exp-log_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 54 |
| 1 | 382 | 50 |
| 1× | node limit |
2 calls:
| 38.0ms | (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) |
| 38.0ms | (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))) |
| 1× | egg-herbie |
| 589× | *-commutative_binary64 |
| 471× | fma-def_binary64 |
| 308× | sub-neg_binary64 |
| 253× | fma-neg_binary64 |
| 203× | +-commutative_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 500 | 9679 |
| 1 | 1836 | 8723 |
| 2 | 4487 | 8723 |
| 1× | node limit |
8 alts after pruning (5 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 198 | 1 | 199 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 198 | 8 | 206 |
| Status | Error | Program |
| 29.0b | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 b c)) (*.f64 t (-.f64 (*.f64 j c) (*.f64 a x)))) | |
| ✓ | 12.5b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) 3)) |
| ✓ | 12.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 i (*.f64 a b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| 13.1b | (-.f64 (+.f64 (*.f64 a (*.f64 i b)) (+.f64 (*.f64 c (*.f64 t j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 a (*.f64 t x))))) | |
| 35.0b | (pow.f64 (sqrt.f64 (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (fma.f64 i (*.f64 a b) (*.f64 (*.f64 c t) j)) (fma.f64 c (*.f64 z b) (*.f64 i (*.f64 j y)))))) 2) | |
| 24.8b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (/.f64 (-.f64 (pow.f64 (*.f64 y x) 2) (pow.f64 (*.f64 c b) 2)) (fma.f64 y x (*.f64 c b))) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x))))) | |
| 39.2b | (+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 z (fma.f64 y x (*.f64 c b)) (*.f64 a (-.f64 (*.f64 b i) (*.f64 x t)))) 2)) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 z (fma.f64 y x (*.f64 c b)) (*.f64 a (-.f64 (*.f64 b i) (*.f64 x t))))))) 3)) | |
| ✓ | 15.0b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))) |
Compiled 13446 to 4261 computations (68.3% saved)
Total 2.7b remaining (96.9%)
Threshold costs 0b (0%)
Compiled 79756 to 49898 computations (37.4% saved)
Compiled 38 to 23 computations (39.5% saved)
| 1× | egg-herbie |
| 226× | distribute-rgt-neg-in_binary64 |
| 200× | cancel-sign-sub-inv_binary64 |
| 150× | distribute-lft-neg-in_binary64 |
| 145× | neg-sub0_binary64 |
| 145× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 65 | 231 |
| 1 | 135 | 231 |
| 2 | 204 | 231 |
| 3 | 253 | 231 |
| 4 | 320 | 231 |
| 5 | 365 | 231 |
| 6 | 418 | 231 |
| 7 | 544 | 231 |
| 8 | 668 | 231 |
| 9 | 789 | 231 |
| 10 | 948 | 231 |
| 11 | 1172 | 231 |
| 12 | 1391 | 231 |
| 13 | 1571 | 231 |
| 14 | 1667 | 231 |
| 15 | 1715 | 231 |
| 16 | 1733 | 231 |
| 17 | 1737 | 231 |
| 1× | saturated |
Compiled 671 to 319 computations (52.5% saved)
Loading profile data...