Time bar (total: 3.8min)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 25% | 75% | 0 |
| 0% | 25% | 75% | 1 |
| 0% | 25% | 75% | 2 |
| 0% | 25% | 75% | 3 |
| 0% | 25% | 75% | 4 |
| 0% | 25% | 75% | 5 |
| 0% | 25% | 75% | 6 |
| 0% | 25% | 75% | 7 |
| 3.1% | 21.8% | 75% | 8 |
| 3.1% | 21.8% | 75% | 9 |
| 3.1% | 21.8% | 75% | 10 |
| 3.1% | 21.8% | 75% | 11 |
| 3.1% | 21.8% | 75% | 12 |
| 3.1% | 21.8% | 75% | 13 |
| 3.1% | 21.8% | 75% | 14 |
Compiled 50 to 40 computations (20% saved)
| 1× | intervals |
| 12.6s | 430× | body | 8192 | exit |
| 690.0ms | 337× | body | 1024 | overflowed |
| 496.0ms | 2014× | body | 128 | overflowed |
| 199.0ms | 199× | body | 512 | overflowed |
| 109.0ms | 3337× | pre | 128 | true |
| 52.0ms | 101× | body | 256 | overflowed |
| 40.0ms | 253× | body | 128 | valid |
| 7.0ms | 1× | body | 4096 | valid |
| 1.0ms | 1× | body | 512 | valid |
| 0.0ms | 1× | body | 256 | valid |
Compiled 93 to 79 computations (15.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (82.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5036 | 68 |
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 86 to 70 computations (18.6% saved)
Found 8 expressions with local error:
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 t))) |
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 t))) |
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 s))) |
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 s))) |
| 0.0b | (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) |
| 0.5b | (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) |
| 1.2b | (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) |
| 3.4b | (/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n))) |
| 1× | rewrite-expression-head |
| 1192× | add-exp-log_binary64_4890 |
| 692× | pow-exp_binary64_4920 |
| 684× | prod-exp_binary64_4901 |
| 593× | div-exp_binary64_4903 |
| 344× | pow-to-exp_binary64_4921 |
| 116× | 1-exp_binary64_4896 rec-exp_binary64_4902 |
| 56× | *-un-lft-identity_binary64_4852 |
| 41× | times-frac_binary64_4858 add-sqr-sqrt_binary64_4874 |
| 36× | unpow-prod-down_binary64_4931 |
| 30× | add-cube-cbrt_binary64_4887 |
| 18× | cancel-sign-sub-inv_binary64_4818 |
| 16× | add-cbrt-cube_binary64_4888 |
| 9× | distribute-lft-out_binary64_4803 |
| 8× | pow1_binary64_4913 |
| 6× | difference-of-squares_binary64_4821 pow-pow_binary64_4924 add-log-exp_binary64_4891 associate-/r/_binary64_4798 pow-unpow_binary64_4929 |
| 5× | div-inv_binary64_4849 |
| 4× | cbrt-unprod_binary64_4885 cbrt-undiv_binary64_4886 |
| 3× | flip-+_binary64_4826 flip3-+_binary64_4855 |
| 2× | pow-flip_binary64_4926 distribute-lft-out--_binary64_4804 inv-pow_binary64_4937 sqr-pow_binary64_4824 |
| 1× | flip3--_binary64_4856 sub-neg_binary64_4845 associate-/l*_binary64_4797 clear-num_binary64_4851 associate-/r*_binary64_4796 flip--_binary64_4827 diff-log_binary64_4944 frac-2neg_binary64_4863 |
8 calls:
| 68.0ms | (/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n))) |
| 20.0ms | (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) |
| 8.0ms | (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) |
| 8.0ms | (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) |
| 0.0ms | (+.f64 1 (exp.f64 (neg.f64 s))) |
4 calls:
| 3.1s | (/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n))) |
| 191.0ms | (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) |
| 168.0ms | (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) |
| 38.0ms | (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) |
Compiled 4756 to 3724 computations (21.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (86.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4976 | 30857 |
| 1 | 4976 | 30857 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 523 | 5 | 528 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 524 | 5 | 529 |
Compiled 24366 to 15819 computations (35.1% saved)
Found 8 expressions with local error:
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 t))) |
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 s))) |
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 s))) |
| 0.0b | (-.f64 (*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))) (*.f64 c_p (neg.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))))) |
| 0.6b | (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))) |
| 1.2b | (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) |
| 4.6b | (-.f64 (-.f64 (*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))) (*.f64 c_p (neg.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))))) |
| 8.7b | (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))) |
| 1× | rewrite-expression-head |
| 107× | associate--l+_binary64_4789 |
| 61× | add-sqr-sqrt_binary64_4874 |
| 60× | log-prod_binary64_4938 |
| 59× | *-un-lft-identity_binary64_4852 |
| 25× | difference-of-squares_binary64_4821 |
| 22× | distribute-lft-in_binary64_4801 distribute-rgt-in_binary64_4802 |
| 19× | associate--r+_binary64_4788 |
| 16× | times-frac_binary64_4858 |
| 15× | add-cube-cbrt_binary64_4887 |
| 14× | cancel-sign-sub-inv_binary64_4818 |
| 13× | pow1_binary64_4913 |
| 12× | distribute-lft-out--_binary64_4804 log-div_binary64_4939 |
| 9× | add-log-exp_binary64_4891 log-pow_binary64_4941 |
| 6× | add-exp-log_binary64_4890 associate--r-_binary64_4791 flip3--_binary64_4856 flip--_binary64_4827 |
| 5× | sub-neg_binary64_4845 |
| 4× | distribute-lft-out_binary64_4803 add-cbrt-cube_binary64_4888 div-inv_binary64_4849 diff-log_binary64_4944 |
| 3× | associate--l-_binary64_4790 |
| 2× | flip-+_binary64_4826 rem-log-exp_binary64_4893 flip3-+_binary64_4855 |
8 calls:
| 52.0ms | (-.f64 (-.f64 (*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))) (*.f64 c_p (neg.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))))) |
| 27.0ms | (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))) |
| 4.0ms | (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))) |
| 4.0ms | (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) |
| 0.0ms | (-.f64 (*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))) (*.f64 c_p (neg.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))))) |
4 calls:
| 2.5s | (-.f64 (-.f64 (*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))) (*.f64 c_p (neg.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))))) |
| 509.0ms | (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))) |
| 75.0ms | (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))) |
| 72.0ms | (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) |
Compiled 2666 to 2284 computations (14.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (86.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4951 | 7608 |
| 1 | 4951 | 7608 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 175 | 3 | 178 |
| Fresh | 2 | 2 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 178 | 5 | 183 |
Compiled 9094 to 6121 computations (32.7% saved)
Found 8 expressions with local error:
| 0.0b | (+.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (*.f64 t 1/2)) |
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 s))) |
| 0.0b | (+.f64 1 (exp.f64 (neg.f64 s))) |
| 0.0b | (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n)) |
| 0.2b | (*.f64 c_p (+.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (*.f64 t 1/2))) |
| 0.2b | (*.f64 c_p (log.f64 2)) |
| 1.2b | (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) |
| 8.6b | (-.f64 (+.f64 (*.f64 c_p (log.f64 2)) (*.f64 c_n (+.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (*.f64 t 1/2)))) (+.f64 (*.f64 c_n (log.f64 1/2)) (*.f64 c_p (+.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (*.f64 t 1/2))))) |
| 1× | rewrite-expression-head |
| 18× | add-sqr-sqrt_binary64_4874 |
| 16× | *-un-lft-identity_binary64_4852 add-log-exp_binary64_4891 |
| 12× | add-cube-cbrt_binary64_4887 |
| 10× | log-prod_binary64_4938 pow1_binary64_4913 |
| 9× | add-exp-log_binary64_4890 |
| 8× | add-cbrt-cube_binary64_4888 |
| 7× | associate-*r*_binary64_4792 |
| 6× | associate-*l*_binary64_4793 flip-+_binary64_4826 flip3-+_binary64_4855 |
| 4× | distribute-lft-in_binary64_4801 frac-sub_binary64_4861 distribute-rgt-in_binary64_4802 diff-log_binary64_4944 sum-log_binary64_4943 |
| 3× | cancel-sign-sub-inv_binary64_4818 |
| 2× | unswap-sqr_binary64_4820 cbrt-unprod_binary64_4885 associate-*r/_binary64_4794 prod-exp_binary64_4901 log-div_binary64_4939 pow-prod-down_binary64_4923 log-pow_binary64_4941 *-commutative_binary64_4783 |
| 1× | difference-of-squares_binary64_4821 distribute-lft-out--_binary64_4804 flip3--_binary64_4856 associate--l+_binary64_4789 associate--r+_binary64_4788 distribute-lft-out_binary64_4803 sub-neg_binary64_4845 flip--_binary64_4827 rem-log-exp_binary64_4893 |
8 calls:
| 13.0ms | (-.f64 (+.f64 (*.f64 c_p (log.f64 2)) (*.f64 c_n (+.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (*.f64 t 1/2)))) (+.f64 (*.f64 c_n (log.f64 1/2)) (*.f64 c_p (+.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (*.f64 t 1/2))))) |
| 6.0ms | (*.f64 c_p (+.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (*.f64 t 1/2))) |
| 5.0ms | (*.f64 c_p (log.f64 2)) |
| 4.0ms | (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) |
| 0.0ms | (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n)) |
4 calls:
| 2.1s | (-.f64 (+.f64 (*.f64 c_p (log.f64 2)) (*.f64 c_n (+.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (*.f64 t 1/2)))) (+.f64 (*.f64 c_n (log.f64 1/2)) (*.f64 c_p (+.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (*.f64 t 1/2))))) |
| 451.0ms | (*.f64 c_p (+.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (*.f64 t 1/2))) |
| 84.0ms | (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) |
| 62.0ms | (*.f64 c_p (log.f64 2)) |
Compiled 3324 to 2670 computations (19.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (72.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5565 | 4745 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 128 | 1 | 129 |
| Fresh | 1 | 3 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 130 | 4 | 134 |
Compiled 7555 to 5081 computations (32.7% saved)
Found 8 expressions with local error:
| 0.0b | (+.f64 (*.f64 c_n t) (*.f64 c_p s)) |
| 0.0b | (*.f64 1/2 (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s)))) |
| 0.0b | (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n)) |
| 0.0b | (+.f64 (*.f64 c_p t) (*.f64 c_n s)) |
| 0.0b | (+.f64 (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) (*.f64 1/2 (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s))))) |
| 0.0b | (exp.f64 (+.f64 (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) (*.f64 1/2 (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s)))))) |
| 0.0b | (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s))) |
| 0.1b | (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) |
| 1× | rewrite-expression-head |
| 40× | associate-*r/_binary64_4794 |
| 21× | add-log-exp_binary64_4891 |
| 20× | flip-+_binary64_4826 flip3-+_binary64_4855 |
| 13× | add-exp-log_binary64_4890 add-cbrt-cube_binary64_4888 distribute-lft-in_binary64_4801 distribute-rgt-in_binary64_4802 pow1_binary64_4913 |
| 12× | frac-add_binary64_4860 frac-sub_binary64_4861 |
| 11× | *-un-lft-identity_binary64_4852 add-sqr-sqrt_binary64_4874 |
| 10× | associate-+r+_binary64_4784 |
| 9× | add-cube-cbrt_binary64_4887 cancel-sign-sub-inv_binary64_4818 |
| 6× | cbrt-unprod_binary64_4885 prod-exp_binary64_4901 pow-prod-down_binary64_4923 sum-log_binary64_4943 |
| 4× | associate-+l+_binary64_4785 diff-log_binary64_4944 |
| 3× | associate-*l*_binary64_4793 flip3--_binary64_4856 associate--l+_binary64_4789 sub-neg_binary64_4845 exp-prod_binary64_4904 flip--_binary64_4827 |
| 2× | rem-exp-log_binary64_4892 |
| 1× | difference-of-squares_binary64_4821 distribute-lft-out--_binary64_4804 +-commutative_binary64_4782 associate--r+_binary64_4788 associate-*r*_binary64_4792 exp-sum_binary64_4898 *-commutative_binary64_4783 |
8 calls:
| 20.0ms | (+.f64 (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) (*.f64 1/2 (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s))))) |
| 20.0ms | (exp.f64 (+.f64 (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) (*.f64 1/2 (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s)))))) |
| 10.0ms | (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s))) |
| 10.0ms | (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) |
| 0.0ms | (+.f64 (*.f64 c_p t) (*.f64 c_n s)) |
4 calls:
| 952.0ms | (+.f64 (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) (*.f64 1/2 (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s))))) |
| 645.0ms | (exp.f64 (+.f64 (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) (*.f64 1/2 (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s)))))) |
| 330.0ms | (-.f64 (+.f64 (*.f64 c_n t) (*.f64 c_p s)) (+.f64 (*.f64 c_p t) (*.f64 c_n s))) |
| 211.0ms | (*.f64 t (*.f64 (*.f64 t 1/8) (+.f64 c_p c_n))) |
Compiled 6193 to 4604 computations (25.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (24.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5092 | 9233 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 187 | 2 | 189 |
| Fresh | 2 | 1 | 3 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 190 | 3 | 193 |
Compiled 8373 to 2923 computations (65.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (221.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 3764 | 2437 |
| 1 | 3764 | 2437 |
Compiled 24504 to 20318 computations (17.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 67 | 44 |
| 1 | 67 | 44 |
| 1× | intervals |
| 2.8min | 7128× | body | 8192 | exit |
| 8.2s | 5245× | body | 1024 | overflowed |
| 6.1s | 31732× | body | 128 | overflowed |
| 2.4s | 2848× | body | 512 | overflowed |
| 1.3s | 52361× | pre | 128 | true |
| 640.0ms | 1458× | body | 256 | overflowed |
| 491.0ms | 3850× | body | 128 | valid |
| 198.0ms | 12× | body | 8192 | valid |
| 123.0ms | 12× | body | 4096 | valid |
| 53.0ms | 31× | body | 1024 | valid |
| 20.0ms | 1× | body | 8192 | overflowed |
| 13.0ms | 18× | body | 512 | valid |
| 13.0ms | 5× | body | 2048 | valid |
| 6.0ms | 18× | body | 256 | valid |
| 1.0ms | 3× | body | 128 | invalid |
Compiled 50 to 44 computations (12% saved)
Loading profile data...