Time bar (total: 1.2s)
| 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% | 62.4% | 12.6% | 6 |
| 25% | 40.6% | 34.4% | 7 |
| 25% | 32.8% | 42.2% | 8 |
| 25% | 23.4% | 51.6% | 9 |
| 28.1% | 18% | 54% | 10 |
| 31.6% | 11.5% | 56.9% | 11 |
| 33.4% | 8.9% | 57.8% | 12 |
| 35.2% | 5.7% | 59.1% | 13 |
| 36.1% | 4.4% | 59.4% | 14 |
Compiled 10 to 8 computations (20% saved)
| 1× | intervals |
| 11.0ms | 256× | body | 128 | valid |
| 0.0ms | 10× | body | 128 | invalid |
Compiled 21 to 17 computations (19% saved)
| 1× | egg-herbie |
| 715× | neg-mul-1_binary64 |
| 643× | distribute-rgt-neg-in_binary64 |
| 551× | distribute-lft-neg-in_binary64 |
| 432× | unswap-sqr_binary64 |
| 290× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 15 | 10 |
| 2 | 35 | 10 |
| 3 | 70 | 10 |
| 4 | 186 | 10 |
| 5 | 614 | 10 |
| 6 | 1511 | 10 |
| 7 | 2652 | 10 |
| 8 | 4652 | 10 |
| 9 | 5163 | 10 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 1 | 1 |
| Status | Error | Program |
| ▶ | 0.0b | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
Compiled 18 to 14 computations (22.2% saved)
Found 1 expressions with local error:
| 0.0b | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
| 1× | rewrite-expression-head |
| 15× | add-sqr-sqrt_binary64 |
| 11× | unpow-prod-down_binary64 |
| 9× | difference-of-squares_binary64 |
| 7× | *-un-lft-identity_binary64 sqr-pow_binary64 cancel-sign-sub-inv_binary64 |
| 3× | add-log-exp_binary64 add-cube-cbrt_binary64 |
1 calls:
| 9.0ms | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
Compiled 477 to 362 computations (24.1% saved)
1 calls:
| 39.0ms | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
Compiled 161 to 127 computations (21.1% saved)
| 1× | egg-herbie |
| 492× | distribute-rgt-in_binary64 |
| 485× | unsub-neg_binary64 |
| 446× | distribute-lft-in_binary64 |
| 433× | *-commutative_binary64 |
| 381× | exp-prod_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 78 | 600 |
| 1 | 173 | 579 |
| 2 | 396 | 507 |
| 3 | 1159 | 507 |
| 4 | 3261 | 501 |
| 5 | 4309 | 501 |
| 6 | 4953 | 501 |
| 7 | 4762 | 501 |
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 23 | 0 | 23 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 23 | 1 | 24 |
| Status | Error | Program |
| 0.0b | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
Compiled 95 to 66 computations (30.5% saved)
Total 0.0b remaining (0%)
Threshold costs 0.0b (0%)
Compiled 185 to 148 computations (20% saved)
| 1× | egg-herbie |
| 2× | sub-neg_binary64 +-commutative_binary64 |
| 1× | neg-mul-1_binary64 neg-sub0_binary64 *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 9 | 10 |
| 2 | 14 | 10 |
| 3 | 16 | 10 |
| 4 | 17 | 10 |
| 5 | 17 | 10 |
Compiled 9 to 7 computations (22.2% saved)
| 1× | intervals |
| 373.0ms | 8000× | body | 128 | valid |
| 13.0ms | 296× | body | 128 | invalid |
Compiled 30 to 24 computations (20% saved)
Loading profile data...