Time bar (total: 1.0min)
| 1× | search |
| 2× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4963 | 48 |
| 1 | 4963 | 48 |
| 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 |
| 12.5% | 87.4% | 0.1% | 4 |
| 18.7% | 81.1% | 0.1% | 5 |
| 18.7% | 81.1% | 0.1% | 6 |
| 21.8% | 78% | 0.1% | 7 |
| 27.3% | 61.6% | 11.1% | 8 |
| 28.5% | 60.5% | 11.1% | 9 |
| 32.6% | 53.4% | 14% | 10 |
| 40.2% | 38.1% | 21.7% | 11 |
| 41.8% | 35.8% | 22.4% | 12 |
| 44.5% | 29.2% | 26.3% | 13 |
| 47.1% | 21.3% | 31.6% | 14 |
Compiled 9 to 8 computations (11.1% saved)
| 1× | intervals |
| 22.0ms | 462× | body | 128 | invalid |
| 8.0ms | 256× | body | 128 | valid |
Compiled 6479 to 7916 computations (-22.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (94.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4868 | 12 |
| 1 | 4868 | 12 |
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 16 to 14 computations (12.5% saved)
Found 3 expressions with local error:
| 0.0b | (cosh.f64 x) |
| 0.0b | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| 6.8b | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
| 1× | rewrite-expression-head |
| 18× | add-sqr-sqrt_binary64_13740 |
| 17× | add-exp-log_binary64_13756 add-cbrt-cube_binary64_13754 |
| 13× | add-cube-cbrt_binary64_13753 times-frac_binary64_13724 *-un-lft-identity_binary64_13718 associate-*r*_binary64_13658 |
| 5× | pow1_binary64_13779 div-exp_binary64_13769 cbrt-undiv_binary64_13752 cosh-def_binary64_13904 |
| 4× | prod-exp_binary64_13767 cbrt-unprod_binary64_13751 |
| 3× | add-log-exp_binary64_13757 associate-/l/_binary64_13665 associate-/r*_binary64_13662 associate-*l*_binary64_13659 |
| 2× | div-inv_binary64_13715 frac-times_binary64_13728 associate-*l/_binary64_13661 associate-*r/_binary64_13660 unswap-sqr_binary64_13686 |
| 1× | frac-2neg_binary64_13729 clear-num_binary64_13717 associate-/l*_binary64_13663 pow-prod-down_binary64_13789 *-commutative_binary64_13649 |
3 calls:
| 10.0ms | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| 6.0ms | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
| 1.0ms | (cosh.f64 x) |
Compiled 990 to 266 computations (73.1% saved)
3 calls:
| 493.0ms | (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) |
| 250.0ms | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| 50.0ms | (cosh.f64 x) |
Compiled 1123 to 779 computations (30.6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (38.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4953 | 1360 |
| 1 | 4953 | 1360 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 87 | 8 | 95 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 88 | 8 | 96 |
Compiled 1368 to 441 computations (67.8% saved)
Found 3 expressions with local error:
| 0.0b | (cosh.f64 x) |
| 0.0b | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| 6.9b | (*.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z)) |
| 1× | rewrite-expression-head |
| 47× | add-exp-log_binary64_13756 |
| 29× | add-cbrt-cube_binary64_13754 |
| 26× | associate-*r*_binary64_13658 |
| 23× | add-sqr-sqrt_binary64_13740 |
| 22× | prod-exp_binary64_13767 |
| 19× | times-frac_binary64_13724 |
| 18× | add-cube-cbrt_binary64_13753 *-un-lft-identity_binary64_13718 |
| 12× | cbrt-unprod_binary64_13751 |
| 11× | div-exp_binary64_13769 |
| 10× | pow1_binary64_13779 |
| 7× | cosh-def_binary64_13904 |
| 6× | cbrt-undiv_binary64_13752 frac-times_binary64_13728 associate-*l/_binary64_13661 |
| 4× | pow-prod-down_binary64_13789 associate-*r/_binary64_13660 associate-*l*_binary64_13659 |
| 3× | 1-exp_binary64_13762 rec-exp_binary64_13768 add-log-exp_binary64_13757 |
| 2× | div-inv_binary64_13715 *-commutative_binary64_13649 unswap-sqr_binary64_13686 |
| 1× | un-div-inv_binary64_13716 |
3 calls:
| 11.0ms | (*.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z)) |
| 7.0ms | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| 1.0ms | (cosh.f64 x) |
Compiled 1574 to 601 computations (61.8% saved)
3 calls:
| 508.0ms | (*.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z)) |
| 256.0ms | (*.f64 (cosh.f64 x) (/.f64 y x)) |
| 54.0ms | (cosh.f64 x) |
Compiled 1197 to 853 computations (28.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (48.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5016 | 1738 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 117 | 2 | 119 |
| Fresh | 2 | 5 | 7 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 120 | 7 | 127 |
Compiled 1778 to 652 computations (63.3% saved)
Found 4 expressions with local error:
| 0.0b | (cosh.f64 x) |
| 0.0b | (*.f64 (/.f64 y x) (cosh.f64 x)) |
| 0.3b | (/.f64 1 (/.f64 z (*.f64 (/.f64 y x) (cosh.f64 x)))) |
| 6.8b | (/.f64 z (*.f64 (/.f64 y x) (cosh.f64 x))) |
| 1× | rewrite-expression-head |
| 55× | times-frac_binary64_13724 |
| 52× | add-exp-log_binary64_13756 |
| 38× | add-sqr-sqrt_binary64_13740 |
| 33× | add-cube-cbrt_binary64_13753 *-un-lft-identity_binary64_13718 |
| 32× | add-cbrt-cube_binary64_13754 |
| 25× | div-exp_binary64_13769 |
| 16× | associate-/r/_binary64_13664 |
| 13× | cbrt-undiv_binary64_13752 cosh-def_binary64_13904 associate-*l*_binary64_13659 |
| 11× | associate-/r*_binary64_13662 |
| 10× | prod-exp_binary64_13767 |
| 7× | pow1_binary64_13779 div-inv_binary64_13715 |
| 6× | cbrt-unprod_binary64_13751 frac-times_binary64_13728 associate-*l/_binary64_13661 associate-*r/_binary64_13660 associate-/l*_binary64_13663 |
| 4× | add-log-exp_binary64_13757 1-exp_binary64_13762 rec-exp_binary64_13768 |
| 3× | associate-*r*_binary64_13658 |
| 2× | frac-2neg_binary64_13729 clear-num_binary64_13717 unswap-sqr_binary64_13686 |
| 1× | inv-pow_binary64_13803 pow-flip_binary64_13792 pow-prod-down_binary64_13789 *-commutative_binary64_13649 |
4 calls:
| 9.0ms | (/.f64 1 (/.f64 z (*.f64 (/.f64 y x) (cosh.f64 x)))) |
| 7.0ms | (*.f64 (/.f64 y x) (cosh.f64 x)) |
| 6.0ms | (/.f64 z (*.f64 (/.f64 y x) (cosh.f64 x))) |
| 1.0ms | (cosh.f64 x) |
Compiled 2443 to 829 computations (66.1% saved)
4 calls:
| 582.0ms | (/.f64 z (*.f64 (/.f64 y x) (cosh.f64 x))) |
| 476.0ms | (/.f64 1 (/.f64 z (*.f64 (/.f64 y x) (cosh.f64 x)))) |
| 240.0ms | (*.f64 (/.f64 y x) (cosh.f64 x)) |
| 57.0ms | (cosh.f64 x) |
Compiled 1777 to 1263 computations (28.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (49.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4964 | 2911 |
| 1 | 4964 | 2911 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 176 | 2 | 178 |
| Fresh | 1 | 5 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 177 | 8 | 185 |
Compiled 2733 to 922 computations (66.3% saved)
Found 4 expressions with local error:
| 0.0b | (cosh.f64 x) |
| 0.0b | (/.f64 (*.f64 y (cosh.f64 x)) z) |
| 0.0b | (*.f64 y (cosh.f64 x)) |
| 7.5b | (/.f64 (/.f64 (*.f64 y (cosh.f64 x)) z) x) |
| 1× | rewrite-expression-head |
| 36× | times-frac_binary64_13724 |
| 26× | add-sqr-sqrt_binary64_13740 |
| 24× | add-cube-cbrt_binary64_13753 *-un-lft-identity_binary64_13718 |
| 20× | add-exp-log_binary64_13756 add-cbrt-cube_binary64_13754 |
| 8× | associate-/l*_binary64_13663 |
| 7× | div-exp_binary64_13769 cbrt-undiv_binary64_13752 |
| 6× | pow1_binary64_13779 div-inv_binary64_13715 associate-/r*_binary64_13662 |
| 4× | add-log-exp_binary64_13757 |
| 3× | prod-exp_binary64_13767 cbrt-unprod_binary64_13751 cosh-def_binary64_13904 associate-*l*_binary64_13659 associate-*r*_binary64_13658 |
| 2× | frac-2neg_binary64_13729 clear-num_binary64_13717 associate-/l/_binary64_13665 associate-*r/_binary64_13660 |
| 1× | pow-prod-down_binary64_13789 unswap-sqr_binary64_13686 *-commutative_binary64_13649 |
4 calls:
| 6.0ms | (/.f64 (/.f64 (*.f64 y (cosh.f64 x)) z) x) |
| 4.0ms | (/.f64 (*.f64 y (cosh.f64 x)) z) |
| 4.0ms | (*.f64 y (cosh.f64 x)) |
| 1.0ms | (cosh.f64 x) |
Compiled 1444 to 372 computations (74.2% saved)
4 calls:
| 467.0ms | (/.f64 (/.f64 (*.f64 y (cosh.f64 x)) z) x) |
| 379.0ms | (/.f64 (*.f64 y (cosh.f64 x)) z) |
| 175.0ms | (*.f64 y (cosh.f64 x)) |
| 56.0ms | (cosh.f64 x) |
Compiled 1640 to 1148 computations (30% saved)
| 1× | egg-herbie |
Useful iterations: 0 (61.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4971 | 2140 |
| 1 | 4971 | 2140 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 135 | 1 | 136 |
| Fresh | 1 | 5 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 136 | 8 | 144 |
Compiled 1886 to 534 computations (71.7% saved)
Total 0.3b remaining (84.6%)
Threshold costs 0.3b (84.6%)
Compiled 5456 to 4025 computations (26.2% saved)
Compiled 6 to 6 computations (0% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 53 | 93 |
| 1 | 53 | 93 |
| 1× | intervals |
| 676.0ms | 14192× | body | 128 | invalid |
| 263.0ms | 8000× | body | 128 | valid |
Compiled 200858 to 244938 computations (-21.9% saved)
Loading profile data...