Time bar (total: 3.8s)
| 1× | search |
| 2× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5047 | 13 |
| 0 | 1 | 1 |
| 1 | 1 | 1 |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 50% | 50% | 0 |
| 0% | 50% | 50% | 1 |
| 0% | 50% | 50% | 2 |
| 0% | 50% | 50% | 3 |
| 37.5% | 12.5% | 50% | 4 |
| 43.7% | 6.2% | 50% | 5 |
| 46.9% | 3.1% | 50% | 6 |
| 48.4% | 1.6% | 50% | 7 |
| 49.2% | 0.8% | 50% | 8 |
| 49.6% | 0.4% | 50% | 9 |
| 49.8% | 0.2% | 50% | 10 |
| 49.9% | 0.1% | 50% | 11 |
| 49.9% | 0% | 50% | 12 |
| 50% | 0% | 50% | 13 |
| 50% | 0% | 50% | 14 |
Compiled 29 to 20 computations (31% saved)
| 1× | intervals |
| 18.0ms | 256× | body | 128 | valid |
| 3.0ms | 256× | pre | 128 | true |
Compiled 54 to 38 computations (29.6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5047 | 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 43 to 33 computations (23.3% saved)
Found 2 expressions with local error:
| 0.1b | (/.f64 1 (*.f64 i i)) |
| 0.5b | (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) |
| 1× | rewrite-expression-head |
| 37× | add-sqr-sqrt_binary64_1123 |
| 35× | times-frac_binary64_1107 |
| 33× | *-un-lft-identity_binary64_1101 |
| 17× | add-cube-cbrt_binary64_1136 |
| 15× | add-exp-log_binary64_1139 |
| 12× | difference-of-squares_binary64_1070 |
| 10× | pow1_binary64_1162 |
| 9× | add-cbrt-cube_binary64_1137 associate-/r*_binary64_1045 |
| 8× | distribute-lft-out--_binary64_1053 |
| 6× | div-inv_binary64_1098 associate-/l*_binary64_1046 pow-flip_binary64_1175 |
| 5× | div-exp_binary64_1152 |
| 3× | cbrt-undiv_binary64_1135 prod-exp_binary64_1150 |
| 2× | add-log-exp_binary64_1140 frac-2neg_binary64_1112 clear-num_binary64_1100 associate-/r/_binary64_1047 1-exp_binary64_1145 rec-exp_binary64_1151 |
| 1× | flip3--_binary64_1105 flip--_binary64_1076 inv-pow_binary64_1186 pow2_binary64_1182 pow-prod-down_binary64_1172 pow-prod-up_binary64_1171 pow-plus_binary64_1164 pow-sqr_binary64_1074 cbrt-unprod_binary64_1134 |
2 calls:
| 8.0ms | (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) |
| 5.0ms | (/.f64 1 (*.f64 i i)) |
Compiled 1182 to 881 computations (25.5% saved)
2 calls:
| 57.0ms | (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) |
| 31.0ms | (/.f64 1 (*.f64 i i)) |
Compiled 265 to 249 computations (6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (59.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4969 | 1288 |
| 1 | 4969 | 1288 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 91 | 3 | 94 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 92 | 4 | 96 |
Compiled 876 to 668 computations (23.7% saved)
Found 4 expressions with local error:
| 0.0b | (-.f64 2 (/.f64 1 i)) |
| 0.0b | (*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i)))) |
| 0.1b | (/.f64 1/2 (-.f64 2 (/.f64 1 i))) |
| 0.1b | (/.f64 1/2 (+.f64 2 (/.f64 1 i))) |
| 1× | rewrite-expression-head |
| 123× | add-sqr-sqrt_binary64_1123 |
| 108× | *-un-lft-identity_binary64_1101 |
| 107× | times-frac_binary64_1107 |
| 55× | add-cube-cbrt_binary64_1136 |
| 30× | associate-*r*_binary64_1041 |
| 24× | difference-of-squares_binary64_1070 |
| 21× | associate-*l*_binary64_1042 |
| 20× | add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 div-inv_binary64_1098 |
| 16× | distribute-lft-out--_binary64_1053 |
| 14× | distribute-lft-out_binary64_1052 |
| 13× | associate-/r*_binary64_1045 cancel-sign-sub-inv_binary64_1067 |
| 8× | associate-/r/_binary64_1047 |
| 6× | pow1_binary64_1162 div-exp_binary64_1152 add-log-exp_binary64_1140 cbrt-undiv_binary64_1135 associate-/l*_binary64_1046 |
| 4× | prod-exp_binary64_1150 cbrt-unprod_binary64_1134 unswap-sqr_binary64_1069 |
| 3× | flip3--_binary64_1105 flip--_binary64_1076 |
| 2× | frac-2neg_binary64_1112 clear-num_binary64_1100 flip3-+_binary64_1104 flip-+_binary64_1075 |
| 1× | pow-prod-down_binary64_1172 frac-times_binary64_1111 associate-*l/_binary64_1044 associate-*r/_binary64_1043 *-commutative_binary64_1032 diff-log_binary64_1193 sub-neg_binary64_1094 |
4 calls:
| 30.0ms | (*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i)))) |
| 9.0ms | (/.f64 1/2 (-.f64 2 (/.f64 1 i))) |
| 8.0ms | (/.f64 1/2 (+.f64 2 (/.f64 1 i))) |
| 8.0ms | (-.f64 2 (/.f64 1 i)) |
Compiled 4068 to 3550 computations (12.7% saved)
4 calls:
| 66.0ms | (*.f64 (/.f64 1/2 (+.f64 2 (/.f64 1 i))) (/.f64 1/2 (-.f64 2 (/.f64 1 i)))) |
| 44.0ms | (/.f64 1/2 (+.f64 2 (/.f64 1 i))) |
| 44.0ms | (/.f64 1/2 (-.f64 2 (/.f64 1 i))) |
| 27.0ms | (-.f64 2 (/.f64 1 i)) |
Compiled 1136 to 1017 computations (10.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (46.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5022 | 3930 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 230 | 0 | 230 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 230 | 4 | 234 |
Compiled 3377 to 2908 computations (13.9% saved)
Found 4 expressions with local error:
| 0.1b | (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3) |
| 0.1b | (/.f64 1 (*.f64 i i)) |
| 0.5b | (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) |
| 10.3b | (cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3)) |
| 1× | rewrite-expression-head |
| 155× | times-frac_binary64_1107 |
| 149× | add-sqr-sqrt_binary64_1123 |
| 133× | *-un-lft-identity_binary64_1101 |
| 69× | add-cube-cbrt_binary64_1136 |
| 66× | cbrt-prod_binary64_1132 |
| 60× | unpow-prod-down_binary64_1180 cube-prod_binary64_1129 |
| 48× | difference-of-squares_binary64_1070 |
| 32× | distribute-lft-out--_binary64_1053 |
| 22× | div-inv_binary64_1098 |
| 20× | add-exp-log_binary64_1139 |
| 14× | add-cbrt-cube_binary64_1137 |
| 13× | pow1_binary64_1162 |
| 10× | associate-/r/_binary64_1047 |
| 9× | associate-/r*_binary64_1045 |
| 6× | div-exp_binary64_1152 associate-/l*_binary64_1046 pow-flip_binary64_1175 |
| 5× | flip3--_binary64_1105 flip--_binary64_1076 |
| 4× | add-log-exp_binary64_1140 cbrt-undiv_binary64_1135 |
| 3× | prod-exp_binary64_1150 pow-unpow_binary64_1178 |
| 2× | cube-div_binary64_1130 unpow3_binary64_1167 cube-mult_binary64_1131 sqr-pow_binary64_1073 frac-2neg_binary64_1112 clear-num_binary64_1100 1-exp_binary64_1145 rec-exp_binary64_1151 pow-exp_binary64_1169 rem-cube-cbrt_binary64_1124 |
| 1× | pow1/3_binary64_1183 cbrt-div_binary64_1133 rem-cbrt-cube_binary64_1125 inv-pow_binary64_1186 pow2_binary64_1182 pow-prod-down_binary64_1172 pow-prod-up_binary64_1171 pow-plus_binary64_1164 pow-sqr_binary64_1074 cbrt-unprod_binary64_1134 pow-pow_binary64_1173 pow-to-exp_binary64_1170 |
4 calls:
| 16.0ms | (cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3)) |
| 11.0ms | (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3) |
| 8.0ms | (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) |
| 5.0ms | (/.f64 1 (*.f64 i i)) |
Compiled 3448 to 2730 computations (20.8% saved)
4 calls:
| 81.0ms | (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3) |
| 58.0ms | (cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3)) |
| 53.0ms | (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) |
| 25.0ms | (/.f64 1 (*.f64 i i)) |
Compiled 770 to 722 computations (6.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (49.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5092 | 5021 |
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 270 | 0 | 270 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 270 | 4 | 274 |
Compiled 2155 to 1699 computations (21.2% saved)
Found 1 expressions with local error:
| 0.0b | (*.f64 -1/4 (*.f64 i i)) |
| 1× | rewrite-expression-head |
| 6× | pow1_binary64_1162 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 |
| 3× | pow-prod-down_binary64_1172 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 add-sqr-sqrt_binary64_1123 associate-*l*_binary64_1042 |
| 2× | add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101 |
| 1× | add-log-exp_binary64_1140 unswap-sqr_binary64_1069 associate-*r*_binary64_1041 *-commutative_binary64_1032 |
1 calls:
| 5.0ms | (*.f64 -1/4 (*.f64 i i)) |
Compiled 172 to 101 computations (41.3% saved)
1 calls:
| 38.0ms | (*.f64 -1/4 (*.f64 i i)) |
Compiled 35 to 35 computations (0% saved)
| 1× | egg-herbie |
Useful iterations: 0 (45.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4844 | 180 |
| 1 | 4844 | 180 |
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 22 | 0 | 22 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 22 | 4 | 26 |
Compiled 112 to 71 computations (36.6% saved)
Total 0.1b remaining (95.5%)
Threshold costs 0.1b (95.5%)
Compiled 1507 to 1345 computations (10.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 22 |
| 1 | 25 | 22 |
Compiled 15 to 14 computations (6.7% saved)
| 1× | intervals |
| 467.0ms | 8000× | body | 128 | valid |
| 106.0ms | 8000× | pre | 128 | true |
Compiled 88 to 78 computations (11.4% saved)
Loading profile data...