Time bar (total: 5.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 |
| 0% | 99.9% | 0.1% | 5 |
| 0% | 99.9% | 0.1% | 6 |
| 25% | 74.9% | 0.1% | 7 |
| 31.2% | 68.6% | 0.1% | 8 |
| 35.9% | 64% | 0.1% | 9 |
| 47.6% | 49.9% | 2.5% | 10 |
| 49.1% | 46.8% | 4% | 11 |
| 51.1% | 44.1% | 4.8% | 12 |
| 60.2% | 29.9% | 9.9% | 13 |
| 60.6% | 27.9% | 11.6% | 14 |
Compiled 15 to 10 computations (33.3% saved)
(sort x y)
| 972.0ms | 8256× | body | 128 | valid |
| 174.0ms | 1563× | body | 128 | invalid |
Compiled 44 to 29 computations (34.1% saved)
| 1× | egg-herbie |
| 826× | associate-*r/_binary64 |
| 769× | associate-/l/_binary64 |
| 660× | associate-*l/_binary64 |
| 522× | associate-/l*_binary64 |
| 421× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 16 |
| 1 | 30 | 16 |
| 2 | 78 | 14 |
| 3 | 195 | 14 |
| 4 | 314 | 14 |
| 5 | 383 | 14 |
| 6 | 426 | 14 |
| 7 | 631 | 14 |
| 8 | 1009 | 14 |
| 9 | 2204 | 14 |
| 10 | 2868 | 14 |
| 11 | 2967 | 14 |
| 12 | 3079 | 14 |
| 13 | 3193 | 14 |
| 14 | 3058 | 14 |
| 15 | 3712 | 14 |
| 16 | 4988 | 14 |
| 17 | 4824 | 14 |
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 |
| ▶ | 8.7b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 16.4b | (/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1))) |
Compiled 78 to 45 computations (42.3% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| ✓ | 5.5b | (/.f64 y (fma.f64 z z z)) |
| ✓ | 7.7b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
3 calls:
| 95.0ms | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 66.0ms | (/.f64 y (fma.f64 z z z)) |
| 64.0ms | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| 2× | batch-egg-rewrite |
| 513× | log-prod_binary64 |
| 332× | prod-diff_binary64 |
| 172× | pow1/3_binary64 |
| 165× | expm1-udef_binary64 |
| 165× | log1p-udef_binary64 |
3 calls:
| 93.0ms | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| 93.0ms | (/.f64 y (fma.f64 z z z)) |
| 93.0ms | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 33 |
| 1 | 173 | 33 |
| 2 | 2442 | 33 |
| 3 | 4933 | 33 |
| 4 | 5429 | 33 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 619× | fma-neg_binary64 |
| 614× | fma-def_binary64 |
| 552× | cancel-sign-sub-inv_binary64 |
| 460× | associate-/r*_binary64 |
| 394× | associate-/l*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 67 | 1400 |
| 1 | 180 | 1294 |
| 2 | 514 | 1249 |
| 3 | 1558 | 1222 |
| 4 | 4413 | 1222 |
| 5 | 4930 | 1222 |
| 6 | 5273 | 1222 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 157 | 9 | 166 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 158 | 10 | 168 |
| Status | Error | Program |
| 24.2b | (cbrt.f64 (pow.f64 (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) 3)) | |
| 32.3b | (-.f64 (/.f64 (*.f64 y x) (pow.f64 z 3)) (/.f64 (*.f64 y x) (pow.f64 z 4))) | |
| ▶ | 3.8b | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 28.6b | (*.f64 (/.f64 y z) (-.f64 (/.f64 x z) x)) | |
| 34.1b | (/.f64 (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) (sqrt.f64 z)) (sqrt.f64 z)) | |
| 4.3b | (/.f64 1 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z))))) | |
| 8.5b | (/.f64 x (*.f64 z (/.f64 (fma.f64 z z z) y))) | |
| 16.4b | (/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1))) | |
| 16.1b | (*.f64 x (/.f64 y (*.f64 z (+.f64 (pow.f64 z 2) z)))) | |
| 35.9b | (*.f64 x (/.f64 (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 y (hypot.f64 z (sqrt.f64 z)))) z)) |
Compiled 2835 to 1006 computations (64.5% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 5.5b | (/.f64 y (fma.f64 z z z)) | |
| ✓ | 5.7b | (*.f64 x (/.f64 y (fma.f64 z z z))) |
2 calls:
| 96.0ms | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 61.0ms | (*.f64 x (/.f64 y (fma.f64 z z z))) |
| 2× | batch-egg-rewrite |
| 527× | log-prod_binary64 |
| 172× | pow1/3_binary64 |
| 165× | expm1-udef_binary64 |
| 165× | log1p-udef_binary64 |
| 156× | pow3_binary64 |
2 calls:
| 57.0ms | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 57.0ms | (*.f64 x (/.f64 y (fma.f64 z z z))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 25 |
| 1 | 173 | 25 |
| 2 | 2467 | 25 |
| 3 | 4988 | 25 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 613× | fma-neg_binary64 |
| 526× | associate-/l*_binary64 |
| 443× | associate-/r*_binary64 |
| 437× | div-sub_binary64 |
| 288× | associate-/l/_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 49 | 1301 |
| 1 | 153 | 1197 |
| 2 | 454 | 1096 |
| 3 | 1651 | 1064 |
| 4 | 4770 | 1064 |
| 5 | 4918 | 1064 |
| 6 | 5319 | 1064 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 162 | 5 | 167 |
| Fresh | 4 | 5 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 167 | 10 | 177 |
| Status | Error | Program |
| 33.4b | (/.f64 (*.f64 x (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 y (hypot.f64 z (sqrt.f64 z))))) z) | |
| 30.0b | (/.f64 (*.f64 y (-.f64 (/.f64 x z) x)) z) | |
| 34.1b | (/.f64 (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) (sqrt.f64 z)) (sqrt.f64 z)) | |
| 5.0b | (*.f64 (/.f64 x z) (/.f64 y (fma.f64 z z z))) | |
| 21.0b | (pow.f64 (sqrt.f64 (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z)) 2) | |
| ▶ | 4.3b | (/.f64 1 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z))))) |
| 8.5b | (/.f64 x (*.f64 z (/.f64 (fma.f64 z z z) y))) | |
| 16.4b | (/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1))) | |
| 5.0b | (*.f64 (/.f64 y (fma.f64 z z z)) (*.f64 x (/.f64 1 z))) | |
| 16.1b | (*.f64 x (/.f64 y (*.f64 z (+.f64 (pow.f64 z 2) z)))) |
Compiled 2906 to 981 computations (66.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) |
| ✓ | 0.5b | (/.f64 1 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z))))) |
| 5.5b | (/.f64 y (fma.f64 z z z)) | |
| 5.7b | (*.f64 x (/.f64 y (fma.f64 z z z))) |
2 calls:
| 90.0ms | (/.f64 1 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z))))) |
| 38.0ms | (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) |
| 2× | batch-egg-rewrite |
| 601× | log-prod_binary64 |
| 191× | expm1-udef_binary64 |
| 191× | log1p-udef_binary64 |
| 178× | log-div_binary64 |
| 175× | log-pow_binary64 |
2 calls:
| 62.0ms | (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) |
| 62.0ms | (/.f64 1 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z))))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 31 |
| 1 | 214 | 28 |
| 2 | 2871 | 28 |
| 3 | 5320 | 28 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 816× | times-frac_binary64 |
| 475× | cancel-sign-sub-inv_binary64 |
| 441× | fma-def_binary64 |
| 427× | associate-/l*_binary64 |
| 426× | distribute-neg-frac_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 43 | 1448 |
| 1 | 123 | 1398 |
| 2 | 353 | 1090 |
| 3 | 1179 | 1065 |
| 4 | 4091 | 1065 |
| 5 | 4946 | 1065 |
| 6 | 4972 | 1065 |
| 7 | 5000 | 1065 |
| 8 | 4940 | 1065 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 226 | 1 | 227 |
| Fresh | 3 | 6 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 229 | 8 | 237 |
| Status | Error | Program |
| 33.4b | (/.f64 (*.f64 x (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 y (hypot.f64 z (sqrt.f64 z))))) z) | |
| 30.0b | (/.f64 (*.f64 y (-.f64 (/.f64 x z) x)) z) | |
| 21.0b | (pow.f64 (sqrt.f64 (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z)) 2) | |
| 5.0b | (*.f64 (/.f64 x z) (/.f64 y (fma.f64 z z z))) | |
| ✓ | 4.3b | (/.f64 1 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z))))) |
| 16.4b | (/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1))) | |
| 16.1b | (*.f64 x (/.f64 y (*.f64 z (+.f64 (pow.f64 z 2) z)))) | |
| ▶ | 3.9b | (/.f64 1 (*.f64 z (/.f64 (/.f64 (fma.f64 z z z) y) x))) |
Compiled 4070 to 1432 computations (64.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (*.f64 z (/.f64 (/.f64 (fma.f64 z z z) y) x)) |
| ✓ | 0.5b | (/.f64 1 (*.f64 z (/.f64 (/.f64 (fma.f64 z z z) y) x))) |
| ✓ | 5.2b | (/.f64 (fma.f64 z z z) y) |
| ✓ | 5.6b | (/.f64 (/.f64 (fma.f64 z z z) y) x) |
4 calls:
| 96.0ms | (/.f64 1 (*.f64 z (/.f64 (/.f64 (fma.f64 z z z) y) x))) |
| 40.0ms | (*.f64 z (/.f64 (/.f64 (fma.f64 z z z) y) x)) |
| 30.0ms | (/.f64 (/.f64 (fma.f64 z z z) y) x) |
| 10.0ms | (/.f64 (fma.f64 z z z) y) |
| 2× | batch-egg-rewrite |
| 590× | log-prod_binary64 |
| 194× | log-div_binary64 |
| 193× | expm1-udef_binary64 |
| 193× | log1p-udef_binary64 |
| 176× | log-pow_binary64 |
4 calls:
| 68.0ms | (*.f64 z (/.f64 (/.f64 (fma.f64 z z z) y) x)) |
| 68.0ms | (/.f64 1 (*.f64 z (/.f64 (/.f64 (fma.f64 z z z) y) x))) |
| 68.0ms | (/.f64 (fma.f64 z z z) y) |
| 68.0ms | (/.f64 (/.f64 (fma.f64 z z z) y) x) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 50 |
| 1 | 214 | 47 |
| 2 | 2891 | 47 |
| 3 | 5347 | 47 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 816× | times-frac_binary64 |
| 475× | cancel-sign-sub-inv_binary64 |
| 447× | fma-def_binary64 |
| 427× | associate-/l*_binary64 |
| 426× | distribute-neg-frac_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 50 | 2213 |
| 1 | 132 | 2091 |
| 2 | 362 | 1765 |
| 3 | 1187 | 1722 |
| 4 | 4102 | 1677 |
| 5 | 4960 | 1677 |
| 6 | 4986 | 1677 |
| 7 | 4923 | 1677 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 186 | 2 | 188 |
| Fresh | 0 | 6 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 187 | 9 | 196 |
| Status | Error | Program |
| 33.4b | (/.f64 (*.f64 x (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 y (hypot.f64 z (sqrt.f64 z))))) z) | |
| 30.0b | (/.f64 (*.f64 y (-.f64 (/.f64 x z) x)) z) | |
| 21.0b | (pow.f64 (sqrt.f64 (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z)) 2) | |
| 5.0b | (*.f64 (/.f64 x z) (/.f64 y (fma.f64 z z z))) | |
| 2.2b | (/.f64 1 (*.f64 z (/.f64 (*.f64 (/.f64 z y) (+.f64 z 1)) x))) | |
| ✓ | 4.3b | (/.f64 1 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z))))) |
| 16.4b | (/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1))) | |
| 33.1b | (/.f64 1 (*.f64 z (*.f64 (/.f64 (hypot.f64 z (sqrt.f64 z)) x) (/.f64 (hypot.f64 z (sqrt.f64 z)) y)))) | |
| 16.1b | (*.f64 x (/.f64 y (*.f64 z (+.f64 (pow.f64 z 2) z)))) |
Compiled 3243 to 1141 computations (64.8% saved)
Total 2.3b remaining (86.8%)
Threshold costs 0b (0%)
Compiled 12820 to 7919 computations (38.2% saved)
Compiled 6 to 4 computations (33.3% saved)
| 1× | egg-herbie |
| 3× | *-commutative_binary64 |
| 1× | +-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 70 |
| 1 | 28 | 70 |
| 2 | 27 | 70 |
Compiled 344 to 196 computations (43% saved)
Loading profile data...