Time bar (total: 3.4s)
| 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 |
| 31.2% | 50% | 18.8% | 7 |
| 34.3% | 43.7% | 22% | 8 |
| 45.3% | 26.5% | 28.2% | 9 |
| 46.8% | 23.4% | 29.8% | 10 |
| 48.8% | 14% | 37.2% | 11 |
| 49.8% | 12.1% | 38.1% | 12 |
| 52.8% | 7.1% | 40.1% | 13 |
| 53.3% | 6.1% | 40.6% | 14 |
Compiled 22 to 12 computations (45.5% saved)
| 1× | intervals |
| 14.0ms | 256× | body | 128 | valid |
| 1.0ms | 21× | body | 128 | invalid |
Compiled 45 to 25 computations (44.4% saved)
| 1× | egg-herbie |
| 613× | sub-neg_binary64 |
| 578× | fma-neg_binary64 |
| 529× | neg-mul-1_binary64 |
| 501× | neg-sub0_binary64 |
| 455× | unsub-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 34 |
| 1 | 28 | 31 |
| 2 | 62 | 31 |
| 3 | 132 | 20 |
| 4 | 337 | 20 |
| 5 | 883 | 20 |
| 6 | 1498 | 20 |
| 7 | 3513 | 20 |
| 8 | 4063 | 20 |
| 9 | 3979 | 20 |
| 10 | 4616 | 20 |
| 11 | 4773 | 20 |
| 12 | 4920 | 20 |
| 13 | 4916 | 20 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 0.2b | (-.f64 (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3)) |
| 8.7b | (+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re)) |
Compiled 81 to 49 computations (39.5% saved)
Found 3 expressions with local error:
| 0.0b | (-.f64 (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3)) |
| 0.2b | (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) |
| 0.3b | (*.f64 (*.f64 x.re x.im) 3) |
| 1× | rewrite-expression-head |
| 41× | pow1_binary64 |
| 25× | pow-prod-down_binary64 |
| 22× | add-sqr-sqrt_binary64 |
| 20× | add-exp-log_binary64 |
| 18× | add-cube-cbrt_binary64 |
3 calls:
| 20.0ms | (-.f64 (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3)) |
| 15.0ms | (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) |
| 13.0ms | (*.f64 (*.f64 x.re x.im) 3) |
Compiled 2247 to 1298 computations (42.2% saved)
3 calls:
| 22.0ms | (-.f64 (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3)) |
| 14.0ms | (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) |
| 10.0ms | (*.f64 (*.f64 x.re x.im) 3) |
Compiled 552 to 413 computations (25.2% saved)
| 1× | egg-herbie |
| 705× | fma-neg_binary64 |
| 535× | fma-def_binary64 |
| 503× | unswap-sqr_binary64 |
| 318× | cancel-sign-sub-inv_binary64 |
| 249× | distribute-rgt-neg-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 148 | 2375 |
| 1 | 336 | 2240 |
| 2 | 1425 | 2143 |
| 3 | 4338 | 2141 |
| 4 | 4961 | 2141 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 81 | 7 | 88 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 81 | 9 | 90 |
| Status | Error | Program |
| 8.7b | (+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re)) | |
| 0.7b | (-.f64 (*.f64 (*.f64 (cbrt.f64 x.re) (cbrt.f64 x.re)) (*.f64 (*.f64 3 (*.f64 x.re x.im)) (cbrt.f64 x.re))) (pow.f64 x.im 3)) | |
| ✓ | 0.2b | (-.f64 (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3)) |
| 44.5b | (-.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 3 (*.f64 x.re x.im))) (sqrt.f64 x.re)) (*.f64 (sqrt.f64 (*.f64 3 (*.f64 x.re x.im))) (sqrt.f64 x.re))) (pow.f64 x.im 3)) | |
| 17.9b | (-.f64 (*.f64 (cbrt.f64 (*.f64 (pow.f64 x.re 2) (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2))) (cbrt.f64 (*.f64 3 (*.f64 x.im (pow.f64 x.re 2))))) (pow.f64 x.im 3)) | |
| ▶ | 0.2b | (-.f64 (*.f64 x.re (*.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3)) |
| 5.6b | (-.f64 (*.f64 x.re (*.f64 (cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2)) (cbrt.f64 (*.f64 3 (*.f64 x.re x.im))))) (pow.f64 x.im 3)) | |
| 46.0b | (/.f64 (-.f64 (pow.f64 (*.f64 3 (*.f64 x.im (pow.f64 x.re 2))) 3) (pow.f64 (pow.f64 x.im 3) 3)) (fma.f64 (pow.f64 x.re 2) (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2) (fma.f64 (*.f64 3 (pow.f64 x.re 2)) (pow.f64 x.im 4) (pow.f64 x.im 6)))) | |
| 33.5b | (cbrt.f64 (pow.f64 (-.f64 (*.f64 3 (*.f64 x.im (pow.f64 x.re 2))) (pow.f64 x.im 3)) 3)) |
Compiled 1540 to 1097 computations (28.8% saved)
Found 3 expressions with local error:
| 0.0b | (-.f64 (*.f64 x.re (*.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3)) |
| 0.2b | (*.f64 x.re (*.f64 x.re (*.f64 3 x.im))) |
| 0.2b | (*.f64 x.re (*.f64 3 x.im)) |
| 1× | rewrite-expression-head |
| 41× | pow1_binary64 |
| 25× | pow-prod-down_binary64 |
| 22× | add-sqr-sqrt_binary64 |
| 20× | add-exp-log_binary64 |
| 18× | add-cube-cbrt_binary64 |
3 calls:
| 23.0ms | (-.f64 (*.f64 x.re (*.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3)) |
| 15.0ms | (*.f64 x.re (*.f64 x.re (*.f64 3 x.im))) |
| 14.0ms | (*.f64 x.re (*.f64 3 x.im)) |
Compiled 2247 to 1442 computations (35.8% saved)
3 calls:
| 23.0ms | (-.f64 (*.f64 x.re (*.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3)) |
| 13.0ms | (*.f64 x.re (*.f64 x.re (*.f64 3 x.im))) |
| 10.0ms | (*.f64 x.re (*.f64 3 x.im)) |
Compiled 552 to 413 computations (25.2% saved)
| 1× | egg-herbie |
| 910× | fma-neg_binary64 |
| 490× | fma-def_binary64 |
| 427× | unswap-sqr_binary64 |
| 293× | cancel-sign-sub-inv_binary64 |
| 243× | distribute-rgt-neg-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 138 | 2267 |
| 1 | 329 | 2162 |
| 2 | 1352 | 2080 |
| 3 | 4340 | 2080 |
| 4 | 4907 | 2080 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 86 | 3 | 89 |
| Fresh | 3 | 4 | 7 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 90 | 8 | 98 |
| Status | Error | Program |
| 8.7b | (+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re)) | |
| 0.7b | (-.f64 (*.f64 (*.f64 (cbrt.f64 x.re) (cbrt.f64 x.re)) (*.f64 (*.f64 3 (*.f64 x.re x.im)) (cbrt.f64 x.re))) (pow.f64 x.im 3)) | |
| 46.0b | (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 3 x.im) 2) (pow.f64 x.re 4)) (pow.f64 x.im 6)) (fma.f64 3 (*.f64 x.im (pow.f64 x.re 2)) (pow.f64 x.im 3))) | |
| 8.7b | (-.f64 (*.f64 (pow.f64 x.re 2) (*.f64 3 x.im)) (pow.f64 x.im 3)) | |
| ✓ | 0.2b | (-.f64 (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3)) |
| ▶ | 0.2b | (-.f64 (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3)) |
| 17.9b | (-.f64 (*.f64 (cbrt.f64 (*.f64 (pow.f64 x.re 2) (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2))) (cbrt.f64 (*.f64 3 (*.f64 x.im (pow.f64 x.re 2))))) (pow.f64 x.im 3)) | |
| 5.6b | (-.f64 (*.f64 x.re (*.f64 (cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2)) (cbrt.f64 (*.f64 3 (*.f64 x.re x.im))))) (pow.f64 x.im 3)) |
Compiled 1439 to 1029 computations (28.5% saved)
Found 3 expressions with local error:
| 0.0b | (-.f64 (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3)) |
| 0.2b | (*.f64 (*.f64 3 x.re) x.im) |
| 0.2b | (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) |
| 1× | rewrite-expression-head |
| 41× | pow1_binary64 |
| 25× | pow-prod-down_binary64 |
| 22× | add-sqr-sqrt_binary64 |
| 20× | add-exp-log_binary64 |
| 18× | add-cube-cbrt_binary64 |
3 calls:
| 19.0ms | (-.f64 (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3)) |
| 15.0ms | (*.f64 (*.f64 3 x.re) x.im) |
| 14.0ms | (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) |
Compiled 2247 to 1448 computations (35.6% saved)
3 calls:
| 22.0ms | (-.f64 (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3)) |
| 12.0ms | (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) |
| 10.0ms | (*.f64 (*.f64 3 x.re) x.im) |
Compiled 552 to 413 computations (25.2% saved)
| 1× | egg-herbie |
| 896× | fma-neg_binary64 |
| 546× | fma-def_binary64 |
| 376× | exp-prod_binary64 |
| 318× | cancel-sign-sub-inv_binary64 |
| 254× | distribute-rgt-neg-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 144 | 2330 |
| 1 | 337 | 2172 |
| 2 | 1457 | 2116 |
| 3 | 3917 | 2116 |
| 4 | 4954 | 2116 |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 71 | 1 | 72 |
| Fresh | 2 | 4 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 73 | 7 | 80 |
| Status | Error | Program |
| 46.0b | (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 3 x.im) 2) (pow.f64 x.re 4)) (pow.f64 x.im 6)) (fma.f64 3 (*.f64 x.im (pow.f64 x.re 2)) (pow.f64 x.im 3))) | |
| ✓ | 0.2b | (-.f64 (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3)) |
| 8.7b | (+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re)) | |
| ✓ | 0.2b | (-.f64 (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3)) |
| 17.9b | (-.f64 (*.f64 (cbrt.f64 (*.f64 (pow.f64 x.re 2) (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2))) (cbrt.f64 (*.f64 3 (*.f64 x.im (pow.f64 x.re 2))))) (pow.f64 x.im 3)) | |
| ▶ | 5.6b | (-.f64 (*.f64 x.re (*.f64 (cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2)) (cbrt.f64 (*.f64 3 (*.f64 x.re x.im))))) (pow.f64 x.im 3)) |
| 8.6b | (-.f64 (*.f64 (*.f64 3 (pow.f64 x.re 2)) x.im) (pow.f64 x.im 3)) |
Compiled 1366 to 989 computations (27.6% saved)
Found 4 expressions with local error:
| 0.3b | (*.f64 3 (*.f64 x.re x.im)) |
| 0.3b | (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2) |
| 11.3b | (cbrt.f64 (*.f64 3 (*.f64 x.re x.im))) |
| 23.1b | (cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2)) |
| 1× | rewrite-expression-head |
| 25× | pow1_binary64 |
| 19× | add-sqr-sqrt_binary64 |
| 18× | add-cube-cbrt_binary64 |
| 17× | add-exp-log_binary64 |
| 13× | pow-prod-down_binary64 |
4 calls:
| 91.0ms | (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2) |
| 17.0ms | (*.f64 3 (*.f64 x.re x.im)) |
| 12.0ms | (cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2)) |
| 11.0ms | (cbrt.f64 (*.f64 3 (*.f64 x.re x.im))) |
Compiled 2590 to 1676 computations (35.3% saved)
4 calls:
| 54.0ms | (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2) |
| 38.0ms | (cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2)) |
| 33.0ms | (cbrt.f64 (*.f64 3 (*.f64 x.re x.im))) |
| 12.0ms | (*.f64 3 (*.f64 x.re x.im)) |
Compiled 1664 to 1267 computations (23.9% saved)
| 1× | egg-herbie |
| 664× | fma-def_binary64 |
| 430× | log-prod_binary64 |
| 335× | exp-prod_binary64 |
| 315× | *-commutative_binary64 |
| 228× | fma-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 180 | 1762 |
| 1 | 343 | 1672 |
| 2 | 897 | 1641 |
| 3 | 2478 | 1523 |
| 4 | 4689 | 1523 |
| 5 | 4935 | 1523 |
8 alts after pruning (5 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 102 | 1 | 103 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 102 | 8 | 110 |
| Status | Error | Program |
| 46.0b | (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 3 x.im) 2) (pow.f64 x.re 4)) (pow.f64 x.im 6)) (fma.f64 3 (*.f64 x.im (pow.f64 x.re 2)) (pow.f64 x.im 3))) | |
| 0.2b | (-.f64 (*.f64 x.re (*.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3)) | |
| 8.7b | (+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re)) | |
| 0.2b | (-.f64 (*.f64 x.re (*.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3)) | |
| 17.9b | (-.f64 (*.f64 (cbrt.f64 (*.f64 (pow.f64 x.re 2) (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2))) (cbrt.f64 (*.f64 3 (*.f64 x.im (pow.f64 x.re 2))))) (pow.f64 x.im 3)) | |
| 5.6b | (-.f64 (*.f64 x.re (*.f64 (cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2)) (cbrt.f64 (*.f64 3 (*.f64 x.re x.im))))) (pow.f64 x.im 3)) | |
| 8.6b | (-.f64 (*.f64 (*.f64 3 (pow.f64 x.re 2)) x.im) (pow.f64 x.im 3)) | |
| 5.6b | (-.f64 (*.f64 x.re (*.f64 (cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x.re x.im)) 2)) (*.f64 (cbrt.f64 (*.f64 x.im x.re)) (cbrt.f64 3)))) (pow.f64 x.im 3)) |
Compiled 1731 to 1138 computations (34.3% saved)
Total 0.1b remaining (82.3%)
Threshold costs 0.1b (82.3%)
Compiled 4530 to 3309 computations (27% saved)
| 1× | egg-herbie |
| 4× | *-commutative_binary64 |
| 2× | +-commutative_binary64 |
| 2× | sub-neg_binary64 |
| 1× | neg-sub0_binary64 |
| 1× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 20 |
| 1 | 16 | 20 |
| 2 | 21 | 20 |
| 3 | 23 | 20 |
| 4 | 24 | 20 |
| 5 | 24 | 20 |
Compiled 13 to 9 computations (30.8% saved)
| 1× | intervals |
| 540.0ms | 8000× | body | 128 | valid |
| 34.0ms | 572× | body | 128 | invalid |
Compiled 197 to 137 computations (30.5% saved)
Loading profile data...