Time bar (total: 12.4min)
| 19.0ms | 256× | body | 80 | valid |
| 17.0ms | 253× | body | 80 | nan |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 28 |
| 1 | 44 | 28 |
| 2 | 161 | 28 |
| 3 | 780 | 28 |
| 4 | 3422 | 28 |
| done | 5000 | 28 |
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: 0.5b
Found 4 expressions with local error:
| 0.2b | (* 5.0 (* v v)) |
| 0.2b | (* PI t) |
| 0.4b | (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 0.4b | (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))) |
| 30× | add-exp-log add-cbrt-cube |
| 18× | associate-*r/ |
| 16× | pow1 |
| 13× | add-sqr-sqrt prod-exp cbrt-unprod |
| 10× | add-cube-cbrt *-un-lft-identity |
| 8× | flip3-- sqrt-div associate-*r* associate-/r/ flip-- |
| 7× | associate-*l* pow-prod-down |
| 4× | cbrt-undiv frac-times div-exp add-log-exp |
| 3× | times-frac *-commutative associate-/l* |
| 2× | associate-*l/ associate-/l/ unswap-sqr |
| 1× | frac-2neg div-sub clear-num associate-/r* sqrt-prod div-inv |
| 7.0ms | (* 5.0 (* v v)) |
| 4.0ms | (* PI t) |
| 10.0ms | (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 25.0ms | (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))) |
| 3.0ms | (* 5.0 (* v v)) |
| 3.0ms | (* PI t) |
| 29.0ms | (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 48.0ms | (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 33 |
| 1 | 48 | 33 |
| 2 | 119 | 33 |
| 3 | 287 | 33 |
| 4 | 648 | 33 |
| 5 | 1155 | 33 |
| 6 | 2038 | 33 |
| 7 | 3197 | 33 |
| 8 | 3327 | 33 |
| done | 3327 | 33 |
| 0 | 23 | 32 |
| 1 | 48 | 32 |
| 2 | 110 | 32 |
| 3 | 254 | 32 |
| 4 | 574 | 32 |
| 5 | 1108 | 32 |
| 6 | 1943 | 32 |
| 7 | 3179 | 32 |
| 8 | 3318 | 32 |
| done | 3318 | 32 |
| 0 | 22 | 31 |
| 1 | 47 | 31 |
| 2 | 107 | 31 |
| 3 | 228 | 31 |
| 4 | 497 | 31 |
| 5 | 950 | 31 |
| 6 | 1566 | 31 |
| 7 | 2668 | 31 |
| 8 | 2811 | 31 |
| done | 2811 | 31 |
| 0 | 21 | 30 |
| 1 | 46 | 30 |
| 2 | 126 | 30 |
| 3 | 346 | 30 |
| 4 | 787 | 30 |
| 5 | 1341 | 30 |
| 6 | 2081 | 30 |
| 7 | 3126 | 30 |
| 8 | 4087 | 30 |
| 9 | 4132 | 30 |
| done | 4132 | 30 |
| 0 | 20 | 29 |
| 1 | 48 | 29 |
| 2 | 176 | 29 |
| 3 | 847 | 29 |
| 4 | 3680 | 29 |
| done | 5000 | 29 |
| 0 | 20 | 29 |
| 1 | 45 | 29 |
| 2 | 165 | 29 |
| 3 | 806 | 29 |
| 4 | 3610 | 29 |
| done | 5001 | 29 |
| 0 | 29 | 86 |
| 1 | 69 | 74 |
| 2 | 339 | 38 |
| 3 | 2874 | 38 |
| done | 5000 | 38 |
| 0 | 27 | 86 |
| 1 | 71 | 74 |
| 2 | 341 | 36 |
| 3 | 2940 | 36 |
| done | 5000 | 36 |
| 0 | 25 | 86 |
| 1 | 66 | 86 |
| 2 | 314 | 34 |
| 3 | 2488 | 34 |
| done | 5001 | 34 |
| 0 | 23 | 86 |
| 1 | 61 | 86 |
| 2 | 312 | 32 |
| 3 | 2961 | 30 |
| done | 5001 | 30 |
| 0 | 21 | 59 |
| 1 | 46 | 59 |
| 2 | 163 | 59 |
| 3 | 784 | 59 |
| 4 | 3453 | 59 |
| done | 5001 | 59 |
| 0 | 20 | 29 |
| 1 | 45 | 29 |
| 2 | 162 | 29 |
| 3 | 783 | 29 |
| 4 | 3438 | 29 |
| done | 5001 | 29 |
| 0 | 21 | 86 |
| 1 | 53 | 86 |
| 2 | 239 | 30 |
| 3 | 1892 | 30 |
| done | 5001 | 30 |
| 0 | 20 | 29 |
| 1 | 45 | 29 |
| 2 | 162 | 29 |
| 3 | 783 | 29 |
| 4 | 3438 | 29 |
| done | 5001 | 29 |
| 0 | 20 | 29 |
| 1 | 45 | 29 |
| 2 | 162 | 29 |
| 3 | 783 | 29 |
| 4 | 3438 | 29 |
| done | 5001 | 29 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 28 | 8 |
| 3 | 55 | 8 |
| 4 | 92 | 7 |
| done | 92 | 7 |
| 0 | 16 | 21 |
| 1 | 35 | 21 |
| 2 | 118 | 21 |
| 3 | 436 | 21 |
| 4 | 1287 | 20 |
| 5 | 2181 | 20 |
| 6 | 3515 | 20 |
| 7 | 3768 | 20 |
| 8 | 4012 | 20 |
| 9 | 4025 | 20 |
| done | 4025 | 20 |
| 0 | 16 | 22 |
| 1 | 33 | 22 |
| 2 | 95 | 22 |
| 3 | 287 | 22 |
| 4 | 582 | 22 |
| 5 | 820 | 22 |
| 6 | 1004 | 22 |
| done | 1004 | 22 |
| 0 | 18 | 26 |
| 1 | 43 | 26 |
| 2 | 177 | 26 |
| 3 | 829 | 26 |
| 4 | 3071 | 26 |
| done | 5000 | 26 |
| 0 | 19 | 32 |
| 1 | 41 | 32 |
| 2 | 104 | 32 |
| 3 | 233 | 32 |
| 4 | 348 | 32 |
| 5 | 385 | 32 |
| done | 385 | 32 |
| 0 | 9 | 14 |
| 1 | 16 | 14 |
| 2 | 31 | 14 |
| 3 | 42 | 14 |
| done | 42 | 14 |
| 0 | 18 | 23 |
| 1 | 35 | 23 |
| 2 | 78 | 23 |
| 3 | 140 | 23 |
| 4 | 202 | 23 |
| 5 | 224 | 23 |
| done | 224 | 23 |
| 0 | 9 | 14 |
| 1 | 16 | 14 |
| 2 | 31 | 14 |
| 3 | 42 | 14 |
| done | 42 | 14 |
| 0 | 15 | 16 |
| 1 | 29 | 16 |
| 2 | 61 | 16 |
| 3 | 113 | 16 |
| 4 | 176 | 16 |
| 5 | 193 | 16 |
| done | 193 | 16 |
| 0 | 8 | 13 |
| 1 | 18 | 13 |
| 2 | 41 | 13 |
| 3 | 80 | 13 |
| 4 | 150 | 13 |
| 5 | 235 | 13 |
| 6 | 328 | 13 |
| 7 | 734 | 13 |
| 8 | 2682 | 13 |
| done | 5001 | 13 |
| 0 | 17 | 22 |
| 1 | 36 | 22 |
| 2 | 98 | 22 |
| 3 | 293 | 22 |
| 4 | 578 | 22 |
| 5 | 809 | 22 |
| 6 | 983 | 22 |
| done | 983 | 22 |
| 0 | 19 | 28 |
| 1 | 41 | 28 |
| 2 | 120 | 28 |
| 3 | 373 | 28 |
| 4 | 1017 | 28 |
| 5 | 2755 | 28 |
| done | 5000 | 28 |
| 0 | 17 | 22 |
| 1 | 37 | 22 |
| 2 | 124 | 22 |
| 3 | 430 | 22 |
| 4 | 1326 | 22 |
| 5 | 2758 | 22 |
| 6 | 3663 | 22 |
| 7 | 3816 | 22 |
| done | 3816 | 22 |
| 0 | 20 | 29 |
| 1 | 42 | 29 |
| 2 | 118 | 29 |
| 3 | 346 | 29 |
| 4 | 785 | 29 |
| 5 | 1628 | 29 |
| 6 | 3140 | 29 |
| 7 | 4077 | 29 |
| 8 | 4154 | 29 |
| done | 4154 | 29 |
| 0 | 20 | 29 |
| 1 | 42 | 29 |
| 2 | 118 | 29 |
| 3 | 346 | 29 |
| 4 | 785 | 29 |
| 5 | 1628 | 29 |
| 6 | 3140 | 29 |
| 7 | 4077 | 29 |
| 8 | 4154 | 29 |
| done | 4154 | 29 |
| 0 | 19 | 28 |
| 1 | 41 | 28 |
| 2 | 120 | 28 |
| 3 | 373 | 28 |
| 4 | 1017 | 28 |
| 5 | 2755 | 28 |
| done | 5000 | 28 |
| 0 | 23 | 36 |
| 1 | 70 | 36 |
| 2 | 281 | 34 |
| 3 | 1560 | 34 |
| done | 5001 | 34 |
| 0 | 24 | 38 |
| 1 | 71 | 38 |
| 2 | 266 | 36 |
| 3 | 1490 | 34 |
| done | 5000 | 34 |
| 0 | 24 | 40 |
| 1 | 72 | 40 |
| 2 | 262 | 36 |
| 3 | 1297 | 34 |
| done | 5001 | 34 |
| 0 | 22 | 42 |
| 1 | 63 | 42 |
| 2 | 236 | 38 |
| 3 | 1253 | 34 |
| done | 5000 | 34 |
| 0 | 22 | 32 |
| 1 | 62 | 32 |
| 2 | 219 | 30 |
| 3 | 1105 | 30 |
| done | 5000 | 30 |
| 0 | 21 | 34 |
| 1 | 53 | 34 |
| 2 | 189 | 32 |
| 3 | 1059 | 30 |
| done | 5000 | 30 |
| 0 | 22 | 32 |
| 1 | 63 | 32 |
| 2 | 240 | 32 |
| 3 | 1231 | 32 |
| done | 5000 | 32 |
| 0 | 21 | 36 |
| 1 | 56 | 36 |
| 2 | 211 | 36 |
| 3 | 989 | 34 |
| 4 | 4198 | 32 |
| done | 5000 | 32 |
| 0 | 23 | 44 |
| 1 | 66 | 38 |
| 2 | 247 | 38 |
| 3 | 1303 | 38 |
| done | 5000 | 38 |
| 0 | 19 | 28 |
| 1 | 47 | 28 |
| 2 | 157 | 28 |
| 3 | 792 | 28 |
| 4 | 3231 | 28 |
| done | 5000 | 28 |
| 0 | 13 | 14 |
| 1 | 23 | 14 |
| 2 | 48 | 14 |
| 3 | 89 | 14 |
| 4 | 139 | 14 |
| 5 | 155 | 14 |
| done | 155 | 14 |
| 0 | 13 | 14 |
| 1 | 23 | 14 |
| 2 | 48 | 14 |
| 3 | 89 | 14 |
| 4 | 139 | 14 |
| 5 | 155 | 14 |
| done | 155 | 14 |
| 0 | 16 | 17 |
| 1 | 26 | 17 |
| 2 | 51 | 17 |
| 3 | 94 | 17 |
| 4 | 144 | 17 |
| 5 | 162 | 17 |
| done | 162 | 17 |
| 0 | 15 | 16 |
| 1 | 26 | 16 |
| 2 | 50 | 16 |
| 3 | 95 | 16 |
| 4 | 156 | 16 |
| 5 | 175 | 16 |
| done | 175 | 16 |
| 0 | 14 | 15 |
| 1 | 27 | 15 |
| 2 | 59 | 15 |
| 3 | 112 | 15 |
| 4 | 162 | 15 |
| 5 | 178 | 15 |
| done | 178 | 15 |
| 0 | 14 | 15 |
| 1 | 26 | 15 |
| 2 | 62 | 15 |
| 3 | 125 | 15 |
| 4 | 238 | 15 |
| 5 | 398 | 15 |
| 6 | 745 | 15 |
| 7 | 1712 | 15 |
| done | 5000 | 15 |
| 0 | 19 | 44 |
| 1 | 38 | 32 |
| 2 | 135 | 20 |
| 3 | 656 | 20 |
| 4 | 3664 | 18 |
| done | 5000 | 18 |
| 0 | 17 | 44 |
| 1 | 40 | 32 |
| 2 | 139 | 18 |
| 3 | 655 | 18 |
| 4 | 3796 | 16 |
| done | 5001 | 16 |
| 0 | 15 | 31 |
| 1 | 25 | 31 |
| 2 | 50 | 31 |
| 3 | 91 | 31 |
| 4 | 152 | 31 |
| 5 | 172 | 31 |
| done | 172 | 31 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 49 | 15 |
| 3 | 90 | 15 |
| 4 | 150 | 15 |
| 5 | 168 | 15 |
| done | 168 | 15 |
| 0 | 15 | 44 |
| 1 | 35 | 44 |
| 2 | 124 | 16 |
| 3 | 548 | 16 |
| 4 | 2257 | 16 |
| done | 5001 | 16 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 49 | 15 |
| 3 | 90 | 15 |
| 4 | 150 | 15 |
| 5 | 168 | 15 |
| done | 168 | 15 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 49 | 15 |
| 3 | 90 | 15 |
| 4 | 150 | 15 |
| 5 | 168 | 15 |
| done | 168 | 15 |
| 0 | 15 | 27 |
| 1 | 27 | 27 |
| 2 | 59 | 27 |
| 3 | 110 | 27 |
| 4 | 167 | 27 |
| 5 | 183 | 27 |
| done | 183 | 27 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| 3 | 18 | 6 |
| done | 18 | 6 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 49 | 15 |
| 3 | 92 | 15 |
| 4 | 153 | 15 |
| 5 | 173 | 15 |
| done | 173 | 15 |
| 0 | 5 | 5 |
| 1 | 11 | 3 |
| 2 | 23 | 3 |
| 3 | 27 | 3 |
| done | 27 | 3 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 78 | 12 |
| 4 | 133 | 12 |
| 5 | 155 | 12 |
| done | 155 | 12 |
| 0 | 16 | 18 |
| 1 | 42 | 18 |
| 2 | 125 | 18 |
| 3 | 513 | 18 |
| 4 | 2283 | 18 |
| done | 5001 | 18 |
| 0 | 15 | 22 |
| 1 | 35 | 22 |
| 2 | 97 | 22 |
| 3 | 294 | 20 |
| 4 | 908 | 18 |
| 5 | 1856 | 18 |
| 6 | 3123 | 18 |
| done | 5000 | 18 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 9 | 4 |
| done | 9 | 4 |
| 0 | 4 | 4 |
| 1 | 7 | 4 |
| 2 | 13 | 4 |
| 3 | 21 | 4 |
| 4 | 44 | 4 |
| 5 | 100 | 4 |
| 6 | 239 | 4 |
| 7 | 696 | 4 |
| 8 | 2441 | 4 |
| done | 5000 | 4 |
| 0 | 7 | 11 |
| 1 | 14 | 11 |
| 2 | 39 | 7 |
| 3 | 76 | 7 |
| 4 | 134 | 5 |
| 5 | 258 | 5 |
| 6 | 662 | 5 |
| 7 | 2440 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 9 |
| 1 | 6 | 9 |
| done | 6 | 9 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 5 | 11 |
| 1 | 16 | 11 |
| 2 | 45 | 5 |
| 3 | 91 | 5 |
| 4 | 107 | 5 |
| 5 | 153 | 5 |
| 6 | 293 | 5 |
| 7 | 755 | 5 |
| 8 | 2745 | 5 |
| done | 5001 | 5 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| 2 | 9 | 1 |
| done | 9 | 1 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 6 | 8 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 15 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 25 | 6 |
| 4 | 26 | 6 |
| done | 26 | 6 |
| 0 | 5 | 6 |
| 1 | 10 | 6 |
| 2 | 20 | 6 |
| 3 | 38 | 6 |
| 4 | 80 | 6 |
| 5 | 182 | 6 |
| 6 | 446 | 6 |
| 7 | 1298 | 6 |
| 8 | 4672 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 21 | 17 |
| 2 | 73 | 11 |
| 3 | 200 | 7 |
| 4 | 416 | 7 |
| 5 | 1162 | 7 |
| 6 | 3922 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 22 | 17 |
| 2 | 69 | 9 |
| 3 | 196 | 7 |
| 4 | 441 | 7 |
| 5 | 1243 | 7 |
| 6 | 4192 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 13 |
| 1 | 9 | 13 |
| 2 | 11 | 13 |
| done | 11 | 13 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 6 | 17 |
| 1 | 19 | 17 |
| 2 | 70 | 7 |
| 3 | 224 | 7 |
| 4 | 365 | 7 |
| 5 | 531 | 7 |
| 6 | 1425 | 7 |
| 7 | 4784 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 47 | 93 |
| 1 | 133 | 93 |
| 2 | 603 | 93 |
| 3 | 3362 | 79 |
| done | 5000 | 79 |
| 0 | 30 | 47 |
| 1 | 81 | 47 |
| 2 | 292 | 45 |
| 3 | 1544 | 37 |
| done | 5000 | 37 |
| 0 | 31 | 47 |
| 1 | 84 | 47 |
| 2 | 293 | 45 |
| 3 | 1462 | 40 |
| done | 5001 | 40 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 36 | 9 |
| 3 | 58 | 9 |
| 4 | 61 | 9 |
| done | 61 | 9 |
| 0 | 18 | 27 |
| 1 | 42 | 27 |
| 2 | 154 | 27 |
| 3 | 533 | 27 |
| 4 | 1367 | 20 |
| 5 | 2121 | 20 |
| 6 | 2251 | 20 |
| 7 | 2255 | 20 |
| done | 2255 | 20 |
| 0 | 20 | 28 |
| 1 | 48 | 28 |
| 2 | 178 | 28 |
| 3 | 787 | 28 |
| 4 | 2782 | 21 |
| done | 5000 | 21 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 96 | 10 | 106 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 97 | 10 | 107 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.2b | (* 5.0 (* v v)) |
| 0.2b | (* PI t) |
| 0.4b | (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 0.4b | (/ 1 (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) |
| 37× | add-exp-log |
| 25× | add-cbrt-cube |
| 22× | pow1 |
| 16× | prod-exp |
| 13× | add-sqr-sqrt |
| 10× | add-cube-cbrt *-un-lft-identity pow-prod-down cbrt-unprod |
| 8× | associate-*r/ associate-*r* |
| 7× | associate-*l* |
| 6× | div-exp |
| 4× | sqrt-div add-log-exp |
| 3× | cbrt-undiv rec-exp pow-flip times-frac 1-exp *-commutative associate-/l* |
| 2× | flip3-- associate-/r/ flip-- unswap-sqr |
| 1× | frac-2neg clear-num associate-/r* sqrt-prod div-inv inv-pow |
| 6.0ms | (* 5.0 (* v v)) |
| 4.0ms | (* PI t) |
| 10.0ms | (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 12.0ms | (/ 1 (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) |
| 4.0ms | (* 5.0 (* v v)) |
| 7.0ms | (* PI t) |
| 23.0ms | (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 36.0ms | (/ 1 (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 17 | 18 |
| 1 | 30 | 18 |
| 2 | 63 | 18 |
| 3 | 126 | 18 |
| 4 | 195 | 18 |
| 5 | 231 | 18 |
| 6 | 257 | 18 |
| 7 | 286 | 18 |
| 8 | 291 | 18 |
| done | 291 | 18 |
| 0 | 16 | 17 |
| 1 | 30 | 17 |
| 2 | 59 | 17 |
| 3 | 117 | 17 |
| 4 | 187 | 17 |
| 5 | 216 | 17 |
| 6 | 238 | 17 |
| 7 | 262 | 17 |
| 8 | 269 | 17 |
| done | 269 | 17 |
| 0 | 15 | 16 |
| 1 | 28 | 16 |
| 2 | 63 | 16 |
| 3 | 124 | 16 |
| 4 | 208 | 16 |
| 5 | 240 | 16 |
| 6 | 255 | 16 |
| 7 | 281 | 16 |
| 8 | 310 | 16 |
| 9 | 315 | 16 |
| done | 315 | 16 |
| 0 | 18 | 19 |
| 1 | 32 | 18 |
| 2 | 79 | 18 |
| 3 | 183 | 18 |
| 4 | 349 | 18 |
| 5 | 535 | 18 |
| 6 | 630 | 18 |
| 7 | 633 | 18 |
| done | 633 | 18 |
| 0 | 17 | 18 |
| 1 | 32 | 17 |
| 2 | 72 | 17 |
| 3 | 160 | 17 |
| 4 | 329 | 17 |
| 5 | 493 | 17 |
| 6 | 588 | 17 |
| 7 | 593 | 17 |
| done | 593 | 17 |
| 0 | 16 | 17 |
| 1 | 31 | 16 |
| 2 | 72 | 16 |
| 3 | 152 | 16 |
| 4 | 319 | 16 |
| 5 | 450 | 16 |
| 6 | 533 | 16 |
| 7 | 627 | 16 |
| 8 | 628 | 16 |
| done | 628 | 16 |
| 0 | 19 | 20 |
| 1 | 35 | 19 |
| 2 | 77 | 18 |
| 3 | 187 | 18 |
| 4 | 349 | 18 |
| 5 | 532 | 18 |
| 6 | 631 | 18 |
| 7 | 634 | 18 |
| done | 634 | 18 |
| 0 | 18 | 19 |
| 1 | 35 | 18 |
| 2 | 70 | 17 |
| 3 | 164 | 17 |
| 4 | 328 | 17 |
| 5 | 494 | 17 |
| 6 | 589 | 17 |
| 7 | 594 | 17 |
| done | 594 | 17 |
| 0 | 17 | 18 |
| 1 | 34 | 17 |
| 2 | 72 | 16 |
| 3 | 154 | 16 |
| 4 | 322 | 16 |
| 5 | 457 | 16 |
| 6 | 538 | 16 |
| 7 | 631 | 16 |
| 8 | 632 | 16 |
| done | 632 | 16 |
| 0 | 16 | 17 |
| 1 | 34 | 16 |
| 2 | 76 | 16 |
| 3 | 164 | 16 |
| 4 | 314 | 16 |
| 5 | 451 | 16 |
| 6 | 612 | 16 |
| 7 | 710 | 16 |
| 8 | 713 | 16 |
| done | 713 | 16 |
| 0 | 16 | 17 |
| 1 | 30 | 17 |
| 2 | 62 | 17 |
| 3 | 114 | 17 |
| 4 | 169 | 17 |
| 5 | 187 | 17 |
| done | 187 | 17 |
| 0 | 23 | 50 |
| 1 | 51 | 34 |
| 2 | 179 | 22 |
| 3 | 982 | 22 |
| done | 5000 | 22 |
| 0 | 21 | 50 |
| 1 | 53 | 34 |
| 2 | 181 | 20 |
| 3 | 1009 | 20 |
| done | 5001 | 20 |
| 0 | 19 | 50 |
| 1 | 48 | 46 |
| 2 | 167 | 18 |
| 3 | 860 | 18 |
| done | 5000 | 18 |
| 0 | 17 | 35 |
| 1 | 31 | 35 |
| 2 | 63 | 35 |
| 3 | 115 | 35 |
| 4 | 167 | 35 |
| 5 | 184 | 35 |
| done | 184 | 35 |
| 0 | 16 | 17 |
| 1 | 30 | 17 |
| 2 | 62 | 17 |
| 3 | 114 | 17 |
| 4 | 169 | 17 |
| 5 | 187 | 17 |
| done | 187 | 17 |
| 0 | 17 | 50 |
| 1 | 38 | 50 |
| 2 | 121 | 18 |
| 3 | 693 | 18 |
| 4 | 4282 | 18 |
| done | 5000 | 18 |
| 0 | 16 | 17 |
| 1 | 30 | 17 |
| 2 | 62 | 17 |
| 3 | 114 | 17 |
| 4 | 169 | 17 |
| 5 | 187 | 17 |
| done | 187 | 17 |
| 0 | 16 | 17 |
| 1 | 30 | 17 |
| 2 | 62 | 17 |
| 3 | 114 | 17 |
| 4 | 169 | 17 |
| 5 | 187 | 17 |
| done | 187 | 17 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 14 | 15 |
| 1 | 28 | 15 |
| 2 | 68 | 15 |
| 3 | 127 | 15 |
| 4 | 179 | 15 |
| 5 | 197 | 15 |
| done | 197 | 15 |
| 0 | 7 | 9 |
| 1 | 17 | 7 |
| 2 | 30 | 5 |
| 3 | 43 | 5 |
| 4 | 49 | 5 |
| done | 49 | 5 |
| 0 | 12 | 13 |
| 1 | 20 | 12 |
| 2 | 39 | 12 |
| 3 | 80 | 12 |
| 4 | 142 | 12 |
| 5 | 163 | 12 |
| done | 163 | 12 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 13 | 5 |
| done | 13 | 5 |
| 0 | 12 | 13 |
| 1 | 20 | 12 |
| 2 | 39 | 12 |
| 3 | 80 | 12 |
| 4 | 142 | 12 |
| 5 | 163 | 12 |
| done | 163 | 12 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 11 | 12 |
| 1 | 19 | 12 |
| 2 | 38 | 12 |
| 3 | 79 | 12 |
| 4 | 129 | 12 |
| 5 | 146 | 12 |
| done | 146 | 12 |
| 0 | 15 | 16 |
| 1 | 29 | 16 |
| 2 | 61 | 16 |
| 3 | 113 | 16 |
| 4 | 176 | 16 |
| 5 | 193 | 16 |
| done | 193 | 16 |
| 0 | 15 | 16 |
| 1 | 29 | 14 |
| 2 | 68 | 14 |
| 3 | 147 | 14 |
| 4 | 266 | 14 |
| 5 | 320 | 14 |
| done | 320 | 14 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 16 | 17 |
| 1 | 30 | 16 |
| 2 | 65 | 16 |
| 3 | 125 | 14 |
| 4 | 235 | 14 |
| 5 | 320 | 14 |
| done | 320 | 14 |
| 0 | 16 | 17 |
| 1 | 30 | 16 |
| 2 | 65 | 16 |
| 3 | 125 | 14 |
| 4 | 235 | 14 |
| 5 | 320 | 14 |
| done | 320 | 14 |
| 0 | 15 | 16 |
| 1 | 29 | 14 |
| 2 | 68 | 14 |
| 3 | 147 | 14 |
| 4 | 266 | 14 |
| 5 | 320 | 14 |
| done | 320 | 14 |
| 0 | 18 | 20 |
| 1 | 48 | 20 |
| 2 | 138 | 20 |
| 3 | 544 | 20 |
| 4 | 2372 | 20 |
| done | 5001 | 20 |
| 0 | 17 | 24 |
| 1 | 41 | 24 |
| 2 | 110 | 24 |
| 3 | 316 | 22 |
| 4 | 925 | 20 |
| 5 | 1853 | 20 |
| 6 | 3081 | 20 |
| done | 5001 | 20 |
| 0 | 13 | 14 |
| 1 | 23 | 14 |
| 2 | 48 | 14 |
| 3 | 89 | 14 |
| 4 | 139 | 14 |
| 5 | 155 | 14 |
| done | 155 | 14 |
| 0 | 13 | 14 |
| 1 | 23 | 14 |
| 2 | 48 | 14 |
| 3 | 89 | 14 |
| 4 | 139 | 14 |
| 5 | 155 | 14 |
| done | 155 | 14 |
| 0 | 16 | 17 |
| 1 | 26 | 17 |
| 2 | 51 | 17 |
| 3 | 94 | 17 |
| 4 | 144 | 17 |
| 5 | 162 | 17 |
| done | 162 | 17 |
| 0 | 15 | 16 |
| 1 | 26 | 16 |
| 2 | 50 | 16 |
| 3 | 95 | 16 |
| 4 | 156 | 16 |
| 5 | 175 | 16 |
| done | 175 | 16 |
| 0 | 14 | 15 |
| 1 | 27 | 15 |
| 2 | 59 | 15 |
| 3 | 112 | 15 |
| 4 | 162 | 15 |
| 5 | 178 | 15 |
| done | 178 | 15 |
| 0 | 14 | 15 |
| 1 | 26 | 15 |
| 2 | 62 | 15 |
| 3 | 125 | 15 |
| 4 | 238 | 15 |
| 5 | 398 | 15 |
| 6 | 745 | 15 |
| 7 | 1712 | 15 |
| done | 5000 | 15 |
| 0 | 19 | 44 |
| 1 | 38 | 32 |
| 2 | 135 | 20 |
| 3 | 656 | 20 |
| 4 | 3664 | 18 |
| done | 5000 | 18 |
| 0 | 17 | 44 |
| 1 | 40 | 32 |
| 2 | 139 | 18 |
| 3 | 655 | 18 |
| 4 | 3796 | 16 |
| done | 5001 | 16 |
| 0 | 15 | 31 |
| 1 | 25 | 31 |
| 2 | 50 | 31 |
| 3 | 91 | 31 |
| 4 | 152 | 31 |
| 5 | 172 | 31 |
| done | 172 | 31 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 49 | 15 |
| 3 | 90 | 15 |
| 4 | 150 | 15 |
| 5 | 168 | 15 |
| done | 168 | 15 |
| 0 | 15 | 44 |
| 1 | 35 | 44 |
| 2 | 124 | 16 |
| 3 | 548 | 16 |
| 4 | 2257 | 16 |
| done | 5001 | 16 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 49 | 15 |
| 3 | 90 | 15 |
| 4 | 150 | 15 |
| 5 | 168 | 15 |
| done | 168 | 15 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 49 | 15 |
| 3 | 90 | 15 |
| 4 | 150 | 15 |
| 5 | 168 | 15 |
| done | 168 | 15 |
| 0 | 15 | 27 |
| 1 | 27 | 27 |
| 2 | 59 | 27 |
| 3 | 110 | 27 |
| 4 | 167 | 27 |
| 5 | 183 | 27 |
| done | 183 | 27 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| 3 | 18 | 6 |
| done | 18 | 6 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 49 | 15 |
| 3 | 92 | 15 |
| 4 | 153 | 15 |
| 5 | 173 | 15 |
| done | 173 | 15 |
| 0 | 5 | 5 |
| 1 | 11 | 3 |
| 2 | 23 | 3 |
| 3 | 27 | 3 |
| done | 27 | 3 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 78 | 12 |
| 4 | 133 | 12 |
| 5 | 155 | 12 |
| done | 155 | 12 |
| 0 | 16 | 18 |
| 1 | 42 | 18 |
| 2 | 125 | 18 |
| 3 | 513 | 18 |
| 4 | 2283 | 18 |
| done | 5001 | 18 |
| 0 | 15 | 22 |
| 1 | 35 | 22 |
| 2 | 97 | 22 |
| 3 | 294 | 20 |
| 4 | 908 | 18 |
| 5 | 1856 | 18 |
| 6 | 3123 | 18 |
| done | 5000 | 18 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 9 | 4 |
| done | 9 | 4 |
| 0 | 4 | 4 |
| 1 | 7 | 4 |
| 2 | 13 | 4 |
| 3 | 21 | 4 |
| 4 | 44 | 4 |
| 5 | 100 | 4 |
| 6 | 239 | 4 |
| 7 | 696 | 4 |
| 8 | 2441 | 4 |
| done | 5000 | 4 |
| 0 | 7 | 11 |
| 1 | 14 | 11 |
| 2 | 39 | 7 |
| 3 | 76 | 7 |
| 4 | 134 | 5 |
| 5 | 258 | 5 |
| 6 | 662 | 5 |
| 7 | 2440 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 9 |
| 1 | 6 | 9 |
| done | 6 | 9 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 5 | 11 |
| 1 | 16 | 11 |
| 2 | 45 | 5 |
| 3 | 91 | 5 |
| 4 | 107 | 5 |
| 5 | 153 | 5 |
| 6 | 293 | 5 |
| 7 | 755 | 5 |
| 8 | 2745 | 5 |
| done | 5001 | 5 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| 2 | 9 | 1 |
| done | 9 | 1 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 6 | 8 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 15 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 25 | 6 |
| 4 | 26 | 6 |
| done | 26 | 6 |
| 0 | 5 | 6 |
| 1 | 10 | 6 |
| 2 | 20 | 6 |
| 3 | 38 | 6 |
| 4 | 80 | 6 |
| 5 | 182 | 6 |
| 6 | 446 | 6 |
| 7 | 1298 | 6 |
| 8 | 4672 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 21 | 17 |
| 2 | 73 | 11 |
| 3 | 200 | 7 |
| 4 | 416 | 7 |
| 5 | 1162 | 7 |
| 6 | 3922 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 22 | 17 |
| 2 | 69 | 9 |
| 3 | 196 | 7 |
| 4 | 441 | 7 |
| 5 | 1243 | 7 |
| 6 | 4192 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 13 |
| 1 | 9 | 13 |
| 2 | 11 | 13 |
| done | 11 | 13 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 6 | 17 |
| 1 | 19 | 17 |
| 2 | 70 | 7 |
| 3 | 224 | 7 |
| 4 | 365 | 7 |
| 5 | 531 | 7 |
| 6 | 1425 | 7 |
| 7 | 4784 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 19 | 25 |
| 1 | 42 | 25 |
| 2 | 135 | 25 |
| 3 | 494 | 25 |
| 4 | 1864 | 25 |
| 5 | 4175 | 25 |
| done | 5000 | 25 |
| 0 | 22 | 29 |
| 1 | 58 | 29 |
| 2 | 188 | 27 |
| 3 | 881 | 27 |
| done | 5000 | 27 |
| 0 | 21 | 29 |
| 1 | 56 | 29 |
| 2 | 182 | 27 |
| 3 | 878 | 27 |
| 4 | 4153 | 27 |
| done | 5001 | 27 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 36 | 9 |
| 3 | 58 | 9 |
| 4 | 61 | 9 |
| done | 61 | 9 |
| 0 | 18 | 27 |
| 1 | 42 | 27 |
| 2 | 154 | 27 |
| 3 | 533 | 27 |
| 4 | 1367 | 20 |
| 5 | 2121 | 20 |
| 6 | 2251 | 20 |
| 7 | 2255 | 20 |
| done | 2255 | 20 |
| 0 | 20 | 28 |
| 1 | 48 | 28 |
| 2 | 178 | 28 |
| 3 | 787 | 28 |
| 4 | 2782 | 21 |
| done | 5000 | 21 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 101 | 4 | 105 |
| Fresh | 5 | 4 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 107 | 8 | 115 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.2b | (* 5.0 (* v v)) |
| 0.2b | (* PI t) |
| 0.4b | (/ (/ 1 (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 0.4b | (/ 1 (* PI t)) |
| 46× | times-frac |
| 41× | add-exp-log |
| 30× | add-sqr-sqrt |
| 27× | add-cube-cbrt *-un-lft-identity |
| 25× | add-cbrt-cube |
| 15× | div-exp |
| 14× | pow1 |
| 10× | prod-exp associate-/l* |
| 8× | sqrt-prod |
| 7× | cbrt-undiv div-inv |
| 6× | associate-*l* cbrt-unprod |
| 5× | pow-prod-down associate-/r* |
| 4× | rec-exp 1-exp associate-*r* add-log-exp |
| 2× | pow-flip frac-2neg sqrt-div associate-*r/ clear-num associate-/r/ *-commutative unswap-sqr |
| 1× | flip3-- flip-- associate-/l/ inv-pow |
| 7.0ms | (* 5.0 (* v v)) |
| 5.0ms | (* PI t) |
| 13.0ms | (/ (/ 1 (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 5.0ms | (/ 1 (* PI t)) |
| 3.0ms | (* 5.0 (* v v)) |
| 3.0ms | (* PI t) |
| 40.0ms | (/ (/ 1 (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) |
| 4.0ms | (/ 1 (* PI t)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 12 | 6 |
| 3 | 13 | 6 |
| done | 13 | 6 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 13 | 5 |
| 3 | 15 | 5 |
| 4 | 16 | 5 |
| done | 16 | 5 |
| 0 | 7 | 7 |
| 1 | 12 | 6 |
| 2 | 26 | 6 |
| 3 | 44 | 6 |
| 4 | 77 | 6 |
| 5 | 110 | 6 |
| 6 | 122 | 6 |
| 7 | 123 | 6 |
| done | 123 | 6 |
| 0 | 6 | 6 |
| 1 | 12 | 5 |
| 2 | 22 | 5 |
| 3 | 36 | 5 |
| 4 | 65 | 5 |
| 5 | 97 | 5 |
| 6 | 119 | 5 |
| 7 | 135 | 5 |
| 8 | 136 | 5 |
| done | 136 | 5 |
| 0 | 8 | 8 |
| 1 | 15 | 7 |
| 2 | 24 | 6 |
| 3 | 48 | 6 |
| 4 | 81 | 6 |
| 5 | 114 | 6 |
| 6 | 127 | 6 |
| 7 | 128 | 6 |
| done | 128 | 6 |
| 0 | 7 | 7 |
| 1 | 15 | 6 |
| 2 | 22 | 5 |
| 3 | 40 | 5 |
| 4 | 68 | 5 |
| 5 | 99 | 5 |
| 6 | 121 | 5 |
| 7 | 136 | 5 |
| 8 | 137 | 5 |
| done | 137 | 5 |
| 0 | 6 | 6 |
| 1 | 15 | 5 |
| 2 | 24 | 5 |
| 3 | 41 | 5 |
| 4 | 62 | 5 |
| 5 | 96 | 5 |
| 6 | 129 | 5 |
| 7 | 143 | 5 |
| 8 | 144 | 5 |
| done | 144 | 5 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 13 | 6 |
| done | 13 | 6 |
| 0 | 11 | 17 |
| 1 | 27 | 13 |
| 2 | 79 | 9 |
| 3 | 231 | 9 |
| 4 | 697 | 7 |
| 5 | 1767 | 7 |
| 6 | 4046 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 17 |
| 1 | 29 | 13 |
| 2 | 84 | 7 |
| 3 | 276 | 7 |
| 4 | 786 | 7 |
| 5 | 1534 | 7 |
| 6 | 2152 | 7 |
| 7 | 4661 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 13 |
| 1 | 12 | 13 |
| 2 | 14 | 13 |
| done | 14 | 13 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 13 | 6 |
| done | 13 | 6 |
| 0 | 7 | 17 |
| 1 | 19 | 17 |
| 2 | 63 | 7 |
| 3 | 285 | 7 |
| 4 | 882 | 7 |
| 5 | 1194 | 7 |
| 6 | 2048 | 7 |
| done | 5001 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 13 | 6 |
| done | 13 | 6 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 13 | 6 |
| done | 13 | 6 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 4 | 4 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 5 | 7 |
| 1 | 9 | 5 |
| 2 | 11 | 3 |
| 3 | 12 | 3 |
| done | 12 | 3 |
| 0 | 4 | 4 |
| 1 | 6 | 3 |
| done | 6 | 3 |
| 0 | 4 | 4 |
| 1 | 6 | 3 |
| done | 6 | 3 |
| 0 | 4 | 4 |
| 1 | 6 | 3 |
| done | 6 | 3 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 18 | 3 |
| 3 | 27 | 3 |
| 4 | 32 | 3 |
| done | 32 | 3 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 15 | 5 |
| 3 | 18 | 3 |
| 4 | 30 | 3 |
| 5 | 34 | 3 |
| done | 34 | 3 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 15 | 5 |
| 3 | 18 | 3 |
| 4 | 30 | 3 |
| 5 | 34 | 3 |
| done | 34 | 3 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 18 | 3 |
| 3 | 27 | 3 |
| 4 | 32 | 3 |
| done | 32 | 3 |
| 0 | 17 | 18 |
| 1 | 29 | 18 |
| 2 | 57 | 18 |
| 3 | 119 | 18 |
| 4 | 200 | 18 |
| 5 | 239 | 18 |
| 6 | 260 | 18 |
| 7 | 280 | 18 |
| 8 | 281 | 18 |
| done | 281 | 18 |
| 0 | 16 | 17 |
| 1 | 28 | 17 |
| 2 | 54 | 17 |
| 3 | 109 | 17 |
| 4 | 191 | 17 |
| 5 | 220 | 17 |
| 6 | 242 | 17 |
| 7 | 266 | 17 |
| 8 | 273 | 17 |
| done | 273 | 17 |
| 0 | 18 | 19 |
| 1 | 33 | 18 |
| 2 | 80 | 18 |
| 3 | 186 | 18 |
| 4 | 398 | 18 |
| 5 | 521 | 18 |
| 6 | 585 | 18 |
| 7 | 587 | 18 |
| done | 587 | 18 |
| 0 | 17 | 18 |
| 1 | 33 | 17 |
| 2 | 71 | 17 |
| 3 | 163 | 17 |
| 4 | 359 | 17 |
| 5 | 470 | 17 |
| 6 | 550 | 17 |
| 7 | 605 | 17 |
| done | 605 | 17 |
| 0 | 19 | 20 |
| 1 | 36 | 19 |
| 2 | 81 | 18 |
| 3 | 196 | 18 |
| 4 | 415 | 18 |
| 5 | 538 | 18 |
| 6 | 606 | 18 |
| 7 | 608 | 18 |
| done | 608 | 18 |
| 0 | 18 | 19 |
| 1 | 36 | 18 |
| 2 | 74 | 17 |
| 3 | 173 | 17 |
| 4 | 369 | 17 |
| 5 | 483 | 17 |
| 6 | 565 | 17 |
| 7 | 621 | 17 |
| done | 621 | 17 |
| 0 | 17 | 18 |
| 1 | 34 | 17 |
| 2 | 68 | 17 |
| 3 | 148 | 17 |
| 4 | 289 | 17 |
| 5 | 384 | 17 |
| 6 | 458 | 17 |
| 7 | 511 | 17 |
| 8 | 512 | 17 |
| done | 512 | 17 |
| 0 | 16 | 17 |
| 1 | 32 | 17 |
| 2 | 73 | 16 |
| 3 | 158 | 16 |
| 4 | 290 | 16 |
| 5 | 414 | 16 |
| 6 | 577 | 16 |
| 7 | 670 | 16 |
| 8 | 677 | 16 |
| done | 677 | 16 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 23 | 50 |
| 1 | 50 | 34 |
| 2 | 178 | 22 |
| 3 | 836 | 22 |
| done | 5000 | 22 |
| 0 | 21 | 50 |
| 1 | 52 | 34 |
| 2 | 181 | 20 |
| 3 | 870 | 20 |
| done | 5001 | 20 |
| 0 | 19 | 50 |
| 1 | 45 | 38 |
| 2 | 178 | 20 |
| 3 | 1341 | 18 |
| done | 5001 | 18 |
| 0 | 17 | 35 |
| 1 | 30 | 35 |
| 2 | 59 | 35 |
| 3 | 115 | 35 |
| 4 | 166 | 35 |
| 5 | 183 | 35 |
| done | 183 | 35 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 17 | 50 |
| 1 | 37 | 50 |
| 2 | 103 | 18 |
| 3 | 417 | 18 |
| 4 | 2781 | 18 |
| done | 5000 | 18 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 6 | 6 |
| 1 | 14 | 5 |
| 2 | 22 | 5 |
| 3 | 24 | 5 |
| done | 24 | 5 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 35 | 11 |
| 3 | 76 | 11 |
| 4 | 128 | 11 |
| 5 | 144 | 11 |
| done | 144 | 11 |
| 0 | 19 | 37 |
| 1 | 36 | 37 |
| 2 | 66 | 37 |
| 3 | 113 | 37 |
| 4 | 166 | 37 |
| 5 | 183 | 37 |
| done | 183 | 37 |
| 0 | 17 | 18 |
| 1 | 28 | 18 |
| 2 | 49 | 18 |
| 3 | 90 | 18 |
| 4 | 147 | 18 |
| 5 | 164 | 18 |
| done | 164 | 18 |
| 0 | 10 | 16 |
| 1 | 17 | 16 |
| 2 | 21 | 16 |
| 3 | 22 | 16 |
| done | 22 | 16 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 39 | 15 |
| 3 | 51 | 15 |
| done | 51 | 15 |
| 0 | 18 | 25 |
| 1 | 31 | 25 |
| 2 | 54 | 25 |
| 3 | 96 | 25 |
| 4 | 150 | 25 |
| 5 | 172 | 25 |
| done | 172 | 25 |
| 0 | 17 | 18 |
| 1 | 28 | 18 |
| 2 | 49 | 18 |
| 3 | 90 | 18 |
| 4 | 147 | 18 |
| 5 | 164 | 18 |
| done | 164 | 18 |
| 0 | 8 | 15 |
| 1 | 15 | 13 |
| 2 | 23 | 13 |
| 3 | 28 | 13 |
| done | 28 | 13 |
| 0 | 16 | 17 |
| 1 | 27 | 17 |
| 2 | 48 | 17 |
| 3 | 89 | 17 |
| 4 | 137 | 17 |
| 5 | 153 | 17 |
| done | 153 | 17 |
| 0 | 18 | 30 |
| 1 | 31 | 30 |
| 2 | 52 | 30 |
| 3 | 93 | 30 |
| 4 | 150 | 30 |
| 5 | 169 | 30 |
| done | 169 | 30 |
| 0 | 17 | 18 |
| 1 | 28 | 18 |
| 2 | 49 | 18 |
| 3 | 90 | 18 |
| 4 | 147 | 18 |
| 5 | 164 | 18 |
| done | 164 | 18 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 16 | 9 |
| done | 16 | 9 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 39 | 15 |
| 3 | 51 | 15 |
| done | 51 | 15 |
| 0 | 17 | 18 |
| 1 | 28 | 18 |
| 2 | 49 | 18 |
| 3 | 90 | 18 |
| 4 | 147 | 18 |
| 5 | 164 | 18 |
| done | 164 | 18 |
| 0 | 17 | 18 |
| 1 | 28 | 18 |
| 2 | 49 | 18 |
| 3 | 90 | 18 |
| 4 | 147 | 18 |
| 5 | 164 | 18 |
| done | 164 | 18 |
| 0 | 7 | 8 |
| 1 | 12 | 6 |
| 2 | 16 | 6 |
| done | 16 | 6 |
| 0 | 16 | 17 |
| 1 | 27 | 17 |
| 2 | 48 | 17 |
| 3 | 89 | 17 |
| 4 | 137 | 17 |
| 5 | 153 | 17 |
| done | 153 | 17 |
| 0 | 17 | 31 |
| 1 | 31 | 29 |
| 2 | 66 | 27 |
| 3 | 134 | 27 |
| 4 | 256 | 27 |
| 5 | 286 | 27 |
| done | 286 | 27 |
| 0 | 15 | 16 |
| 1 | 25 | 15 |
| 2 | 47 | 15 |
| 3 | 88 | 15 |
| 4 | 150 | 15 |
| 5 | 172 | 15 |
| done | 172 | 15 |
| 0 | 8 | 10 |
| 1 | 14 | 8 |
| 2 | 25 | 6 |
| 3 | 37 | 6 |
| 4 | 51 | 6 |
| done | 51 | 6 |
| 0 | 12 | 13 |
| 1 | 21 | 12 |
| 2 | 37 | 12 |
| 3 | 49 | 12 |
| done | 49 | 12 |
| 0 | 16 | 19 |
| 1 | 28 | 17 |
| 2 | 58 | 15 |
| 3 | 111 | 15 |
| 4 | 182 | 15 |
| 5 | 203 | 15 |
| done | 203 | 15 |
| 0 | 15 | 16 |
| 1 | 25 | 15 |
| 2 | 47 | 15 |
| 3 | 88 | 15 |
| 4 | 150 | 15 |
| 5 | 172 | 15 |
| done | 172 | 15 |
| 0 | 6 | 9 |
| 1 | 12 | 5 |
| 2 | 26 | 3 |
| 3 | 31 | 3 |
| done | 31 | 3 |
| 0 | 14 | 15 |
| 1 | 24 | 14 |
| 2 | 46 | 14 |
| 3 | 87 | 14 |
| 4 | 145 | 14 |
| 5 | 165 | 14 |
| done | 165 | 14 |
| 0 | 16 | 28 |
| 1 | 28 | 27 |
| 2 | 53 | 27 |
| 3 | 100 | 27 |
| 4 | 149 | 27 |
| 5 | 165 | 27 |
| done | 165 | 27 |
| 0 | 15 | 16 |
| 1 | 25 | 15 |
| 2 | 47 | 15 |
| 3 | 88 | 15 |
| 4 | 150 | 15 |
| 5 | 172 | 15 |
| done | 172 | 15 |
| 0 | 7 | 7 |
| 1 | 11 | 6 |
| 2 | 14 | 6 |
| done | 14 | 6 |
| 0 | 12 | 13 |
| 1 | 21 | 12 |
| 2 | 37 | 12 |
| 3 | 49 | 12 |
| done | 49 | 12 |
| 0 | 15 | 16 |
| 1 | 25 | 15 |
| 2 | 47 | 15 |
| 3 | 88 | 15 |
| 4 | 150 | 15 |
| 5 | 172 | 15 |
| done | 172 | 15 |
| 0 | 15 | 16 |
| 1 | 25 | 15 |
| 2 | 47 | 15 |
| 3 | 88 | 15 |
| 4 | 150 | 15 |
| 5 | 172 | 15 |
| done | 172 | 15 |
| 0 | 5 | 6 |
| 1 | 9 | 3 |
| 2 | 16 | 3 |
| done | 16 | 3 |
| 0 | 14 | 15 |
| 1 | 24 | 14 |
| 2 | 46 | 14 |
| 3 | 87 | 14 |
| 4 | 145 | 14 |
| 5 | 165 | 14 |
| done | 165 | 14 |
| 0 | 15 | 27 |
| 1 | 27 | 27 |
| 2 | 52 | 27 |
| 3 | 99 | 27 |
| 4 | 158 | 27 |
| 5 | 177 | 27 |
| done | 177 | 27 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 46 | 15 |
| 3 | 87 | 15 |
| 4 | 144 | 15 |
| 5 | 163 | 15 |
| done | 163 | 15 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 13 | 6 |
| done | 13 | 6 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 12 |
| 3 | 48 | 12 |
| done | 48 | 12 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 46 | 15 |
| 3 | 87 | 15 |
| 4 | 144 | 15 |
| 5 | 163 | 15 |
| done | 163 | 15 |
| 0 | 14 | 15 |
| 1 | 24 | 15 |
| 2 | 46 | 15 |
| 3 | 87 | 15 |
| 4 | 144 | 15 |
| 5 | 163 | 15 |
| done | 163 | 15 |
| 0 | 4 | 5 |
| 1 | 8 | 3 |
| 2 | 15 | 3 |
| done | 15 | 3 |
| 0 | 13 | 14 |
| 1 | 23 | 14 |
| 2 | 45 | 14 |
| 3 | 86 | 14 |
| 4 | 142 | 14 |
| 5 | 162 | 14 |
| done | 162 | 14 |
| 0 | 13 | 25 |
| 1 | 23 | 25 |
| 2 | 42 | 25 |
| 3 | 83 | 25 |
| 4 | 139 | 25 |
| 5 | 159 | 25 |
| done | 159 | 25 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 13 | 14 |
| 1 | 25 | 14 |
| 2 | 48 | 14 |
| 3 | 75 | 14 |
| 4 | 76 | 14 |
| done | 76 | 14 |
| 0 | 12 | 13 |
| 1 | 20 | 13 |
| 2 | 39 | 13 |
| 3 | 80 | 13 |
| 4 | 142 | 13 |
| 5 | 164 | 13 |
| done | 164 | 13 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 15 | 16 |
| 1 | 28 | 16 |
| 2 | 57 | 16 |
| 3 | 113 | 16 |
| 4 | 173 | 16 |
| 5 | 194 | 16 |
| done | 194 | 16 |
| 0 | 13 | 25 |
| 1 | 23 | 25 |
| 2 | 42 | 25 |
| 3 | 83 | 25 |
| 4 | 139 | 25 |
| 5 | 159 | 25 |
| done | 159 | 25 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 13 | 14 |
| 1 | 25 | 14 |
| 2 | 48 | 14 |
| 3 | 75 | 14 |
| 4 | 76 | 14 |
| done | 76 | 14 |
| 0 | 12 | 13 |
| 1 | 20 | 13 |
| 2 | 39 | 13 |
| 3 | 80 | 13 |
| 4 | 142 | 13 |
| 5 | 164 | 13 |
| done | 164 | 13 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 15 | 16 |
| 1 | 28 | 16 |
| 2 | 57 | 16 |
| 3 | 113 | 16 |
| 4 | 173 | 16 |
| 5 | 194 | 16 |
| done | 194 | 16 |
| 0 | 11 | 12 |
| 1 | 19 | 12 |
| 2 | 38 | 12 |
| 3 | 79 | 12 |
| 4 | 129 | 12 |
| 5 | 146 | 12 |
| done | 146 | 12 |
| 0 | 15 | 16 |
| 1 | 28 | 16 |
| 2 | 58 | 14 |
| 3 | 121 | 14 |
| 4 | 222 | 14 |
| 5 | 295 | 14 |
| 6 | 335 | 14 |
| done | 335 | 14 |
| 0 | 17 | 29 |
| 1 | 32 | 29 |
| 2 | 66 | 29 |
| 3 | 139 | 29 |
| 4 | 212 | 29 |
| 5 | 232 | 29 |
| done | 232 | 29 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 25 | 8 |
| 3 | 40 | 8 |
| 4 | 41 | 8 |
| done | 41 | 8 |
| 0 | 16 | 17 |
| 1 | 29 | 17 |
| 2 | 58 | 17 |
| 3 | 114 | 17 |
| 4 | 177 | 17 |
| 5 | 199 | 17 |
| done | 199 | 17 |
| 0 | 6 | 7 |
| 1 | 13 | 5 |
| 2 | 27 | 5 |
| 3 | 45 | 5 |
| 4 | 47 | 5 |
| done | 47 | 5 |
| 0 | 16 | 17 |
| 1 | 27 | 17 |
| 2 | 48 | 17 |
| 3 | 89 | 17 |
| 4 | 137 | 17 |
| 5 | 153 | 17 |
| done | 153 | 17 |
| 0 | 16 | 17 |
| 1 | 27 | 17 |
| 2 | 48 | 17 |
| 3 | 89 | 17 |
| 4 | 137 | 17 |
| 5 | 153 | 17 |
| done | 153 | 17 |
| 0 | 14 | 15 |
| 1 | 24 | 14 |
| 2 | 46 | 14 |
| 3 | 88 | 12 |
| 4 | 156 | 12 |
| 5 | 190 | 12 |
| 6 | 198 | 12 |
| done | 198 | 12 |
| 0 | 14 | 15 |
| 1 | 24 | 14 |
| 2 | 46 | 14 |
| 3 | 88 | 12 |
| 4 | 156 | 12 |
| 5 | 190 | 12 |
| 6 | 198 | 12 |
| done | 198 | 12 |
| 0 | 13 | 14 |
| 1 | 23 | 14 |
| 2 | 45 | 12 |
| 3 | 95 | 12 |
| 4 | 162 | 12 |
| 5 | 185 | 12 |
| done | 185 | 12 |
| 0 | 15 | 16 |
| 1 | 28 | 16 |
| 2 | 58 | 14 |
| 3 | 121 | 14 |
| 4 | 222 | 14 |
| 5 | 295 | 14 |
| 6 | 335 | 14 |
| done | 335 | 14 |
| 0 | 15 | 16 |
| 1 | 28 | 16 |
| 2 | 58 | 14 |
| 3 | 121 | 14 |
| 4 | 222 | 14 |
| 5 | 295 | 14 |
| 6 | 335 | 14 |
| done | 335 | 14 |
| 0 | 18 | 20 |
| 1 | 47 | 20 |
| 2 | 134 | 20 |
| 3 | 540 | 20 |
| 4 | 2302 | 20 |
| done | 5001 | 20 |
| 0 | 17 | 24 |
| 1 | 40 | 24 |
| 2 | 106 | 24 |
| 3 | 316 | 22 |
| 4 | 944 | 20 |
| 5 | 1917 | 20 |
| 6 | 3189 | 20 |
| done | 5000 | 20 |
| 0 | 13 | 14 |
| 1 | 23 | 14 |
| 2 | 48 | 14 |
| 3 | 89 | 14 |
| 4 | 137 | 14 |
| 5 | 153 | 14 |
| done | 153 | 14 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 9 | 4 |
| done | 9 | 4 |
| 0 | 4 | 4 |
| 1 | 7 | 4 |
| 2 | 13 | 4 |
| 3 | 21 | 4 |
| 4 | 44 | 4 |
| 5 | 100 | 4 |
| 6 | 239 | 4 |
| 7 | 696 | 4 |
| 8 | 2441 | 4 |
| done | 5000 | 4 |
| 0 | 7 | 11 |
| 1 | 14 | 11 |
| 2 | 39 | 7 |
| 3 | 76 | 7 |
| 4 | 134 | 5 |
| 5 | 258 | 5 |
| 6 | 662 | 5 |
| 7 | 2440 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 9 |
| 1 | 6 | 9 |
| done | 6 | 9 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 5 | 11 |
| 1 | 16 | 11 |
| 2 | 45 | 5 |
| 3 | 91 | 5 |
| 4 | 107 | 5 |
| 5 | 153 | 5 |
| 6 | 293 | 5 |
| 7 | 755 | 5 |
| 8 | 2745 | 5 |
| done | 5001 | 5 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| 2 | 9 | 1 |
| done | 9 | 1 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 6 | 8 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 15 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 25 | 6 |
| 4 | 26 | 6 |
| done | 26 | 6 |
| 0 | 5 | 6 |
| 1 | 10 | 6 |
| 2 | 20 | 6 |
| 3 | 38 | 6 |
| 4 | 80 | 6 |
| 5 | 182 | 6 |
| 6 | 446 | 6 |
| 7 | 1298 | 6 |
| 8 | 4672 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 21 | 17 |
| 2 | 73 | 11 |
| 3 | 200 | 7 |
| 4 | 416 | 7 |
| 5 | 1162 | 7 |
| 6 | 3922 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 22 | 17 |
| 2 | 69 | 9 |
| 3 | 196 | 7 |
| 4 | 441 | 7 |
| 5 | 1243 | 7 |
| 6 | 4192 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 13 |
| 1 | 9 | 13 |
| 2 | 11 | 13 |
| done | 11 | 13 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 6 | 17 |
| 1 | 19 | 17 |
| 2 | 70 | 7 |
| 3 | 224 | 7 |
| 4 | 365 | 7 |
| 5 | 531 | 7 |
| 6 | 1425 | 7 |
| 7 | 4784 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 19 | 25 |
| 1 | 42 | 25 |
| 2 | 136 | 25 |
| 3 | 493 | 25 |
| 4 | 1863 | 25 |
| 5 | 4147 | 25 |
| done | 5001 | 25 |
| 0 | 22 | 29 |
| 1 | 58 | 29 |
| 2 | 188 | 27 |
| 3 | 881 | 27 |
| done | 5000 | 27 |
| 0 | 21 | 29 |
| 1 | 56 | 29 |
| 2 | 182 | 27 |
| 3 | 878 | 27 |
| 4 | 4153 | 27 |
| done | 5001 | 27 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 137 | 2 | 139 |
| Fresh | 6 | 1 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 143 | 4 | 147 |
Merged error: 0b
Found 4 expressions with local error:
| 0.0b | (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v))))) |
| 0.2b | (* 3.0 (* v v)) |
| 0.2b | (* 5.0 (* v v)) |
| 0.3b | (* (/ 1 (* (sqrt 2.0) PI)) (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v)))))) |
| 286× | times-frac |
| 178× | add-sqr-sqrt |
| 156× | *-un-lft-identity |
| 154× | add-cube-cbrt |
| 153× | add-exp-log |
| 86× | associate-*r* |
| 84× | sqrt-prod |
| 68× | div-exp |
| 56× | prod-exp |
| 55× | add-cbrt-cube |
| 18× | cbrt-undiv rec-exp 1-exp cbrt-unprod |
| 16× | pow1 div-inv |
| 13× | associate-*l* associate-/l* |
| 9× | unswap-sqr |
| 7× | pow-prod-down |
| 6× | associate-/r* |
| 4× | sqrt-div associate-/r/ add-log-exp |
| 3× | *-commutative |
| 2× | flip3-- flip-- |
| 1× | frac-times frac-2neg associate-*r/ associate-*l/ clear-num associate-/l/ |
| 11.0ms | (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v))))) |
| 7.0ms | (* 3.0 (* v v)) |
| 7.0ms | (* 5.0 (* v v)) |
| 38.0ms | (* (/ 1 (* (sqrt 2.0) PI)) (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v)))))) |
| 20.0ms | (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v))))) |
| 3.0ms | (* 3.0 (* v v)) |
| 4.0ms | (* 5.0 (* v v)) |
| 36.0ms | (* (/ 1 (* (sqrt 2.0) PI)) (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v)))))) |
Useful iterations: 2 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 19 |
| 1 | 34 | 19 |
| 2 | 80 | 17 |
| 3 | 233 | 17 |
| 4 | 659 | 17 |
| 5 | 784 | 17 |
| done | 784 | 17 |
| 0 | 20 | 21 |
| 1 | 34 | 21 |
| 2 | 68 | 20 |
| 3 | 159 | 20 |
| 4 | 307 | 20 |
| 5 | 571 | 20 |
| 6 | 615 | 20 |
| done | 615 | 20 |
| 0 | 21 | 22 |
| 1 | 39 | 21 |
| 2 | 87 | 20 |
| 3 | 244 | 20 |
| 4 | 710 | 20 |
| 5 | 1170 | 20 |
| 6 | 1239 | 20 |
| 7 | 1246 | 20 |
| done | 1246 | 20 |
| 0 | 22 | 23 |
| 1 | 42 | 22 |
| 2 | 87 | 20 |
| 3 | 246 | 20 |
| 4 | 709 | 20 |
| 5 | 1167 | 20 |
| 6 | 1236 | 20 |
| 7 | 1243 | 20 |
| done | 1243 | 20 |
| 0 | 21 | 22 |
| 1 | 41 | 21 |
| 2 | 81 | 20 |
| 3 | 216 | 20 |
| 4 | 606 | 20 |
| 5 | 1091 | 20 |
| 6 | 1175 | 20 |
| 7 | 1183 | 20 |
| done | 1183 | 20 |
| 0 | 20 | 21 |
| 1 | 37 | 21 |
| 2 | 73 | 19 |
| 3 | 160 | 19 |
| 4 | 405 | 19 |
| 5 | 898 | 19 |
| 6 | 1097 | 19 |
| 7 | 1116 | 19 |
| done | 1116 | 19 |
| 0 | 19 | 20 |
| 1 | 33 | 20 |
| 2 | 63 | 19 |
| 3 | 125 | 19 |
| 4 | 253 | 19 |
| 5 | 464 | 19 |
| 6 | 574 | 19 |
| 7 | 584 | 19 |
| done | 584 | 19 |
| 0 | 20 | 21 |
| 1 | 38 | 20 |
| 2 | 82 | 19 |
| 3 | 193 | 19 |
| 4 | 528 | 19 |
| 5 | 1001 | 19 |
| 6 | 1281 | 19 |
| 7 | 1326 | 19 |
| done | 1326 | 19 |
| 0 | 21 | 22 |
| 1 | 41 | 21 |
| 2 | 82 | 19 |
| 3 | 195 | 19 |
| 4 | 531 | 19 |
| 5 | 1004 | 19 |
| 6 | 1277 | 19 |
| 7 | 1324 | 19 |
| done | 1324 | 19 |
| 0 | 20 | 21 |
| 1 | 40 | 20 |
| 2 | 76 | 19 |
| 3 | 170 | 19 |
| 4 | 456 | 19 |
| 5 | 964 | 19 |
| 6 | 1284 | 19 |
| 7 | 1324 | 19 |
| done | 1324 | 19 |
| 0 | 19 | 20 |
| 1 | 36 | 20 |
| 2 | 70 | 18 |
| 3 | 135 | 18 |
| 4 | 328 | 18 |
| 5 | 756 | 18 |
| 6 | 1106 | 18 |
| 7 | 1192 | 18 |
| 8 | 1201 | 18 |
| done | 1201 | 18 |
| 0 | 21 | 22 |
| 1 | 38 | 21 |
| 2 | 100 | 20 |
| 3 | 294 | 20 |
| 4 | 849 | 20 |
| 5 | 1211 | 20 |
| 6 | 1295 | 20 |
| done | 1295 | 20 |
| 0 | 21 | 23 |
| 1 | 42 | 21 |
| 2 | 116 | 20 |
| 3 | 361 | 20 |
| 4 | 1102 | 20 |
| 5 | 1402 | 20 |
| 6 | 1465 | 20 |
| done | 1465 | 20 |
| 0 | 23 | 24 |
| 1 | 45 | 22 |
| 2 | 119 | 20 |
| 3 | 362 | 20 |
| 4 | 1090 | 20 |
| 5 | 1389 | 20 |
| 6 | 1455 | 20 |
| done | 1455 | 20 |
| 0 | 22 | 23 |
| 1 | 44 | 21 |
| 2 | 110 | 20 |
| 3 | 312 | 20 |
| 4 | 987 | 20 |
| 5 | 1303 | 20 |
| 6 | 1377 | 20 |
| done | 1377 | 20 |
| 0 | 21 | 22 |
| 1 | 40 | 21 |
| 2 | 101 | 19 |
| 3 | 249 | 19 |
| 4 | 723 | 19 |
| 5 | 1054 | 19 |
| 6 | 1117 | 19 |
| done | 1117 | 19 |
| 0 | 20 | 21 |
| 1 | 38 | 20 |
| 2 | 89 | 19 |
| 3 | 246 | 19 |
| 4 | 727 | 19 |
| 5 | 1139 | 19 |
| 6 | 1242 | 19 |
| 7 | 1249 | 19 |
| done | 1249 | 19 |
| 0 | 20 | 22 |
| 1 | 42 | 20 |
| 2 | 105 | 19 |
| 3 | 300 | 19 |
| 4 | 950 | 19 |
| 5 | 1268 | 19 |
| 6 | 1365 | 19 |
| done | 1365 | 19 |
| 0 | 22 | 23 |
| 1 | 45 | 21 |
| 2 | 108 | 19 |
| 3 | 301 | 19 |
| 4 | 941 | 19 |
| 5 | 1253 | 19 |
| 6 | 1351 | 19 |
| done | 1351 | 19 |
| 0 | 21 | 22 |
| 1 | 44 | 20 |
| 2 | 99 | 19 |
| 3 | 259 | 19 |
| 4 | 839 | 19 |
| 5 | 1232 | 19 |
| 6 | 1338 | 19 |
| 7 | 1340 | 19 |
| done | 1340 | 19 |
| 0 | 20 | 21 |
| 1 | 40 | 20 |
| 2 | 92 | 18 |
| 3 | 216 | 18 |
| 4 | 635 | 18 |
| 5 | 1030 | 18 |
| 6 | 1116 | 18 |
| 7 | 1118 | 18 |
| done | 1118 | 18 |
| 0 | 22 | 23 |
| 1 | 41 | 22 |
| 2 | 97 | 20 |
| 3 | 297 | 20 |
| 4 | 857 | 20 |
| 5 | 1227 | 20 |
| 6 | 1317 | 20 |
| done | 1317 | 20 |
| 0 | 23 | 24 |
| 1 | 45 | 22 |
| 2 | 117 | 20 |
| 3 | 356 | 20 |
| 4 | 1082 | 20 |
| 5 | 1381 | 20 |
| 6 | 1450 | 20 |
| done | 1450 | 20 |
| 0 | 22 | 25 |
| 1 | 45 | 23 |
| 2 | 116 | 20 |
| 3 | 372 | 20 |
| 4 | 1089 | 20 |
| 5 | 1393 | 20 |
| 6 | 1461 | 20 |
| done | 1461 | 20 |
| 0 | 22 | 24 |
| 1 | 44 | 22 |
| 2 | 106 | 20 |
| 3 | 316 | 20 |
| 4 | 988 | 20 |
| 5 | 1288 | 20 |
| 6 | 1362 | 20 |
| done | 1362 | 20 |
| 0 | 21 | 23 |
| 1 | 41 | 22 |
| 2 | 96 | 20 |
| 3 | 248 | 19 |
| 4 | 714 | 19 |
| 5 | 1047 | 19 |
| 6 | 1109 | 19 |
| done | 1109 | 19 |
| 0 | 21 | 22 |
| 1 | 41 | 21 |
| 2 | 88 | 19 |
| 3 | 247 | 19 |
| 4 | 732 | 19 |
| 5 | 1148 | 19 |
| 6 | 1253 | 19 |
| 7 | 1260 | 19 |
| done | 1260 | 19 |
| 0 | 22 | 23 |
| 1 | 45 | 21 |
| 2 | 108 | 19 |
| 3 | 297 | 19 |
| 4 | 933 | 19 |
| 5 | 1260 | 19 |
| 6 | 1358 | 19 |
| done | 1358 | 19 |
| 0 | 21 | 24 |
| 1 | 45 | 22 |
| 2 | 107 | 19 |
| 3 | 312 | 19 |
| 4 | 944 | 19 |
| 5 | 1266 | 19 |
| 6 | 1363 | 19 |
| done | 1363 | 19 |
| 0 | 21 | 23 |
| 1 | 44 | 21 |
| 2 | 97 | 19 |
| 3 | 262 | 19 |
| 4 | 842 | 19 |
| 5 | 1225 | 19 |
| 6 | 1328 | 19 |
| 7 | 1330 | 19 |
| done | 1330 | 19 |
| 0 | 20 | 22 |
| 1 | 41 | 21 |
| 2 | 89 | 19 |
| 3 | 215 | 18 |
| 4 | 628 | 18 |
| 5 | 1019 | 18 |
| 6 | 1106 | 18 |
| 7 | 1108 | 18 |
| done | 1108 | 18 |
| 0 | 20 | 21 |
| 1 | 39 | 20 |
| 2 | 80 | 19 |
| 3 | 195 | 19 |
| 4 | 562 | 19 |
| 5 | 1045 | 19 |
| 6 | 1122 | 19 |
| 7 | 1130 | 19 |
| done | 1130 | 19 |
| 0 | 21 | 22 |
| 1 | 43 | 20 |
| 2 | 98 | 19 |
| 3 | 249 | 19 |
| 4 | 831 | 19 |
| 5 | 1187 | 19 |
| 6 | 1252 | 19 |
| 7 | 1254 | 19 |
| done | 1254 | 19 |
| 0 | 21 | 23 |
| 1 | 43 | 21 |
| 2 | 95 | 19 |
| 3 | 250 | 19 |
| 4 | 823 | 19 |
| 5 | 1175 | 19 |
| 6 | 1239 | 19 |
| 7 | 1241 | 19 |
| done | 1241 | 19 |
| 0 | 20 | 22 |
| 1 | 42 | 20 |
| 2 | 89 | 19 |
| 3 | 227 | 19 |
| 4 | 752 | 19 |
| 5 | 1108 | 19 |
| 6 | 1173 | 19 |
| 7 | 1175 | 19 |
| done | 1175 | 19 |
| 0 | 19 | 21 |
| 1 | 39 | 20 |
| 2 | 81 | 18 |
| 3 | 181 | 18 |
| 4 | 535 | 18 |
| 5 | 1165 | 18 |
| 6 | 1267 | 18 |
| 7 | 1273 | 18 |
| done | 1273 | 18 |
| 0 | 18 | 20 |
| 1 | 38 | 20 |
| 2 | 101 | 18 |
| 3 | 315 | 18 |
| 4 | 1004 | 17 |
| 5 | 1849 | 17 |
| 6 | 2364 | 17 |
| 7 | 2484 | 17 |
| done | 2484 | 17 |
| 0 | 18 | 20 |
| 1 | 37 | 20 |
| 2 | 89 | 18 |
| 3 | 266 | 18 |
| 4 | 786 | 18 |
| 5 | 1253 | 18 |
| 6 | 2752 | 18 |
| done | 5000 | 18 |
| 0 | 27 | 59 |
| 1 | 65 | 37 |
| 2 | 237 | 25 |
| 3 | 1549 | 25 |
| done | 5000 | 25 |
| 0 | 27 | 59 |
| 1 | 68 | 41 |
| 2 | 253 | 25 |
| 3 | 1900 | 23 |
| done | 5000 | 23 |
| 0 | 25 | 59 |
| 1 | 60 | 51 |
| 2 | 207 | 23 |
| 3 | 1166 | 23 |
| done | 5000 | 23 |
| 0 | 25 | 59 |
| 1 | 67 | 41 |
| 2 | 241 | 23 |
| 3 | 1563 | 23 |
| done | 5000 | 23 |
| 0 | 25 | 59 |
| 1 | 70 | 45 |
| 2 | 254 | 23 |
| 3 | 1908 | 21 |
| done | 5000 | 21 |
| 0 | 23 | 59 |
| 1 | 62 | 55 |
| 2 | 211 | 21 |
| 3 | 1188 | 21 |
| done | 5001 | 21 |
| 0 | 25 | 59 |
| 1 | 60 | 45 |
| 2 | 210 | 25 |
| 3 | 1244 | 23 |
| done | 5000 | 23 |
| 0 | 23 | 59 |
| 1 | 60 | 49 |
| 2 | 238 | 25 |
| 3 | 1503 | 23 |
| done | 5000 | 23 |
| 0 | 21 | 59 |
| 1 | 52 | 59 |
| 2 | 188 | 23 |
| 3 | 979 | 23 |
| done | 5000 | 21 |
| 0 | 19 | 41 |
| 1 | 36 | 41 |
| 2 | 82 | 37 |
| 3 | 231 | 37 |
| 4 | 654 | 37 |
| 5 | 771 | 37 |
| done | 771 | 37 |
| 0 | 18 | 20 |
| 1 | 35 | 20 |
| 2 | 81 | 18 |
| 3 | 236 | 18 |
| 4 | 665 | 18 |
| 5 | 783 | 18 |
| done | 783 | 18 |
| 0 | 19 | 59 |
| 1 | 46 | 59 |
| 2 | 180 | 19 |
| 3 | 1093 | 19 |
| done | 5001 | 19 |
| 0 | 18 | 20 |
| 1 | 35 | 20 |
| 2 | 81 | 18 |
| 3 | 236 | 18 |
| 4 | 665 | 18 |
| 5 | 783 | 18 |
| done | 783 | 18 |
| 0 | 18 | 20 |
| 1 | 35 | 20 |
| 2 | 81 | 18 |
| 3 | 236 | 18 |
| 4 | 665 | 18 |
| 5 | 783 | 18 |
| done | 783 | 18 |
| 0 | 4 | 5 |
| 1 | 9 | 3 |
| done | 9 | 3 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 40 | 13 |
| 3 | 52 | 13 |
| done | 52 | 13 |
| 0 | 19 | 21 |
| 1 | 32 | 21 |
| 2 | 50 | 21 |
| 3 | 62 | 21 |
| done | 62 | 21 |
| 0 | 19 | 21 |
| 1 | 32 | 21 |
| 2 | 50 | 21 |
| 3 | 62 | 21 |
| done | 62 | 21 |
| 0 | 20 | 22 |
| 1 | 33 | 22 |
| 2 | 51 | 22 |
| 3 | 67 | 22 |
| 4 | 68 | 22 |
| done | 68 | 22 |
| 0 | 20 | 22 |
| 1 | 33 | 22 |
| 2 | 51 | 22 |
| 3 | 67 | 22 |
| 4 | 68 | 22 |
| done | 68 | 22 |
| 0 | 20 | 22 |
| 1 | 33 | 22 |
| 2 | 51 | 22 |
| 3 | 67 | 22 |
| 4 | 68 | 22 |
| done | 68 | 22 |
| 0 | 20 | 22 |
| 1 | 33 | 22 |
| 2 | 51 | 22 |
| 3 | 67 | 22 |
| 4 | 68 | 22 |
| done | 68 | 22 |
| 0 | 21 | 23 |
| 1 | 36 | 22 |
| 2 | 62 | 22 |
| 3 | 95 | 20 |
| 4 | 156 | 20 |
| 5 | 165 | 20 |
| done | 165 | 20 |
| 0 | 21 | 23 |
| 1 | 36 | 22 |
| 2 | 62 | 22 |
| 3 | 95 | 20 |
| 4 | 156 | 20 |
| 5 | 165 | 20 |
| done | 165 | 20 |
| 0 | 21 | 23 |
| 1 | 36 | 22 |
| 2 | 62 | 22 |
| 3 | 95 | 20 |
| 4 | 156 | 20 |
| 5 | 165 | 20 |
| done | 165 | 20 |
| 0 | 21 | 23 |
| 1 | 36 | 22 |
| 2 | 62 | 22 |
| 3 | 95 | 20 |
| 4 | 156 | 20 |
| 5 | 165 | 20 |
| done | 165 | 20 |
| 0 | 20 | 22 |
| 1 | 35 | 22 |
| 2 | 61 | 22 |
| 3 | 94 | 20 |
| 4 | 150 | 20 |
| 5 | 157 | 20 |
| done | 157 | 20 |
| 0 | 20 | 22 |
| 1 | 35 | 22 |
| 2 | 61 | 22 |
| 3 | 94 | 20 |
| 4 | 150 | 20 |
| 5 | 157 | 20 |
| done | 157 | 20 |
| 0 | 20 | 22 |
| 1 | 35 | 22 |
| 2 | 61 | 22 |
| 3 | 94 | 20 |
| 4 | 150 | 20 |
| 5 | 157 | 20 |
| done | 157 | 20 |
| 0 | 20 | 22 |
| 1 | 35 | 22 |
| 2 | 61 | 22 |
| 3 | 94 | 20 |
| 4 | 150 | 20 |
| 5 | 157 | 20 |
| done | 157 | 20 |
| 0 | 19 | 34 |
| 1 | 36 | 34 |
| 2 | 74 | 32 |
| 3 | 175 | 32 |
| 4 | 320 | 32 |
| 5 | 331 | 32 |
| done | 331 | 32 |
| 0 | 18 | 20 |
| 1 | 33 | 20 |
| 2 | 64 | 18 |
| 3 | 121 | 18 |
| 4 | 195 | 18 |
| 5 | 197 | 18 |
| done | 197 | 18 |
| 0 | 21 | 36 |
| 1 | 42 | 36 |
| 2 | 110 | 34 |
| 3 | 423 | 34 |
| 4 | 1344 | 34 |
| 5 | 2661 | 34 |
| 6 | 2895 | 34 |
| done | 2895 | 34 |
| 0 | 21 | 35 |
| 1 | 39 | 26 |
| 2 | 84 | 24 |
| 3 | 273 | 24 |
| 4 | 750 | 24 |
| 5 | 1140 | 24 |
| 6 | 1255 | 24 |
| done | 1255 | 24 |
| 0 | 20 | 26 |
| 1 | 37 | 26 |
| 2 | 82 | 24 |
| 3 | 271 | 24 |
| 4 | 739 | 24 |
| 5 | 1130 | 24 |
| 6 | 1269 | 24 |
| done | 1269 | 24 |
| 0 | 13 | 19 |
| 1 | 25 | 18 |
| 2 | 57 | 16 |
| 3 | 228 | 14 |
| 4 | 700 | 14 |
| 5 | 825 | 14 |
| done | 825 | 14 |
| 0 | 20 | 26 |
| 1 | 37 | 26 |
| 2 | 82 | 24 |
| 3 | 271 | 24 |
| 4 | 739 | 24 |
| 5 | 1130 | 24 |
| 6 | 1269 | 24 |
| done | 1269 | 24 |
| 0 | 12 | 18 |
| 1 | 24 | 16 |
| 2 | 62 | 14 |
| 3 | 289 | 14 |
| 4 | 703 | 14 |
| 5 | 755 | 14 |
| done | 755 | 14 |
| 0 | 20 | 31 |
| 1 | 37 | 31 |
| 2 | 83 | 29 |
| 3 | 254 | 29 |
| 4 | 685 | 29 |
| 5 | 1300 | 29 |
| 6 | 1408 | 29 |
| done | 1408 | 29 |
| 0 | 20 | 30 |
| 1 | 36 | 21 |
| 2 | 72 | 19 |
| 3 | 185 | 19 |
| 4 | 409 | 19 |
| 5 | 596 | 19 |
| 6 | 650 | 19 |
| done | 650 | 19 |
| 0 | 19 | 21 |
| 1 | 34 | 21 |
| 2 | 70 | 19 |
| 3 | 183 | 19 |
| 4 | 406 | 19 |
| 5 | 596 | 19 |
| 6 | 639 | 19 |
| done | 639 | 19 |
| 0 | 12 | 14 |
| 1 | 22 | 13 |
| 2 | 45 | 11 |
| 3 | 144 | 9 |
| 4 | 394 | 9 |
| 5 | 457 | 9 |
| done | 457 | 9 |
| 0 | 19 | 21 |
| 1 | 34 | 21 |
| 2 | 70 | 19 |
| 3 | 183 | 19 |
| 4 | 406 | 19 |
| 5 | 596 | 19 |
| 6 | 639 | 19 |
| done | 639 | 19 |
| 0 | 11 | 13 |
| 1 | 21 | 11 |
| 2 | 46 | 9 |
| 3 | 146 | 9 |
| 4 | 359 | 9 |
| 5 | 374 | 9 |
| done | 374 | 9 |
| 0 | 23 | 38 |
| 1 | 48 | 36 |
| 2 | 142 | 32 |
| 3 | 543 | 32 |
| 4 | 2314 | 32 |
| 5 | 3612 | 32 |
| 6 | 3759 | 32 |
| done | 3759 | 32 |
| 0 | 23 | 37 |
| 1 | 47 | 26 |
| 2 | 119 | 22 |
| 3 | 374 | 22 |
| 4 | 1288 | 22 |
| 5 | 1696 | 22 |
| 6 | 1734 | 22 |
| done | 1734 | 22 |
| 0 | 22 | 28 |
| 1 | 45 | 26 |
| 2 | 117 | 22 |
| 3 | 370 | 22 |
| 4 | 1295 | 22 |
| 5 | 1680 | 22 |
| 6 | 1716 | 22 |
| done | 1716 | 22 |
| 0 | 15 | 21 |
| 1 | 33 | 18 |
| 2 | 92 | 12 |
| 3 | 316 | 12 |
| 4 | 848 | 12 |
| 5 | 944 | 12 |
| done | 944 | 12 |
| 0 | 22 | 28 |
| 1 | 45 | 26 |
| 2 | 117 | 22 |
| 3 | 370 | 22 |
| 4 | 1295 | 22 |
| 5 | 1680 | 22 |
| 6 | 1716 | 22 |
| done | 1716 | 22 |
| 0 | 14 | 20 |
| 1 | 32 | 16 |
| 2 | 106 | 12 |
| 3 | 359 | 12 |
| 4 | 790 | 12 |
| 5 | 823 | 12 |
| done | 823 | 12 |
| 0 | 22 | 35 |
| 1 | 43 | 33 |
| 2 | 114 | 29 |
| 3 | 370 | 29 |
| 4 | 1446 | 29 |
| 5 | 2021 | 29 |
| 6 | 2030 | 29 |
| done | 2030 | 29 |
| 0 | 22 | 34 |
| 1 | 42 | 23 |
| 2 | 98 | 19 |
| 3 | 279 | 19 |
| 4 | 817 | 19 |
| 5 | 902 | 19 |
| done | 902 | 19 |
| 0 | 21 | 25 |
| 1 | 40 | 23 |
| 2 | 96 | 19 |
| 3 | 280 | 19 |
| 4 | 827 | 19 |
| 5 | 925 | 19 |
| done | 925 | 19 |
| 0 | 14 | 18 |
| 1 | 28 | 15 |
| 2 | 71 | 9 |
| 3 | 206 | 9 |
| 4 | 484 | 9 |
| 5 | 522 | 9 |
| done | 522 | 9 |
| 0 | 21 | 25 |
| 1 | 40 | 23 |
| 2 | 96 | 19 |
| 3 | 280 | 19 |
| 4 | 827 | 19 |
| 5 | 925 | 19 |
| done | 925 | 19 |
| 0 | 13 | 17 |
| 1 | 27 | 13 |
| 2 | 78 | 9 |
| 3 | 213 | 9 |
| 4 | 436 | 9 |
| 5 | 441 | 9 |
| done | 441 | 9 |
| 0 | 20 | 34 |
| 1 | 41 | 30 |
| 2 | 120 | 26 |
| 3 | 295 | 26 |
| 4 | 807 | 26 |
| 5 | 935 | 26 |
| done | 935 | 26 |
| 0 | 20 | 33 |
| 1 | 40 | 20 |
| 2 | 100 | 16 |
| 3 | 214 | 16 |
| 4 | 450 | 16 |
| 5 | 487 | 16 |
| done | 487 | 16 |
| 0 | 19 | 24 |
| 1 | 38 | 20 |
| 2 | 98 | 16 |
| 3 | 212 | 16 |
| 4 | 449 | 16 |
| 5 | 500 | 16 |
| done | 500 | 16 |
| 0 | 12 | 17 |
| 1 | 26 | 10 |
| 2 | 62 | 6 |
| 3 | 98 | 6 |
| 4 | 160 | 6 |
| 5 | 162 | 6 |
| done | 162 | 6 |
| 0 | 19 | 24 |
| 1 | 38 | 20 |
| 2 | 98 | 16 |
| 3 | 212 | 16 |
| 4 | 449 | 16 |
| 5 | 500 | 16 |
| done | 500 | 16 |
| 0 | 11 | 16 |
| 1 | 25 | 8 |
| 2 | 39 | 6 |
| 3 | 78 | 6 |
| 4 | 146 | 6 |
| 5 | 148 | 6 |
| done | 148 | 6 |
| 0 | 22 | 35 |
| 1 | 43 | 34 |
| 2 | 110 | 32 |
| 3 | 388 | 32 |
| 4 | 1626 | 32 |
| 5 | 3703 | 32 |
| 6 | 3955 | 32 |
| done | 3955 | 32 |
| 0 | 22 | 34 |
| 1 | 42 | 24 |
| 2 | 93 | 22 |
| 3 | 289 | 22 |
| 4 | 1037 | 22 |
| 5 | 1575 | 22 |
| 6 | 1626 | 22 |
| done | 1626 | 22 |
| 0 | 21 | 25 |
| 1 | 40 | 24 |
| 2 | 91 | 22 |
| 3 | 289 | 22 |
| 4 | 1019 | 22 |
| 5 | 1568 | 22 |
| 6 | 1628 | 22 |
| done | 1628 | 22 |
| 0 | 13 | 18 |
| 1 | 27 | 16 |
| 2 | 65 | 12 |
| 3 | 225 | 12 |
| 4 | 701 | 12 |
| 5 | 849 | 12 |
| 6 | 850 | 12 |
| done | 850 | 12 |
| 0 | 21 | 25 |
| 1 | 40 | 24 |
| 2 | 91 | 22 |
| 3 | 289 | 22 |
| 4 | 1019 | 22 |
| 5 | 1568 | 22 |
| 6 | 1628 | 22 |
| done | 1628 | 22 |
| 0 | 13 | 17 |
| 1 | 27 | 14 |
| 2 | 74 | 12 |
| 3 | 262 | 12 |
| 4 | 666 | 12 |
| 5 | 749 | 12 |
| done | 749 | 12 |
| 0 | 21 | 32 |
| 1 | 40 | 31 |
| 2 | 99 | 29 |
| 3 | 319 | 29 |
| 4 | 1088 | 29 |
| 5 | 1878 | 29 |
| 6 | 1893 | 29 |
| done | 1893 | 29 |
| 0 | 21 | 31 |
| 1 | 39 | 21 |
| 2 | 85 | 19 |
| 3 | 240 | 19 |
| 4 | 673 | 19 |
| 5 | 800 | 19 |
| done | 800 | 19 |
| 0 | 20 | 22 |
| 1 | 37 | 21 |
| 2 | 83 | 19 |
| 3 | 236 | 19 |
| 4 | 656 | 19 |
| 5 | 780 | 19 |
| done | 780 | 19 |
| 0 | 12 | 15 |
| 1 | 24 | 13 |
| 2 | 57 | 9 |
| 3 | 165 | 9 |
| 4 | 451 | 9 |
| 5 | 485 | 9 |
| done | 485 | 9 |
| 0 | 20 | 22 |
| 1 | 37 | 21 |
| 2 | 83 | 19 |
| 3 | 236 | 19 |
| 4 | 656 | 19 |
| 5 | 780 | 19 |
| done | 780 | 19 |
| 0 | 12 | 14 |
| 1 | 24 | 11 |
| 2 | 62 | 9 |
| 3 | 173 | 9 |
| 4 | 387 | 9 |
| 5 | 392 | 9 |
| done | 392 | 9 |
| 0 | 19 | 31 |
| 1 | 38 | 28 |
| 2 | 89 | 26 |
| 3 | 247 | 26 |
| 4 | 653 | 26 |
| 5 | 802 | 26 |
| done | 802 | 26 |
| 0 | 19 | 30 |
| 1 | 37 | 18 |
| 2 | 77 | 16 |
| 3 | 174 | 16 |
| 4 | 400 | 16 |
| 5 | 462 | 16 |
| done | 462 | 16 |
| 0 | 18 | 21 |
| 1 | 35 | 18 |
| 2 | 75 | 16 |
| 3 | 172 | 16 |
| 4 | 400 | 16 |
| 5 | 463 | 16 |
| done | 463 | 16 |
| 0 | 10 | 14 |
| 1 | 22 | 8 |
| 2 | 42 | 6 |
| 3 | 80 | 6 |
| 4 | 147 | 6 |
| 5 | 149 | 6 |
| done | 149 | 6 |
| 0 | 18 | 21 |
| 1 | 35 | 18 |
| 2 | 75 | 16 |
| 3 | 172 | 16 |
| 4 | 400 | 16 |
| 5 | 463 | 16 |
| done | 463 | 16 |
| 0 | 10 | 13 |
| 1 | 22 | 6 |
| 2 | 34 | 6 |
| 3 | 67 | 6 |
| 4 | 110 | 6 |
| done | 110 | 6 |
| 0 | 21 | 34 |
| 1 | 42 | 34 |
| 2 | 109 | 32 |
| 3 | 392 | 32 |
| 4 | 1656 | 32 |
| 5 | 3768 | 32 |
| 6 | 4004 | 32 |
| done | 4004 | 32 |
| 0 | 21 | 33 |
| 1 | 41 | 24 |
| 2 | 92 | 22 |
| 3 | 286 | 22 |
| 4 | 1026 | 22 |
| 5 | 1585 | 22 |
| 6 | 1650 | 22 |
| done | 1650 | 22 |
| 0 | 20 | 24 |
| 1 | 39 | 24 |
| 2 | 90 | 22 |
| 3 | 284 | 22 |
| 4 | 1025 | 22 |
| 5 | 1565 | 22 |
| 6 | 1627 | 22 |
| done | 1627 | 22 |
| 0 | 13 | 17 |
| 1 | 27 | 16 |
| 2 | 65 | 12 |
| 3 | 225 | 12 |
| 4 | 690 | 12 |
| 5 | 846 | 12 |
| 6 | 854 | 12 |
| done | 854 | 12 |
| 0 | 20 | 24 |
| 1 | 39 | 24 |
| 2 | 90 | 22 |
| 3 | 284 | 22 |
| 4 | 1025 | 22 |
| 5 | 1565 | 22 |
| 6 | 1627 | 22 |
| done | 1627 | 22 |
| 0 | 12 | 16 |
| 1 | 26 | 14 |
| 2 | 73 | 12 |
| 3 | 262 | 12 |
| 4 | 657 | 12 |
| 5 | 750 | 12 |
| done | 750 | 12 |
| 0 | 20 | 31 |
| 1 | 39 | 31 |
| 2 | 98 | 29 |
| 3 | 317 | 29 |
| 4 | 1098 | 29 |
| 5 | 1839 | 29 |
| 6 | 1856 | 29 |
| done | 1856 | 29 |
| 0 | 20 | 30 |
| 1 | 38 | 21 |
| 2 | 84 | 19 |
| 3 | 237 | 19 |
| 4 | 662 | 19 |
| 5 | 782 | 19 |
| done | 782 | 19 |
| 0 | 19 | 21 |
| 1 | 36 | 21 |
| 2 | 82 | 19 |
| 3 | 235 | 19 |
| 4 | 659 | 19 |
| 5 | 796 | 19 |
| done | 796 | 19 |
| 0 | 12 | 14 |
| 1 | 24 | 13 |
| 2 | 57 | 9 |
| 3 | 165 | 9 |
| 4 | 451 | 9 |
| 5 | 479 | 9 |
| done | 479 | 9 |
| 0 | 19 | 21 |
| 1 | 36 | 21 |
| 2 | 82 | 19 |
| 3 | 235 | 19 |
| 4 | 659 | 19 |
| 5 | 796 | 19 |
| done | 796 | 19 |
| 0 | 11 | 13 |
| 1 | 23 | 11 |
| 2 | 61 | 9 |
| 3 | 172 | 9 |
| 4 | 389 | 9 |
| 5 | 394 | 9 |
| done | 394 | 9 |
| 0 | 18 | 30 |
| 1 | 37 | 28 |
| 2 | 88 | 26 |
| 3 | 250 | 26 |
| 4 | 655 | 26 |
| 5 | 817 | 26 |
| done | 817 | 26 |
| 0 | 18 | 29 |
| 1 | 36 | 18 |
| 2 | 76 | 16 |
| 3 | 175 | 16 |
| 4 | 405 | 16 |
| 5 | 465 | 16 |
| done | 465 | 16 |
| 0 | 17 | 20 |
| 1 | 34 | 18 |
| 2 | 74 | 16 |
| 3 | 171 | 16 |
| 4 | 396 | 16 |
| 5 | 461 | 16 |
| done | 461 | 16 |
| 0 | 10 | 13 |
| 1 | 22 | 8 |
| 2 | 42 | 6 |
| 3 | 80 | 6 |
| 4 | 147 | 6 |
| 5 | 149 | 6 |
| done | 149 | 6 |
| 0 | 17 | 20 |
| 1 | 34 | 18 |
| 2 | 74 | 16 |
| 3 | 171 | 16 |
| 4 | 396 | 16 |
| 5 | 461 | 16 |
| done | 461 | 16 |
| 0 | 9 | 12 |
| 1 | 21 | 6 |
| 2 | 33 | 6 |
| 3 | 68 | 6 |
| 4 | 110 | 6 |
| done | 110 | 6 |
| 0 | 17 | 28 |
| 1 | 34 | 28 |
| 2 | 79 | 26 |
| 3 | 213 | 26 |
| 4 | 458 | 26 |
| 5 | 510 | 26 |
| done | 510 | 26 |
| 0 | 17 | 27 |
| 1 | 33 | 18 |
| 2 | 69 | 16 |
| 3 | 151 | 16 |
| 4 | 254 | 16 |
| 5 | 256 | 16 |
| done | 256 | 16 |
| 0 | 16 | 18 |
| 1 | 31 | 18 |
| 2 | 67 | 16 |
| 3 | 151 | 16 |
| 4 | 251 | 16 |
| 5 | 253 | 16 |
| done | 253 | 16 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 41 | 8 |
| 3 | 113 | 6 |
| 4 | 189 | 6 |
| 5 | 206 | 6 |
| done | 206 | 6 |
| 0 | 16 | 18 |
| 1 | 31 | 18 |
| 2 | 67 | 16 |
| 3 | 151 | 16 |
| 4 | 251 | 16 |
| 5 | 253 | 16 |
| done | 253 | 16 |
| 0 | 8 | 10 |
| 1 | 18 | 6 |
| 2 | 30 | 6 |
| 3 | 65 | 6 |
| 4 | 109 | 6 |
| done | 109 | 6 |
| 0 | 17 | 28 |
| 1 | 34 | 28 |
| 2 | 79 | 26 |
| 3 | 213 | 26 |
| 4 | 458 | 26 |
| 5 | 510 | 26 |
| done | 510 | 26 |
| 0 | 17 | 27 |
| 1 | 33 | 18 |
| 2 | 69 | 16 |
| 3 | 151 | 16 |
| 4 | 254 | 16 |
| 5 | 256 | 16 |
| done | 256 | 16 |
| 0 | 16 | 18 |
| 1 | 31 | 18 |
| 2 | 67 | 16 |
| 3 | 151 | 16 |
| 4 | 251 | 16 |
| 5 | 253 | 16 |
| done | 253 | 16 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 41 | 8 |
| 3 | 113 | 6 |
| 4 | 189 | 6 |
| 5 | 206 | 6 |
| done | 206 | 6 |
| 0 | 16 | 18 |
| 1 | 31 | 18 |
| 2 | 67 | 16 |
| 3 | 151 | 16 |
| 4 | 251 | 16 |
| 5 | 253 | 16 |
| done | 253 | 16 |
| 0 | 8 | 10 |
| 1 | 18 | 6 |
| 2 | 30 | 6 |
| 3 | 65 | 6 |
| 4 | 109 | 6 |
| done | 109 | 6 |
| 0 | 7 | 8 |
| 1 | 15 | 6 |
| 2 | 21 | 6 |
| 3 | 29 | 6 |
| 4 | 41 | 6 |
| 5 | 48 | 6 |
| done | 48 | 6 |
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 42 | 8 |
| 3 | 114 | 8 |
| 4 | 223 | 8 |
| 5 | 227 | 8 |
| done | 227 | 8 |
| 0 | 20 | 23 |
| 1 | 53 | 23 |
| 2 | 157 | 21 |
| 3 | 631 | 21 |
| 4 | 2187 | 21 |
| done | 5000 | 21 |
| 0 | 19 | 27 |
| 1 | 46 | 27 |
| 2 | 125 | 25 |
| 3 | 410 | 23 |
| 4 | 1102 | 21 |
| 5 | 1451 | 21 |
| 6 | 1900 | 21 |
| 7 | 3098 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 20 |
| 1 | 33 | 20 |
| 2 | 59 | 20 |
| 3 | 92 | 18 |
| 4 | 153 | 18 |
| 5 | 165 | 18 |
| done | 165 | 18 |
| 0 | 18 | 20 |
| 1 | 33 | 20 |
| 2 | 59 | 20 |
| 3 | 92 | 18 |
| 4 | 153 | 18 |
| 5 | 165 | 18 |
| done | 165 | 18 |
| 0 | 15 | 17 |
| 1 | 29 | 16 |
| 2 | 61 | 14 |
| 3 | 129 | 14 |
| 4 | 246 | 14 |
| done | 246 | 14 |
| 0 | 15 | 17 |
| 1 | 29 | 16 |
| 2 | 61 | 14 |
| 3 | 129 | 14 |
| 4 | 246 | 14 |
| done | 246 | 14 |
| 0 | 14 | 16 |
| 1 | 28 | 16 |
| 2 | 60 | 14 |
| 3 | 128 | 14 |
| 4 | 235 | 14 |
| done | 235 | 14 |
| 0 | 17 | 19 |
| 1 | 34 | 19 |
| 2 | 80 | 17 |
| 3 | 233 | 17 |
| 4 | 659 | 17 |
| 5 | 784 | 17 |
| done | 784 | 17 |
| 0 | 17 | 19 |
| 1 | 34 | 19 |
| 2 | 80 | 17 |
| 3 | 233 | 17 |
| 4 | 659 | 17 |
| 5 | 784 | 17 |
| done | 784 | 17 |
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 42 | 8 |
| 3 | 114 | 8 |
| 4 | 223 | 8 |
| 5 | 227 | 8 |
| done | 227 | 8 |
| 0 | 12 | 14 |
| 1 | 24 | 12 |
| 2 | 52 | 12 |
| 3 | 74 | 12 |
| 4 | 88 | 12 |
| 5 | 94 | 12 |
| done | 94 | 12 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 6 | 8 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 15 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 25 | 6 |
| 4 | 26 | 6 |
| done | 26 | 6 |
| 0 | 5 | 6 |
| 1 | 10 | 6 |
| 2 | 20 | 6 |
| 3 | 38 | 6 |
| 4 | 80 | 6 |
| 5 | 182 | 6 |
| 6 | 446 | 6 |
| 7 | 1298 | 6 |
| 8 | 4672 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 21 | 17 |
| 2 | 73 | 11 |
| 3 | 200 | 7 |
| 4 | 416 | 7 |
| 5 | 1162 | 7 |
| 6 | 3922 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 22 | 17 |
| 2 | 69 | 9 |
| 3 | 196 | 7 |
| 4 | 441 | 7 |
| 5 | 1243 | 7 |
| 6 | 4192 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 13 |
| 1 | 9 | 13 |
| 2 | 11 | 13 |
| done | 11 | 13 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 6 | 17 |
| 1 | 19 | 17 |
| 2 | 70 | 7 |
| 3 | 224 | 7 |
| 4 | 365 | 7 |
| 5 | 531 | 7 |
| 6 | 1425 | 7 |
| 7 | 4784 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 6 | 8 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 15 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 25 | 6 |
| 4 | 26 | 6 |
| done | 26 | 6 |
| 0 | 5 | 6 |
| 1 | 10 | 6 |
| 2 | 20 | 6 |
| 3 | 38 | 6 |
| 4 | 80 | 6 |
| 5 | 182 | 6 |
| 6 | 446 | 6 |
| 7 | 1298 | 6 |
| 8 | 4672 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 21 | 17 |
| 2 | 73 | 11 |
| 3 | 200 | 7 |
| 4 | 416 | 7 |
| 5 | 1162 | 7 |
| 6 | 3922 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 22 | 17 |
| 2 | 69 | 9 |
| 3 | 196 | 7 |
| 4 | 441 | 7 |
| 5 | 1243 | 7 |
| 6 | 4192 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 13 |
| 1 | 9 | 13 |
| 2 | 11 | 13 |
| done | 11 | 13 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 6 | 17 |
| 1 | 19 | 17 |
| 2 | 70 | 7 |
| 3 | 224 | 7 |
| 4 | 365 | 7 |
| 5 | 531 | 7 |
| 6 | 1425 | 7 |
| 7 | 4784 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 35 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 13 | 14 |
| 1 | 24 | 13 |
| 2 | 48 | 13 |
| 3 | 77 | 13 |
| 4 | 114 | 13 |
| 5 | 138 | 13 |
| 6 | 149 | 13 |
| 7 | 161 | 13 |
| done | 161 | 13 |
| 0 | 14 | 15 |
| 1 | 27 | 14 |
| 2 | 51 | 13 |
| 3 | 87 | 13 |
| 4 | 124 | 13 |
| 5 | 148 | 13 |
| 6 | 159 | 13 |
| 7 | 171 | 13 |
| done | 171 | 13 |
| 0 | 13 | 14 |
| 1 | 26 | 13 |
| 2 | 46 | 13 |
| 3 | 72 | 13 |
| 4 | 90 | 13 |
| 5 | 106 | 13 |
| 6 | 123 | 13 |
| 7 | 132 | 13 |
| 8 | 149 | 13 |
| done | 149 | 13 |
| 0 | 12 | 13 |
| 1 | 24 | 13 |
| 2 | 49 | 12 |
| 3 | 72 | 12 |
| 4 | 95 | 12 |
| 5 | 113 | 12 |
| 6 | 146 | 12 |
| 7 | 175 | 12 |
| 8 | 177 | 12 |
| done | 177 | 12 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 17 | 38 |
| 1 | 37 | 24 |
| 2 | 103 | 16 |
| 3 | 302 | 16 |
| 4 | 1073 | 16 |
| 5 | 2811 | 14 |
| done | 5000 | 14 |
| 0 | 15 | 38 |
| 1 | 37 | 28 |
| 2 | 114 | 16 |
| 3 | 437 | 14 |
| 4 | 1305 | 14 |
| 5 | 2982 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 27 |
| 1 | 22 | 27 |
| 2 | 38 | 27 |
| 3 | 50 | 27 |
| done | 50 | 27 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 13 | 38 |
| 1 | 29 | 38 |
| 2 | 76 | 14 |
| 3 | 228 | 14 |
| 4 | 799 | 14 |
| 5 | 1230 | 14 |
| 6 | 2388 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 4 | 4 |
| 1 | 9 | 3 |
| done | 9 | 3 |
| 0 | 8 | 9 |
| 1 | 13 | 9 |
| 2 | 26 | 9 |
| 3 | 38 | 9 |
| done | 38 | 9 |
| 0 | 15 | 29 |
| 1 | 28 | 29 |
| 2 | 50 | 29 |
| 3 | 68 | 29 |
| done | 68 | 29 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 15 | 28 |
| 1 | 25 | 19 |
| 2 | 40 | 19 |
| 3 | 53 | 19 |
| done | 53 | 19 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 14 | 19 |
| 1 | 23 | 19 |
| 2 | 38 | 19 |
| 3 | 51 | 19 |
| done | 51 | 19 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 7 | 12 |
| 1 | 11 | 11 |
| 2 | 13 | 11 |
| 3 | 14 | 9 |
| 4 | 21 | 9 |
| done | 21 | 9 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 32 | 13 |
| 3 | 44 | 13 |
| done | 44 | 13 |
| 0 | 14 | 19 |
| 1 | 23 | 19 |
| 2 | 38 | 19 |
| 3 | 51 | 19 |
| done | 51 | 19 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 6 | 11 |
| 1 | 10 | 9 |
| 2 | 16 | 9 |
| 3 | 21 | 9 |
| done | 21 | 9 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 32 | 13 |
| 3 | 44 | 13 |
| done | 44 | 13 |
| 0 | 14 | 24 |
| 1 | 23 | 24 |
| 2 | 36 | 24 |
| 3 | 48 | 24 |
| done | 48 | 24 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 14 | 23 |
| 1 | 22 | 14 |
| 2 | 35 | 14 |
| 3 | 47 | 14 |
| done | 47 | 14 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 6 | 7 |
| 1 | 8 | 6 |
| done | 8 | 6 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 32 | 13 |
| 3 | 44 | 13 |
| done | 44 | 13 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 13 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 45 | 14 |
| done | 45 | 14 |
| 0 | 5 | 6 |
| 1 | 7 | 4 |
| 2 | 9 | 4 |
| done | 9 | 4 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 32 | 13 |
| 3 | 44 | 13 |
| done | 44 | 13 |
| 0 | 17 | 31 |
| 1 | 34 | 29 |
| 2 | 82 | 27 |
| 3 | 179 | 27 |
| 4 | 298 | 27 |
| 5 | 326 | 27 |
| done | 326 | 27 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 17 | 30 |
| 1 | 33 | 19 |
| 2 | 69 | 17 |
| 3 | 120 | 17 |
| 4 | 156 | 17 |
| 5 | 161 | 17 |
| done | 161 | 17 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 16 | 21 |
| 1 | 31 | 19 |
| 2 | 67 | 17 |
| 3 | 118 | 17 |
| 4 | 152 | 17 |
| 5 | 157 | 17 |
| done | 157 | 17 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 9 | 14 |
| 1 | 19 | 11 |
| 2 | 42 | 7 |
| 3 | 75 | 7 |
| 4 | 76 | 7 |
| done | 76 | 7 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 16 | 21 |
| 1 | 31 | 19 |
| 2 | 67 | 17 |
| 3 | 118 | 17 |
| 4 | 152 | 17 |
| 5 | 157 | 17 |
| done | 157 | 17 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 8 | 13 |
| 1 | 18 | 9 |
| 2 | 44 | 7 |
| 3 | 76 | 7 |
| 4 | 77 | 7 |
| done | 77 | 7 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 16 | 28 |
| 1 | 29 | 26 |
| 2 | 58 | 24 |
| 3 | 97 | 24 |
| 4 | 156 | 24 |
| 5 | 165 | 24 |
| done | 165 | 24 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 16 | 27 |
| 1 | 28 | 16 |
| 2 | 52 | 14 |
| 3 | 76 | 14 |
| 4 | 93 | 14 |
| done | 93 | 14 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 15 | 18 |
| 1 | 26 | 16 |
| 2 | 50 | 14 |
| 3 | 74 | 14 |
| 4 | 91 | 14 |
| 5 | 93 | 14 |
| done | 93 | 14 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 8 | 11 |
| 1 | 14 | 8 |
| 2 | 25 | 4 |
| 3 | 34 | 4 |
| done | 34 | 4 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 15 | 18 |
| 1 | 26 | 16 |
| 2 | 50 | 14 |
| 3 | 74 | 14 |
| 4 | 91 | 14 |
| 5 | 93 | 14 |
| done | 93 | 14 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 7 | 10 |
| 1 | 13 | 6 |
| 2 | 27 | 4 |
| 3 | 32 | 4 |
| done | 32 | 4 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 14 | 27 |
| 1 | 27 | 23 |
| 2 | 67 | 21 |
| 3 | 101 | 21 |
| 4 | 108 | 21 |
| done | 108 | 21 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 14 | 26 |
| 1 | 26 | 13 |
| 2 | 57 | 11 |
| 3 | 73 | 11 |
| done | 73 | 11 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 13 | 17 |
| 1 | 24 | 13 |
| 2 | 55 | 11 |
| 3 | 71 | 11 |
| done | 71 | 11 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 6 | 10 |
| 1 | 12 | 3 |
| 2 | 23 | 1 |
| done | 23 | 1 |
| 0 | 12 | 13 |
| 1 | 21 | 12 |
| 2 | 37 | 12 |
| 3 | 49 | 12 |
| done | 49 | 12 |
| 0 | 13 | 17 |
| 1 | 24 | 13 |
| 2 | 55 | 11 |
| 3 | 71 | 11 |
| done | 71 | 11 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 5 | 9 |
| 1 | 11 | 1 |
| done | 11 | 1 |
| 0 | 12 | 13 |
| 1 | 21 | 12 |
| 2 | 37 | 12 |
| 3 | 49 | 12 |
| done | 49 | 12 |
| 0 | 16 | 28 |
| 1 | 29 | 27 |
| 2 | 54 | 27 |
| 3 | 93 | 27 |
| 4 | 97 | 27 |
| done | 97 | 27 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 16 | 27 |
| 1 | 28 | 17 |
| 2 | 47 | 17 |
| 3 | 67 | 17 |
| done | 67 | 17 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 15 | 18 |
| 1 | 26 | 17 |
| 2 | 45 | 17 |
| 3 | 65 | 17 |
| done | 65 | 17 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 7 | 11 |
| 1 | 13 | 9 |
| 2 | 19 | 7 |
| 3 | 31 | 7 |
| done | 31 | 7 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 15 | 18 |
| 1 | 26 | 17 |
| 2 | 45 | 17 |
| 3 | 65 | 17 |
| done | 65 | 17 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 7 | 10 |
| 1 | 13 | 7 |
| 2 | 23 | 7 |
| 3 | 33 | 7 |
| done | 33 | 7 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 15 | 25 |
| 1 | 26 | 24 |
| 2 | 45 | 24 |
| 3 | 63 | 24 |
| done | 63 | 24 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 15 | 24 |
| 1 | 25 | 14 |
| 2 | 41 | 14 |
| 3 | 53 | 14 |
| done | 53 | 14 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 6 | 8 |
| 1 | 10 | 6 |
| 2 | 13 | 4 |
| 3 | 17 | 4 |
| done | 17 | 4 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 14 | 15 |
| 1 | 23 | 14 |
| 2 | 39 | 14 |
| 3 | 51 | 14 |
| done | 51 | 14 |
| 0 | 6 | 7 |
| 1 | 10 | 4 |
| 2 | 17 | 4 |
| done | 17 | 4 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 13 | 24 |
| 1 | 24 | 21 |
| 2 | 41 | 21 |
| 3 | 63 | 21 |
| 4 | 65 | 21 |
| done | 65 | 21 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 13 | 23 |
| 1 | 23 | 11 |
| 2 | 38 | 11 |
| 3 | 54 | 11 |
| done | 54 | 11 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 12 | 14 |
| 1 | 21 | 11 |
| 2 | 36 | 11 |
| 3 | 52 | 11 |
| done | 52 | 11 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 4 | 7 |
| 1 | 8 | 1 |
| done | 8 | 1 |
| 0 | 12 | 13 |
| 1 | 21 | 12 |
| 2 | 37 | 12 |
| 3 | 49 | 12 |
| done | 49 | 12 |
| 0 | 12 | 14 |
| 1 | 21 | 11 |
| 2 | 36 | 11 |
| 3 | 52 | 11 |
| done | 52 | 11 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 50 | 13 |
| done | 50 | 13 |
| 0 | 4 | 6 |
| 1 | 8 | 1 |
| done | 8 | 1 |
| 0 | 12 | 13 |
| 1 | 21 | 12 |
| 2 | 37 | 12 |
| 3 | 49 | 12 |
| done | 49 | 12 |
| 0 | 15 | 27 |
| 1 | 28 | 27 |
| 2 | 53 | 27 |
| 3 | 92 | 27 |
| 4 | 97 | 27 |
| done | 97 | 27 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 15 | 26 |
| 1 | 27 | 17 |
| 2 | 46 | 17 |
| 3 | 66 | 17 |
| done | 66 | 17 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 14 | 17 |
| 1 | 25 | 17 |
| 2 | 44 | 17 |
| 3 | 64 | 17 |
| done | 64 | 17 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 7 | 10 |
| 1 | 13 | 9 |
| 2 | 19 | 7 |
| 3 | 31 | 7 |
| done | 31 | 7 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 14 | 17 |
| 1 | 25 | 17 |
| 2 | 44 | 17 |
| 3 | 64 | 17 |
| done | 64 | 17 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 6 | 9 |
| 1 | 12 | 7 |
| 2 | 22 | 7 |
| 3 | 32 | 7 |
| done | 32 | 7 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 14 | 24 |
| 1 | 25 | 24 |
| 2 | 44 | 24 |
| 3 | 62 | 24 |
| done | 62 | 24 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 14 | 23 |
| 1 | 24 | 14 |
| 2 | 40 | 14 |
| 3 | 52 | 14 |
| done | 52 | 14 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 6 | 7 |
| 1 | 10 | 6 |
| 2 | 13 | 4 |
| 3 | 17 | 4 |
| done | 17 | 4 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 38 | 14 |
| 3 | 50 | 14 |
| done | 50 | 14 |
| 0 | 5 | 6 |
| 1 | 9 | 4 |
| 2 | 16 | 4 |
| done | 16 | 4 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 12 | 23 |
| 1 | 23 | 21 |
| 2 | 40 | 21 |
| 3 | 62 | 21 |
| 4 | 63 | 21 |
| done | 63 | 21 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 12 | 22 |
| 1 | 22 | 11 |
| 2 | 37 | 11 |
| 3 | 53 | 11 |
| done | 53 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 11 | 13 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 51 | 11 |
| done | 51 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 4 | 6 |
| 1 | 8 | 1 |
| done | 8 | 1 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 12 |
| 3 | 48 | 12 |
| done | 48 | 12 |
| 0 | 11 | 13 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 51 | 11 |
| done | 51 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 3 | 5 |
| 1 | 7 | 1 |
| done | 7 | 1 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 12 |
| 3 | 48 | 12 |
| done | 48 | 12 |
| 0 | 11 | 21 |
| 1 | 20 | 21 |
| 2 | 33 | 21 |
| 3 | 45 | 21 |
| done | 45 | 21 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 11 | 20 |
| 1 | 19 | 11 |
| 2 | 32 | 11 |
| 3 | 44 | 11 |
| done | 44 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 30 | 11 |
| 3 | 42 | 11 |
| done | 42 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 3 | 4 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 12 |
| 3 | 48 | 12 |
| done | 48 | 12 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 30 | 11 |
| 3 | 42 | 11 |
| done | 42 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 12 |
| 3 | 48 | 12 |
| done | 48 | 12 |
| 0 | 11 | 21 |
| 1 | 20 | 21 |
| 2 | 33 | 21 |
| 3 | 45 | 21 |
| done | 45 | 21 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 11 | 20 |
| 1 | 19 | 11 |
| 2 | 32 | 11 |
| 3 | 44 | 11 |
| done | 44 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 30 | 11 |
| 3 | 42 | 11 |
| done | 42 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 3 | 4 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 12 |
| 3 | 48 | 12 |
| done | 48 | 12 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 30 | 11 |
| 3 | 42 | 11 |
| done | 42 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 12 |
| 3 | 48 | 12 |
| done | 48 | 12 |
| 0 | 9 | 10 |
| 1 | 16 | 10 |
| 2 | 29 | 10 |
| 3 | 41 | 10 |
| done | 41 | 10 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 10 |
| 3 | 57 | 10 |
| 4 | 66 | 10 |
| 5 | 68 | 10 |
| done | 68 | 10 |
| 0 | 13 | 23 |
| 1 | 24 | 23 |
| 2 | 43 | 23 |
| 3 | 61 | 23 |
| done | 61 | 23 |
| 0 | 13 | 22 |
| 1 | 23 | 13 |
| 2 | 39 | 13 |
| 3 | 51 | 13 |
| done | 51 | 13 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 5 | 6 |
| 1 | 9 | 5 |
| 2 | 12 | 3 |
| 3 | 16 | 3 |
| done | 16 | 3 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 13 |
| 3 | 49 | 13 |
| done | 49 | 13 |
| 0 | 4 | 5 |
| 1 | 8 | 3 |
| 2 | 15 | 3 |
| done | 15 | 3 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 32 | 13 |
| 3 | 44 | 13 |
| done | 44 | 13 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 32 | 13 |
| 3 | 44 | 13 |
| done | 44 | 13 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 51 | 11 |
| 4 | 60 | 11 |
| 5 | 74 | 11 |
| 6 | 82 | 11 |
| done | 82 | 11 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 51 | 11 |
| 4 | 60 | 11 |
| 5 | 74 | 11 |
| 6 | 82 | 11 |
| done | 82 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 12 |
| 2 | 37 | 12 |
| 3 | 50 | 10 |
| 4 | 59 | 10 |
| 5 | 73 | 10 |
| 6 | 81 | 10 |
| done | 81 | 10 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 51 | 11 |
| 4 | 60 | 11 |
| 5 | 74 | 11 |
| 6 | 82 | 11 |
| done | 82 | 11 |
| 0 | 13 | 14 |
| 1 | 22 | 13 |
| 2 | 38 | 13 |
| 3 | 51 | 11 |
| 4 | 60 | 11 |
| 5 | 74 | 11 |
| 6 | 82 | 11 |
| done | 82 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 12 |
| 2 | 37 | 12 |
| 3 | 50 | 10 |
| 4 | 59 | 10 |
| 5 | 73 | 10 |
| 6 | 81 | 10 |
| done | 81 | 10 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 11 |
| 3 | 58 | 11 |
| 4 | 67 | 11 |
| 5 | 69 | 11 |
| done | 69 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 13 |
| 2 | 37 | 11 |
| 3 | 58 | 11 |
| 4 | 67 | 11 |
| 5 | 69 | 11 |
| done | 69 | 11 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 10 |
| 3 | 57 | 10 |
| 4 | 66 | 10 |
| 5 | 68 | 10 |
| done | 68 | 10 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 10 |
| 3 | 57 | 10 |
| 4 | 66 | 10 |
| 5 | 68 | 10 |
| done | 68 | 10 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 36 | 10 |
| 3 | 57 | 10 |
| 4 | 66 | 10 |
| 5 | 68 | 10 |
| done | 68 | 10 |
| 0 | 14 | 16 |
| 1 | 39 | 16 |
| 2 | 113 | 16 |
| 3 | 446 | 16 |
| 4 | 1557 | 16 |
| 5 | 4262 | 16 |
| done | 5001 | 16 |
| 0 | 13 | 20 |
| 1 | 32 | 20 |
| 2 | 81 | 20 |
| 3 | 227 | 18 |
| 4 | 450 | 16 |
| 5 | 699 | 16 |
| 6 | 1117 | 16 |
| 7 | 2294 | 16 |
| done | 5000 | 16 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 28 | 10 |
| 3 | 40 | 10 |
| done | 40 | 10 |
| 0 | 19 | 25 |
| 1 | 42 | 25 |
| 2 | 135 | 25 |
| 3 | 494 | 25 |
| 4 | 1864 | 25 |
| 5 | 4175 | 25 |
| done | 5000 | 25 |
| 0 | 22 | 29 |
| 1 | 58 | 29 |
| 2 | 188 | 27 |
| 3 | 881 | 27 |
| done | 5000 | 27 |
| 0 | 21 | 29 |
| 1 | 56 | 29 |
| 2 | 182 | 27 |
| 3 | 878 | 27 |
| 4 | 4153 | 27 |
| done | 5001 | 27 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 12 | 15 |
| 1 | 24 | 15 |
| 2 | 69 | 15 |
| 3 | 137 | 15 |
| 4 | 246 | 15 |
| 5 | 321 | 15 |
| 6 | 348 | 15 |
| 7 | 414 | 15 |
| 8 | 624 | 15 |
| 9 | 1562 | 15 |
| done | 5000 | 15 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 8 | 8 |
| 1 | 15 | 7 |
| 2 | 36 | 7 |
| 3 | 63 | 7 |
| 4 | 85 | 7 |
| 5 | 86 | 7 |
| done | 86 | 7 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 320 | 0 | 320 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 320 | 4 | 324 |
Merged error: 0b
0% (0.3b remaining)
Error of 0.3b against oracle of 0.0b and baseline of 0.3b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 33 |
| 1 | 30 | 33 |
| done | 30 | 33 |
| 616.0ms | 8000× | body | 80 | valid |
| 598.0ms | 8227× | body | 80 | nan |
Loading profile data...