Time bar (total: 5.3s)
| 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% | 99.8% | 0.2% | 7 |
| 7.8% | 92% | 0.2% | 8 |
| 16.4% | 83.4% | 0.2% | 9 |
| 23.8% | 76% | 0.2% | 10 |
| 25.1% | 74.7% | 0.2% | 11 |
| 38.1% | 59.4% | 2.5% | 12 |
| 41.8% | 55.3% | 2.9% | 13 |
| 46.5% | 50.3% | 3.1% | 14 |
Compiled 12 to 11 computations (8.3% saved)
| 1× | intervals |
| 10.0ms | 256× | body | 128 | valid |
| 2.0ms | 57× | body | 128 | invalid |
Compiled 23 to 25 computations (-8.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (226.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1430 | 16 |
| 1 | 1430 | 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: 5.8b
Compiled 22 to 20 computations (9.1% saved)
Found 2 expressions with local error:
| 0.0b | (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) |
| 5.5b | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 1× | rewrite-expression-head |
| 30× | add-sqr-sqrt_binary64_9871 |
| 26× | *-un-lft-identity_binary64_9850 |
| 16× | times-frac_binary64_9856 |
| 10× | associate-*r*_binary64_9792 |
| 8× | distribute-lft-out--_binary64_9804 difference-of-squares_binary64_9819 |
| 4× | pow1_binary64_9908 add-exp-log_binary64_9885 add-cube-cbrt_binary64_9882 add-log-exp_binary64_9886 add-cbrt-cube_binary64_9883 |
| 3× | associate-*r/_binary64_9794 sub-neg_binary64_9843 associate-*l*_binary64_9793 |
| 2× | flip--_binary64_9825 frac-sub_binary64_9859 flip3--_binary64_9854 |
| 1× | prod-exp_binary64_9896 *-commutative_binary64_9783 unswap-sqr_binary64_9818 distribute-lft-in_binary64_9801 diff-log_binary64_9939 distribute-rgt-in_binary64_9802 pow-prod-down_binary64_9918 cbrt-unprod_binary64_9880 |
2 calls:
| 28.0ms | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 25.0ms | (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) |
2 calls:
| 137.0ms | (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) |
| 69.0ms | (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) |
| 1× | egg-herbie |
Useful iterations: 0 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4901 | 1084 |
| 1 | 4901 | 1084 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 47 | 8 | 55 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 48 | 8 | 56 |
Merged error: 0.0b
Compiled 1218 to 634 computations (47.9% saved)
Found 3 expressions with local error:
| 0.0b | (+.f64 (*.f64 x (/.f64 y z)) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
| 3.1b | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 7.7b | (*.f64 x (/.f64 y z)) |
| 1× | rewrite-expression-head |
| 65× | associate-*r*_binary64_9792 |
| 58× | add-sqr-sqrt_binary64_9871 |
| 51× | *-un-lft-identity_binary64_9850 |
| 46× | times-frac_binary64_9856 |
| 33× | add-cube-cbrt_binary64_9882 |
| 24× | distribute-rgt-neg-in_binary64_9810 distribute-lft-neg-in_binary64_9809 |
| 12× | difference-of-squares_binary64_9819 |
| 10× | add-exp-log_binary64_9885 add-cbrt-cube_binary64_9883 |
| 7× | pow1_binary64_9908 |
| 6× | distribute-lft-out--_binary64_9804 associate-*l*_binary64_9793 |
| 5× | add-log-exp_binary64_9886 |
| 4× | associate-*r/_binary64_9794 associate-/r/_binary64_9798 |
| 3× | prod-exp_binary64_9896 div-inv_binary64_9847 unswap-sqr_binary64_9818 cbrt-unprod_binary64_9880 |
| 2× | flip--_binary64_9825 *-commutative_binary64_9783 distribute-rgt-neg-out_binary64_9812 distribute-neg-frac_binary64_9816 flip3--_binary64_9854 pow-prod-down_binary64_9918 |
| 1× | neg-mul-1_binary64_9846 flip3-+_binary64_9853 sum-log_binary64_9938 +-commutative_binary64_9782 div-exp_binary64_9898 unsub-neg_binary64_9844 frac-add_binary64_9858 flip-+_binary64_9824 distribute-lft-out_binary64_9803 cbrt-undiv_binary64_9881 |
3 calls:
| 18.0ms | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 7.0ms | (*.f64 x (/.f64 y z)) |
| 7.0ms | (+.f64 (*.f64 x (/.f64 y z)) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
3 calls:
| 154.0ms | (+.f64 (*.f64 x (/.f64 y z)) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
| 100.0ms | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 41.0ms | (*.f64 x (/.f64 y z)) |
| 1× | egg-herbie |
Useful iterations: 0 (46.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4957 | 1719 |
| 1 | 4957 | 1719 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 119 | 5 | 124 |
| Fresh | 3 | 4 | 7 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 123 | 9 | 132 |
Merged error: 0.0b
Compiled 2702 to 1279 computations (52.7% saved)
Found 3 expressions with local error:
| 0.0b | (+.f64 (/.f64 (*.f64 x y) z) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
| 3.1b | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 6.3b | (/.f64 (*.f64 x y) z) |
| 1× | rewrite-expression-head |
| 52× | associate-*r*_binary64_9792 |
| 47× | add-sqr-sqrt_binary64_9871 |
| 45× | *-un-lft-identity_binary64_9850 |
| 39× | times-frac_binary64_9856 |
| 27× | add-cube-cbrt_binary64_9882 |
| 24× | distribute-rgt-neg-in_binary64_9810 distribute-lft-neg-in_binary64_9809 |
| 12× | difference-of-squares_binary64_9819 |
| 10× | add-exp-log_binary64_9885 add-cbrt-cube_binary64_9883 |
| 6× | distribute-lft-out--_binary64_9804 |
| 5× | pow1_binary64_9908 add-log-exp_binary64_9886 |
| 4× | associate-/r/_binary64_9798 |
| 3× | div-inv_binary64_9847 associate-/r*_binary64_9796 associate-*l*_binary64_9793 |
| 2× | prod-exp_binary64_9896 flip--_binary64_9825 associate-*r/_binary64_9794 distribute-rgt-neg-out_binary64_9812 div-exp_binary64_9898 distribute-neg-frac_binary64_9816 flip3--_binary64_9854 cbrt-unprod_binary64_9880 cbrt-undiv_binary64_9881 |
| 1× | neg-mul-1_binary64_9846 clear-num_binary64_9849 flip3-+_binary64_9853 *-commutative_binary64_9783 unswap-sqr_binary64_9818 sum-log_binary64_9938 associate-/l*_binary64_9797 +-commutative_binary64_9782 unsub-neg_binary64_9844 frac-2neg_binary64_9861 frac-add_binary64_9858 flip-+_binary64_9824 pow-prod-down_binary64_9918 |
3 calls:
| 22.0ms | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 7.0ms | (+.f64 (/.f64 (*.f64 x y) z) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
| 5.0ms | (/.f64 (*.f64 x y) z) |
3 calls:
| 151.0ms | (+.f64 (/.f64 (*.f64 x y) z) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
| 106.0ms | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 39.0ms | (/.f64 (*.f64 x y) z) |
| 1× | egg-herbie |
Useful iterations: 0 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4971 | 1619 |
| 1 | 4971 | 1619 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 109 | 3 | 112 |
| Fresh | 4 | 4 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 114 | 7 | 121 |
Merged error: 0.0b
Compiled 2406 to 1133 computations (52.9% saved)
Found 3 expressions with local error:
| 0.0b | (+.f64 (/.f64 x (/.f64 z y)) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
| 3.1b | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 7.5b | (/.f64 x (/.f64 z y)) |
| 1× | rewrite-expression-head |
| 111× | times-frac_binary64_9856 |
| 87× | add-sqr-sqrt_binary64_9871 |
| 85× | *-un-lft-identity_binary64_9850 |
| 67× | add-cube-cbrt_binary64_9882 |
| 52× | associate-*r*_binary64_9792 |
| 24× | distribute-rgt-neg-in_binary64_9810 distribute-lft-neg-in_binary64_9809 |
| 13× | associate-/r*_binary64_9796 |
| 12× | difference-of-squares_binary64_9819 |
| 10× | add-exp-log_binary64_9885 add-cbrt-cube_binary64_9883 |
| 8× | div-inv_binary64_9847 |
| 6× | distribute-lft-out--_binary64_9804 |
| 5× | pow1_binary64_9908 associate-/r/_binary64_9798 add-log-exp_binary64_9886 |
| 3× | associate-/l*_binary64_9797 div-exp_binary64_9898 associate-*l*_binary64_9793 cbrt-undiv_binary64_9881 |
| 2× | flip--_binary64_9825 associate-*r/_binary64_9794 distribute-rgt-neg-out_binary64_9812 distribute-neg-frac_binary64_9816 flip3--_binary64_9854 |
| 1× | prod-exp_binary64_9896 neg-mul-1_binary64_9846 clear-num_binary64_9849 flip3-+_binary64_9853 *-commutative_binary64_9783 unswap-sqr_binary64_9818 sum-log_binary64_9938 +-commutative_binary64_9782 unsub-neg_binary64_9844 frac-2neg_binary64_9861 frac-add_binary64_9858 flip-+_binary64_9824 distribute-lft-out_binary64_9803 pow-prod-down_binary64_9918 cbrt-unprod_binary64_9880 |
3 calls:
| 22.0ms | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 16.0ms | (+.f64 (/.f64 x (/.f64 z y)) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
| 6.0ms | (/.f64 x (/.f64 z y)) |
3 calls:
| 151.0ms | (+.f64 (/.f64 x (/.f64 z y)) (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z))))) |
| 105.0ms | (*.f64 x (neg.f64 (/.f64 t (-.f64 1 z)))) |
| 42.0ms | (/.f64 x (/.f64 z y)) |
| 1× | egg-herbie |
Useful iterations: 0 (42.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5100 | 2618 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 161 | 1 | 162 |
| Fresh | 1 | 5 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 162 | 7 | 169 |
Merged error: 0b
Compiled 3463 to 1475 computations (57.4% saved)
Compiled 3988 to 3144 computations (21.2% saved)
Compiled 9 to 9 computations (0% saved)
| 1× | egg-herbie |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 127 | 167 |
| 1 | 127 | 167 |
| 1× | intervals |
| 317.0ms | 8000× | body | 128 | valid |
| 73.0ms | 1876× | body | 128 | invalid |
Compiled 792 to 590 computations (25.5% saved)
Loading profile data...