Time bar (total: 6.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 |
| 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)
| 905.0ms | 8256× | body | 128 | valid |
| 182.0ms | 1608× | 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 |
| ▶ | 11.4b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 17.9b | (/.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.2b | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| ✓ | 7.8b | (/.f64 y (fma.f64 z z z)) |
| ✓ | 9.8b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
3 calls:
| 125.0ms | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 53.0ms | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| 36.0ms | (/.f64 y (fma.f64 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:
| 94.0ms | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| 94.0ms | (/.f64 y (fma.f64 z z z)) |
| 94.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 |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 153 | 11 | 164 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 154 | 12 | 166 |
| Status | Error | Program |
| 17.9b | (/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1))) | |
| 38.1b | (/.f64 (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) (sqrt.f64 z)) (sqrt.f64 z)) | |
| 31.7b | (*.f64 (/.f64 y z) (-.f64 (/.f64 x z) x)) | |
| ▶ | 8.5b | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 24.2b | (/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) (pow.f64 z 3))) | |
| 38.5b | (*.f64 x (/.f64 (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 y (hypot.f64 z (sqrt.f64 z)))) z)) | |
| 11.3b | (/.f64 x (*.f64 z (/.f64 (fma.f64 z z z) y))) | |
| 11.8b | (*.f64 x (/.f64 (*.f64 (cbrt.f64 (/.f64 y (fma.f64 z z z))) (pow.f64 (cbrt.f64 (/.f64 y (fma.f64 z z z))) 2)) z)) | |
| 28.7b | (cbrt.f64 (pow.f64 (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) 3)) | |
| 37.8b | (log.f64 (pow.f64 (exp.f64 x) (/.f64 (/.f64 y (fma.f64 z z z)) z))) | |
| 24.4b | (*.f64 x (/.f64 (/.f64 y z) z)) | |
| 13.4b | (/.f64 (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z)) |
Compiled 2885 to 1042 computations (63.9% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 1.4b | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| ✓ | 6.5b | (*.f64 x (/.f64 y (fma.f64 z z z))) |
| 7.8b | (/.f64 y (fma.f64 z z z)) |
2 calls:
| 111.0ms | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 73.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:
| 61.0ms | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 61.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 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 157 | 8 | 165 |
| Fresh | 8 | 3 | 11 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 166 | 11 | 177 |
| Status | Error | Program |
| ▶ | 8.6b | (pow.f64 (/.f64 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) 1) -1) |
| 24.4b | (/.f64 (pow.f64 (sqrt.f64 (*.f64 x (/.f64 y (fma.f64 z z z)))) 2) z) | |
| 22.3b | (/.f64 (*.f64 x (pow.f64 (sqrt.f64 (/.f64 y (fma.f64 z z z))) 2)) z) | |
| 13.4b | (/.f64 (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z)) | |
| 11.3b | (/.f64 x (*.f64 z (/.f64 (fma.f64 z z z) y))) | |
| 33.4b | (/.f64 (*.f64 y (-.f64 (/.f64 x z) x)) z) | |
| 11.8b | (/.f64 (/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) z)) z) | |
| 39.7b | (/.f64 (/.f64 (/.f64 (*.f64 x y) (hypot.f64 z (sqrt.f64 z))) (hypot.f64 z (sqrt.f64 z))) z) | |
| 8.6b | (*.f64 (/.f64 x z) (/.f64 y (fma.f64 z z z))) | |
| 36.0b | (/.f64 (*.f64 x (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 y (hypot.f64 z (sqrt.f64 z))))) z) | |
| 24.2b | (/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) (pow.f64 z 3))) |
Compiled 2932 to 1011 computations (65.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.8b | (pow.f64 (/.f64 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) 1) -1) |
| ✓ | 1.1b | (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) |
| 6.5b | (*.f64 x (/.f64 y (fma.f64 z z z))) | |
| 7.8b | (/.f64 y (fma.f64 z z z)) |
2 calls:
| 128.0ms | (pow.f64 (/.f64 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) 1) -1) |
| 43.0ms | (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) |
| 2× | batch-egg-rewrite |
| 614× | log-prod_binary64 |
| 199× | expm1-udef_binary64 |
| 199× | log1p-udef_binary64 |
| 187× | log-div_binary64 |
| 179× | log-pow_binary64 |
2 calls:
| 71.0ms | (pow.f64 (/.f64 (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) 1) -1) |
| 71.0ms | (/.f64 z (*.f64 x (/.f64 y (fma.f64 z z z)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 31 |
| 1 | 237 | 28 |
| 2 | 3006 | 28 |
| 3 | 5493 | 28 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 816× | times-frac_binary64 |
| 475× | cancel-sign-sub-inv_binary64 |
| 441× | fma-def_binary64 |
| 428× | 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 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 226 | 6 | 232 |
| Fresh | 7 | 3 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 234 | 9 | 243 |
| Status | Error | Program |
| 11.3b | (/.f64 x (/.f64 z (/.f64 y (fma.f64 z z z)))) | |
| 11.8b | (/.f64 (/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) z)) z) | |
| 8.9b | (/.f64 (/.f64 y (fma.f64 z z z)) (/.f64 z x)) | |
| 39.7b | (pow.f64 (/.f64 (/.f64 z (/.f64 (/.f64 (*.f64 x y) (hypot.f64 z (sqrt.f64 z))) (hypot.f64 z (sqrt.f64 z)))) 1) -1) | |
| 8.7b | (pow.f64 (/.f64 (*.f64 (/.f64 (/.f64 z x) y) (fma.f64 z z z)) 1) -1) | |
| 39.7b | (/.f64 (/.f64 (/.f64 (*.f64 x y) (hypot.f64 z (sqrt.f64 z))) (hypot.f64 z (sqrt.f64 z))) z) | |
| 36.0b | (/.f64 (*.f64 x (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 y (hypot.f64 z (sqrt.f64 z))))) z) | |
| 46.8b | (pow.f64 (/.f64 (/.f64 z (*.f64 x (*.f64 (/.f64 (cbrt.f64 (*.f64 y y)) (hypot.f64 z (sqrt.f64 z))) (/.f64 (cbrt.f64 y) (hypot.f64 z (sqrt.f64 z)))))) 1) -1) | |
| ▶ | 8.7b | (/.f64 (/.f64 1 z) (/.f64 (/.f64 (fma.f64 z z z) y) x)) |
Compiled 4566 to 1805 computations (60.5% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 1.4b | (/.f64 (/.f64 1 z) (/.f64 (/.f64 (fma.f64 z z z) y) x)) |
| ✓ | 6.5b | (/.f64 (/.f64 (fma.f64 z z z) y) x) |
| ✓ | 7.8b | (/.f64 (fma.f64 z z z) y) |
3 calls:
| 107.0ms | (/.f64 (/.f64 1 z) (/.f64 (/.f64 (fma.f64 z z z) y) x)) |
| 27.0ms | (/.f64 (/.f64 (fma.f64 z z z) y) x) |
| 13.0ms | (/.f64 (fma.f64 z z z) y) |
| 2× | batch-egg-rewrite |
| 635× | log-prod_binary64 |
| 227× | log-div_binary64 |
| 197× | expm1-udef_binary64 |
| 197× | log1p-udef_binary64 |
| 179× | log-pow_binary64 |
3 calls:
| 81.0ms | (/.f64 (/.f64 1 z) (/.f64 (/.f64 (fma.f64 z z z) y) x)) |
| 81.0ms | (/.f64 (/.f64 (fma.f64 z z z) y) x) |
| 81.0ms | (/.f64 (fma.f64 z z z) y) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 36 |
| 1 | 220 | 33 |
| 2 | 3082 | 33 |
| 3 | 5778 | 33 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 748× | times-frac_binary64 |
| 676× | div-sub_binary64 |
| 475× | cancel-sign-sub-inv_binary64 |
| 422× | fma-def_binary64 |
| 392× | associate-/r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 46 | 1457 |
| 1 | 120 | 1335 |
| 2 | 325 | 1273 |
| 3 | 1086 | 1230 |
| 4 | 4098 | 1230 |
| 5 | 4623 | 1230 |
| 6 | 5556 | 1230 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 155 | 3 | 158 |
| Fresh | 1 | 7 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 157 | 10 | 167 |
| Status | Error | Program |
| 11.3b | (/.f64 x (/.f64 z (/.f64 y (fma.f64 z z z)))) | |
| 11.8b | (/.f64 (/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) z)) z) | |
| 8.7b | (pow.f64 (/.f64 (*.f64 (/.f64 (/.f64 z x) y) (fma.f64 z z z)) 1) -1) | |
| 17.2b | (/.f64 (/.f64 1 z) (fma.f64 (/.f64 z (*.f64 y x)) z (/.f64 z (*.f64 y x)))) | |
| 39.7b | (/.f64 (/.f64 (/.f64 (*.f64 x y) (hypot.f64 z (sqrt.f64 z))) (hypot.f64 z (sqrt.f64 z))) z) | |
| 35.7b | (/.f64 (/.f64 1 z) (*.f64 (/.f64 (hypot.f64 z (sqrt.f64 z)) x) (/.f64 (hypot.f64 z (sqrt.f64 z)) y))) | |
| 8.9b | (/.f64 (/.f64 y (fma.f64 z z z)) (/.f64 z x)) | |
| 39.7b | (pow.f64 (/.f64 (/.f64 z (/.f64 (/.f64 (*.f64 x y) (hypot.f64 z (sqrt.f64 z))) (hypot.f64 z (sqrt.f64 z)))) 1) -1) | |
| 36.0b | (/.f64 (*.f64 x (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 y (hypot.f64 z (sqrt.f64 z))))) z) | |
| 9.7b | (/.f64 (/.f64 1 z) (/.f64 (fma.f64 (/.f64 z y) z (/.f64 z y)) x)) |
Compiled 2863 to 1052 computations (63.3% saved)
Total 1.3b remaining (92.1%)
Threshold costs 0b (0%)
Compiled 19013 to 11538 computations (39.3% 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 | 38 | 115 |
| 1 | 43 | 115 |
| 2 | 42 | 115 |
Compiled 501 to 248 computations (50.5% saved)
Loading profile data...