Time bar (total: 19.4min)
| 43.0ms | 90× | body | 1280 | valid |
| 15.0ms | 28× | body | 2560 | valid |
| 11.0ms | 40× | body | 640 | valid |
| 3.0ms | 19× | body | 320 | valid |
| 3.0ms | 65× | body | 80 | valid |
| 2.0ms | 14× | body | 160 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
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: 53.3b
Found 4 expressions with local error:
| 0.0b | (+ (* x x) 1.0) |
| 0.4b | (+ x (sqrt (+ (* x x) 1.0))) |
| 3.1b | (log (+ x (sqrt (+ (* x x) 1.0)))) |
| 15.0b | (sqrt (+ (* x x) 1.0)) |
| 10× | *-un-lft-identity |
| 8× | add-log-exp |
| 7× | add-sqr-sqrt |
| 6× | pow1 add-cube-cbrt |
| 5× | add-exp-log |
| 4× | log-prod flip3-+ add-cbrt-cube flip-+ |
| 3× | sqrt-prod |
| 2× | +-commutative log-div sqrt-div sum-log distribute-lft-out |
| 1× | rem-sqrt-square sqrt-pow1 pow1/2 rem-log-exp log-pow |
| 5.0ms | (+ (* x x) 1.0) |
| 6.0ms | (+ x (sqrt (+ (* x x) 1.0))) |
| 7.0ms | (log (+ x (sqrt (+ (* x x) 1.0)))) |
| 5.0ms | (sqrt (+ (* x x) 1.0)) |
| 4.0ms | (+ (* x x) 1.0) |
| 6.0ms | (+ x (sqrt (+ (* x x) 1.0))) |
| 11.0ms | (log (+ x (sqrt (+ (* x x) 1.0)))) |
| 5.0ms | (sqrt (+ (* x x) 1.0)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 7 | 15 |
| 1 | 8 | 15 |
| done | 8 | 15 |
| 0 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 7 | 20 |
| 1 | 9 | 12 |
| 2 | 20 | 8 |
| 3 | 29 | 8 |
| 4 | 35 | 8 |
| 5 | 45 | 8 |
| 6 | 66 | 8 |
| 7 | 129 | 8 |
| 8 | 345 | 8 |
| 9 | 1263 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 14 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 6 |
| 1 | 6 | 6 |
| done | 6 | 6 |
| 0 | 8 | 10 |
| 1 | 24 | 10 |
| 2 | 48 | 8 |
| 3 | 84 | 8 |
| 4 | 175 | 8 |
| 5 | 463 | 8 |
| 6 | 1477 | 8 |
| done | 5001 | 8 |
| 0 | 9 | 18 |
| 1 | 23 | 16 |
| 2 | 48 | 14 |
| 3 | 86 | 12 |
| 4 | 139 | 12 |
| 5 | 238 | 12 |
| 6 | 486 | 12 |
| 7 | 1217 | 12 |
| 8 | 4797 | 12 |
| done | 5000 | 12 |
| 0 | 7 | 12 |
| 1 | 16 | 12 |
| 2 | 27 | 10 |
| 3 | 51 | 8 |
| 4 | 99 | 8 |
| 5 | 189 | 8 |
| 6 | 350 | 8 |
| 7 | 832 | 8 |
| 8 | 3577 | 8 |
| done | 5001 | 8 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| 2 | 8 | 6 |
| done | 8 | 6 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 9 | 20 |
| 1 | 13 | 20 |
| 2 | 15 | 12 |
| 3 | 16 | 12 |
| done | 16 | 12 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 10 | 13 |
| 1 | 24 | 13 |
| 2 | 33 | 13 |
| 3 | 59 | 13 |
| 4 | 112 | 13 |
| 5 | 247 | 13 |
| 6 | 661 | 13 |
| 7 | 2508 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 27 |
| 1 | 19 | 19 |
| 2 | 45 | 19 |
| 3 | 78 | 17 |
| 4 | 123 | 15 |
| 5 | 192 | 15 |
| 6 | 322 | 15 |
| 7 | 432 | 15 |
| 8 | 557 | 15 |
| 9 | 633 | 15 |
| done | 633 | 15 |
| 0 | 8 | 18 |
| 1 | 14 | 10 |
| 2 | 33 | 10 |
| 3 | 67 | 4 |
| 4 | 104 | 3 |
| 5 | 352 | 3 |
| 6 | 3307 | 3 |
| done | 5000 | 3 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 21 |
| 1 | 11 | 21 |
| done | 11 | 21 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 9 | 29 |
| 1 | 12 | 29 |
| 2 | 14 | 11 |
| 3 | 19 | 11 |
| 4 | 25 | 11 |
| 5 | 35 | 11 |
| 6 | 56 | 11 |
| 7 | 117 | 11 |
| 8 | 343 | 11 |
| 9 | 1289 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 12 | 9 |
| 2 | 13 | 9 |
| done | 13 | 9 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 13 | 9 |
| done | 13 | 9 |
| 0 | 8 | 19 |
| 1 | 10 | 19 |
| done | 10 | 19 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 8 | 26 |
| 1 | 23 | 26 |
| 2 | 54 | 10 |
| 3 | 119 | 10 |
| 4 | 319 | 10 |
| 5 | 1175 | 10 |
| 6 | 4273 | 10 |
| done | 5000 | 10 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 9 | 12 |
| 1 | 23 | 12 |
| 2 | 32 | 12 |
| 3 | 58 | 12 |
| 4 | 111 | 12 |
| 5 | 245 | 12 |
| 6 | 667 | 12 |
| 7 | 2494 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 26 |
| 1 | 18 | 18 |
| 2 | 44 | 18 |
| 3 | 77 | 16 |
| 4 | 123 | 14 |
| 5 | 192 | 14 |
| 6 | 322 | 14 |
| 7 | 432 | 14 |
| 8 | 558 | 14 |
| 9 | 634 | 14 |
| done | 634 | 14 |
| 0 | 7 | 17 |
| 1 | 13 | 9 |
| 2 | 29 | 9 |
| 3 | 62 | 3 |
| 4 | 101 | 2 |
| 5 | 349 | 2 |
| 6 | 3307 | 2 |
| done | 5000 | 2 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 8 |
| 1 | 8 | 8 |
| done | 8 | 8 |
| 0 | 6 | 7 |
| 1 | 11 | 6 |
| 2 | 16 | 6 |
| 3 | 25 | 6 |
| 4 | 53 | 6 |
| 5 | 121 | 6 |
| 6 | 313 | 6 |
| 7 | 1010 | 6 |
| 8 | 3782 | 6 |
| done | 5000 | 6 |
| 0 | 5 | 6 |
| 1 | 6 | 6 |
| done | 6 | 6 |
| 0 | 5 | 6 |
| 1 | 9 | 6 |
| 2 | 12 | 6 |
| 3 | 16 | 6 |
| 4 | 25 | 6 |
| 5 | 51 | 6 |
| 6 | 117 | 6 |
| 7 | 306 | 6 |
| 8 | 1004 | 6 |
| 9 | 3787 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 13 |
| 1 | 7 | 13 |
| done | 7 | 13 |
| 0 | 5 | 6 |
| 1 | 6 | 6 |
| done | 6 | 6 |
| 0 | 6 | 17 |
| 1 | 20 | 17 |
| 2 | 62 | 7 |
| 3 | 166 | 7 |
| 4 | 413 | 7 |
| 5 | 1137 | 7 |
| 6 | 2577 | 7 |
| 7 | 4034 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 6 | 6 |
| done | 6 | 6 |
| 0 | 5 | 6 |
| 1 | 6 | 6 |
| done | 6 | 6 |
| 0 | 7 | 9 |
| 1 | 23 | 9 |
| 2 | 47 | 7 |
| 3 | 87 | 7 |
| 4 | 180 | 7 |
| 5 | 455 | 7 |
| 6 | 1467 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 22 | 15 |
| 2 | 47 | 13 |
| 3 | 85 | 11 |
| 4 | 138 | 11 |
| 5 | 237 | 11 |
| 6 | 485 | 11 |
| 7 | 1244 | 11 |
| 8 | 4856 | 11 |
| done | 5000 | 11 |
| 0 | 6 | 11 |
| 1 | 15 | 11 |
| 2 | 26 | 9 |
| 3 | 50 | 7 |
| 4 | 98 | 7 |
| 5 | 186 | 7 |
| 6 | 349 | 7 |
| 7 | 830 | 7 |
| 8 | 3556 | 7 |
| done | 5001 | 7 |
| 0 | 4 | 5 |
| 1 | 6 | 5 |
| 2 | 7 | 5 |
| done | 7 | 5 |
| 0 | 17 | 22 |
| 1 | 43 | 22 |
| 2 | 127 | 22 |
| 3 | 408 | 22 |
| 4 | 1750 | 19 |
| done | 5000 | 19 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 74 | 11 |
| 3 | 172 | 11 |
| 4 | 424 | 11 |
| 5 | 1361 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 68 | 11 |
| 3 | 134 | 11 |
| 4 | 292 | 11 |
| 5 | 788 | 11 |
| 6 | 2970 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 19 |
| 1 | 34 | 19 |
| 2 | 109 | 19 |
| 3 | 520 | 19 |
| 4 | 2403 | 18 |
| done | 5001 | 18 |
| 0 | 18 | 23 |
| 1 | 45 | 22 |
| 2 | 114 | 17 |
| 3 | 316 | 17 |
| 4 | 1030 | 17 |
| 5 | 3273 | 17 |
| done | 5000 | 17 |
| 0 | 26 | 35 |
| 1 | 63 | 35 |
| 2 | 190 | 29 |
| 3 | 786 | 27 |
| 4 | 3950 | 27 |
| done | 5000 | 27 |
| 0 | 10 | 13 |
| 1 | 22 | 13 |
| 2 | 46 | 13 |
| 3 | 63 | 13 |
| 4 | 86 | 13 |
| 5 | 107 | 13 |
| 6 | 133 | 13 |
| 7 | 205 | 13 |
| 8 | 432 | 13 |
| 9 | 1377 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 76 | 13 |
| 3 | 175 | 13 |
| 4 | 431 | 13 |
| 5 | 1401 | 13 |
| done | 5000 | 13 |
| 0 | 17 | 21 |
| 1 | 45 | 21 |
| 2 | 94 | 15 |
| 3 | 202 | 15 |
| 4 | 501 | 15 |
| 5 | 1683 | 15 |
| done | 5000 | 15 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 19 | 5 |
| 3 | 24 | 5 |
| 4 | 30 | 5 |
| 5 | 40 | 5 |
| 6 | 62 | 5 |
| 7 | 126 | 5 |
| 8 | 342 | 5 |
| 9 | 1264 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 19 | 5 |
| 3 | 24 | 5 |
| 4 | 30 | 5 |
| 5 | 40 | 5 |
| 6 | 62 | 5 |
| 7 | 126 | 5 |
| 8 | 342 | 5 |
| 9 | 1264 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 19 | 5 |
| 3 | 24 | 5 |
| 4 | 30 | 5 |
| 5 | 40 | 5 |
| 6 | 62 | 5 |
| 7 | 126 | 5 |
| 8 | 342 | 5 |
| 9 | 1264 | 5 |
| done | 5000 | 5 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 61 | 4 | 65 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 62 | 4 | 66 |
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (* (+ (* -1/6 (/ (* x x) 1.0)) 1) (/ x (sqrt 1.0))) |
| 0.1b | (* -1/6 (/ (* x x) 1.0)) |
| 31× | add-sqr-sqrt |
| 29× | associate-*r* |
| 24× | times-frac |
| 19× | add-cube-cbrt *-un-lft-identity |
| 16× | add-exp-log add-cbrt-cube |
| 10× | sqrt-prod |
| 6× | pow1 associate-*l* prod-exp cbrt-unprod |
| 5× | unswap-sqr |
| 3× | cbrt-undiv div-exp |
| 2× | frac-times flip3-+ associate-*r/ pow-prod-down associate-*l/ *-commutative flip-+ div-inv add-log-exp |
| 16.0ms | (* (+ (* -1/6 (/ (* x x) 1.0)) 1) (/ x (sqrt 1.0))) |
| 8.0ms | (* -1/6 (/ (* x x) 1.0)) |
| 17.0ms | (* (+ (* -1/6 (/ (* x x) 1.0)) 1) (/ x (sqrt 1.0))) |
| 4.0ms | (* -1/6 (/ (* x x) 1.0)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 21 | 7 |
| 3 | 36 | 7 |
| 4 | 49 | 7 |
| 5 | 51 | 7 |
| done | 51 | 7 |
| 0 | 9 | 11 |
| 1 | 18 | 10 |
| 2 | 33 | 10 |
| 3 | 53 | 10 |
| 4 | 78 | 10 |
| 5 | 123 | 10 |
| 6 | 179 | 10 |
| 7 | 240 | 10 |
| 8 | 290 | 10 |
| 9 | 352 | 10 |
| 10 | 354 | 10 |
| done | 354 | 10 |
| 0 | 9 | 10 |
| 1 | 16 | 10 |
| 2 | 31 | 10 |
| 3 | 53 | 10 |
| 4 | 75 | 10 |
| 5 | 108 | 10 |
| 6 | 154 | 10 |
| 7 | 229 | 10 |
| 8 | 284 | 10 |
| 9 | 342 | 10 |
| 10 | 346 | 10 |
| done | 346 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 26 | 9 |
| 3 | 54 | 9 |
| 4 | 93 | 9 |
| 5 | 141 | 9 |
| 6 | 190 | 9 |
| 7 | 249 | 9 |
| 8 | 310 | 9 |
| 9 | 373 | 9 |
| 10 | 375 | 9 |
| done | 375 | 9 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 34 | 8 |
| 3 | 72 | 8 |
| 4 | 144 | 8 |
| 5 | 206 | 8 |
| 6 | 282 | 8 |
| 7 | 333 | 8 |
| 8 | 381 | 8 |
| 9 | 434 | 8 |
| 10 | 435 | 8 |
| done | 435 | 8 |
| 0 | 7 | 8 |
| 1 | 14 | 8 |
| 2 | 30 | 8 |
| 3 | 62 | 8 |
| 4 | 135 | 8 |
| 5 | 295 | 8 |
| 6 | 707 | 8 |
| 7 | 2682 | 8 |
| done | 5000 | 8 |
| 0 | 12 | 23 |
| 1 | 35 | 19 |
| 2 | 148 | 13 |
| 3 | 778 | 9 |
| 4 | 3177 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 23 |
| 1 | 36 | 19 |
| 2 | 146 | 11 |
| 3 | 764 | 9 |
| 4 | 3231 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 23 |
| 1 | 27 | 19 |
| 2 | 86 | 9 |
| 3 | 351 | 9 |
| 4 | 1520 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 17 |
| 1 | 13 | 17 |
| 2 | 23 | 17 |
| 3 | 38 | 17 |
| 4 | 51 | 17 |
| 5 | 53 | 17 |
| done | 53 | 17 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 8 | 23 |
| 1 | 24 | 21 |
| 2 | 93 | 9 |
| 3 | 451 | 9 |
| 4 | 2115 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| 3 | 14 | 9 |
| done | 14 | 9 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| 3 | 14 | 9 |
| done | 14 | 9 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 13 | 7 |
| 3 | 17 | 7 |
| 4 | 18 | 7 |
| done | 18 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 13 | 7 |
| 3 | 17 | 7 |
| 4 | 18 | 7 |
| done | 18 | 7 |
| 0 | 8 | 15 |
| 1 | 13 | 15 |
| 2 | 17 | 15 |
| 3 | 18 | 15 |
| done | 18 | 15 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 12 | 8 |
| 3 | 13 | 8 |
| done | 13 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 23 | 9 |
| 3 | 36 | 9 |
| 4 | 48 | 9 |
| done | 48 | 9 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 12 | 6 |
| 3 | 16 | 6 |
| 4 | 17 | 6 |
| done | 17 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 17 | 3 |
| 3 | 23 | 3 |
| 4 | 26 | 3 |
| done | 26 | 3 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 21 | 7 |
| 3 | 36 | 7 |
| 4 | 49 | 7 |
| 5 | 51 | 7 |
| done | 51 | 7 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 43 | 14 |
| 3 | 92 | 14 |
| 4 | 272 | 14 |
| 5 | 661 | 12 |
| 6 | 1236 | 12 |
| 7 | 1674 | 12 |
| 8 | 2141 | 12 |
| 9 | 3240 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 17 |
| 1 | 27 | 17 |
| 2 | 44 | 17 |
| 3 | 68 | 17 |
| 4 | 87 | 17 |
| 5 | 99 | 17 |
| 6 | 106 | 17 |
| 7 | 118 | 17 |
| 8 | 141 | 17 |
| 9 | 155 | 17 |
| 10 | 161 | 17 |
| done | 161 | 17 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 41 | 16 |
| 3 | 65 | 16 |
| 4 | 88 | 16 |
| 5 | 99 | 16 |
| 6 | 104 | 16 |
| 7 | 113 | 16 |
| 8 | 130 | 16 |
| 9 | 149 | 16 |
| 10 | 157 | 16 |
| done | 157 | 16 |
| 0 | 12 | 15 |
| 1 | 26 | 15 |
| 2 | 53 | 15 |
| 3 | 112 | 15 |
| 4 | 317 | 15 |
| 5 | 762 | 13 |
| 6 | 1434 | 13 |
| 7 | 1979 | 13 |
| 8 | 2484 | 13 |
| 9 | 3611 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 15 |
| 1 | 25 | 15 |
| 2 | 56 | 15 |
| 3 | 123 | 15 |
| 4 | 371 | 15 |
| 5 | 983 | 13 |
| 6 | 2812 | 13 |
| done | 5001 | 13 |
| 0 | 16 | 44 |
| 1 | 51 | 40 |
| 2 | 190 | 20 |
| 3 | 947 | 20 |
| done | 5001 | 20 |
| 0 | 15 | 44 |
| 1 | 48 | 44 |
| 2 | 166 | 18 |
| 3 | 763 | 18 |
| 4 | 4486 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 31 |
| 1 | 24 | 31 |
| 2 | 45 | 31 |
| 3 | 94 | 31 |
| 4 | 279 | 31 |
| 5 | 694 | 27 |
| 6 | 1285 | 27 |
| 7 | 1698 | 27 |
| 8 | 2182 | 27 |
| 9 | 3271 | 27 |
| done | 5000 | 27 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 44 | 15 |
| 3 | 93 | 15 |
| 4 | 273 | 15 |
| 5 | 677 | 13 |
| 6 | 1244 | 13 |
| 7 | 1644 | 13 |
| 8 | 2139 | 13 |
| 9 | 3246 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 44 |
| 1 | 34 | 44 |
| 2 | 130 | 16 |
| 3 | 636 | 16 |
| 4 | 3633 | 16 |
| done | 5000 | 16 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 44 | 15 |
| 3 | 93 | 15 |
| 4 | 273 | 15 |
| 5 | 677 | 13 |
| 6 | 1244 | 13 |
| 7 | 1644 | 13 |
| 8 | 2139 | 13 |
| 9 | 3246 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 44 | 15 |
| 3 | 93 | 15 |
| 4 | 273 | 15 |
| 5 | 677 | 13 |
| 6 | 1244 | 13 |
| 7 | 1644 | 13 |
| 8 | 2139 | 13 |
| 9 | 3246 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 15 |
| 1 | 38 | 13 |
| 2 | 106 | 13 |
| 3 | 419 | 13 |
| 4 | 2308 | 13 |
| done | 5001 | 13 |
| 0 | 14 | 32 |
| 1 | 40 | 26 |
| 2 | 147 | 26 |
| 3 | 613 | 20 |
| 4 | 2172 | 20 |
| done | 5000 | 20 |
| 0 | 11 | 21 |
| 1 | 33 | 17 |
| 2 | 90 | 17 |
| 3 | 304 | 17 |
| 4 | 1096 | 15 |
| 5 | 2796 | 15 |
| 6 | 4916 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 38 | 12 |
| 3 | 73 | 12 |
| 4 | 157 | 12 |
| 5 | 238 | 12 |
| 6 | 256 | 12 |
| 7 | 260 | 12 |
| done | 260 | 12 |
| 0 | 13 | 16 |
| 1 | 22 | 16 |
| 2 | 32 | 16 |
| 3 | 47 | 16 |
| 4 | 60 | 16 |
| 5 | 62 | 16 |
| done | 62 | 16 |
| 0 | 13 | 16 |
| 1 | 22 | 16 |
| 2 | 32 | 16 |
| 3 | 47 | 16 |
| 4 | 60 | 16 |
| 5 | 62 | 16 |
| done | 62 | 16 |
| 0 | 14 | 17 |
| 1 | 25 | 17 |
| 2 | 38 | 17 |
| 3 | 57 | 17 |
| 4 | 71 | 17 |
| 5 | 73 | 17 |
| done | 73 | 17 |
| 0 | 14 | 17 |
| 1 | 25 | 17 |
| 2 | 38 | 17 |
| 3 | 57 | 17 |
| 4 | 71 | 17 |
| 5 | 73 | 17 |
| done | 73 | 17 |
| 0 | 14 | 17 |
| 1 | 25 | 17 |
| 2 | 38 | 17 |
| 3 | 57 | 17 |
| 4 | 71 | 17 |
| 5 | 73 | 17 |
| done | 73 | 17 |
| 0 | 14 | 17 |
| 1 | 25 | 17 |
| 2 | 38 | 17 |
| 3 | 57 | 17 |
| 4 | 71 | 17 |
| 5 | 73 | 17 |
| done | 73 | 17 |
| 0 | 13 | 21 |
| 1 | 24 | 21 |
| 2 | 44 | 21 |
| 3 | 89 | 21 |
| 4 | 294 | 21 |
| 5 | 704 | 21 |
| 6 | 1266 | 21 |
| 7 | 1375 | 21 |
| 8 | 1422 | 21 |
| done | 1422 | 21 |
| 0 | 12 | 15 |
| 1 | 21 | 15 |
| 2 | 39 | 15 |
| 3 | 72 | 15 |
| 4 | 194 | 15 |
| 5 | 435 | 15 |
| 6 | 742 | 15 |
| 7 | 795 | 15 |
| 8 | 822 | 15 |
| done | 822 | 15 |
| 0 | 15 | 23 |
| 1 | 32 | 23 |
| 2 | 79 | 23 |
| 3 | 205 | 23 |
| 4 | 840 | 23 |
| 5 | 3035 | 23 |
| done | 5000 | 23 |
| 0 | 15 | 22 |
| 1 | 29 | 19 |
| 2 | 57 | 19 |
| 3 | 135 | 19 |
| 4 | 515 | 19 |
| 5 | 1664 | 19 |
| 6 | 4180 | 19 |
| done | 5000 | 19 |
| 0 | 14 | 19 |
| 1 | 27 | 19 |
| 2 | 55 | 19 |
| 3 | 133 | 19 |
| 4 | 518 | 19 |
| 5 | 1661 | 19 |
| 6 | 4166 | 19 |
| done | 5000 | 19 |
| 0 | 13 | 18 |
| 1 | 26 | 17 |
| 2 | 54 | 17 |
| 3 | 132 | 15 |
| 4 | 455 | 15 |
| 5 | 1551 | 15 |
| 6 | 4746 | 15 |
| done | 5001 | 15 |
| 0 | 14 | 19 |
| 1 | 27 | 19 |
| 2 | 55 | 19 |
| 3 | 133 | 19 |
| 4 | 518 | 19 |
| 5 | 1661 | 19 |
| 6 | 4166 | 19 |
| done | 5000 | 19 |
| 0 | 12 | 17 |
| 1 | 25 | 15 |
| 2 | 60 | 15 |
| 3 | 158 | 15 |
| 4 | 499 | 15 |
| 5 | 1703 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 20 |
| 1 | 27 | 20 |
| 2 | 56 | 20 |
| 3 | 126 | 20 |
| 4 | 418 | 20 |
| 5 | 1483 | 20 |
| 6 | 4646 | 20 |
| done | 5001 | 20 |
| 0 | 14 | 19 |
| 1 | 26 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 16 |
| 4 | 292 | 16 |
| 5 | 843 | 16 |
| 6 | 2028 | 16 |
| 7 | 2884 | 16 |
| 8 | 3130 | 16 |
| 9 | 3135 | 16 |
| done | 3135 | 16 |
| 0 | 13 | 16 |
| 1 | 24 | 16 |
| 2 | 45 | 16 |
| 3 | 94 | 16 |
| 4 | 294 | 16 |
| 5 | 858 | 16 |
| 6 | 2031 | 16 |
| 7 | 2900 | 16 |
| 8 | 3160 | 16 |
| 9 | 3169 | 16 |
| done | 3169 | 16 |
| 0 | 12 | 15 |
| 1 | 23 | 14 |
| 2 | 44 | 14 |
| 3 | 93 | 12 |
| 4 | 297 | 12 |
| 5 | 747 | 12 |
| 6 | 2431 | 12 |
| 7 | 3816 | 12 |
| 8 | 4066 | 12 |
| done | 4066 | 12 |
| 0 | 13 | 16 |
| 1 | 24 | 16 |
| 2 | 45 | 16 |
| 3 | 94 | 16 |
| 4 | 294 | 16 |
| 5 | 858 | 16 |
| 6 | 2031 | 16 |
| 7 | 2900 | 16 |
| 8 | 3160 | 16 |
| 9 | 3169 | 16 |
| done | 3169 | 16 |
| 0 | 11 | 14 |
| 1 | 22 | 12 |
| 2 | 47 | 12 |
| 3 | 91 | 12 |
| 4 | 256 | 12 |
| 5 | 854 | 12 |
| 6 | 2453 | 12 |
| 7 | 3355 | 12 |
| 8 | 3392 | 12 |
| done | 3392 | 12 |
| 0 | 13 | 19 |
| 1 | 26 | 19 |
| 2 | 54 | 17 |
| 3 | 133 | 17 |
| 4 | 370 | 17 |
| 5 | 1091 | 17 |
| 6 | 1915 | 17 |
| 7 | 2344 | 17 |
| 8 | 2538 | 17 |
| done | 2538 | 17 |
| 0 | 13 | 18 |
| 1 | 25 | 15 |
| 2 | 46 | 13 |
| 3 | 101 | 13 |
| 4 | 257 | 13 |
| 5 | 623 | 13 |
| 6 | 870 | 13 |
| 7 | 1029 | 13 |
| 8 | 1074 | 13 |
| done | 1074 | 13 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 44 | 13 |
| 3 | 99 | 13 |
| 4 | 250 | 13 |
| 5 | 613 | 13 |
| 6 | 874 | 13 |
| 7 | 1024 | 13 |
| 8 | 1067 | 13 |
| done | 1067 | 13 |
| 0 | 11 | 14 |
| 1 | 22 | 13 |
| 2 | 42 | 11 |
| 3 | 97 | 9 |
| 4 | 206 | 9 |
| 5 | 485 | 9 |
| 6 | 768 | 9 |
| 7 | 1006 | 9 |
| 8 | 1007 | 9 |
| done | 1007 | 9 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 44 | 13 |
| 3 | 99 | 13 |
| 4 | 250 | 13 |
| 5 | 613 | 13 |
| 6 | 874 | 13 |
| 7 | 1024 | 13 |
| 8 | 1067 | 13 |
| done | 1067 | 13 |
| 0 | 10 | 13 |
| 1 | 21 | 11 |
| 2 | 42 | 9 |
| 3 | 85 | 9 |
| 4 | 155 | 9 |
| 5 | 273 | 9 |
| 6 | 293 | 9 |
| 7 | 304 | 9 |
| done | 304 | 9 |
| 0 | 9 | 11 |
| 1 | 18 | 9 |
| 2 | 37 | 9 |
| 3 | 76 | 9 |
| 4 | 144 | 9 |
| 5 | 273 | 9 |
| 6 | 293 | 9 |
| 7 | 304 | 9 |
| done | 304 | 9 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 36 | 11 |
| 3 | 63 | 11 |
| 4 | 108 | 11 |
| 5 | 121 | 9 |
| 6 | 126 | 9 |
| 7 | 145 | 9 |
| 8 | 191 | 9 |
| 9 | 326 | 9 |
| 10 | 770 | 9 |
| 11 | 2494 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 36 | 15 |
| 3 | 55 | 15 |
| 4 | 69 | 15 |
| 5 | 71 | 15 |
| done | 71 | 15 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 36 | 15 |
| 3 | 55 | 15 |
| 4 | 69 | 15 |
| 5 | 71 | 15 |
| done | 71 | 15 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 43 | 14 |
| 3 | 92 | 14 |
| 4 | 272 | 14 |
| 5 | 661 | 12 |
| 6 | 1236 | 12 |
| 7 | 1674 | 12 |
| 8 | 2141 | 12 |
| 9 | 3240 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 36 | 11 |
| 3 | 63 | 11 |
| 4 | 108 | 11 |
| 5 | 121 | 9 |
| 6 | 126 | 9 |
| 7 | 145 | 9 |
| 8 | 191 | 9 |
| 9 | 326 | 9 |
| 10 | 770 | 9 |
| 11 | 2494 | 9 |
| done | 5000 | 9 |
| 0 | 14 | 18 |
| 1 | 42 | 16 |
| 2 | 113 | 16 |
| 3 | 456 | 16 |
| 4 | 2804 | 16 |
| done | 5001 | 16 |
| 0 | 13 | 24 |
| 1 | 37 | 20 |
| 2 | 99 | 20 |
| 3 | 358 | 20 |
| 4 | 1486 | 18 |
| done | 5000 | 18 |
| 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 | 10 | 13 |
| 1 | 23 | 13 |
| 2 | 53 | 13 |
| 3 | 132 | 13 |
| 4 | 406 | 13 |
| 5 | 1245 | 13 |
| 6 | 4533 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 13 |
| 1 | 23 | 13 |
| 2 | 53 | 13 |
| 3 | 132 | 13 |
| 4 | 406 | 13 |
| 5 | 1245 | 13 |
| 6 | 4533 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 13 |
| 1 | 23 | 13 |
| 2 | 53 | 13 |
| 3 | 132 | 13 |
| 4 | 406 | 13 |
| 5 | 1245 | 13 |
| 6 | 4533 | 13 |
| done | 5000 | 13 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 79 | 1 | 80 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 79 | 5 | 84 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) |
| 0.0b | (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (/ x (sqrt 1.0)))) |
| 0.1b | (* -1/6 (/ (* x x) 1.0)) |
| 0.1b | (* -1/6 (/ (* x x) 1.0)) |
| 31× | add-exp-log add-cbrt-cube |
| 26× | sqrt-div |
| 22× | add-sqr-sqrt |
| 16× | frac-times |
| 15× | associate-*r* |
| 14× | pow1 |
| 13× | add-cube-cbrt *-un-lft-identity flip3-+ prod-exp cbrt-unprod flip-+ |
| 12× | associate-*l* |
| 10× | associate-*r/ |
| 8× | times-frac associate-*l/ |
| 6× | sqrt-prod |
| 5× | cbrt-undiv div-exp pow-prod-down |
| 4× | add-log-exp unswap-sqr |
| 3× | *-commutative |
| 2× | div-inv |
| 1× | rem-sqrt-square sqrt-pow1 pow1/2 |
| 7.0ms | (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) |
| 31.0ms | (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (/ x (sqrt 1.0)))) |
| 8.0ms | (* -1/6 (/ (* x x) 1.0)) |
| 8.0ms | (* -1/6 (/ (* x x) 1.0)) |
| 5.0ms | (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) |
| 17.0ms | (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (/ x (sqrt 1.0)))) |
| 3.0ms | (* -1/6 (/ (* x x) 1.0)) |
| 4.0ms | (* -1/6 (/ (* x x) 1.0)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 21 | 7 |
| 3 | 36 | 7 |
| 4 | 49 | 7 |
| 5 | 51 | 7 |
| done | 51 | 7 |
| 0 | 9 | 11 |
| 1 | 18 | 10 |
| 2 | 33 | 10 |
| 3 | 53 | 10 |
| 4 | 78 | 10 |
| 5 | 123 | 10 |
| 6 | 179 | 10 |
| 7 | 240 | 10 |
| 8 | 290 | 10 |
| 9 | 352 | 10 |
| 10 | 354 | 10 |
| done | 354 | 10 |
| 0 | 9 | 10 |
| 1 | 16 | 10 |
| 2 | 31 | 10 |
| 3 | 53 | 10 |
| 4 | 75 | 10 |
| 5 | 108 | 10 |
| 6 | 154 | 10 |
| 7 | 229 | 10 |
| 8 | 284 | 10 |
| 9 | 342 | 10 |
| 10 | 346 | 10 |
| done | 346 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 26 | 9 |
| 3 | 54 | 9 |
| 4 | 93 | 9 |
| 5 | 141 | 9 |
| 6 | 190 | 9 |
| 7 | 249 | 9 |
| 8 | 310 | 9 |
| 9 | 373 | 9 |
| 10 | 375 | 9 |
| done | 375 | 9 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 34 | 8 |
| 3 | 72 | 8 |
| 4 | 144 | 8 |
| 5 | 206 | 8 |
| 6 | 282 | 8 |
| 7 | 333 | 8 |
| 8 | 381 | 8 |
| 9 | 434 | 8 |
| 10 | 435 | 8 |
| done | 435 | 8 |
| 0 | 7 | 8 |
| 1 | 14 | 8 |
| 2 | 30 | 8 |
| 3 | 62 | 8 |
| 4 | 135 | 8 |
| 5 | 295 | 8 |
| 6 | 707 | 8 |
| 7 | 2682 | 8 |
| done | 5000 | 8 |
| 0 | 12 | 23 |
| 1 | 35 | 19 |
| 2 | 148 | 13 |
| 3 | 778 | 9 |
| 4 | 3177 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 23 |
| 1 | 36 | 19 |
| 2 | 146 | 11 |
| 3 | 764 | 9 |
| 4 | 3231 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 23 |
| 1 | 27 | 19 |
| 2 | 86 | 9 |
| 3 | 351 | 9 |
| 4 | 1520 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 17 |
| 1 | 13 | 17 |
| 2 | 23 | 17 |
| 3 | 38 | 17 |
| 4 | 51 | 17 |
| 5 | 53 | 17 |
| done | 53 | 17 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 8 | 23 |
| 1 | 24 | 21 |
| 2 | 93 | 9 |
| 3 | 451 | 9 |
| 4 | 2115 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| 3 | 14 | 9 |
| done | 14 | 9 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| 3 | 14 | 9 |
| done | 14 | 9 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 13 | 7 |
| 3 | 17 | 7 |
| 4 | 18 | 7 |
| done | 18 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 13 | 7 |
| 3 | 17 | 7 |
| 4 | 18 | 7 |
| done | 18 | 7 |
| 0 | 8 | 15 |
| 1 | 13 | 15 |
| 2 | 17 | 15 |
| 3 | 18 | 15 |
| done | 18 | 15 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 12 | 8 |
| 3 | 13 | 8 |
| done | 13 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 23 | 9 |
| 3 | 36 | 9 |
| 4 | 48 | 9 |
| done | 48 | 9 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 12 | 6 |
| 3 | 16 | 6 |
| 4 | 17 | 6 |
| done | 17 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 17 | 3 |
| 3 | 23 | 3 |
| 4 | 26 | 3 |
| done | 26 | 3 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 21 | 7 |
| 3 | 36 | 7 |
| 4 | 49 | 7 |
| 5 | 51 | 7 |
| done | 51 | 7 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 21 | 7 |
| 3 | 36 | 7 |
| 4 | 49 | 7 |
| 5 | 51 | 7 |
| done | 51 | 7 |
| 0 | 9 | 11 |
| 1 | 18 | 10 |
| 2 | 33 | 10 |
| 3 | 53 | 10 |
| 4 | 78 | 10 |
| 5 | 123 | 10 |
| 6 | 179 | 10 |
| 7 | 240 | 10 |
| 8 | 290 | 10 |
| 9 | 352 | 10 |
| 10 | 354 | 10 |
| done | 354 | 10 |
| 0 | 9 | 10 |
| 1 | 16 | 10 |
| 2 | 31 | 10 |
| 3 | 53 | 10 |
| 4 | 75 | 10 |
| 5 | 108 | 10 |
| 6 | 154 | 10 |
| 7 | 229 | 10 |
| 8 | 284 | 10 |
| 9 | 342 | 10 |
| 10 | 346 | 10 |
| done | 346 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 26 | 9 |
| 3 | 54 | 9 |
| 4 | 93 | 9 |
| 5 | 141 | 9 |
| 6 | 190 | 9 |
| 7 | 249 | 9 |
| 8 | 310 | 9 |
| 9 | 373 | 9 |
| 10 | 375 | 9 |
| done | 375 | 9 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 34 | 8 |
| 3 | 72 | 8 |
| 4 | 144 | 8 |
| 5 | 206 | 8 |
| 6 | 282 | 8 |
| 7 | 333 | 8 |
| 8 | 381 | 8 |
| 9 | 434 | 8 |
| 10 | 435 | 8 |
| done | 435 | 8 |
| 0 | 7 | 8 |
| 1 | 14 | 8 |
| 2 | 30 | 8 |
| 3 | 62 | 8 |
| 4 | 135 | 8 |
| 5 | 295 | 8 |
| 6 | 707 | 8 |
| 7 | 2682 | 8 |
| done | 5000 | 8 |
| 0 | 12 | 23 |
| 1 | 35 | 19 |
| 2 | 148 | 13 |
| 3 | 778 | 9 |
| 4 | 3177 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 23 |
| 1 | 36 | 19 |
| 2 | 146 | 11 |
| 3 | 764 | 9 |
| 4 | 3231 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 23 |
| 1 | 27 | 19 |
| 2 | 86 | 9 |
| 3 | 351 | 9 |
| 4 | 1520 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 17 |
| 1 | 13 | 17 |
| 2 | 23 | 17 |
| 3 | 38 | 17 |
| 4 | 51 | 17 |
| 5 | 53 | 17 |
| done | 53 | 17 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 8 | 23 |
| 1 | 24 | 21 |
| 2 | 93 | 9 |
| 3 | 451 | 9 |
| 4 | 2115 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| 3 | 14 | 9 |
| done | 14 | 9 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| 3 | 14 | 9 |
| done | 14 | 9 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 13 | 7 |
| 3 | 17 | 7 |
| 4 | 18 | 7 |
| done | 18 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 13 | 7 |
| 3 | 17 | 7 |
| 4 | 18 | 7 |
| done | 18 | 7 |
| 0 | 8 | 15 |
| 1 | 13 | 15 |
| 2 | 17 | 15 |
| 3 | 18 | 15 |
| done | 18 | 15 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 12 | 8 |
| 3 | 13 | 8 |
| done | 13 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 23 | 9 |
| 3 | 36 | 9 |
| 4 | 48 | 9 |
| done | 48 | 9 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 12 | 6 |
| 3 | 16 | 6 |
| 4 | 17 | 6 |
| done | 17 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 17 | 3 |
| 3 | 23 | 3 |
| 4 | 26 | 3 |
| done | 26 | 3 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 22 | 8 |
| 3 | 37 | 8 |
| 4 | 50 | 8 |
| 5 | 52 | 8 |
| done | 52 | 8 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 21 | 7 |
| 3 | 36 | 7 |
| 4 | 49 | 7 |
| 5 | 51 | 7 |
| done | 51 | 7 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 13 | 26 |
| 1 | 27 | 26 |
| 2 | 47 | 14 |
| 3 | 80 | 14 |
| 4 | 154 | 14 |
| 5 | 395 | 14 |
| 6 | 854 | 12 |
| 7 | 1401 | 12 |
| 8 | 1854 | 12 |
| 9 | 2327 | 12 |
| 10 | 3434 | 12 |
| done | 5001 | 12 |
| 0 | 13 | 26 |
| 1 | 27 | 26 |
| 2 | 47 | 14 |
| 3 | 80 | 14 |
| 4 | 154 | 14 |
| 5 | 395 | 14 |
| 6 | 854 | 12 |
| 7 | 1401 | 12 |
| 8 | 1854 | 12 |
| 9 | 2327 | 12 |
| 10 | 3434 | 12 |
| done | 5001 | 12 |
| 0 | 16 | 30 |
| 1 | 32 | 30 |
| 2 | 58 | 20 |
| 3 | 101 | 20 |
| 4 | 142 | 20 |
| 5 | 198 | 20 |
| 6 | 249 | 20 |
| 7 | 308 | 20 |
| 8 | 383 | 20 |
| 9 | 435 | 20 |
| done | 435 | 20 |
| 0 | 15 | 29 |
| 1 | 30 | 29 |
| 2 | 51 | 19 |
| 3 | 87 | 19 |
| 4 | 134 | 19 |
| 5 | 186 | 19 |
| 6 | 219 | 19 |
| 7 | 263 | 19 |
| 8 | 332 | 19 |
| 9 | 416 | 19 |
| 10 | 422 | 19 |
| done | 422 | 19 |
| 0 | 15 | 28 |
| 1 | 29 | 28 |
| 2 | 50 | 28 |
| 3 | 87 | 19 |
| 4 | 138 | 19 |
| 5 | 190 | 19 |
| 6 | 256 | 19 |
| 7 | 320 | 19 |
| 8 | 374 | 19 |
| 9 | 416 | 19 |
| 10 | 459 | 19 |
| done | 459 | 19 |
| 0 | 14 | 27 |
| 1 | 31 | 27 |
| 2 | 60 | 15 |
| 3 | 111 | 15 |
| 4 | 224 | 15 |
| 5 | 528 | 15 |
| 6 | 1074 | 13 |
| 7 | 1881 | 13 |
| 8 | 2559 | 13 |
| 9 | 3100 | 13 |
| 10 | 4336 | 13 |
| done | 5001 | 13 |
| 0 | 14 | 27 |
| 1 | 30 | 27 |
| 2 | 58 | 15 |
| 3 | 119 | 15 |
| 4 | 282 | 15 |
| 5 | 820 | 15 |
| 6 | 2510 | 13 |
| done | 5000 | 13 |
| 0 | 18 | 80 |
| 1 | 46 | 52 |
| 2 | 174 | 34 |
| 3 | 913 | 20 |
| done | 5000 | 20 |
| 0 | 17 | 80 |
| 1 | 43 | 56 |
| 2 | 146 | 32 |
| 3 | 631 | 18 |
| 4 | 3168 | 18 |
| done | 5000 | 18 |
| 0 | 17 | 80 |
| 1 | 43 | 56 |
| 2 | 155 | 30 |
| 3 | 674 | 30 |
| 4 | 3545 | 16 |
| done | 5000 | 16 |
| 0 | 15 | 55 |
| 1 | 29 | 55 |
| 2 | 49 | 31 |
| 3 | 82 | 31 |
| 4 | 156 | 31 |
| 5 | 393 | 31 |
| 6 | 873 | 27 |
| 7 | 1386 | 27 |
| 8 | 1833 | 27 |
| 9 | 2344 | 27 |
| 10 | 3497 | 27 |
| done | 5000 | 27 |
| 0 | 14 | 27 |
| 1 | 28 | 27 |
| 2 | 48 | 15 |
| 3 | 81 | 15 |
| 4 | 155 | 15 |
| 5 | 400 | 15 |
| 6 | 869 | 13 |
| 7 | 1381 | 13 |
| 8 | 1808 | 13 |
| 9 | 2306 | 13 |
| 10 | 3442 | 13 |
| done | 5001 | 13 |
| 0 | 15 | 80 |
| 1 | 38 | 80 |
| 2 | 122 | 16 |
| 3 | 506 | 16 |
| 4 | 2577 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 27 |
| 1 | 28 | 27 |
| 2 | 48 | 15 |
| 3 | 81 | 15 |
| 4 | 155 | 15 |
| 5 | 400 | 15 |
| 6 | 869 | 13 |
| 7 | 1381 | 13 |
| 8 | 1808 | 13 |
| 9 | 2306 | 13 |
| 10 | 3442 | 13 |
| done | 5001 | 13 |
| 0 | 14 | 27 |
| 1 | 28 | 27 |
| 2 | 48 | 15 |
| 3 | 81 | 15 |
| 4 | 155 | 15 |
| 5 | 400 | 15 |
| 6 | 869 | 13 |
| 7 | 1381 | 13 |
| 8 | 1808 | 13 |
| 9 | 2306 | 13 |
| 10 | 3442 | 13 |
| done | 5001 | 13 |
| 0 | 14 | 31 |
| 1 | 43 | 27 |
| 2 | 104 | 13 |
| 3 | 397 | 13 |
| 4 | 2046 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 64 |
| 1 | 45 | 52 |
| 2 | 145 | 26 |
| 3 | 568 | 20 |
| 4 | 1730 | 20 |
| done | 5000 | 20 |
| 0 | 18 | 37 |
| 1 | 57 | 31 |
| 2 | 152 | 31 |
| 3 | 578 | 29 |
| 4 | 2627 | 29 |
| done | 5000 | 29 |
| 0 | 18 | 44 |
| 1 | 50 | 38 |
| 2 | 154 | 38 |
| 3 | 554 | 32 |
| 4 | 1564 | 32 |
| 5 | 4253 | 32 |
| done | 5001 | 32 |
| 0 | 16 | 27 |
| 1 | 46 | 25 |
| 2 | 112 | 25 |
| 3 | 398 | 25 |
| 4 | 1991 | 25 |
| done | 5000 | 25 |
| 0 | 15 | 33 |
| 1 | 41 | 27 |
| 2 | 140 | 27 |
| 3 | 541 | 21 |
| 4 | 1561 | 21 |
| 5 | 4227 | 21 |
| done | 5001 | 21 |
| 0 | 16 | 34 |
| 1 | 47 | 30 |
| 2 | 117 | 16 |
| 3 | 420 | 16 |
| 4 | 2140 | 16 |
| done | 5001 | 16 |
| 0 | 14 | 61 |
| 1 | 39 | 23 |
| 2 | 139 | 23 |
| 3 | 541 | 17 |
| 4 | 1559 | 17 |
| 5 | 4224 | 17 |
| done | 5001 | 17 |
| 0 | 20 | 40 |
| 1 | 61 | 34 |
| 2 | 165 | 34 |
| 3 | 608 | 32 |
| 4 | 2678 | 32 |
| done | 5000 | 32 |
| 0 | 16 | 41 |
| 1 | 45 | 35 |
| 2 | 143 | 35 |
| 3 | 544 | 29 |
| 4 | 1565 | 29 |
| 5 | 4255 | 29 |
| done | 5001 | 29 |
| 0 | 18 | 37 |
| 1 | 57 | 31 |
| 2 | 152 | 31 |
| 3 | 575 | 29 |
| 4 | 2634 | 29 |
| done | 5001 | 29 |
| 0 | 18 | 44 |
| 1 | 50 | 38 |
| 2 | 154 | 38 |
| 3 | 557 | 32 |
| 4 | 1571 | 32 |
| 5 | 4263 | 32 |
| done | 5000 | 32 |
| 0 | 13 | 43 |
| 1 | 38 | 35 |
| 2 | 86 | 17 |
| 3 | 271 | 17 |
| 4 | 890 | 15 |
| 5 | 2396 | 13 |
| 6 | 4653 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 24 |
| 1 | 26 | 24 |
| 2 | 38 | 12 |
| 3 | 62 | 12 |
| 4 | 111 | 12 |
| 5 | 192 | 12 |
| 6 | 238 | 12 |
| 7 | 243 | 12 |
| 8 | 247 | 12 |
| done | 247 | 12 |
| 0 | 15 | 33 |
| 1 | 40 | 29 |
| 2 | 92 | 29 |
| 3 | 258 | 29 |
| 4 | 816 | 27 |
| 5 | 1850 | 25 |
| 6 | 3450 | 25 |
| done | 5001 | 25 |
| 0 | 11 | 13 |
| 1 | 22 | 13 |
| 2 | 33 | 13 |
| 3 | 48 | 13 |
| 4 | 61 | 13 |
| 5 | 63 | 13 |
| done | 63 | 13 |
| 0 | 20 | 40 |
| 1 | 61 | 34 |
| 2 | 165 | 34 |
| 3 | 606 | 32 |
| 4 | 2682 | 32 |
| done | 5001 | 32 |
| 0 | 16 | 41 |
| 1 | 45 | 35 |
| 2 | 143 | 35 |
| 3 | 543 | 29 |
| 4 | 1553 | 29 |
| 5 | 4230 | 29 |
| done | 5000 | 29 |
| 0 | 15 | 46 |
| 1 | 42 | 38 |
| 2 | 99 | 20 |
| 3 | 297 | 20 |
| 4 | 1007 | 18 |
| 5 | 3331 | 16 |
| done | 5000 | 16 |
| 0 | 10 | 21 |
| 1 | 20 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 9 |
| 4 | 60 | 9 |
| 5 | 62 | 9 |
| done | 62 | 9 |
| 0 | 10 | 21 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 44 | 9 |
| 4 | 57 | 9 |
| 5 | 59 | 9 |
| done | 59 | 9 |
| 0 | 14 | 27 |
| 1 | 28 | 27 |
| 2 | 53 | 27 |
| 3 | 85 | 27 |
| 4 | 122 | 27 |
| 5 | 138 | 27 |
| 6 | 141 | 27 |
| done | 141 | 27 |
| 0 | 15 | 27 |
| 1 | 29 | 27 |
| 2 | 54 | 27 |
| 3 | 86 | 27 |
| 4 | 123 | 27 |
| 5 | 139 | 27 |
| 6 | 142 | 27 |
| done | 142 | 27 |
| 0 | 14 | 27 |
| 1 | 28 | 27 |
| 2 | 53 | 27 |
| 3 | 85 | 27 |
| 4 | 122 | 27 |
| 5 | 138 | 27 |
| 6 | 141 | 27 |
| done | 141 | 27 |
| 0 | 13 | 26 |
| 1 | 27 | 26 |
| 2 | 47 | 14 |
| 3 | 80 | 14 |
| 4 | 154 | 14 |
| 5 | 395 | 14 |
| 6 | 854 | 12 |
| 7 | 1401 | 12 |
| 8 | 1854 | 12 |
| 9 | 2327 | 12 |
| 10 | 3434 | 12 |
| done | 5001 | 12 |
| 0 | 14 | 27 |
| 1 | 28 | 27 |
| 2 | 53 | 27 |
| 3 | 85 | 27 |
| 4 | 122 | 27 |
| 5 | 138 | 27 |
| 6 | 141 | 27 |
| done | 141 | 27 |
| 0 | 13 | 26 |
| 1 | 27 | 26 |
| 2 | 47 | 14 |
| 3 | 80 | 14 |
| 4 | 154 | 14 |
| 5 | 395 | 14 |
| 6 | 854 | 12 |
| 7 | 1401 | 12 |
| 8 | 1854 | 12 |
| 9 | 2327 | 12 |
| 10 | 3434 | 12 |
| done | 5001 | 12 |
| 0 | 16 | 27 |
| 1 | 46 | 25 |
| 2 | 112 | 25 |
| 3 | 395 | 25 |
| 4 | 1982 | 25 |
| done | 5000 | 25 |
| 0 | 15 | 33 |
| 1 | 40 | 29 |
| 2 | 92 | 29 |
| 3 | 263 | 29 |
| 4 | 816 | 27 |
| 5 | 1844 | 25 |
| 6 | 3445 | 25 |
| done | 5000 | 25 |
| 0 | 11 | 23 |
| 1 | 23 | 23 |
| 2 | 34 | 11 |
| 3 | 58 | 11 |
| 4 | 93 | 11 |
| 5 | 130 | 9 |
| 6 | 138 | 9 |
| 7 | 157 | 9 |
| 8 | 201 | 9 |
| 9 | 336 | 9 |
| 10 | 786 | 9 |
| 11 | 2555 | 9 |
| done | 5000 | 9 |
| 0 | 18 | 30 |
| 1 | 50 | 28 |
| 2 | 125 | 28 |
| 3 | 425 | 28 |
| 4 | 2010 | 28 |
| done | 5001 | 28 |
| 0 | 17 | 36 |
| 1 | 44 | 32 |
| 2 | 105 | 32 |
| 3 | 293 | 32 |
| 4 | 875 | 30 |
| 5 | 1895 | 28 |
| 6 | 3482 | 28 |
| done | 5000 | 28 |
| 0 | 18 | 30 |
| 1 | 50 | 28 |
| 2 | 125 | 28 |
| 3 | 431 | 28 |
| 4 | 2018 | 28 |
| done | 5000 | 28 |
| 0 | 17 | 36 |
| 1 | 44 | 32 |
| 2 | 105 | 32 |
| 3 | 290 | 32 |
| 4 | 873 | 30 |
| 5 | 1887 | 28 |
| 6 | 3497 | 28 |
| done | 5000 | 28 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 43 | 11 |
| 4 | 56 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 43 | 11 |
| 4 | 56 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 11 | 23 |
| 1 | 19 | 23 |
| 2 | 29 | 23 |
| 3 | 44 | 23 |
| 4 | 57 | 23 |
| 5 | 59 | 23 |
| done | 59 | 23 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 43 | 11 |
| 4 | 56 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 11 | 32 |
| 1 | 20 | 20 |
| 2 | 41 | 12 |
| 3 | 79 | 12 |
| 4 | 210 | 12 |
| 5 | 447 | 12 |
| 6 | 807 | 12 |
| 7 | 967 | 12 |
| 8 | 1321 | 12 |
| 9 | 2692 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 22 |
| 1 | 20 | 11 |
| 2 | 30 | 11 |
| 3 | 45 | 11 |
| 4 | 58 | 11 |
| 5 | 60 | 11 |
| done | 60 | 11 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 43 | 11 |
| 4 | 56 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 43 | 11 |
| 4 | 56 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 43 | 11 |
| 4 | 56 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 42 | 10 |
| 4 | 55 | 10 |
| 5 | 57 | 10 |
| done | 57 | 10 |
| 0 | 12 | 14 |
| 1 | 37 | 12 |
| 2 | 95 | 12 |
| 3 | 372 | 12 |
| 4 | 1966 | 12 |
| done | 5001 | 12 |
| 0 | 13 | 30 |
| 1 | 38 | 24 |
| 2 | 137 | 24 |
| 3 | 539 | 18 |
| 4 | 1551 | 18 |
| 5 | 4235 | 18 |
| done | 5001 | 18 |
| 0 | 11 | 20 |
| 1 | 32 | 16 |
| 2 | 79 | 16 |
| 3 | 247 | 16 |
| 4 | 804 | 14 |
| 5 | 1827 | 12 |
| 6 | 3401 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 30 | 10 |
| 3 | 45 | 10 |
| 4 | 58 | 10 |
| 5 | 60 | 10 |
| done | 60 | 10 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 43 | 11 |
| 4 | 56 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 43 | 11 |
| 4 | 56 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 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 | 10 | 13 |
| 1 | 23 | 13 |
| 2 | 53 | 13 |
| 3 | 132 | 13 |
| 4 | 406 | 13 |
| 5 | 1245 | 13 |
| 6 | 4533 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 13 |
| 1 | 23 | 13 |
| 2 | 53 | 13 |
| 3 | 132 | 13 |
| 4 | 406 | 13 |
| 5 | 1245 | 13 |
| 6 | 4533 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 13 |
| 1 | 23 | 13 |
| 2 | 53 | 13 |
| 3 | 132 | 13 |
| 4 | 406 | 13 |
| 5 | 1245 | 13 |
| 6 | 4533 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 13 |
| 1 | 28 | 13 |
| 2 | 69 | 13 |
| 3 | 195 | 13 |
| 4 | 700 | 13 |
| 5 | 2012 | 13 |
| done | 5000 | 13 |
| 0 | 18 | 29 |
| 1 | 50 | 25 |
| 2 | 137 | 25 |
| 3 | 484 | 25 |
| 4 | 2094 | 25 |
| done | 5001 | 25 |
| 0 | 18 | 29 |
| 1 | 50 | 25 |
| 2 | 131 | 25 |
| 3 | 439 | 25 |
| 4 | 1514 | 25 |
| done | 5000 | 25 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 123 | 0 | 123 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 123 | 5 | 128 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))) |
| 0.0b | (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))) |
| 0.2b | (/ 0.125 (pow x 3)) |
| 13.1b | (log (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))))) |
| 53× | *-un-lft-identity |
| 43× | add-sqr-sqrt |
| 40× | times-frac |
| 30× | add-cube-cbrt |
| 18× | add-log-exp |
| 13× | unpow-prod-down cube-prod |
| 12× | associate-/r* |
| 10× | add-exp-log |
| 9× | distribute-lft-out |
| 6× | log-prod add-cbrt-cube distribute-lft-out-- |
| 5× | pow1 sum-log difference-of-squares sqr-pow |
| 4× | cube-mult diff-log unpow3 |
| 3× | associate-+r+ flip3-+ div-exp flip-+ associate-/l* |
| 2× | sub-neg log-div associate--l+ frac-sub |
| 1× | cbrt-undiv +-commutative pow-to-exp associate-+r- flip3-- frac-2neg rem-log-exp pow-exp clear-num log-pow flip-- div-inv |
| 21.0ms | (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))) |
| 25.0ms | (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))) |
| 6.0ms | (/ 0.125 (pow x 3)) |
| 27.0ms | (log (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))))) |
| 5.0ms | (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))) |
| 5.0ms | (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))) |
| 4.0ms | (/ 0.125 (pow x 3)) |
| 11.0ms | (log (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 30 |
| 1 | 31 | 30 |
| 2 | 64 | 17 |
| 3 | 114 | 17 |
| 4 | 192 | 17 |
| 5 | 386 | 17 |
| 6 | 916 | 17 |
| 7 | 2945 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 15 |
| 1 | 28 | 15 |
| 2 | 60 | 15 |
| 3 | 108 | 15 |
| 4 | 185 | 15 |
| 5 | 377 | 15 |
| 6 | 909 | 15 |
| 7 | 2923 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 15 |
| 1 | 28 | 15 |
| 2 | 60 | 15 |
| 3 | 108 | 15 |
| 4 | 185 | 15 |
| 5 | 377 | 15 |
| 6 | 909 | 15 |
| 7 | 2923 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 15 |
| 1 | 28 | 15 |
| 2 | 60 | 15 |
| 3 | 108 | 15 |
| 4 | 185 | 15 |
| 5 | 377 | 15 |
| 6 | 909 | 15 |
| 7 | 2923 | 15 |
| done | 5000 | 15 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 18 |
| 1 | 31 | 18 |
| 2 | 79 | 18 |
| 3 | 307 | 18 |
| 4 | 1818 | 18 |
| done | 5001 | 18 |
| 0 | 15 | 42 |
| 1 | 35 | 30 |
| 2 | 101 | 30 |
| 3 | 388 | 30 |
| 4 | 2125 | 30 |
| done | 5000 | 30 |
| 0 | 13 | 28 |
| 1 | 30 | 28 |
| 2 | 82 | 28 |
| 3 | 319 | 28 |
| 4 | 1602 | 26 |
| done | 5000 | 26 |
| 0 | 11 | 14 |
| 1 | 28 | 14 |
| 2 | 64 | 14 |
| 3 | 138 | 12 |
| 4 | 271 | 10 |
| 5 | 818 | 10 |
| 6 | 4403 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 15 |
| 1 | 28 | 15 |
| 2 | 60 | 15 |
| 3 | 108 | 15 |
| 4 | 185 | 15 |
| 5 | 377 | 15 |
| 6 | 909 | 15 |
| 7 | 2923 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 15 |
| 1 | 28 | 13 |
| 2 | 60 | 13 |
| 3 | 108 | 13 |
| 4 | 185 | 13 |
| 5 | 377 | 13 |
| 6 | 909 | 13 |
| 7 | 2923 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 31 |
| 1 | 29 | 31 |
| 2 | 61 | 31 |
| 3 | 109 | 31 |
| 4 | 187 | 31 |
| 5 | 381 | 31 |
| 6 | 916 | 31 |
| 7 | 2923 | 31 |
| done | 5000 | 31 |
| 0 | 12 | 15 |
| 1 | 28 | 15 |
| 2 | 60 | 15 |
| 3 | 108 | 15 |
| 4 | 185 | 15 |
| 5 | 377 | 15 |
| 6 | 909 | 15 |
| 7 | 2923 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 44 |
| 1 | 30 | 44 |
| 2 | 63 | 16 |
| 3 | 114 | 16 |
| 4 | 194 | 16 |
| 5 | 390 | 16 |
| 6 | 924 | 16 |
| 7 | 2993 | 16 |
| done | 5000 | 16 |
| 0 | 12 | 15 |
| 1 | 28 | 15 |
| 2 | 60 | 15 |
| 3 | 108 | 15 |
| 4 | 185 | 15 |
| 5 | 377 | 15 |
| 6 | 909 | 15 |
| 7 | 2923 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 15 |
| 1 | 28 | 15 |
| 2 | 60 | 15 |
| 3 | 108 | 15 |
| 4 | 185 | 15 |
| 5 | 377 | 15 |
| 6 | 909 | 15 |
| 7 | 2923 | 15 |
| done | 5000 | 15 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 18 | 7 |
| done | 18 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 18 | 7 |
| done | 18 | 7 |
| 0 | 7 | 7 |
| 1 | 19 | 7 |
| 2 | 37 | 7 |
| 3 | 65 | 7 |
| 4 | 136 | 7 |
| 5 | 343 | 7 |
| 6 | 1061 | 7 |
| 7 | 4175 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 17 | 6 |
| 2 | 38 | 6 |
| 3 | 83 | 6 |
| 4 | 178 | 6 |
| 5 | 435 | 6 |
| 6 | 1302 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 482 | 6 |
| 7 | 1830 | 6 |
| done | 5001 | 6 |
| 0 | 9 | 17 |
| 1 | 29 | 13 |
| 2 | 110 | 9 |
| 3 | 617 | 7 |
| 4 | 3726 | 7 |
| done | 5001 | 7 |
| 0 | 7 | 13 |
| 1 | 15 | 13 |
| 2 | 27 | 13 |
| 3 | 43 | 13 |
| 4 | 75 | 13 |
| 5 | 166 | 13 |
| 6 | 483 | 13 |
| 7 | 1825 | 13 |
| done | 5000 | 13 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 482 | 6 |
| 7 | 1830 | 6 |
| done | 5001 | 6 |
| 0 | 7 | 17 |
| 1 | 22 | 17 |
| 2 | 76 | 7 |
| 3 | 471 | 7 |
| 4 | 3031 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 482 | 6 |
| 7 | 1830 | 6 |
| done | 5001 | 6 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 482 | 6 |
| 7 | 1830 | 6 |
| done | 5001 | 6 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 4 | 4 |
| 1 | 12 | 4 |
| 2 | 27 | 4 |
| 3 | 48 | 4 |
| 4 | 92 | 4 |
| 5 | 228 | 4 |
| 6 | 752 | 4 |
| 7 | 3059 | 4 |
| done | 5000 | 4 |
| 0 | 9 | 13 |
| 1 | 21 | 13 |
| 2 | 64 | 9 |
| 3 | 161 | 9 |
| 4 | 325 | 9 |
| 5 | 658 | 9 |
| 6 | 1754 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 7 |
| 1 | 15 | 4 |
| 2 | 19 | 4 |
| 3 | 25 | 4 |
| 4 | 35 | 4 |
| 5 | 58 | 4 |
| 6 | 121 | 4 |
| 7 | 342 | 4 |
| 8 | 1286 | 4 |
| done | 5001 | 4 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 41 | 10 |
| 3 | 85 | 10 |
| 4 | 161 | 10 |
| 5 | 414 | 10 |
| 6 | 1498 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 75 | 7 |
| 5 | 165 | 7 |
| 6 | 483 | 7 |
| 7 | 1833 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 9 |
| 1 | 19 | 7 |
| 2 | 21 | 5 |
| 3 | 25 | 5 |
| 4 | 30 | 5 |
| done | 30 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 479 | 6 |
| 7 | 1831 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 9 |
| 1 | 12 | 9 |
| 2 | 21 | 9 |
| 3 | 27 | 9 |
| done | 27 | 9 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 9 | 15 |
| 1 | 22 | 9 |
| 2 | 37 | 9 |
| 3 | 53 | 9 |
| 4 | 74 | 9 |
| 5 | 141 | 9 |
| 6 | 356 | 9 |
| 7 | 1269 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 7 |
| 1 | 15 | 4 |
| 2 | 21 | 4 |
| 3 | 31 | 4 |
| 4 | 52 | 4 |
| 5 | 115 | 4 |
| 6 | 323 | 4 |
| 7 | 1257 | 4 |
| done | 5000 | 4 |
| 0 | 9 | 13 |
| 1 | 21 | 13 |
| 2 | 64 | 9 |
| 3 | 161 | 9 |
| 4 | 325 | 9 |
| 5 | 658 | 9 |
| 6 | 1754 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 7 |
| 1 | 15 | 4 |
| 2 | 19 | 4 |
| 3 | 25 | 4 |
| 4 | 35 | 4 |
| 5 | 58 | 4 |
| 6 | 121 | 4 |
| 7 | 342 | 4 |
| 8 | 1286 | 4 |
| done | 5001 | 4 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 41 | 10 |
| 3 | 85 | 10 |
| 4 | 161 | 10 |
| 5 | 414 | 10 |
| 6 | 1498 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 75 | 7 |
| 5 | 165 | 7 |
| 6 | 483 | 7 |
| 7 | 1833 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 9 |
| 1 | 19 | 7 |
| 2 | 21 | 5 |
| 3 | 25 | 5 |
| 4 | 30 | 5 |
| done | 30 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 479 | 6 |
| 7 | 1831 | 6 |
| done | 5000 | 6 |
| 0 | 5 | 7 |
| 1 | 7 | 7 |
| 2 | 9 | 7 |
| 3 | 10 | 7 |
| done | 10 | 7 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| done | 7 | 6 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 27 | 10 |
| 3 | 38 | 10 |
| 4 | 59 | 10 |
| 5 | 120 | 10 |
| 6 | 324 | 10 |
| 7 | 1255 | 10 |
| done | 5000 | 10 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 22 | 7 |
| 3 | 32 | 7 |
| 4 | 53 | 7 |
| 5 | 114 | 7 |
| 6 | 323 | 7 |
| 7 | 1262 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 7 |
| 1 | 9 | 5 |
| 2 | 15 | 5 |
| 3 | 20 | 5 |
| done | 20 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 479 | 6 |
| 7 | 1831 | 6 |
| done | 5000 | 6 |
| 0 | 9 | 11 |
| 1 | 16 | 9 |
| 2 | 29 | 9 |
| 3 | 57 | 9 |
| 4 | 131 | 9 |
| 5 | 384 | 9 |
| 6 | 1459 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 8 |
| 1 | 13 | 6 |
| 2 | 21 | 6 |
| 3 | 35 | 6 |
| 4 | 67 | 6 |
| 5 | 163 | 6 |
| 6 | 481 | 6 |
| 7 | 1850 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 47 | 6 |
| 3 | 83 | 6 |
| 4 | 120 | 6 |
| 5 | 218 | 6 |
| 6 | 546 | 6 |
| 7 | 1942 | 6 |
| done | 5001 | 6 |
| 0 | 7 | 7 |
| 1 | 15 | 4 |
| 2 | 19 | 4 |
| 3 | 25 | 4 |
| 4 | 35 | 4 |
| 5 | 58 | 4 |
| 6 | 121 | 4 |
| 7 | 342 | 4 |
| 8 | 1286 | 4 |
| done | 5001 | 4 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 75 | 7 |
| 5 | 165 | 7 |
| 6 | 483 | 7 |
| 7 | 1833 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 75 | 7 |
| 5 | 165 | 7 |
| 6 | 483 | 7 |
| 7 | 1833 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 16 | 4 |
| 2 | 20 | 2 |
| done | 20 | 2 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 479 | 6 |
| 7 | 1831 | 6 |
| done | 5000 | 6 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| done | 7 | 6 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 8 | 12 |
| 1 | 17 | 6 |
| 2 | 23 | 6 |
| 3 | 33 | 6 |
| 4 | 54 | 6 |
| 5 | 115 | 6 |
| 6 | 324 | 6 |
| 7 | 1245 | 6 |
| done | 5001 | 6 |
| 0 | 7 | 7 |
| 1 | 15 | 4 |
| 2 | 21 | 4 |
| 3 | 31 | 4 |
| 4 | 52 | 4 |
| 5 | 115 | 4 |
| 6 | 323 | 4 |
| 7 | 1257 | 4 |
| done | 5000 | 4 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 47 | 6 |
| 3 | 83 | 6 |
| 4 | 120 | 6 |
| 5 | 218 | 6 |
| 6 | 546 | 6 |
| 7 | 1942 | 6 |
| done | 5001 | 6 |
| 0 | 7 | 7 |
| 1 | 15 | 4 |
| 2 | 19 | 4 |
| 3 | 25 | 4 |
| 4 | 35 | 4 |
| 5 | 58 | 4 |
| 6 | 121 | 4 |
| 7 | 342 | 4 |
| 8 | 1286 | 4 |
| done | 5001 | 4 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 75 | 7 |
| 5 | 165 | 7 |
| 6 | 483 | 7 |
| 7 | 1833 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 75 | 7 |
| 5 | 165 | 7 |
| 6 | 483 | 7 |
| 7 | 1833 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 16 | 4 |
| 2 | 20 | 2 |
| done | 20 | 2 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 479 | 6 |
| 7 | 1831 | 6 |
| done | 5000 | 6 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| done | 7 | 6 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 22 | 7 |
| 3 | 32 | 7 |
| 4 | 53 | 7 |
| 5 | 114 | 7 |
| 6 | 323 | 7 |
| 7 | 1262 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 22 | 7 |
| 3 | 32 | 7 |
| 4 | 53 | 7 |
| 5 | 114 | 7 |
| 6 | 323 | 7 |
| 7 | 1262 | 7 |
| done | 5000 | 7 |
| 0 | 4 | 4 |
| 1 | 6 | 2 |
| 2 | 8 | 2 |
| done | 8 | 2 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 165 | 6 |
| 6 | 479 | 6 |
| 7 | 1831 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 8 |
| 1 | 13 | 6 |
| 2 | 21 | 6 |
| 3 | 35 | 6 |
| 4 | 67 | 6 |
| 5 | 163 | 6 |
| 6 | 481 | 6 |
| 7 | 1850 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 8 |
| 1 | 13 | 6 |
| 2 | 21 | 6 |
| 3 | 35 | 6 |
| 4 | 67 | 6 |
| 5 | 163 | 6 |
| 6 | 481 | 6 |
| 7 | 1850 | 6 |
| done | 5000 | 6 |
| 0 | 7 | 9 |
| 1 | 19 | 9 |
| 2 | 48 | 5 |
| 3 | 86 | 5 |
| 4 | 123 | 5 |
| 5 | 220 | 5 |
| 6 | 553 | 5 |
| 7 | 1964 | 5 |
| done | 5001 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 3 |
| 2 | 18 | 3 |
| 3 | 24 | 3 |
| 4 | 34 | 3 |
| 5 | 55 | 3 |
| 6 | 120 | 3 |
| 7 | 342 | 3 |
| 8 | 1273 | 3 |
| done | 5000 | 3 |
| 0 | 6 | 6 |
| 1 | 16 | 6 |
| 2 | 28 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 164 | 6 |
| 6 | 480 | 6 |
| 7 | 1837 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 40 | 6 |
| 4 | 72 | 6 |
| 5 | 164 | 6 |
| 6 | 477 | 6 |
| 7 | 1821 | 6 |
| done | 5001 | 6 |
| 0 | 4 | 5 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 5 | 5 |
| 1 | 13 | 5 |
| 2 | 25 | 5 |
| 3 | 40 | 5 |
| 4 | 72 | 5 |
| 5 | 164 | 5 |
| 6 | 486 | 5 |
| 7 | 1827 | 5 |
| done | 5000 | 5 |
| 0 | 4 | 5 |
| 1 | 8 | 5 |
| done | 8 | 5 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 7 | 11 |
| 1 | 18 | 5 |
| 2 | 24 | 5 |
| 3 | 34 | 5 |
| 4 | 55 | 5 |
| 5 | 118 | 5 |
| 6 | 321 | 5 |
| 7 | 1256 | 5 |
| done | 5001 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 3 |
| 2 | 20 | 3 |
| 3 | 30 | 3 |
| 4 | 51 | 3 |
| 5 | 113 | 3 |
| 6 | 327 | 3 |
| 7 | 1247 | 3 |
| done | 5000 | 3 |
| 0 | 7 | 9 |
| 1 | 19 | 9 |
| 2 | 48 | 5 |
| 3 | 86 | 5 |
| 4 | 123 | 5 |
| 5 | 220 | 5 |
| 6 | 553 | 5 |
| 7 | 1964 | 5 |
| done | 5001 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 3 |
| 2 | 18 | 3 |
| 3 | 24 | 3 |
| 4 | 34 | 3 |
| 5 | 55 | 3 |
| 6 | 120 | 3 |
| 7 | 342 | 3 |
| 8 | 1273 | 3 |
| done | 5000 | 3 |
| 0 | 6 | 6 |
| 1 | 16 | 6 |
| 2 | 28 | 6 |
| 3 | 42 | 6 |
| 4 | 74 | 6 |
| 5 | 164 | 6 |
| 6 | 480 | 6 |
| 7 | 1837 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 40 | 6 |
| 4 | 72 | 6 |
| 5 | 164 | 6 |
| 6 | 477 | 6 |
| 7 | 1821 | 6 |
| done | 5001 | 6 |
| 0 | 4 | 5 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 5 | 5 |
| 1 | 13 | 5 |
| 2 | 25 | 5 |
| 3 | 40 | 5 |
| 4 | 72 | 5 |
| 5 | 164 | 5 |
| 6 | 486 | 5 |
| 7 | 1827 | 5 |
| done | 5000 | 5 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 4 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 6 | 6 |
| 1 | 16 | 6 |
| 2 | 23 | 6 |
| 3 | 33 | 6 |
| 4 | 54 | 6 |
| 5 | 111 | 6 |
| 6 | 317 | 6 |
| 7 | 1250 | 6 |
| done | 5001 | 6 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 21 | 6 |
| 3 | 31 | 6 |
| 4 | 52 | 6 |
| 5 | 114 | 6 |
| 6 | 317 | 6 |
| 7 | 1256 | 6 |
| done | 5000 | 6 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 5 |
| 1 | 13 | 5 |
| 2 | 25 | 5 |
| 3 | 40 | 5 |
| 4 | 72 | 5 |
| 5 | 164 | 5 |
| 6 | 486 | 5 |
| 7 | 1827 | 5 |
| done | 5000 | 5 |
| 0 | 7 | 7 |
| 1 | 14 | 5 |
| 2 | 22 | 5 |
| 3 | 36 | 5 |
| 4 | 68 | 5 |
| 5 | 156 | 5 |
| 6 | 474 | 5 |
| 7 | 1845 | 5 |
| done | 5000 | 5 |
| 0 | 7 | 7 |
| 1 | 12 | 5 |
| 2 | 20 | 5 |
| 3 | 34 | 5 |
| 4 | 66 | 5 |
| 5 | 158 | 5 |
| 6 | 475 | 5 |
| 7 | 1836 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 15 | 5 |
| 2 | 27 | 5 |
| 3 | 43 | 5 |
| 4 | 75 | 5 |
| 5 | 165 | 5 |
| 6 | 476 | 5 |
| 7 | 1834 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 13 | 5 |
| 2 | 25 | 5 |
| 3 | 47 | 5 |
| 4 | 95 | 5 |
| 5 | 230 | 5 |
| 6 | 748 | 5 |
| 7 | 3127 | 5 |
| done | 5000 | 5 |
| 0 | 7 | 9 |
| 1 | 17 | 9 |
| 2 | 46 | 5 |
| 3 | 85 | 5 |
| 4 | 122 | 5 |
| 5 | 222 | 5 |
| 6 | 548 | 5 |
| 7 | 1954 | 5 |
| done | 5001 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 40 | 6 |
| 4 | 72 | 6 |
| 5 | 164 | 6 |
| 6 | 477 | 6 |
| 7 | 1821 | 6 |
| done | 5001 | 6 |
| 0 | 5 | 5 |
| 1 | 15 | 3 |
| done | 15 | 1 |
| 0 | 4 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 7 | 11 |
| 1 | 16 | 5 |
| 2 | 22 | 5 |
| 3 | 32 | 5 |
| 4 | 53 | 5 |
| 5 | 113 | 5 |
| 6 | 323 | 5 |
| 7 | 1248 | 5 |
| done | 5001 | 5 |
| 0 | 7 | 9 |
| 1 | 17 | 9 |
| 2 | 46 | 5 |
| 3 | 85 | 5 |
| 4 | 122 | 5 |
| 5 | 222 | 5 |
| 6 | 548 | 5 |
| 7 | 1954 | 5 |
| done | 5001 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 40 | 6 |
| 4 | 72 | 6 |
| 5 | 164 | 6 |
| 6 | 477 | 6 |
| 7 | 1821 | 6 |
| done | 5001 | 6 |
| 0 | 5 | 5 |
| 1 | 15 | 3 |
| done | 15 | 1 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 21 | 6 |
| 3 | 31 | 6 |
| 4 | 52 | 6 |
| 5 | 114 | 6 |
| 6 | 317 | 6 |
| 7 | 1256 | 6 |
| done | 5000 | 6 |
| 0 | 3 | 3 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 7 | 7 |
| 1 | 12 | 5 |
| 2 | 20 | 5 |
| 3 | 34 | 5 |
| 4 | 66 | 5 |
| 5 | 158 | 5 |
| 6 | 475 | 5 |
| 7 | 1836 | 5 |
| done | 5000 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 48 | 6 |
| 4 | 96 | 6 |
| 5 | 231 | 6 |
| 6 | 755 | 6 |
| 7 | 3136 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 26 | 6 |
| 3 | 48 | 6 |
| 4 | 96 | 6 |
| 5 | 231 | 6 |
| 6 | 755 | 6 |
| 7 | 3136 | 6 |
| done | 5000 | 6 |
| 0 | 5 | 5 |
| 1 | 13 | 5 |
| 2 | 25 | 5 |
| 3 | 47 | 5 |
| 4 | 95 | 5 |
| 5 | 230 | 5 |
| 6 | 748 | 5 |
| 7 | 3127 | 5 |
| done | 5000 | 5 |
| 0 | 13 | 17 |
| 1 | 29 | 16 |
| 2 | 58 | 15 |
| 3 | 113 | 14 |
| 4 | 213 | 14 |
| 5 | 448 | 14 |
| 6 | 1100 | 14 |
| 7 | 3291 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 29 | 15 |
| 2 | 59 | 14 |
| 3 | 122 | 14 |
| 4 | 234 | 14 |
| 5 | 439 | 14 |
| 6 | 1040 | 14 |
| 7 | 3337 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 15 |
| 1 | 31 | 14 |
| 2 | 68 | 14 |
| 3 | 145 | 14 |
| 4 | 265 | 14 |
| 5 | 485 | 14 |
| 6 | 1173 | 14 |
| 7 | 3502 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 30 | 14 |
| 2 | 73 | 14 |
| 3 | 148 | 14 |
| 4 | 277 | 14 |
| 5 | 537 | 14 |
| 6 | 1306 | 14 |
| 7 | 3698 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 29 |
| 1 | 28 | 29 |
| 2 | 60 | 29 |
| 3 | 108 | 29 |
| 4 | 185 | 29 |
| 5 | 377 | 29 |
| 6 | 909 | 29 |
| 7 | 2923 | 29 |
| done | 5000 | 29 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 41 |
| 1 | 41 | 41 |
| 2 | 127 | 15 |
| 3 | 548 | 15 |
| 4 | 4054 | 15 |
| done | 5000 | 15 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 27 | 14 |
| 2 | 59 | 14 |
| 3 | 108 | 14 |
| 4 | 185 | 14 |
| 5 | 377 | 14 |
| 6 | 901 | 14 |
| 7 | 2920 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 17 |
| 1 | 30 | 17 |
| 2 | 78 | 17 |
| 3 | 307 | 17 |
| 4 | 1818 | 17 |
| done | 5001 | 17 |
| 0 | 14 | 41 |
| 1 | 34 | 29 |
| 2 | 100 | 29 |
| 3 | 386 | 29 |
| 4 | 2125 | 29 |
| done | 5000 | 29 |
| 0 | 12 | 27 |
| 1 | 29 | 27 |
| 2 | 78 | 27 |
| 3 | 313 | 27 |
| 4 | 1600 | 25 |
| done | 5001 | 25 |
| 0 | 10 | 13 |
| 1 | 27 | 13 |
| 2 | 63 | 13 |
| 3 | 137 | 11 |
| 4 | 277 | 9 |
| 5 | 814 | 9 |
| 6 | 4350 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 13 |
| 1 | 26 | 13 |
| 2 | 58 | 13 |
| 3 | 107 | 13 |
| 4 | 184 | 13 |
| 5 | 378 | 13 |
| 6 | 907 | 13 |
| 7 | 2931 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 13 |
| 1 | 26 | 13 |
| 2 | 58 | 13 |
| 3 | 107 | 13 |
| 4 | 184 | 13 |
| 5 | 378 | 13 |
| 6 | 907 | 13 |
| 7 | 2931 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 13 |
| 1 | 26 | 13 |
| 2 | 58 | 13 |
| 3 | 107 | 13 |
| 4 | 184 | 13 |
| 5 | 378 | 13 |
| 6 | 907 | 13 |
| 7 | 2931 | 13 |
| done | 5000 | 13 |
| 0 | 5 | 7 |
| 1 | 7 | 7 |
| 2 | 10 | 7 |
| 3 | 12 | 7 |
| 4 | 13 | 7 |
| done | 13 | 7 |
| 0 | 4 | 5 |
| 1 | 5 | 5 |
| done | 5 | 5 |
| 0 | 5 | 7 |
| 1 | 7 | 7 |
| 2 | 10 | 7 |
| 3 | 12 | 7 |
| 4 | 13 | 7 |
| done | 13 | 7 |
| 0 | 5 | 7 |
| 1 | 7 | 7 |
| 2 | 10 | 7 |
| 3 | 12 | 7 |
| 4 | 13 | 7 |
| done | 13 | 7 |
| 0 | 12 | 14 |
| 1 | 25 | 13 |
| 2 | 46 | 12 |
| 3 | 78 | 12 |
| 4 | 140 | 12 |
| 5 | 297 | 12 |
| 6 | 782 | 12 |
| 7 | 2722 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 13 |
| 1 | 25 | 12 |
| 2 | 46 | 12 |
| 3 | 87 | 12 |
| 4 | 159 | 12 |
| 5 | 313 | 12 |
| 6 | 813 | 12 |
| 7 | 2874 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 23 | 12 |
| 2 | 44 | 12 |
| 3 | 77 | 12 |
| 4 | 131 | 12 |
| 5 | 278 | 12 |
| 6 | 761 | 12 |
| 7 | 2769 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 26 | 12 |
| 2 | 55 | 12 |
| 3 | 104 | 12 |
| 4 | 179 | 12 |
| 5 | 346 | 12 |
| 6 | 880 | 12 |
| 7 | 2937 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 25 |
| 1 | 24 | 25 |
| 2 | 45 | 25 |
| 3 | 78 | 25 |
| 4 | 132 | 25 |
| 5 | 272 | 25 |
| 6 | 745 | 25 |
| 7 | 2745 | 25 |
| done | 5000 | 25 |
| 0 | 10 | 12 |
| 1 | 23 | 12 |
| 2 | 44 | 12 |
| 3 | 77 | 12 |
| 4 | 131 | 12 |
| 5 | 278 | 12 |
| 6 | 761 | 12 |
| 7 | 2769 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 35 |
| 1 | 25 | 35 |
| 2 | 71 | 13 |
| 3 | 286 | 13 |
| 4 | 1731 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 12 |
| 1 | 23 | 12 |
| 2 | 44 | 12 |
| 3 | 77 | 12 |
| 4 | 131 | 12 |
| 5 | 278 | 12 |
| 6 | 761 | 12 |
| 7 | 2769 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 23 | 12 |
| 2 | 44 | 12 |
| 3 | 77 | 12 |
| 4 | 131 | 12 |
| 5 | 278 | 12 |
| 6 | 761 | 12 |
| 7 | 2769 | 12 |
| done | 5000 | 12 |
| 0 | 16 | 33 |
| 1 | 48 | 31 |
| 2 | 135 | 31 |
| 3 | 434 | 29 |
| 4 | 1779 | 29 |
| done | 5000 | 29 |
| 0 | 11 | 21 |
| 1 | 33 | 19 |
| 2 | 85 | 19 |
| 3 | 246 | 17 |
| 4 | 799 | 15 |
| 5 | 3394 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 23 |
| 1 | 34 | 23 |
| 2 | 93 | 23 |
| 3 | 322 | 17 |
| 4 | 1109 | 17 |
| 5 | 3963 | 17 |
| done | 5001 | 17 |
| 0 | 7 | 9 |
| 1 | 18 | 9 |
| 2 | 43 | 9 |
| 3 | 108 | 9 |
| 4 | 257 | 9 |
| 5 | 748 | 9 |
| 6 | 2862 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 15 |
| 1 | 35 | 15 |
| 2 | 107 | 15 |
| 3 | 447 | 15 |
| 4 | 2719 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 35 |
| 1 | 41 | 29 |
| 2 | 132 | 29 |
| 3 | 517 | 29 |
| 4 | 1815 | 25 |
| done | 5001 | 25 |
| 0 | 6 | 6 |
| 1 | 16 | 6 |
| 2 | 34 | 6 |
| 3 | 62 | 6 |
| 4 | 109 | 6 |
| 5 | 235 | 6 |
| 6 | 669 | 6 |
| 7 | 2496 | 6 |
| done | 5000 | 6 |
| 0 | 11 | 23 |
| 1 | 35 | 23 |
| 2 | 105 | 23 |
| 3 | 396 | 23 |
| 4 | 1534 | 19 |
| done | 5001 | 19 |
| 0 | 9 | 11 |
| 1 | 21 | 11 |
| 2 | 39 | 11 |
| 3 | 54 | 11 |
| 4 | 86 | 11 |
| 5 | 178 | 11 |
| 6 | 492 | 11 |
| 7 | 1850 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 33 | 13 |
| 3 | 49 | 13 |
| 4 | 81 | 13 |
| 5 | 174 | 13 |
| 6 | 487 | 13 |
| 7 | 1835 | 13 |
| done | 5001 | 13 |
| 0 | 11 | 13 |
| 1 | 22 | 13 |
| 2 | 35 | 13 |
| 3 | 51 | 13 |
| 4 | 83 | 13 |
| 5 | 180 | 13 |
| 6 | 506 | 13 |
| 7 | 1878 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 14 |
| 1 | 22 | 14 |
| 2 | 34 | 14 |
| 3 | 48 | 14 |
| 4 | 82 | 14 |
| 5 | 176 | 14 |
| 6 | 497 | 14 |
| 7 | 1863 | 14 |
| done | 5001 | 14 |
| 0 | 12 | 14 |
| 1 | 23 | 14 |
| 2 | 38 | 14 |
| 3 | 64 | 14 |
| 4 | 111 | 14 |
| 5 | 246 | 14 |
| 6 | 711 | 14 |
| 7 | 2655 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 14 |
| 1 | 22 | 14 |
| 2 | 34 | 14 |
| 3 | 48 | 14 |
| 4 | 82 | 14 |
| 5 | 176 | 14 |
| 6 | 497 | 14 |
| 7 | 1863 | 14 |
| done | 5001 | 14 |
| 0 | 12 | 14 |
| 1 | 23 | 14 |
| 2 | 38 | 14 |
| 3 | 64 | 14 |
| 4 | 111 | 14 |
| 5 | 246 | 14 |
| 6 | 711 | 14 |
| 7 | 2655 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 14 |
| 1 | 22 | 14 |
| 2 | 29 | 14 |
| 3 | 39 | 14 |
| 4 | 60 | 14 |
| 5 | 120 | 14 |
| 6 | 340 | 14 |
| 7 | 1282 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 14 |
| 1 | 23 | 14 |
| 2 | 33 | 14 |
| 3 | 43 | 14 |
| 4 | 64 | 14 |
| 5 | 124 | 14 |
| 6 | 330 | 14 |
| 7 | 1263 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 15 |
| 1 | 20 | 13 |
| 2 | 28 | 13 |
| 3 | 42 | 13 |
| 4 | 74 | 13 |
| 5 | 167 | 13 |
| 6 | 486 | 13 |
| 7 | 1846 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 15 |
| 1 | 20 | 13 |
| 2 | 31 | 13 |
| 3 | 54 | 13 |
| 4 | 99 | 13 |
| 5 | 229 | 13 |
| 6 | 691 | 13 |
| 7 | 2665 | 13 |
| done | 5001 | 13 |
| 0 | 9 | 11 |
| 1 | 22 | 11 |
| 2 | 43 | 11 |
| 3 | 76 | 11 |
| 4 | 130 | 11 |
| 5 | 275 | 11 |
| 6 | 754 | 11 |
| 7 | 2738 | 11 |
| done | 5001 | 11 |
| 0 | 9 | 11 |
| 1 | 22 | 11 |
| 2 | 43 | 11 |
| 3 | 76 | 11 |
| 4 | 130 | 11 |
| 5 | 275 | 11 |
| 6 | 754 | 11 |
| 7 | 2738 | 11 |
| done | 5001 | 11 |
| 0 | 6 | 7 |
| 1 | 16 | 7 |
| 2 | 31 | 7 |
| 3 | 58 | 7 |
| 4 | 107 | 7 |
| 5 | 239 | 7 |
| 6 | 704 | 7 |
| 7 | 2632 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 16 | 6 |
| 2 | 34 | 6 |
| 3 | 62 | 6 |
| 4 | 109 | 6 |
| 5 | 235 | 6 |
| 6 | 669 | 6 |
| 7 | 2496 | 6 |
| done | 5000 | 6 |
| 0 | 23 | 30 |
| 1 | 51 | 30 |
| 2 | 151 | 30 |
| 3 | 378 | 30 |
| 4 | 980 | 26 |
| 5 | 2323 | 26 |
| done | 5000 | 26 |
| 0 | 18 | 23 |
| 1 | 45 | 22 |
| 2 | 114 | 17 |
| 3 | 316 | 17 |
| 4 | 1030 | 17 |
| 5 | 3273 | 17 |
| done | 5000 | 17 |
| 0 | 20 | 24 |
| 1 | 47 | 23 |
| 2 | 117 | 19 |
| 3 | 317 | 19 |
| 4 | 1047 | 19 |
| 5 | 3434 | 19 |
| done | 5000 | 19 |
| 0 | 5 | 5 |
| 1 | 13 | 5 |
| 2 | 25 | 5 |
| 3 | 40 | 5 |
| 4 | 72 | 5 |
| 5 | 164 | 5 |
| 6 | 486 | 5 |
| 7 | 1827 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 13 | 5 |
| 2 | 25 | 5 |
| 3 | 40 | 5 |
| 4 | 72 | 5 |
| 5 | 164 | 5 |
| 6 | 486 | 5 |
| 7 | 1827 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 13 | 5 |
| 2 | 25 | 5 |
| 3 | 40 | 5 |
| 4 | 72 | 5 |
| 5 | 164 | 5 |
| 6 | 486 | 5 |
| 7 | 1827 | 5 |
| done | 5000 | 5 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 76 | 13 |
| 3 | 175 | 13 |
| 4 | 431 | 13 |
| 5 | 1401 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 76 | 13 |
| 3 | 175 | 13 |
| 4 | 431 | 13 |
| 5 | 1401 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 76 | 13 |
| 3 | 175 | 13 |
| 4 | 431 | 13 |
| 5 | 1401 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 74 | 11 |
| 3 | 172 | 11 |
| 4 | 424 | 11 |
| 5 | 1361 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 74 | 11 |
| 3 | 172 | 11 |
| 4 | 424 | 11 |
| 5 | 1361 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 74 | 11 |
| 3 | 172 | 11 |
| 4 | 424 | 11 |
| 5 | 1361 | 11 |
| done | 5000 | 11 |
5 alts after pruning (2 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 137 | 0 | 137 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 137 | 5 | 142 |
Merged error: 0.0b
99.3% (0.2b remaining)
Error of 0.3b against oracle of 0.1b and baseline of 32.0b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 2.685778245287387e-07 | 280.39199233801065 | 0.87717992143343 |
| 8 | -1.1417122487016937 | -0.00029558442529086166 | -1.025198592034601 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 36 | 56 |
| 1 | 44 | 56 |
| done | 44 | 56 |
| 1.0s | 2369× | body | 1280 | valid |
| 430.0ms | 1600× | body | 640 | valid |
| 270.0ms | 800× | body | 2560 | valid |
| 125.0ms | 753× | body | 320 | valid |
| 94.0ms | 2096× | body | 80 | valid |
| 37.0ms | 382× | body | 160 | valid |
Loading profile data...