Time bar (total: 3.8s)
| 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 |
| 25% | 74.9% | 0.1% | 6 |
| 25% | 74.9% | 0.1% | 7 |
| 43.7% | 56.2% | 0.1% | 8 |
| 62.4% | 37.4% | 0.1% | 9 |
| 65.5% | 34.3% | 0.1% | 10 |
| 71.8% | 27.7% | 0.5% | 11 |
| 79.2% | 19.7% | 1.1% | 12 |
| 80.2% | 18.7% | 1.1% | 13 |
| 82.8% | 15% | 2.2% | 14 |
Compiled 12 to 11 computations (8.3% saved)
| 1× | intervals |
| 9.0ms | 256× | body | 128 | valid |
| 1.0ms | 16× | body | 128 | invalid |
Compiled 23 to 24 computations (-4.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 111 | 16 |
| 1 | 111 | 16 |
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 |
Merged error: 7.5b
Compiled 22 to 20 computations (9.1% saved)
Found 2 expressions with local error:
| 3.8b | (*.f64 y (+.f64 1 (*.f64 z z))) |
| 4.9b | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) |
| 1× | rewrite-expression-head |
| 31× | times-frac_binary64_7586 |
| 26× | add-exp-log_binary64_7618 |
| 20× | add-sqr-sqrt_binary64_7602 |
| 18× | *-un-lft-identity_binary64_7580 add-cube-cbrt_binary64_7615 |
| 16× | add-cbrt-cube_binary64_7616 |
| 13× | associate-/l*_binary64_7525 |
| 12× | div-exp_binary64_7631 |
| 6× | cbrt-undiv_binary64_7614 |
| 5× | prod-exp_binary64_7629 |
| 4× | pow1_binary64_7641 associate-*r/_binary64_7522 |
| 3× | associate-*r*_binary64_7520 div-inv_binary64_7577 cbrt-unprod_binary64_7613 associate-*l*_binary64_7521 |
| 2× | add-log-exp_binary64_7619 rec-exp_binary64_7630 flip-+_binary64_7554 associate-/r/_binary64_7526 1-exp_binary64_7624 flip3-+_binary64_7583 |
| 1× | distribute-lft-in_binary64_7529 pow-prod-down_binary64_7651 unswap-sqr_binary64_7548 frac-2neg_binary64_7591 associate-/l/_binary64_7527 clear-num_binary64_7579 associate-/r*_binary64_7524 distribute-rgt-in_binary64_7530 *-commutative_binary64_7511 |
2 calls:
| 9.0ms | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) |
| 6.0ms | (*.f64 y (+.f64 1 (*.f64 z z))) |
2 calls:
| 49.0ms | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) |
| 39.0ms | (*.f64 y (+.f64 1 (*.f64 z z))) |
| 1× | egg-herbie |
Useful iterations: 0 (52.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5190 | 1317 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 69 | 11 | 80 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 70 | 11 | 81 |
Merged error: 5.9b
Compiled 1472 to 904 computations (38.6% saved)
Found 2 expressions with local error:
| 0.3b | (/.f64 (/.f64 1 x) y) |
| 6.5b | (/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z))) |
| 1× | rewrite-expression-head |
| 468× | times-frac_binary64_7586 |
| 228× | add-sqr-sqrt_binary64_7602 *-un-lft-identity_binary64_7580 add-cube-cbrt_binary64_7615 |
| 56× | associate-/l*_binary64_7525 |
| 26× | add-exp-log_binary64_7618 |
| 22× | div-inv_binary64_7577 |
| 17× | div-exp_binary64_7631 |
| 16× | add-cbrt-cube_binary64_7616 |
| 9× | cbrt-undiv_binary64_7614 |
| 6× | associate-/r*_binary64_7524 |
| 2× | add-log-exp_binary64_7619 frac-2neg_binary64_7591 associate-/l/_binary64_7527 clear-num_binary64_7579 rec-exp_binary64_7630 pow1_binary64_7641 associate-/r/_binary64_7526 1-exp_binary64_7624 |
| 1× | flip-+_binary64_7554 flip3-+_binary64_7583 |
2 calls:
| 16.0ms | (/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z))) |
| 6.0ms | (/.f64 (/.f64 1 x) y) |
2 calls:
| 52.0ms | (/.f64 (/.f64 (/.f64 1 x) y) (+.f64 1 (*.f64 z z))) |
| 10.0ms | (/.f64 (/.f64 1 x) y) |
| 1× | egg-herbie |
Useful iterations: 0 (69.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5155 | 7926 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 270 | 4 | 274 |
| Fresh | 5 | 5 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 276 | 9 | 285 |
Merged error: 5.9b
Compiled 6548 to 3587 computations (45.2% saved)
Found 2 expressions with local error:
| 0.4b | (/.f64 -1 (*.f64 x y)) |
| 6.5b | (/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z))) |
| 1× | rewrite-expression-head |
| 46× | times-frac_binary64_7586 |
| 30× | add-sqr-sqrt_binary64_7602 |
| 22× | *-un-lft-identity_binary64_7580 add-cube-cbrt_binary64_7615 |
| 16× | add-cbrt-cube_binary64_7616 add-exp-log_binary64_7618 |
| 10× | associate-/l*_binary64_7525 |
| 8× | difference-of-squares_binary64_7549 |
| 7× | div-inv_binary64_7577 cbrt-undiv_binary64_7614 div-exp_binary64_7631 |
| 5× | associate-/r*_binary64_7524 |
| 2× | add-log-exp_binary64_7619 frac-2neg_binary64_7591 clear-num_binary64_7579 pow1_binary64_7641 associate-/r/_binary64_7526 cbrt-unprod_binary64_7613 prod-exp_binary64_7629 |
| 1× | associate-/l/_binary64_7527 flip--_binary64_7555 flip3--_binary64_7584 |
2 calls:
| 8.0ms | (/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z))) |
| 4.0ms | (/.f64 -1 (*.f64 x y)) |
2 calls:
| 50.0ms | (/.f64 (/.f64 -1 (*.f64 x y)) (-.f64 -1 (*.f64 z z))) |
| 13.0ms | (/.f64 -1 (*.f64 x y)) |
| 1× | egg-herbie |
Useful iterations: 0 (49.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4962 | 1744 |
| 1 | 4962 | 1744 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 85 | 0 | 85 |
| Fresh | 0 | 8 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 85 | 9 | 94 |
Merged error: 5.9b
Compiled 1671 to 1006 computations (39.8% saved)
Found 3 expressions with local error:
| 0.3b | (/.f64 1 (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z))))) |
| 3.5b | (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z)))) |
| 4.1b | (*.f64 x (+.f64 1 (*.f64 z z))) |
| 1× | rewrite-expression-head |
| 31× | add-exp-log_binary64_7618 |
| 19× | add-cbrt-cube_binary64_7616 |
| 16× | pow1_binary64_7641 |
| 13× | prod-exp_binary64_7629 |
| 10× | add-sqr-sqrt_binary64_7602 associate-*r/_binary64_7522 |
| 8× | *-un-lft-identity_binary64_7580 add-cube-cbrt_binary64_7615 |
| 7× | pow-prod-down_binary64_7651 cbrt-unprod_binary64_7613 |
| 6× | div-exp_binary64_7631 associate-*l*_binary64_7521 |
| 5× | distribute-lft-in_binary64_7529 distribute-rgt-in_binary64_7530 |
| 4× | associate-*r*_binary64_7520 |
| 3× | add-log-exp_binary64_7619 times-frac_binary64_7586 associate-/l*_binary64_7525 rec-exp_binary64_7630 flip-+_binary64_7554 1-exp_binary64_7624 cbrt-undiv_binary64_7614 pow-flip_binary64_7654 flip3-+_binary64_7583 |
| 2× | associate-/r/_binary64_7526 *-commutative_binary64_7511 |
| 1× | unswap-sqr_binary64_7548 frac-2neg_binary64_7591 div-inv_binary64_7577 clear-num_binary64_7579 associate-/r*_binary64_7524 inv-pow_binary64_7665 |
3 calls:
| 8.0ms | (/.f64 1 (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z))))) |
| 7.0ms | (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z)))) |
| 6.0ms | (*.f64 x (+.f64 1 (*.f64 z z))) |
3 calls:
| 59.0ms | (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z)))) |
| 53.0ms | (/.f64 1 (*.f64 y (*.f64 x (+.f64 1 (*.f64 z z))))) |
| 39.0ms | (*.f64 x (+.f64 1 (*.f64 z z))) |
| 1× | egg-herbie |
Useful iterations: 0 (65.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4987 | 1246 |
| 1 | 4987 | 1246 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 89 | 1 | 90 |
| Fresh | 1 | 6 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 90 | 9 | 99 |
Merged error: 5.9b
Compiled 1314 to 739 computations (43.8% saved)
Compiled 7264 to 6053 computations (16.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 16 |
| 1 | 12 | 16 |
| 1× | intervals |
| 296.0ms | 8000× | body | 128 | valid |
| 17.0ms | 467× | body | 128 | invalid |
Compiled 938 to 774 computations (17.5% saved)
Loading profile data...