Time bar (total: 10.0min)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 14% | 86% | 0 |
| 0% | 14% | 86% | 1 |
| 0% | 14% | 86% | 2 |
| 0% | 14% | 86% | 3 |
| 0% | 14% | 86% | 4 |
| 0% | 14% | 86% | 5 |
| 0% | 14% | 86% | 6 |
| 8.1% | 5.9% | 86% | 7 |
| 10.3% | 3.7% | 86% | 8 |
| 12.6% | 1.5% | 86% | 9 |
| 13.9% | 0.1% | 86% | 10 |
| 14% | 0% | 86% | 11 |
| 14% | 0% | 86% | 12 |
| 14% | 0% | 86% | 13 |
| 14% | 0% | 86% | 14 |
Compiled 63 to 34 computations (46% saved)
| 1× | intervals |
| 42.0ms | 256× | body | 128 | valid |
| 11.0ms | 256× | pre | 128 | true |
Compiled 116 to 64 computations (44.8% saved)
| 1× | egg-herbie |
Useful iterations: 0 (70.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5395 | 79 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 0 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Merged error: 54.2b
Compiled 106 to 54 computations (49.1% saved)
Found 4 expressions with local error:
| 0.0b | (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) |
| 0.1b | (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) |
| 35.2b | (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1)) |
| 46.7b | (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) |
| 1× | rewrite-expression-head |
| 86× | times-frac_binary64_1107 |
| 66× | flip3-+_binary64_1104 associate-/r/_binary64_1047 flip-+_binary64_1075 |
| 61× | add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 |
| 46× | add-sqr-sqrt_binary64_1123 |
| 44× | *-un-lft-identity_binary64_1101 frac-times_binary64_1111 |
| 34× | associate-*r/_binary64_1043 |
| 30× | add-cube-cbrt_binary64_1136 |
| 28× | difference-of-squares_binary64_1070 |
| 22× | cbrt-unprod_binary64_1134 prod-exp_binary64_1150 associate-*l/_binary64_1044 |
| 19× | div-exp_binary64_1152 cbrt-undiv_binary64_1135 |
| 16× | pow1_binary64_1162 |
| 14× | difference-of-sqr-1_binary64_1071 associate-/l*_binary64_1046 |
| 9× | associate-/l/_binary64_1048 div-inv_binary64_1098 |
| 7× | associate-/r*_binary64_1045 |
| 6× | associate-*r*_binary64_1041 |
| 4× | add-log-exp_binary64_1140 pow-prod-down_binary64_1172 associate-*l*_binary64_1042 |
| 3× | swap-sqr_binary64_1068 |
| 2× | *-commutative_binary64_1032 frac-2neg_binary64_1112 distribute-lft-in_binary64_1050 clear-num_binary64_1100 distribute-rgt-in_binary64_1051 |
| 1× | pow-plus_binary64_1164 pow-prod-up_binary64_1171 flip--_binary64_1076 flip3--_binary64_1105 pow-sqr_binary64_1074 unswap-sqr_binary64_1069 pow2_binary64_1182 |
4 calls:
| 152.0ms | (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1)) |
| 52.0ms | (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) |
| 28.0ms | (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) |
| 28.0ms | (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) |
4 calls:
| 4.4s | (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1)) |
| 411.0ms | (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) |
| 229.0ms | (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) |
| 217.0ms | (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) |
| 1× | egg-herbie |
Useful iterations: 0 (68.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5261 | 18181 |
89 alts after pruning (88 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 152 | 88 | 240 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 152 | 89 | 241 |
Merged error: 31.7b
Compiled 24484 to 9994 computations (59.2% saved)
Found 4 expressions with local error:
| 0.0b | (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 0.1b | (*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 32.9b | (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 33.1b | (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 1× | rewrite-expression-head |
| 414× | times-frac_binary64_1107 |
| 314× | add-sqr-sqrt_binary64_1123 |
| 280× | *-un-lft-identity_binary64_1101 |
| 169× | add-cube-cbrt_binary64_1136 |
| 111× | associate-*r*_binary64_1041 |
| 70× | add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 |
| 62× | difference-of-squares_binary64_1070 |
| 48× | associate-/r/_binary64_1047 |
| 42× | associate-*l*_binary64_1042 |
| 33× | div-exp_binary64_1152 cbrt-undiv_binary64_1135 |
| 31× | difference-of-sqr-1_binary64_1071 distribute-lft-out--_binary64_1053 |
| 24× | flip3-+_binary64_1104 div-inv_binary64_1098 flip-+_binary64_1075 |
| 19× | associate-/l*_binary64_1046 |
| 16× | cbrt-unprod_binary64_1134 prod-exp_binary64_1150 |
| 13× | associate-/r*_binary64_1045 |
| 9× | distribute-lft-out_binary64_1052 |
| 6× | pow1_binary64_1162 unswap-sqr_binary64_1069 |
| 5× | associate-/l/_binary64_1048 |
| 4× | add-log-exp_binary64_1140 |
| 3× | frac-2neg_binary64_1112 clear-num_binary64_1100 associate-*r/_binary64_1043 |
| 2× | flip--_binary64_1076 flip3--_binary64_1105 |
| 1× | *-commutative_binary64_1032 frac-times_binary64_1111 pow-prod-down_binary64_1172 associate-*l/_binary64_1044 |
4 calls:
| 464.0ms | (*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 120.0ms | (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 26.0ms | (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 22.0ms | (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
4 calls:
| 4.8s | (*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 464.0ms | (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 385.0ms | (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 126.0ms | (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 1× | egg-herbie |
Useful iterations: 0 (69.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5170 | 30002 |
262 alts after pruning (261 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 222 | 185 | 407 |
| Fresh | 11 | 76 | 87 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 234 | 262 | 496 |
Merged error: 31.7b
Compiled 53768 to 23860 computations (55.6% saved)
Found 4 expressions with local error:
| 0.0b | (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 0.0b | (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 0.1b | (*.f64 (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 33.1b | (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 1× | rewrite-expression-head |
| 376× | times-frac_binary64_1107 |
| 294× | add-sqr-sqrt_binary64_1123 |
| 276× | *-un-lft-identity_binary64_1101 |
| 161× | add-cube-cbrt_binary64_1136 |
| 111× | associate-*r*_binary64_1041 |
| 67× | add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 |
| 62× | difference-of-squares_binary64_1070 |
| 40× | associate-/r/_binary64_1047 |
| 31× | difference-of-sqr-1_binary64_1071 distribute-lft-out--_binary64_1053 |
| 29× | div-exp_binary64_1152 cbrt-undiv_binary64_1135 |
| 23× | associate-/l*_binary64_1046 |
| 20× | flip3-+_binary64_1104 div-inv_binary64_1098 flip-+_binary64_1075 |
| 18× | cbrt-unprod_binary64_1134 prod-exp_binary64_1150 |
| 13× | distribute-lft-out_binary64_1052 associate-/r*_binary64_1045 |
| 10× | associate-*l*_binary64_1042 |
| 6× | pow1_binary64_1162 |
| 5× | associate-/l/_binary64_1048 |
| 4× | add-log-exp_binary64_1140 |
| 3× | frac-2neg_binary64_1112 clear-num_binary64_1100 unswap-sqr_binary64_1069 |
| 2× | flip--_binary64_1076 flip3--_binary64_1105 |
| 1× | *-commutative_binary64_1032 frac-times_binary64_1111 associate-*r/_binary64_1043 pow-prod-down_binary64_1172 associate-*l/_binary64_1044 |
4 calls:
| 182.0ms | (*.f64 (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 52.0ms | (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 31.0ms | (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 27.0ms | (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
4 calls:
| 5.1s | (*.f64 (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 775.0ms | (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 470.0ms | (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 159.0ms | (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 1× | egg-herbie |
Useful iterations: 0 (99.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5056 | 27370 |
281 alts after pruning (280 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 264 | 122 | 386 |
| Fresh | 102 | 158 | 260 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 0 | 1 |
| Total | 367 | 281 | 648 |
Merged error: 1.2b
Compiled 53506 to 24291 computations (54.6% saved)
Found 4 expressions with local error:
| 0.0b | (*.f64 (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (+.f64 (*.f64 alpha 1/4) (+.f64 (*.f64 i 1/2) (*.f64 beta 1/4))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 0.0b | (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 0.0b | (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) |
| 0.0b | (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 1× | rewrite-expression-head |
| 89× | *-un-lft-identity_binary64_1101 |
| 61× | add-sqr-sqrt_binary64_1123 times-frac_binary64_1107 |
| 52× | add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 |
| 48× | associate-*r*_binary64_1041 |
| 39× | add-cube-cbrt_binary64_1136 |
| 24× | distribute-lft-out_binary64_1052 |
| 18× | div-exp_binary64_1152 cbrt-undiv_binary64_1135 |
| 16× | cbrt-unprod_binary64_1134 prod-exp_binary64_1150 |
| 13× | associate-*l*_binary64_1042 |
| 10× | associate-/r/_binary64_1047 |
| 8× | pow1_binary64_1162 |
| 7× | associate-/r*_binary64_1045 |
| 6× | difference-of-squares_binary64_1070 associate-/l*_binary64_1046 |
| 5× | flip3-+_binary64_1104 div-inv_binary64_1098 flip-+_binary64_1075 |
| 4× | add-log-exp_binary64_1140 unswap-sqr_binary64_1069 |
| 3× | difference-of-sqr-1_binary64_1071 distribute-lft-out--_binary64_1053 associate-/l/_binary64_1048 associate-*r/_binary64_1043 |
| 2× | *-commutative_binary64_1032 frac-2neg_binary64_1112 clear-num_binary64_1100 pow-prod-down_binary64_1172 |
| 1× | frac-times_binary64_1111 flip--_binary64_1076 flip3--_binary64_1105 associate-*l/_binary64_1044 |
4 calls:
| 98.0ms | (*.f64 (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (+.f64 (*.f64 alpha 1/4) (+.f64 (*.f64 i 1/2) (*.f64 beta 1/4))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 49.0ms | (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 38.0ms | (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) |
| 27.0ms | (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
4 calls:
| 888.0ms | (*.f64 (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (+.f64 (*.f64 alpha 1/4) (+.f64 (*.f64 i 1/2) (*.f64 beta 1/4))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 324.0ms | (/.f64 (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) |
| 293.0ms | (*.f64 i (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) |
| 240.0ms | (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) |
| 1× | egg-herbie |
Useful iterations: 0 (181.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5353 | 7764 |
350 alts after pruning (348 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 101 | 85 | 186 |
| Fresh | 16 | 263 | 279 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 117 | 350 | 467 |
Merged error: 1.2b
Compiled 10424 to 5683 computations (45.5% saved)
Compiled 239614 to 125339 computations (47.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 5 | 8.599453299857154e+147 | 2.0373459727110507e+148 | 1.513617943055893e+148 |
Compiled 1 to 3 computations (-200% saved)
Loading profile data...