Time bar (total: 7.8s)
| 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% | 92.8% | 0.2% | 8 |
| 19.1% | 80.7% | 0.2% | 9 |
| 29.8% | 70% | 0.2% | 10 |
| 31.3% | 68.5% | 0.2% | 11 |
| 42.3% | 57.2% | 0.6% | 12 |
| 53.3% | 45.5% | 1.2% | 13 |
| 59.2% | 39.3% | 1.5% | 14 |
Compiled 10 to 9 computations (10% saved)
| 1× | intervals |
| 7.0ms | 256× | body | 128 | valid |
| 0.0ms | 12× | body | 128 | invalid |
Compiled 19 to 21 computations (-10.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (280.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5580 | 13 |
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 18 to 16 computations (11.1% saved)
Found 2 expressions with local error:
| 11.6b | (/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z)) |
| 11.6b | (/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z)) |
| 1× | rewrite-expression-head |
| 7× | add-sqr-sqrt_binary64_16809 *-un-lft-identity_binary64_16787 |
| 6× | add-exp-log_binary64_16825 add-cbrt-cube_binary64_16823 |
| 5× | times-frac_binary64_16793 associate-/r*_binary64_16731 |
| 3× | add-cube-cbrt_binary64_16822 |
| 2× | cbrt-undiv_binary64_16821 difference-of-squares_binary64_16756 div-exp_binary64_16838 associate-*r/_binary64_16729 flip3--_binary64_16791 distribute-lft-out--_binary64_16739 associate-/l/_binary64_16734 associate-/r/_binary64_16733 flip--_binary64_16762 |
| 1× | add-log-exp_binary64_16826 cbrt-unprod_binary64_16820 associate-/l*_binary64_16732 pow1_binary64_16848 prod-exp_binary64_16836 clear-num_binary64_16786 frac-2neg_binary64_16798 div-inv_binary64_16784 |
2 calls:
| 11.0ms | (/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z)) |
| 0.0ms | (/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z)) |
1 calls:
| 288.0ms | (/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z)) |
Compiled 914 to 660 computations (27.8% saved)
| 1× | egg-herbie |
Useful iterations: 0 (42.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5670 | 1285 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 53 | 5 | 58 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 53 | 6 | 59 |
Compiled 1055 to 261 computations (75.3% saved)
Found 4 expressions with local error:
| 1.4b | (/.f64 x (/.f64 (-.f64 t z) (-.f64 y z))) |
| 0.0b | (/.f64 (-.f64 t z) (-.f64 y z)) |
| 0.0b | (/.f64 (-.f64 t z) (-.f64 y z)) |
| 1.4b | (/.f64 x (/.f64 (-.f64 t z) (-.f64 y z))) |
| 1× | rewrite-expression-head |
| 218× | times-frac_binary64_16793 |
| 194× | add-sqr-sqrt_binary64_16809 *-un-lft-identity_binary64_16787 |
| 90× | add-cube-cbrt_binary64_16822 |
| 52× | difference-of-squares_binary64_16756 distribute-lft-out--_binary64_16739 |
| 36× | associate-/r*_binary64_16731 |
| 11× | associate-/r/_binary64_16733 |
| 9× | add-exp-log_binary64_16825 add-cbrt-cube_binary64_16823 |
| 8× | associate-/l*_binary64_16732 |
| 6× | flip3--_binary64_16791 flip--_binary64_16762 div-inv_binary64_16784 |
| 4× | cbrt-undiv_binary64_16821 div-exp_binary64_16838 |
| 2× | add-log-exp_binary64_16826 pow1_binary64_16848 clear-num_binary64_16786 associate-/l/_binary64_16734 frac-2neg_binary64_16798 |
| 1× | div-sub_binary64_16792 |
4 calls:
| 13.0ms | (/.f64 x (/.f64 (-.f64 t z) (-.f64 y z))) |
| 9.0ms | (/.f64 (-.f64 t z) (-.f64 y z)) |
| 0.0ms | (/.f64 (-.f64 t z) (-.f64 y z)) |
| 0.0ms | (/.f64 x (/.f64 (-.f64 t z) (-.f64 y z))) |
2 calls:
| 294.0ms | (/.f64 x (/.f64 (-.f64 t z) (-.f64 y z))) |
| 159.0ms | (/.f64 (-.f64 t z) (-.f64 y z)) |
Compiled 1507 to 1125 computations (25.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (50.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5240 | 6196 |
6 alts after pruning (4 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 243 | 1 | 244 |
| Fresh | 1 | 3 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 244 | 6 | 250 |
Compiled 4819 to 737 computations (84.7% saved)
Found 4 expressions with local error:
| 1.6b | (*.f64 x (/.f64 (-.f64 y z) (-.f64 t z))) |
| 0.0b | (/.f64 (-.f64 y z) (-.f64 t z)) |
| 0.0b | (/.f64 (-.f64 y z) (-.f64 t z)) |
| 1.6b | (*.f64 x (/.f64 (-.f64 y z) (-.f64 t z))) |
| 1× | rewrite-expression-head |
| 75× | add-sqr-sqrt_binary64_16809 |
| 70× | *-un-lft-identity_binary64_16787 |
| 51× | times-frac_binary64_16793 |
| 31× | associate-*r*_binary64_16727 |
| 26× | add-cube-cbrt_binary64_16822 |
| 22× | difference-of-squares_binary64_16756 distribute-lft-out--_binary64_16739 |
| 9× | add-exp-log_binary64_16825 add-cbrt-cube_binary64_16823 |
| 5× | associate-/l*_binary64_16732 associate-/r*_binary64_16731 |
| 4× | pow1_binary64_16848 associate-/r/_binary64_16733 |
| 3× | flip3--_binary64_16791 associate-*l*_binary64_16728 flip--_binary64_16762 |
| 2× | cbrt-undiv_binary64_16821 add-log-exp_binary64_16826 cbrt-unprod_binary64_16820 prod-exp_binary64_16836 div-exp_binary64_16838 associate-/l/_binary64_16734 unswap-sqr_binary64_16755 div-inv_binary64_16784 |
| 1× | div-sub_binary64_16792 clear-num_binary64_16786 *-commutative_binary64_16718 associate-*r/_binary64_16729 frac-2neg_binary64_16798 pow-prod-down_binary64_16858 |
4 calls:
| 22.0ms | (*.f64 x (/.f64 (-.f64 y z) (-.f64 t z))) |
| 8.0ms | (/.f64 (-.f64 y z) (-.f64 t z)) |
| 0.0ms | (/.f64 (-.f64 y z) (-.f64 t z)) |
| 0.0ms | (*.f64 x (/.f64 (-.f64 y z) (-.f64 t z))) |
2 calls:
| 287.0ms | (*.f64 x (/.f64 (-.f64 y z) (-.f64 t z))) |
| 178.0ms | (/.f64 (-.f64 y z) (-.f64 t z)) |
Compiled 1634 to 1221 computations (25.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (63.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4966 | 3190 |
| 1 | 4966 | 3190 |
6 alts after pruning (3 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 157 | 0 | 157 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 157 | 6 | 163 |
Compiled 2815 to 600 computations (78.7% saved)
Found 4 expressions with local error:
| 8.1b | (*.f64 (/.f64 x (-.f64 t z)) (-.f64 y z)) |
| 0.0b | (/.f64 x (-.f64 t z)) |
| 0.0b | (/.f64 x (-.f64 t z)) |
| 8.1b | (*.f64 (/.f64 x (-.f64 t z)) (-.f64 y z)) |
| 1× | rewrite-expression-head |
| 45× | add-sqr-sqrt_binary64_16809 |
| 40× | *-un-lft-identity_binary64_16787 |
| 31× | times-frac_binary64_16793 |
| 24× | add-cube-cbrt_binary64_16822 |
| 21× | associate-*l*_binary64_16728 |
| 9× | add-exp-log_binary64_16825 add-cbrt-cube_binary64_16823 |
| 8× | difference-of-squares_binary64_16756 distribute-lft-out--_binary64_16739 |
| 6× | cancel-sign-sub-inv_binary64_16753 |
| 5× | associate-*r*_binary64_16727 associate-/r*_binary64_16731 |
| 4× | pow1_binary64_16848 flip3--_binary64_16791 distribute-rgt-in_binary64_16737 associate-/r/_binary64_16733 flip--_binary64_16762 distribute-lft-in_binary64_16736 |
| 3× | associate-/l*_binary64_16732 |
| 2× | cbrt-undiv_binary64_16821 add-log-exp_binary64_16826 cbrt-unprod_binary64_16820 sub-neg_binary64_16780 prod-exp_binary64_16836 div-exp_binary64_16838 associate-*r/_binary64_16729 frac-times_binary64_16797 unswap-sqr_binary64_16755 div-inv_binary64_16784 |
| 1× | clear-num_binary64_16786 *-commutative_binary64_16718 frac-2neg_binary64_16798 associate-*l/_binary64_16730 pow-prod-down_binary64_16858 |
4 calls:
| 16.0ms | (*.f64 (/.f64 x (-.f64 t z)) (-.f64 y z)) |
| 5.0ms | (/.f64 x (-.f64 t z)) |
| 0.0ms | (/.f64 x (-.f64 t z)) |
| 0.0ms | (*.f64 (/.f64 x (-.f64 t z)) (-.f64 y z)) |
2 calls:
| 286.0ms | (*.f64 (/.f64 x (-.f64 t z)) (-.f64 y z)) |
| 109.0ms | (/.f64 x (-.f64 t z)) |
Compiled 1367 to 1026 computations (24.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (47.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4967 | 2600 |
| 1 | 4967 | 2600 |
6 alts after pruning (2 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 141 | 0 | 141 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 141 | 6 | 147 |
Compiled 2343 to 452 computations (80.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (49.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1758 | 602 |
| 1 | 1758 | 602 |
Compiled 2177 to 1799 computations (17.4% saved)
Compiled 711 to 822 computations (-15.6% saved)
Compiled 9 to 8 computations (11.1% saved)
Compiled 666 to 782 computations (-17.4% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 1.9589963302311996e+160 | 2.176323707936839e+171 | 4.3843029754894383e+160 |
| 9 | 1.300579739086274e-237 | 3.0317930050992964e-232 | 3.6274392266717513e-236 |
| 6 | -6.699789053531692e-265 | -6.365533785805362e-266 | -1.6110760326216112e-265 |
| 9 | -1.6935679457824637e+201 | -1.7115467138225486e+193 | -5.687623818202684e+193 |
Compiled 1 to 4 computations (-300% saved)
Compiled 460 to 556 computations (-20.9% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 2.458119370541678e-12 | 4.728698274651426e-12 | 2.727684865905723e-12 |
| 9 | -1.3604042307320994e-27 | -5.6159269086535114e-33 | -8.672423740642967e-28 |
Compiled 1 to 4 computations (-300% saved)
Compiled 396 to 492 computations (-24.2% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 2.458119370541678e-12 | 4.728698274651426e-12 | 2.9433372621969594e-12 |
| 11 | -135409.26349527386 | -2.387215155103973e-17 | -2.311832737277049e-06 |
| 9 | -1.7689274197989372e+23 | -153273997094188.7 | -1.3958838192896972e+23 |
| 6 | -9.385927281363174e+80 | -2.0678012610660038e+80 | -4.4556909337014073e+80 |
| 9 | -6.784894398439334e+141 | -2.2248652313077865e+135 | -6.142361359959382e+141 |
| 9 | -1.6935679457824637e+201 | -1.7115467138225486e+193 | -1.7351672597883488e+193 |
Compiled 1 to 4 computations (-300% saved)
Compiled 364 to 460 computations (-26.4% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 2.458119370541678e-12 | 4.728698274651426e-12 | 2.5120324696144867e-12 |
| 11 | -135409.26349527386 | -2.387215155103973e-17 | -8.918392719515627e-07 |
| 9 | -1.7689274197989372e+23 | -153273997094188.7 | -8.180405541503082e+20 |
| 6 | -9.385927281363174e+80 | -2.0678012610660038e+80 | -4.4556909337014073e+80 |
| 9 | -6.784894398439334e+141 | -2.2248652313077865e+135 | -1.0623796772080383e+141 |
| 9 | -1.6935679457824637e+201 | -1.7115467138225486e+193 | -1.7351672597883488e+193 |
Compiled 1 to 4 computations (-300% saved)
Compiled 252 to 348 computations (-38.1% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 2.458119370541678e-12 | 4.728698274651426e-12 | 3.5902944510706688e-12 |
| 11 | -135409.26349527386 | -2.387215155103973e-17 | -0.00010068718543739433 |
| 9 | -1.7689274197989372e+23 | -153273997094188.7 | -4.803985098633738e+18 |
| 6 | -9.385927281363174e+80 | -2.0678012610660038e+80 | -2.4681140235601384e+80 |
Compiled 1 to 4 computations (-300% saved)
Compiled 112 to 208 computations (-85.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 2.458119370541678e-12 | 4.728698274651426e-12 | 4.189567283923334e-12 |
| 6 | -9.385927281363174e+80 | -2.0678012610660038e+80 | -2.212728744097138e+80 |
Compiled 1 to 4 computations (-300% saved)
Compiled 84 to 180 computations (-114.3% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 2.458119370541678e-12 | 4.728698274651426e-12 | 2.8355110640513414e-12 |
| 9 | -1.3604042307320994e-27 | -5.6159269086535114e-33 | -1.2500329658531297e-30 |
Compiled 1 to 4 computations (-300% saved)
Compiled 24 to 108 computations (-350% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 1.848491747508622e-299 | 2.3334722419408695e-295 | 2.2813127836209075e-295 |
| 6 | -4.3751362464744876e-66 | -3.281622961315173e-67 | -3.714802340550633e-67 |
Compiled 1 to 4 computations (-300% saved)
Total 1.0b remaining (99.7%)
Threshold costs 1.0b (99.7%)
Compiled 20 to 92 computations (-360% saved)
Compiled 430 to 208 computations (51.6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (5.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 250 | 537 |
| 1 | 250 | 537 |
| 1× | intervals |
| 252.0ms | 8000× | body | 128 | valid |
| 18.0ms | 614× | body | 128 | invalid |
Compiled 795 to 569 computations (28.4% saved)
0.44409682440964265
Loading profile data...