Time bar (total: 4.7s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 93.6% | 6.4% | 7 |
| 3.1% | 84.2% | 12.7% | 8 |
| 12.5% | 67.1% | 20.5% | 9 |
| 16% | 63.5% | 20.5% | 10 |
| 17.9% | 57.7% | 24.4% | 11 |
| 22.6% | 48.7% | 28.7% | 12 |
| 28.7% | 37.8% | 33.6% | 13 |
| 30.4% | 35.9% | 33.7% | 14 |
Compiled 9 to 9 computations (0% saved)
| 1× | intervals |
| 9.0ms | 256× | body | 128 | valid |
| 4.0ms | 111× | body | 128 | nan |
| 1.0ms | 36× | body | 128 | invalid |
Compiled 17 to 21 computations (-23.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 12 |
| 1 | 15 | 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 |
Merged error: 20.6b
Compiled 16 to 16 computations (0% saved)
Found 3 expressions with local error:
| 1.1b | (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
| 4.2b | (/.f64 A (*.f64 V l)) |
| 17.5b | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 1× | rewrite-expression-head |
| 16× | add-sqr-sqrt_binary64_789 |
| 15× | sqrt-prod_binary64_783 |
| 11× | *-un-lft-identity_binary64_767 add-cube-cbrt_binary64_802 |
| 10× | associate-*r*_binary64_707 add-exp-log_binary64_805 add-cbrt-cube_binary64_803 |
| 9× | times-frac_binary64_773 |
| 6× | pow1_binary64_828 |
| 3× | associate-*l*_binary64_708 add-log-exp_binary64_806 associate-/l*_binary64_712 div-inv_binary64_764 |
| 2× | unswap-sqr_binary64_735 cbrt-undiv_binary64_801 cbrt-unprod_binary64_800 prod-exp_binary64_816 div-exp_binary64_818 sqrt-div_binary64_784 |
| 1× | frac-2neg_binary64_778 rem-sqrt-square_binary64_780 associate-/r*_binary64_711 *-commutative_binary64_698 pow1/2_binary64_847 associate-*r/_binary64_709 sqrt-pow1_binary64_785 pow-prod-down_binary64_838 clear-num_binary64_766 |
3 calls:
| 9.0ms | (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
| 5.0ms | (/.f64 A (*.f64 V l)) |
| 5.0ms | (sqrt.f64 (/.f64 A (*.f64 V l))) |
3 calls:
| 106.0ms | (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
| 64.0ms | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 42.0ms | (/.f64 A (*.f64 V l)) |
| 1× | egg-herbie |
Useful iterations: 0 (75.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4937 | 857 |
| 1 | 4937 | 857 |
17 alts after pruning (17 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 58 | 17 | 75 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 59 | 17 | 76 |
Merged error: 7.1b
Compiled 6036 to 4158 computations (31.1% saved)
Found 4 expressions with local error:
| 0.4b | (/.f64 1 (*.f64 V l)) |
| 1.1b | (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) |
| 3.9b | (*.f64 A (/.f64 1 (*.f64 V l))) |
| 17.5b | (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))) |
| 1× | rewrite-expression-head |
| 36× | add-exp-log_binary64_805 |
| 20× | add-cbrt-cube_binary64_803 |
| 15× | add-sqr-sqrt_binary64_789 |
| 14× | prod-exp_binary64_816 pow1_binary64_828 |
| 11× | associate-*r*_binary64_707 *-un-lft-identity_binary64_767 add-cube-cbrt_binary64_802 |
| 8× | div-exp_binary64_818 |
| 6× | associate-*l*_binary64_708 cbrt-unprod_binary64_800 times-frac_binary64_773 |
| 5× | associate-*r/_binary64_709 |
| 4× | cbrt-undiv_binary64_801 1-exp_binary64_811 add-log-exp_binary64_806 rec-exp_binary64_817 pow-prod-down_binary64_838 sqrt-div_binary64_784 |
| 3× | associate-/l*_binary64_712 un-div-inv_binary64_765 |
| 2× | unswap-sqr_binary64_735 pow-flip_binary64_841 *-commutative_binary64_698 sqrt-prod_binary64_783 sqrt-pow1_binary64_785 div-inv_binary64_764 |
| 1× | frac-2neg_binary64_778 associate-/r*_binary64_711 pow1/2_binary64_847 clear-num_binary64_766 inv-pow_binary64_852 |
4 calls:
| 11.0ms | (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) |
| 9.0ms | (*.f64 A (/.f64 1 (*.f64 V l))) |
| 6.0ms | (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))) |
| 5.0ms | (/.f64 1 (*.f64 V l)) |
4 calls:
| 106.0ms | (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) |
| 63.0ms | (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))) |
| 36.0ms | (*.f64 A (/.f64 1 (*.f64 V l))) |
| 21.0ms | (/.f64 1 (*.f64 V l)) |
| 1× | egg-herbie |
Useful iterations: 0 (81.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4968 | 996 |
| 1 | 4968 | 996 |
18 alts after pruning (17 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 105 | 1 | 106 |
| Fresh | 0 | 16 | 16 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 105 | 18 | 123 |
Merged error: 7.1b
Compiled 1764 to 849 computations (51.9% saved)
Found 4 expressions with local error:
| 4.2b | (/.f64 A (*.f64 V l)) |
| 4.2b | (/.f64 A (*.f64 V l)) |
| 17.5b | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 17.5b | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 1× | rewrite-expression-head |
| 14× | add-exp-log_binary64_805 add-sqr-sqrt_binary64_789 sqrt-prod_binary64_783 add-cbrt-cube_binary64_803 |
| 12× | times-frac_binary64_773 *-un-lft-identity_binary64_767 add-cube-cbrt_binary64_802 |
| 6× | pow1_binary64_828 associate-/l*_binary64_712 |
| 4× | cbrt-undiv_binary64_801 add-log-exp_binary64_806 div-exp_binary64_818 div-inv_binary64_764 |
| 2× | frac-2neg_binary64_778 rem-sqrt-square_binary64_780 associate-/r*_binary64_711 cbrt-unprod_binary64_800 prod-exp_binary64_816 pow1/2_binary64_847 sqrt-pow1_binary64_785 clear-num_binary64_766 sqrt-div_binary64_784 |
4 calls:
| 5.0ms | (/.f64 A (*.f64 V l)) |
| 5.0ms | (/.f64 A (*.f64 V l)) |
| 4.0ms | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 4.0ms | (sqrt.f64 (/.f64 A (*.f64 V l))) |
4 calls:
| 61.0ms | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 58.0ms | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 37.0ms | (/.f64 A (*.f64 V l)) |
| 35.0ms | (/.f64 A (*.f64 V l)) |
| 1× | egg-herbie |
Useful iterations: 0 (113.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4732 | 904 |
| 1 | 4732 | 904 |
18 alts after pruning (16 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 89 | 1 | 90 |
| Fresh | 1 | 15 | 16 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 90 | 18 | 108 |
Merged error: 7.1b
Compiled 2585 to 957 computations (63% saved)
Found 4 expressions with local error:
| 4.2b | (/.f64 A (*.f64 V l)) |
| 4.2b | (/.f64 A (*.f64 V l)) |
| 19.7b | (cbrt.f64 (/.f64 A (*.f64 V l))) |
| 19.7b | (cbrt.f64 (/.f64 A (*.f64 V l))) |
| 1× | rewrite-expression-head |
| 14× | add-exp-log_binary64_805 cbrt-prod_binary64_798 add-cbrt-cube_binary64_803 |
| 12× | times-frac_binary64_773 add-sqr-sqrt_binary64_789 *-un-lft-identity_binary64_767 add-cube-cbrt_binary64_802 |
| 6× | associate-/l*_binary64_712 |
| 4× | cbrt-undiv_binary64_801 pow1_binary64_828 add-log-exp_binary64_806 div-exp_binary64_818 div-inv_binary64_764 |
| 2× | frac-2neg_binary64_778 pow1/3_binary64_849 associate-/r*_binary64_711 cbrt-unprod_binary64_800 prod-exp_binary64_816 cbrt-div_binary64_799 clear-num_binary64_766 |
4 calls:
| 5.0ms | (/.f64 A (*.f64 V l)) |
| 5.0ms | (/.f64 A (*.f64 V l)) |
| 4.0ms | (cbrt.f64 (/.f64 A (*.f64 V l))) |
| 4.0ms | (cbrt.f64 (/.f64 A (*.f64 V l))) |
4 calls:
| 150.0ms | (cbrt.f64 (/.f64 A (*.f64 V l))) |
| 147.0ms | (cbrt.f64 (/.f64 A (*.f64 V l))) |
| 43.0ms | (/.f64 A (*.f64 V l)) |
| 40.0ms | (/.f64 A (*.f64 V l)) |
| 1× | egg-herbie |
Useful iterations: 0 (42.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5090 | 924 |
17 alts after pruning (14 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 85 | 1 | 86 |
| Fresh | 2 | 13 | 15 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 87 | 17 | 104 |
Merged error: 7.1b
Compiled 2556 to 1035 computations (59.5% saved)
Compiled 1948 to 1585 computations (18.6% saved)
Compiled 3 to 5 computations (-66.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 43 | 88 |
| 1 | 43 | 88 |
| 1× | intervals |
| 310.0ms | 8000× | body | 128 | valid |
| 108.0ms | 3014× | body | 128 | nan |
| 37.0ms | 880× | body | 128 | invalid |
Compiled 306 to 240 computations (21.6% saved)
Loading profile data...