Time bar (total: 4.3s)
| 1× | search |
| 2× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 779 | 40 |
| 1 | 779 | 40 |
| 0 | 3 | 3 |
| 1 | 3 | 3 |
| 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 |
| 15.6% | 84.3% | 0.1% | 7 |
| 29.6% | 70.2% | 0.1% | 8 |
| 36.7% | 60.1% | 3.3% | 9 |
| 43.3% | 49.5% | 7.2% | 10 |
| 52.1% | 39.2% | 8.7% | 11 |
| 57.6% | 31.1% | 11.3% | 12 |
| 60.6% | 25.6% | 13.8% | 13 |
| 65.2% | 20.4% | 14.4% | 14 |
Compiled 10 to 9 computations (10% saved)
| 1× | intervals |
| 7.0ms | 256× | body | 128 | valid |
| 0.0ms | 18× | body | 128 | invalid |
Compiled 19 to 20 computations (-5.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (15.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 301 | 10 |
| 1 | 301 | 10 |
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 |
Compiled 23 to 20 computations (13% saved)
Found 2 expressions with local error:
| 0.0b | (+.f64 y (*.f64 x (-.f64 z y))) |
| 0.0b | (*.f64 x (-.f64 z y)) |
| 1× | rewrite-expression-head |
| 12× | add-sqr-sqrt_binary64_21583 cancel-sign-sub-inv_binary64_21527 |
| 10× | *-un-lft-identity_binary64_21561 |
| 8× | add-cube-cbrt_binary64_21596 distribute-rgt-in_binary64_21511 distribute-lft-in_binary64_21510 associate-+r+_binary64_21493 |
| 5× | associate-*r*_binary64_21501 |
| 4× | pow1_binary64_21622 add-exp-log_binary64_21599 add-log-exp_binary64_21600 add-cbrt-cube_binary64_21597 sub-neg_binary64_21554 |
| 3× | associate-*l*_binary64_21502 |
| 2× | associate-*r/_binary64_21503 |
| 1× | pow-prod-down_binary64_21632 prod-exp_binary64_21610 cbrt-unprod_binary64_21594 unswap-sqr_binary64_21529 flip3--_binary64_21565 flip--_binary64_21536 difference-of-squares_binary64_21530 distribute-lft-out--_binary64_21513 *-commutative_binary64_21492 sum-log_binary64_21652 flip3-+_binary64_21564 flip-+_binary64_21535 +-commutative_binary64_21491 |
2 calls:
| 11.0ms | (*.f64 x (-.f64 z y)) |
| 4.0ms | (+.f64 y (*.f64 x (-.f64 z y))) |
Compiled 682 to 192 computations (71.8% saved)
2 calls:
| 131.0ms | (+.f64 y (*.f64 x (-.f64 z y))) |
| 100.0ms | (*.f64 x (-.f64 z y)) |
Compiled 618 to 363 computations (41.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (69.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4912 | 764 |
| 1 | 4912 | 764 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 80 | 2 | 82 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 81 | 3 | 84 |
Compiled 836 to 182 computations (78.2% saved)
Found 2 expressions with local error:
| 0.0b | (+.f64 (*.f64 (-.f64 1 x) y) (*.f64 x z)) |
| 0.0b | (*.f64 (-.f64 1 x) y) |
| 1× | rewrite-expression-head |
| 9× | add-sqr-sqrt_binary64_21583 |
| 7× | *-un-lft-identity_binary64_21561 |
| 6× | associate-*l*_binary64_21502 |
| 4× | pow1_binary64_21622 add-exp-log_binary64_21599 add-log-exp_binary64_21600 add-cbrt-cube_binary64_21597 add-cube-cbrt_binary64_21596 |
| 3× | associate-*r*_binary64_21501 |
| 2× | associate-*l/_binary64_21504 difference-of-squares_binary64_21530 |
| 1× | pow-prod-down_binary64_21632 prod-exp_binary64_21610 cbrt-unprod_binary64_21594 unswap-sqr_binary64_21529 flip3--_binary64_21565 flip--_binary64_21536 distribute-lft-out--_binary64_21513 *-commutative_binary64_21492 sum-log_binary64_21652 flip3-+_binary64_21564 flip-+_binary64_21535 +-commutative_binary64_21491 |
2 calls:
| 7.0ms | (*.f64 (-.f64 1 x) y) |
| 7.0ms | (+.f64 (*.f64 (-.f64 1 x) y) (*.f64 x z)) |
Compiled 571 to 316 computations (44.7% saved)
2 calls:
| 116.0ms | (+.f64 (*.f64 (-.f64 1 x) y) (*.f64 x z)) |
| 58.0ms | (*.f64 (-.f64 1 x) y) |
Compiled 529 to 325 computations (38.6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (55.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5615 | 606 |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 61 | 0 | 61 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 61 | 3 | 64 |
Compiled 688 to 205 computations (70.2% saved)
Found 4 expressions with local error:
| 0.5b | (*.f64 (cbrt.f64 x) (cbrt.f64 x)) |
| 0.5b | (cbrt.f64 x) |
| 0.5b | (cbrt.f64 x) |
| 0.5b | (cbrt.f64 x) |
| 1× | rewrite-expression-head |
| 25× | cbrt-prod_binary64_21592 |
| 23× | add-sqr-sqrt_binary64_21583 |
| 15× | add-cube-cbrt_binary64_21596 *-un-lft-identity_binary64_21561 |
| 11× | pow1_binary64_21622 |
| 9× | pow1/3_binary64_21643 |
| 6× | add-exp-log_binary64_21599 swap-sqr_binary64_21528 associate-*l*_binary64_21502 associate-*r*_binary64_21501 |
| 4× | add-log-exp_binary64_21600 add-cbrt-cube_binary64_21597 unswap-sqr_binary64_21529 |
| 2× | pow-prod-down_binary64_21632 pow-prod-up_binary64_21631 pow-sqr_binary64_21534 |
| 1× | pow2_binary64_21642 pow-plus_binary64_21624 prod-exp_binary64_21610 cbrt-unprod_binary64_21594 *-commutative_binary64_21492 |
4 calls:
| 10.0ms | (*.f64 (cbrt.f64 x) (cbrt.f64 x)) |
| 1.0ms | (cbrt.f64 x) |
| 1.0ms | (cbrt.f64 x) |
| 1.0ms | (cbrt.f64 x) |
Compiled 1378 to 316 computations (77.1% saved)
4 calls:
| 83.0ms | (*.f64 (cbrt.f64 x) (cbrt.f64 x)) |
| 78.0ms | (cbrt.f64 x) |
| 76.0ms | (cbrt.f64 x) |
| 73.0ms | (cbrt.f64 x) |
Compiled 591 to 400 computations (32.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (63.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4873 | 548 |
| 1 | 4873 | 548 |
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 85 | 0 | 85 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 85 | 3 | 88 |
Compiled 1412 to 377 computations (73.3% saved)
Found 4 expressions with local error:
| 0.0b | (+.f64 y (exp.f64 (log.f64 (*.f64 x (-.f64 z y))))) |
| 0.0b | (*.f64 x (-.f64 z y)) |
| 2.2b | (log.f64 (*.f64 x (-.f64 z y))) |
| 2.5b | (exp.f64 (log.f64 (*.f64 x (-.f64 z y)))) |
| 1× | rewrite-expression-head |
| 13× | add-sqr-sqrt_binary64_21583 *-un-lft-identity_binary64_21561 |
| 12× | pow1_binary64_21622 |
| 9× | add-cube-cbrt_binary64_21596 add-exp-log_binary64_21599 |
| 6× | associate-*r/_binary64_21503 add-log-exp_binary64_21600 add-cbrt-cube_binary64_21597 cancel-sign-sub-inv_binary64_21527 |
| 5× | exp-prod_binary64_21613 associate-*r*_binary64_21501 |
| 4× | log-pow_binary64_21650 log-div_binary64_21648 distribute-rgt-in_binary64_21511 distribute-lft-in_binary64_21510 |
| 3× | pow-prod-down_binary64_21632 flip3--_binary64_21565 flip--_binary64_21536 associate-*l*_binary64_21502 |
| 2× | exp-diff_binary64_21609 log-prod_binary64_21647 prod-exp_binary64_21610 rem-log-exp_binary64_21602 sub-neg_binary64_21554 |
| 1× | exp-sum_binary64_21607 rem-exp-log_binary64_21601 cbrt-unprod_binary64_21594 unswap-sqr_binary64_21529 difference-of-squares_binary64_21530 distribute-lft-out--_binary64_21513 *-commutative_binary64_21492 sum-log_binary64_21652 flip3-+_binary64_21564 flip-+_binary64_21535 distribute-lft-out_binary64_21512 +-commutative_binary64_21491 |
4 calls:
| 8.0ms | (+.f64 y (exp.f64 (log.f64 (*.f64 x (-.f64 z y))))) |
| 8.0ms | (*.f64 x (-.f64 z y)) |
| 6.0ms | (exp.f64 (log.f64 (*.f64 x (-.f64 z y)))) |
| 5.0ms | (log.f64 (*.f64 x (-.f64 z y))) |
Compiled 1154 to 345 computations (70.1% saved)
4 calls:
| 467.0ms | (+.f64 y (exp.f64 (log.f64 (*.f64 x (-.f64 z y))))) |
| 432.0ms | (exp.f64 (log.f64 (*.f64 x (-.f64 z y)))) |
| 141.0ms | (log.f64 (*.f64 x (-.f64 z y))) |
| 90.0ms | (*.f64 x (-.f64 z y)) |
Compiled 2175 to 1590 computations (26.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (45.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5024 | 1450 |
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 133 | 0 | 133 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 133 | 3 | 136 |
Compiled 1540 to 414 computations (73.1% saved)
Total 0.0b remaining (72.6%)
Threshold costs 0.0b (72.6%)
Compiled 600 to 542 computations (9.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 10 |
| 1 | 19 | 10 |
| 1× | intervals |
| 232.0ms | 8000× | body | 128 | valid |
| 17.0ms | 633× | body | 128 | invalid |
Compiled 168 to 151 computations (10.1% saved)
Loading profile data...