Time bar (total: 21.8min)
| 13.0ms | 55× | body | 1280 | valid |
| 7.0ms | 37× | body | 640 | valid |
| 5.0ms | 139× | body | 80 | valid |
| 2.0ms | 14× | body | 320 | valid |
| 1.0ms | 11× | body | 160 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 22 | 10 |
| 3 | 30 | 10 |
| 4 | 53 | 10 |
| 5 | 111 | 10 |
| 6 | 256 | 10 |
| 7 | 721 | 10 |
| 8 | 2461 | 10 |
| done | 5000 | 10 |
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: 27.6b
Found 3 expressions with local error:
| 0.0b | (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) |
| 0.0b | (+ 1.0 (exp (* -2.0 x))) |
| 2.7b | (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) |
| 24× | *-un-lft-identity |
| 17× | add-sqr-sqrt |
| 13× | times-frac |
| 12× | add-cube-cbrt |
| 7× | add-log-exp |
| 5× | add-exp-log add-cbrt-cube distribute-lft-out |
| 4× | associate-/r* |
| 3× | pow1 associate-/l* |
| 2× | flip3-+ associate-/r/ flip-+ difference-of-squares |
| 1× | cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp clear-num sum-log flip-- div-inv distribute-lft-out-- |
| 6.0ms | (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) |
| 4.0ms | (+ 1.0 (exp (* -2.0 x))) |
| 12.0ms | (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) |
| 7.0ms | (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) |
| 2.0ms | (+ 1.0 (exp (* -2.0 x))) |
| 10.0ms | (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 12 |
| 1 | 17 | 11 |
| 2 | 25 | 11 |
| 3 | 36 | 11 |
| 4 | 62 | 11 |
| 5 | 123 | 11 |
| 6 | 269 | 11 |
| 7 | 749 | 11 |
| 8 | 2500 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 19 | 11 |
| 2 | 28 | 11 |
| 3 | 39 | 11 |
| 4 | 68 | 11 |
| 5 | 127 | 11 |
| 6 | 284 | 11 |
| 7 | 750 | 11 |
| 8 | 2494 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 23 |
| 1 | 17 | 23 |
| 2 | 24 | 23 |
| 3 | 32 | 23 |
| 4 | 55 | 23 |
| 5 | 111 | 23 |
| 6 | 253 | 23 |
| 7 | 712 | 23 |
| 8 | 2462 | 23 |
| done | 5001 | 23 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 32 |
| 1 | 18 | 32 |
| 2 | 39 | 12 |
| 3 | 97 | 12 |
| 4 | 272 | 12 |
| 5 | 784 | 12 |
| 6 | 2465 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 14 |
| 1 | 34 | 14 |
| 2 | 79 | 14 |
| 3 | 185 | 14 |
| 4 | 492 | 14 |
| 5 | 1604 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 32 |
| 1 | 30 | 30 |
| 2 | 53 | 30 |
| 3 | 70 | 23 |
| 4 | 119 | 23 |
| 5 | 232 | 23 |
| 6 | 674 | 23 |
| 7 | 2916 | 23 |
| done | 5001 | 23 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 11 | 21 |
| 1 | 24 | 21 |
| 2 | 43 | 21 |
| 3 | 73 | 21 |
| 4 | 150 | 21 |
| 5 | 314 | 21 |
| 6 | 811 | 21 |
| 7 | 3179 | 21 |
| done | 5000 | 21 |
| 0 | 9 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 109 | 10 |
| 6 | 255 | 10 |
| 7 | 720 | 10 |
| 8 | 2464 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 16 | 12 |
| 2 | 22 | 12 |
| 3 | 30 | 12 |
| 4 | 53 | 12 |
| 5 | 111 | 12 |
| 6 | 256 | 12 |
| 7 | 721 | 12 |
| 8 | 2461 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 12 |
| 1 | 17 | 12 |
| 2 | 24 | 12 |
| 3 | 32 | 12 |
| 4 | 55 | 12 |
| 5 | 111 | 12 |
| 6 | 253 | 12 |
| 7 | 712 | 12 |
| 8 | 2462 | 12 |
| done | 5001 | 12 |
| 0 | 12 | 13 |
| 1 | 17 | 13 |
| 2 | 23 | 13 |
| 3 | 31 | 13 |
| 4 | 54 | 13 |
| 5 | 112 | 13 |
| 6 | 256 | 13 |
| 7 | 717 | 13 |
| 8 | 2468 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 13 |
| 1 | 18 | 13 |
| 2 | 25 | 13 |
| 3 | 33 | 13 |
| 4 | 56 | 13 |
| 5 | 114 | 13 |
| 6 | 258 | 13 |
| 7 | 713 | 13 |
| 8 | 2444 | 13 |
| done | 5001 | 13 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 22 | 10 |
| 3 | 30 | 10 |
| 4 | 53 | 10 |
| 5 | 111 | 10 |
| 6 | 256 | 10 |
| 7 | 721 | 10 |
| 8 | 2461 | 10 |
| done | 5000 | 10 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 8 | 8 |
| 1 | 14 | 7 |
| 2 | 21 | 7 |
| 3 | 31 | 7 |
| 4 | 61 | 7 |
| 5 | 141 | 7 |
| 6 | 369 | 7 |
| 7 | 1167 | 7 |
| 8 | 4717 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 48 | 7 |
| 5 | 104 | 7 |
| 6 | 247 | 7 |
| 7 | 704 | 7 |
| 8 | 2417 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 21 | 7 |
| 3 | 31 | 7 |
| 4 | 61 | 7 |
| 5 | 141 | 7 |
| 6 | 371 | 7 |
| 7 | 1172 | 7 |
| 8 | 4706 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 15 |
| 1 | 12 | 15 |
| 2 | 18 | 15 |
| 3 | 26 | 15 |
| 4 | 49 | 15 |
| 5 | 107 | 15 |
| 6 | 247 | 15 |
| 7 | 707 | 15 |
| 8 | 2452 | 15 |
| done | 5001 | 15 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 48 | 7 |
| 5 | 104 | 7 |
| 6 | 247 | 7 |
| 7 | 704 | 7 |
| 8 | 2417 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 20 |
| 1 | 25 | 20 |
| 2 | 63 | 8 |
| 3 | 167 | 8 |
| 4 | 573 | 8 |
| 5 | 2252 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 48 | 7 |
| 5 | 104 | 7 |
| 6 | 247 | 7 |
| 7 | 704 | 7 |
| 8 | 2417 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 48 | 7 |
| 5 | 104 | 7 |
| 6 | 247 | 7 |
| 7 | 704 | 7 |
| 8 | 2417 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 44 | 10 |
| 3 | 96 | 10 |
| 4 | 241 | 10 |
| 5 | 751 | 10 |
| 6 | 3651 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 20 |
| 1 | 23 | 15 |
| 2 | 51 | 15 |
| 3 | 104 | 15 |
| 4 | 255 | 15 |
| 5 | 664 | 15 |
| 6 | 2061 | 15 |
| done | 5000 | 15 |
| 0 | 8 | 13 |
| 1 | 18 | 12 |
| 2 | 38 | 10 |
| 3 | 85 | 10 |
| 4 | 220 | 10 |
| 5 | 736 | 10 |
| 6 | 3041 | 10 |
| done | 5000 | 10 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 29 | 6 |
| 4 | 62 | 6 |
| 5 | 149 | 6 |
| 6 | 394 | 6 |
| 7 | 1239 | 6 |
| 8 | 4716 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| 3 | 24 | 6 |
| 4 | 47 | 6 |
| 5 | 103 | 6 |
| 6 | 240 | 6 |
| 7 | 696 | 6 |
| 8 | 2438 | 6 |
| done | 5001 | 6 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 23 | 10 |
| 3 | 31 | 10 |
| 4 | 54 | 10 |
| 5 | 110 | 10 |
| 6 | 254 | 10 |
| 7 | 710 | 10 |
| 8 | 2460 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 24 | 9 |
| 3 | 33 | 9 |
| 4 | 56 | 9 |
| 5 | 114 | 9 |
| 6 | 258 | 9 |
| 7 | 711 | 9 |
| 8 | 2448 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 26 |
| 1 | 37 | 26 |
| 2 | 105 | 12 |
| 3 | 271 | 10 |
| 4 | 784 | 10 |
| 5 | 2753 | 10 |
| done | 5001 | 10 |
| 0 | 10 | 19 |
| 1 | 14 | 19 |
| 2 | 20 | 19 |
| 3 | 28 | 19 |
| 4 | 51 | 19 |
| 5 | 109 | 19 |
| 6 | 255 | 19 |
| 7 | 720 | 19 |
| 8 | 2475 | 19 |
| done | 5000 | 19 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 10 | 26 |
| 1 | 21 | 26 |
| 2 | 43 | 10 |
| 3 | 88 | 10 |
| 4 | 192 | 10 |
| 5 | 430 | 10 |
| 6 | 1366 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 22 | 7 |
| 3 | 34 | 7 |
| 4 | 67 | 7 |
| 5 | 150 | 7 |
| 6 | 395 | 7 |
| 7 | 1235 | 7 |
| 8 | 4694 | 7 |
| done | 5001 | 7 |
| 0 | 12 | 21 |
| 1 | 22 | 21 |
| 2 | 37 | 21 |
| 3 | 51 | 21 |
| 4 | 74 | 21 |
| 5 | 130 | 21 |
| 6 | 276 | 21 |
| 7 | 734 | 21 |
| 8 | 2499 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 11 | 13 |
| 1 | 17 | 13 |
| 2 | 25 | 13 |
| 3 | 34 | 13 |
| 4 | 57 | 13 |
| 5 | 115 | 13 |
| 6 | 263 | 13 |
| 7 | 733 | 13 |
| 8 | 2475 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 5 | 7 |
| 1 | 9 | 5 |
| 2 | 15 | 5 |
| 3 | 20 | 5 |
| done | 20 | 5 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 253 | 9 |
| 7 | 719 | 9 |
| 8 | 2481 | 9 |
| done | 5000 | 9 |
| 0 | 5 | 7 |
| 1 | 9 | 5 |
| 2 | 15 | 5 |
| 3 | 20 | 5 |
| done | 20 | 5 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 253 | 9 |
| 7 | 719 | 9 |
| 8 | 2481 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 18 |
| 1 | 17 | 18 |
| 2 | 23 | 18 |
| 3 | 31 | 18 |
| 4 | 54 | 18 |
| 5 | 112 | 18 |
| 6 | 256 | 18 |
| 7 | 717 | 18 |
| 8 | 2468 | 18 |
| done | 5000 | 18 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 4 | 4 |
| 1 | 6 | 2 |
| 2 | 8 | 2 |
| done | 8 | 2 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 253 | 9 |
| 7 | 719 | 9 |
| 8 | 2481 | 9 |
| done | 5000 | 9 |
| 0 | 4 | 4 |
| 1 | 6 | 2 |
| 2 | 8 | 2 |
| done | 8 | 2 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 253 | 9 |
| 7 | 719 | 9 |
| 8 | 2481 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 17 |
| 1 | 18 | 17 |
| 2 | 24 | 17 |
| 3 | 32 | 17 |
| 4 | 55 | 17 |
| 5 | 110 | 17 |
| 6 | 250 | 17 |
| 7 | 708 | 17 |
| 8 | 2470 | 17 |
| done | 5000 | 17 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 21 | 9 |
| 3 | 29 | 9 |
| 4 | 52 | 9 |
| 5 | 109 | 9 |
| 6 | 250 | 9 |
| 7 | 709 | 9 |
| 8 | 2438 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2463 | 8 |
| done | 5001 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2463 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 20 | 8 |
| 3 | 28 | 8 |
| 4 | 51 | 8 |
| 5 | 108 | 8 |
| 6 | 252 | 8 |
| 7 | 712 | 8 |
| 8 | 2451 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
| 0 | 10 | 17 |
| 1 | 16 | 17 |
| 2 | 22 | 17 |
| 3 | 30 | 17 |
| 4 | 53 | 17 |
| 5 | 111 | 17 |
| 6 | 256 | 17 |
| 7 | 721 | 17 |
| 8 | 2461 | 17 |
| done | 5000 | 17 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 3 | 3 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 3 | 3 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2459 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2459 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
| 0 | 11 | 12 |
| 1 | 28 | 12 |
| 2 | 46 | 12 |
| 3 | 98 | 12 |
| 4 | 241 | 12 |
| 5 | 764 | 12 |
| 6 | 3661 | 12 |
| done | 5001 | 12 |
| 0 | 10 | 15 |
| 1 | 20 | 14 |
| 2 | 42 | 12 |
| 3 | 91 | 12 |
| 4 | 225 | 12 |
| 5 | 734 | 12 |
| 6 | 3045 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 15 |
| 1 | 32 | 15 |
| 2 | 69 | 15 |
| 3 | 184 | 15 |
| 4 | 420 | 15 |
| 5 | 1197 | 13 |
| done | 5001 | 13 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 11 |
| 1 | 20 | 11 |
| 2 | 49 | 11 |
| 3 | 76 | 9 |
| 4 | 114 | 9 |
| 5 | 169 | 9 |
| 6 | 277 | 9 |
| 7 | 477 | 9 |
| 8 | 812 | 9 |
| 9 | 1959 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| 3 | 24 | 6 |
| 4 | 47 | 6 |
| 5 | 103 | 6 |
| 6 | 240 | 6 |
| 7 | 699 | 6 |
| 8 | 2440 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| 3 | 24 | 6 |
| 4 | 47 | 6 |
| 5 | 103 | 6 |
| 6 | 240 | 6 |
| 7 | 699 | 6 |
| 8 | 2440 | 6 |
| done | 5000 | 6 |
| 0 | 9 | 11 |
| 1 | 24 | 11 |
| 2 | 58 | 11 |
| 3 | 131 | 11 |
| 4 | 282 | 11 |
| 5 | 649 | 11 |
| 6 | 2066 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 67 | 2 | 69 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 68 | 2 | 70 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) |
| 0.0b | (+ 1.0 (exp (* -2.0 x))) |
| 0.0b | (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)) |
| 2.7b | (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) |
| 32× | *-un-lft-identity |
| 31× | add-sqr-sqrt |
| 18× | cbrt-prod |
| 16× | add-cube-cbrt |
| 15× | times-frac |
| 8× | add-log-exp |
| 6× | add-exp-log unpow-prod-down cube-prod add-cbrt-cube difference-of-squares |
| 5× | distribute-lft-out |
| 4× | pow1 associate-/r* |
| 3× | associate-/l* distribute-lft-out-- |
| 2× | cube-div cbrt-div flip3-- flip3-+ associate-/r/ flip-- flip-+ |
| 1× | cbrt-undiv +-commutative cube-mult sub-neg frac-2neg pow1/3 diff-log unpow3 div-exp clear-num sum-log rem-cbrt-cube div-inv sqr-pow |
| 6.0ms | (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) |
| 4.0ms | (+ 1.0 (exp (* -2.0 x))) |
| 13.0ms | (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)) |
| 12.0ms | (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) |
| 6.0ms | (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) |
| 2.0ms | (+ 1.0 (exp (* -2.0 x))) |
| 9.0ms | (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)) |
| 13.0ms | (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 12 |
| 1 | 17 | 11 |
| 2 | 25 | 11 |
| 3 | 36 | 11 |
| 4 | 62 | 11 |
| 5 | 123 | 11 |
| 6 | 269 | 11 |
| 7 | 749 | 11 |
| 8 | 2500 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 19 | 11 |
| 2 | 28 | 11 |
| 3 | 39 | 11 |
| 4 | 68 | 11 |
| 5 | 127 | 11 |
| 6 | 284 | 11 |
| 7 | 750 | 11 |
| 8 | 2494 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 23 |
| 1 | 17 | 23 |
| 2 | 24 | 23 |
| 3 | 32 | 23 |
| 4 | 55 | 23 |
| 5 | 111 | 23 |
| 6 | 253 | 23 |
| 7 | 712 | 23 |
| 8 | 2462 | 23 |
| done | 5001 | 23 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 32 |
| 1 | 18 | 32 |
| 2 | 39 | 12 |
| 3 | 97 | 12 |
| 4 | 272 | 12 |
| 5 | 784 | 12 |
| 6 | 2465 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 14 |
| 1 | 34 | 14 |
| 2 | 79 | 14 |
| 3 | 185 | 14 |
| 4 | 492 | 14 |
| 5 | 1604 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 32 |
| 1 | 30 | 30 |
| 2 | 53 | 30 |
| 3 | 70 | 23 |
| 4 | 119 | 23 |
| 5 | 232 | 23 |
| 6 | 674 | 23 |
| 7 | 2916 | 23 |
| done | 5001 | 23 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 11 | 21 |
| 1 | 24 | 21 |
| 2 | 43 | 21 |
| 3 | 73 | 21 |
| 4 | 150 | 21 |
| 5 | 314 | 21 |
| 6 | 811 | 21 |
| 7 | 3179 | 21 |
| done | 5000 | 21 |
| 0 | 9 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 109 | 10 |
| 6 | 255 | 10 |
| 7 | 720 | 10 |
| 8 | 2464 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 16 | 12 |
| 2 | 22 | 12 |
| 3 | 30 | 12 |
| 4 | 53 | 12 |
| 5 | 111 | 12 |
| 6 | 256 | 12 |
| 7 | 721 | 12 |
| 8 | 2461 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 12 |
| 1 | 17 | 12 |
| 2 | 24 | 12 |
| 3 | 32 | 12 |
| 4 | 55 | 12 |
| 5 | 111 | 12 |
| 6 | 253 | 12 |
| 7 | 712 | 12 |
| 8 | 2462 | 12 |
| done | 5001 | 12 |
| 0 | 12 | 13 |
| 1 | 17 | 13 |
| 2 | 23 | 13 |
| 3 | 31 | 13 |
| 4 | 54 | 13 |
| 5 | 112 | 13 |
| 6 | 256 | 13 |
| 7 | 717 | 13 |
| 8 | 2468 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 13 |
| 1 | 18 | 13 |
| 2 | 25 | 13 |
| 3 | 33 | 13 |
| 4 | 56 | 13 |
| 5 | 114 | 13 |
| 6 | 258 | 13 |
| 7 | 713 | 13 |
| 8 | 2444 | 13 |
| done | 5001 | 13 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 22 | 10 |
| 3 | 30 | 10 |
| 4 | 53 | 10 |
| 5 | 111 | 10 |
| 6 | 256 | 10 |
| 7 | 721 | 10 |
| 8 | 2461 | 10 |
| done | 5000 | 10 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 51 | 11 |
| 3 | 115 | 11 |
| 4 | 305 | 11 |
| 5 | 870 | 11 |
| 6 | 2708 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 56 | 11 |
| 3 | 123 | 11 |
| 4 | 319 | 11 |
| 5 | 886 | 11 |
| 6 | 2740 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 26 |
| 1 | 30 | 23 |
| 2 | 57 | 14 |
| 3 | 110 | 14 |
| 4 | 269 | 14 |
| 5 | 694 | 13 |
| 6 | 2104 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 39 | 11 |
| 3 | 57 | 11 |
| 4 | 101 | 11 |
| 5 | 212 | 11 |
| 6 | 554 | 11 |
| 7 | 1925 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 39 | 11 |
| 3 | 66 | 11 |
| 4 | 118 | 11 |
| 5 | 239 | 11 |
| 6 | 579 | 11 |
| 7 | 1953 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 39 | 11 |
| 3 | 66 | 11 |
| 4 | 118 | 11 |
| 5 | 239 | 11 |
| 6 | 579 | 11 |
| 7 | 1953 | 11 |
| done | 5000 | 11 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 12 | 13 |
| 1 | 26 | 10 |
| 2 | 50 | 10 |
| 3 | 114 | 10 |
| 4 | 304 | 10 |
| 5 | 871 | 10 |
| 6 | 2699 | 10 |
| done | 5000 | 10 |
| 0 | 14 | 15 |
| 1 | 27 | 12 |
| 2 | 54 | 12 |
| 3 | 104 | 12 |
| 4 | 214 | 12 |
| 5 | 517 | 12 |
| 6 | 1570 | 12 |
| 7 | 4071 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 15 |
| 1 | 28 | 12 |
| 2 | 52 | 12 |
| 3 | 108 | 12 |
| 4 | 255 | 12 |
| 5 | 695 | 12 |
| 6 | 2258 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 16 |
| 1 | 28 | 13 |
| 2 | 55 | 13 |
| 3 | 113 | 13 |
| 4 | 266 | 13 |
| 5 | 672 | 13 |
| 6 | 1905 | 13 |
| 7 | 4885 | 13 |
| done | 5000 | 13 |
| 0 | 15 | 16 |
| 1 | 29 | 13 |
| 2 | 53 | 13 |
| 3 | 117 | 13 |
| 4 | 307 | 13 |
| 5 | 875 | 13 |
| 6 | 2723 | 13 |
| done | 5000 | 13 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 12 | 13 |
| 1 | 26 | 10 |
| 2 | 50 | 10 |
| 3 | 114 | 10 |
| 4 | 304 | 10 |
| 5 | 871 | 10 |
| 6 | 2699 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 22 |
| 1 | 17 | 22 |
| 2 | 30 | 22 |
| 3 | 59 | 22 |
| 4 | 131 | 22 |
| 5 | 256 | 22 |
| 6 | 501 | 22 |
| 7 | 1144 | 22 |
| 8 | 3441 | 22 |
| done | 5000 | 22 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 14 | 28 |
| 1 | 27 | 22 |
| 2 | 51 | 22 |
| 3 | 115 | 22 |
| 4 | 305 | 22 |
| 5 | 868 | 22 |
| 6 | 2728 | 22 |
| done | 5000 | 22 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 51 | 11 |
| 3 | 115 | 11 |
| 4 | 305 | 11 |
| 5 | 870 | 11 |
| 6 | 2708 | 11 |
| done | 5000 | 11 |
| 0 | 14 | 26 |
| 1 | 30 | 23 |
| 2 | 57 | 14 |
| 3 | 110 | 14 |
| 4 | 269 | 14 |
| 5 | 694 | 13 |
| 6 | 2104 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 39 | 11 |
| 3 | 57 | 11 |
| 4 | 101 | 11 |
| 5 | 212 | 11 |
| 6 | 554 | 11 |
| 7 | 1925 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 39 | 11 |
| 3 | 66 | 11 |
| 4 | 118 | 11 |
| 5 | 239 | 11 |
| 6 | 579 | 11 |
| 7 | 1953 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 39 | 11 |
| 3 | 66 | 11 |
| 4 | 118 | 11 |
| 5 | 239 | 11 |
| 6 | 579 | 11 |
| 7 | 1953 | 11 |
| done | 5000 | 11 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 12 | 13 |
| 1 | 26 | 10 |
| 2 | 50 | 10 |
| 3 | 114 | 10 |
| 4 | 304 | 10 |
| 5 | 871 | 10 |
| 6 | 2699 | 10 |
| done | 5000 | 10 |
| 0 | 14 | 15 |
| 1 | 27 | 12 |
| 2 | 54 | 12 |
| 3 | 104 | 12 |
| 4 | 214 | 12 |
| 5 | 517 | 12 |
| 6 | 1570 | 12 |
| 7 | 4071 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 15 |
| 1 | 28 | 12 |
| 2 | 52 | 12 |
| 3 | 108 | 12 |
| 4 | 255 | 12 |
| 5 | 695 | 12 |
| 6 | 2258 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 16 |
| 1 | 28 | 13 |
| 2 | 55 | 13 |
| 3 | 113 | 13 |
| 4 | 266 | 13 |
| 5 | 672 | 13 |
| 6 | 1905 | 13 |
| 7 | 4885 | 13 |
| done | 5000 | 13 |
| 0 | 15 | 16 |
| 1 | 29 | 13 |
| 2 | 53 | 13 |
| 3 | 117 | 13 |
| 4 | 307 | 13 |
| 5 | 875 | 13 |
| 6 | 2723 | 13 |
| done | 5000 | 13 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 12 | 13 |
| 1 | 26 | 10 |
| 2 | 50 | 10 |
| 3 | 114 | 10 |
| 4 | 304 | 10 |
| 5 | 871 | 10 |
| 6 | 2699 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 23 | 11 |
| 3 | 31 | 11 |
| 4 | 54 | 11 |
| 5 | 112 | 11 |
| 6 | 253 | 11 |
| 7 | 711 | 11 |
| 8 | 2461 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 22 |
| 1 | 17 | 22 |
| 2 | 30 | 22 |
| 3 | 59 | 22 |
| 4 | 131 | 22 |
| 5 | 256 | 22 |
| 6 | 501 | 22 |
| 7 | 1144 | 22 |
| 8 | 3441 | 22 |
| done | 5000 | 22 |
| 0 | 13 | 14 |
| 1 | 27 | 14 |
| 2 | 52 | 14 |
| 3 | 116 | 14 |
| 4 | 306 | 14 |
| 5 | 872 | 14 |
| 6 | 2704 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 14 |
| 1 | 27 | 14 |
| 2 | 52 | 14 |
| 3 | 116 | 14 |
| 4 | 306 | 14 |
| 5 | 872 | 14 |
| 6 | 2704 | 14 |
| done | 5000 | 14 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 12 | 13 |
| 1 | 26 | 10 |
| 2 | 50 | 10 |
| 3 | 114 | 10 |
| 4 | 304 | 10 |
| 5 | 871 | 10 |
| 6 | 2699 | 10 |
| done | 5000 | 10 |
| 0 | 14 | 15 |
| 1 | 24 | 13 |
| 2 | 37 | 13 |
| 3 | 55 | 13 |
| 4 | 99 | 13 |
| 5 | 212 | 13 |
| 6 | 554 | 13 |
| 7 | 1927 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 15 |
| 1 | 24 | 13 |
| 2 | 37 | 13 |
| 3 | 55 | 13 |
| 4 | 99 | 13 |
| 5 | 212 | 13 |
| 6 | 554 | 13 |
| 7 | 1927 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 17 |
| 1 | 41 | 14 |
| 2 | 101 | 14 |
| 3 | 364 | 14 |
| 4 | 2386 | 14 |
| done | 5001 | 14 |
| 0 | 16 | 35 |
| 1 | 41 | 30 |
| 2 | 97 | 30 |
| 3 | 368 | 23 |
| 4 | 2193 | 23 |
| done | 5000 | 23 |
| 0 | 14 | 24 |
| 1 | 35 | 21 |
| 2 | 85 | 21 |
| 3 | 321 | 21 |
| 4 | 1799 | 21 |
| done | 5001 | 21 |
| 0 | 12 | 13 |
| 1 | 25 | 10 |
| 2 | 52 | 10 |
| 3 | 110 | 10 |
| 4 | 263 | 10 |
| 5 | 664 | 10 |
| 6 | 1894 | 10 |
| 7 | 4928 | 10 |
| done | 5000 | 10 |
| 0 | 14 | 29 |
| 1 | 28 | 23 |
| 2 | 52 | 23 |
| 3 | 116 | 23 |
| 4 | 306 | 23 |
| 5 | 874 | 23 |
| 6 | 2718 | 23 |
| done | 5001 | 23 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 51 | 11 |
| 3 | 115 | 11 |
| 4 | 305 | 11 |
| 5 | 870 | 11 |
| 6 | 2708 | 11 |
| done | 5000 | 11 |
| 0 | 14 | 41 |
| 1 | 26 | 12 |
| 2 | 50 | 12 |
| 3 | 114 | 12 |
| 4 | 304 | 12 |
| 5 | 869 | 12 |
| 6 | 2717 | 12 |
| done | 5001 | 12 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 51 | 11 |
| 3 | 115 | 11 |
| 4 | 305 | 11 |
| 5 | 870 | 11 |
| 6 | 2708 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 27 | 11 |
| 2 | 51 | 11 |
| 3 | 115 | 11 |
| 4 | 305 | 11 |
| 5 | 870 | 11 |
| 6 | 2708 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 8 |
| 1 | 14 | 7 |
| 2 | 21 | 7 |
| 3 | 31 | 7 |
| 4 | 61 | 7 |
| 5 | 141 | 7 |
| 6 | 369 | 7 |
| 7 | 1167 | 7 |
| 8 | 4717 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 48 | 7 |
| 5 | 104 | 7 |
| 6 | 247 | 7 |
| 7 | 704 | 7 |
| 8 | 2417 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 21 | 7 |
| 3 | 31 | 7 |
| 4 | 61 | 7 |
| 5 | 141 | 7 |
| 6 | 371 | 7 |
| 7 | 1172 | 7 |
| 8 | 4706 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 15 |
| 1 | 12 | 15 |
| 2 | 18 | 15 |
| 3 | 26 | 15 |
| 4 | 49 | 15 |
| 5 | 107 | 15 |
| 6 | 247 | 15 |
| 7 | 707 | 15 |
| 8 | 2452 | 15 |
| done | 5001 | 15 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 48 | 7 |
| 5 | 104 | 7 |
| 6 | 247 | 7 |
| 7 | 704 | 7 |
| 8 | 2417 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 20 |
| 1 | 25 | 20 |
| 2 | 63 | 8 |
| 3 | 167 | 8 |
| 4 | 573 | 8 |
| 5 | 2252 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 48 | 7 |
| 5 | 104 | 7 |
| 6 | 247 | 7 |
| 7 | 704 | 7 |
| 8 | 2417 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 48 | 7 |
| 5 | 104 | 7 |
| 6 | 247 | 7 |
| 7 | 704 | 7 |
| 8 | 2417 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 44 | 10 |
| 3 | 96 | 10 |
| 4 | 241 | 10 |
| 5 | 751 | 10 |
| 6 | 3651 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 20 |
| 1 | 23 | 15 |
| 2 | 51 | 15 |
| 3 | 104 | 15 |
| 4 | 255 | 15 |
| 5 | 664 | 15 |
| 6 | 2061 | 15 |
| done | 5000 | 15 |
| 0 | 8 | 13 |
| 1 | 18 | 12 |
| 2 | 38 | 10 |
| 3 | 85 | 10 |
| 4 | 220 | 10 |
| 5 | 736 | 10 |
| 6 | 3041 | 10 |
| done | 5000 | 10 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 29 | 6 |
| 4 | 62 | 6 |
| 5 | 149 | 6 |
| 6 | 394 | 6 |
| 7 | 1239 | 6 |
| 8 | 4716 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| 3 | 24 | 6 |
| 4 | 47 | 6 |
| 5 | 103 | 6 |
| 6 | 240 | 6 |
| 7 | 696 | 6 |
| 8 | 2438 | 6 |
| done | 5001 | 6 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 23 | 10 |
| 3 | 31 | 10 |
| 4 | 54 | 10 |
| 5 | 110 | 10 |
| 6 | 254 | 10 |
| 7 | 710 | 10 |
| 8 | 2460 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 24 | 9 |
| 3 | 33 | 9 |
| 4 | 56 | 9 |
| 5 | 114 | 9 |
| 6 | 258 | 9 |
| 7 | 711 | 9 |
| 8 | 2448 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 26 |
| 1 | 37 | 26 |
| 2 | 105 | 12 |
| 3 | 271 | 10 |
| 4 | 784 | 10 |
| 5 | 2753 | 10 |
| done | 5001 | 10 |
| 0 | 10 | 19 |
| 1 | 14 | 19 |
| 2 | 20 | 19 |
| 3 | 28 | 19 |
| 4 | 51 | 19 |
| 5 | 109 | 19 |
| 6 | 255 | 19 |
| 7 | 720 | 19 |
| 8 | 2475 | 19 |
| done | 5000 | 19 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 10 | 26 |
| 1 | 21 | 26 |
| 2 | 43 | 10 |
| 3 | 88 | 10 |
| 4 | 192 | 10 |
| 5 | 430 | 10 |
| 6 | 1366 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 22 | 7 |
| 3 | 34 | 7 |
| 4 | 67 | 7 |
| 5 | 150 | 7 |
| 6 | 395 | 7 |
| 7 | 1235 | 7 |
| 8 | 4694 | 7 |
| done | 5001 | 7 |
| 0 | 12 | 21 |
| 1 | 22 | 21 |
| 2 | 37 | 21 |
| 3 | 51 | 21 |
| 4 | 74 | 21 |
| 5 | 130 | 21 |
| 6 | 276 | 21 |
| 7 | 734 | 21 |
| 8 | 2499 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 11 | 13 |
| 1 | 17 | 13 |
| 2 | 25 | 13 |
| 3 | 34 | 13 |
| 4 | 57 | 13 |
| 5 | 115 | 13 |
| 6 | 263 | 13 |
| 7 | 733 | 13 |
| 8 | 2475 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 5 | 7 |
| 1 | 9 | 5 |
| 2 | 15 | 5 |
| 3 | 20 | 5 |
| done | 20 | 5 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 253 | 9 |
| 7 | 719 | 9 |
| 8 | 2481 | 9 |
| done | 5000 | 9 |
| 0 | 5 | 7 |
| 1 | 9 | 5 |
| 2 | 15 | 5 |
| 3 | 20 | 5 |
| done | 20 | 5 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 253 | 9 |
| 7 | 719 | 9 |
| 8 | 2481 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 18 |
| 1 | 17 | 18 |
| 2 | 23 | 18 |
| 3 | 31 | 18 |
| 4 | 54 | 18 |
| 5 | 112 | 18 |
| 6 | 256 | 18 |
| 7 | 717 | 18 |
| 8 | 2468 | 18 |
| done | 5000 | 18 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 20 | 10 |
| 3 | 28 | 10 |
| 4 | 51 | 10 |
| 5 | 107 | 10 |
| 6 | 252 | 10 |
| 7 | 712 | 10 |
| 8 | 2456 | 10 |
| done | 5001 | 10 |
| 0 | 4 | 4 |
| 1 | 6 | 2 |
| 2 | 8 | 2 |
| done | 8 | 2 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 253 | 9 |
| 7 | 719 | 9 |
| 8 | 2481 | 9 |
| done | 5000 | 9 |
| 0 | 4 | 4 |
| 1 | 6 | 2 |
| 2 | 8 | 2 |
| done | 8 | 2 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 253 | 9 |
| 7 | 719 | 9 |
| 8 | 2481 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 17 |
| 1 | 18 | 17 |
| 2 | 24 | 17 |
| 3 | 32 | 17 |
| 4 | 55 | 17 |
| 5 | 110 | 17 |
| 6 | 250 | 17 |
| 7 | 708 | 17 |
| 8 | 2470 | 17 |
| done | 5000 | 17 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 21 | 9 |
| 3 | 29 | 9 |
| 4 | 52 | 9 |
| 5 | 109 | 9 |
| 6 | 250 | 9 |
| 7 | 709 | 9 |
| 8 | 2438 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2463 | 8 |
| done | 5001 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2463 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 20 | 8 |
| 3 | 28 | 8 |
| 4 | 51 | 8 |
| 5 | 108 | 8 |
| 6 | 252 | 8 |
| 7 | 712 | 8 |
| 8 | 2451 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
| 0 | 10 | 17 |
| 1 | 16 | 17 |
| 2 | 22 | 17 |
| 3 | 30 | 17 |
| 4 | 53 | 17 |
| 5 | 111 | 17 |
| 6 | 256 | 17 |
| 7 | 721 | 17 |
| 8 | 2461 | 17 |
| done | 5000 | 17 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 3 | 3 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 3 | 3 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2459 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2459 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
| 0 | 11 | 12 |
| 1 | 28 | 12 |
| 2 | 46 | 12 |
| 3 | 98 | 12 |
| 4 | 241 | 12 |
| 5 | 764 | 12 |
| 6 | 3661 | 12 |
| done | 5001 | 12 |
| 0 | 10 | 15 |
| 1 | 20 | 14 |
| 2 | 42 | 12 |
| 3 | 91 | 12 |
| 4 | 225 | 12 |
| 5 | 734 | 12 |
| 6 | 3045 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 15 |
| 1 | 32 | 15 |
| 2 | 69 | 15 |
| 3 | 184 | 15 |
| 4 | 420 | 15 |
| 5 | 1197 | 13 |
| done | 5001 | 13 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 15 |
| 1 | 32 | 15 |
| 2 | 69 | 15 |
| 3 | 184 | 15 |
| 4 | 420 | 15 |
| 5 | 1197 | 13 |
| done | 5001 | 13 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 11 |
| 1 | 20 | 11 |
| 2 | 49 | 11 |
| 3 | 76 | 9 |
| 4 | 114 | 9 |
| 5 | 169 | 9 |
| 6 | 277 | 9 |
| 7 | 477 | 9 |
| 8 | 812 | 9 |
| 9 | 1959 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| 3 | 24 | 6 |
| 4 | 47 | 6 |
| 5 | 103 | 6 |
| 6 | 240 | 6 |
| 7 | 699 | 6 |
| 8 | 2440 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| 3 | 24 | 6 |
| 4 | 47 | 6 |
| 5 | 103 | 6 |
| 6 | 240 | 6 |
| 7 | 699 | 6 |
| 8 | 2440 | 6 |
| done | 5000 | 6 |
| 0 | 9 | 11 |
| 1 | 24 | 11 |
| 2 | 58 | 11 |
| 3 | 131 | 11 |
| 4 | 282 | 11 |
| 5 | 649 | 11 |
| 6 | 2066 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 100 | 1 | 101 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 101 | 2 | 103 |
Merged error: 0b
Found 4 expressions with local error:
| 0.0b | (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) |
| 0.0b | (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) |
| 0.0b | (cbrt (pow (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) 3)) |
| 2.7b | (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) |
| 88× | cbrt-prod |
| 86× | add-sqr-sqrt |
| 71× | *-un-lft-identity |
| 54× | times-frac |
| 53× | unpow-prod-down cube-prod |
| 41× | add-cube-cbrt |
| 21× | difference-of-squares |
| 12× | distribute-lft-out |
| 8× | associate-/r/ |
| 7× | add-exp-log add-cbrt-cube |
| 6× | add-log-exp sqr-pow |
| 5× | pow1 |
| 4× | cube-div flip3-+ flip-+ div-inv |
| 3× | cube-mult pow-unpow cbrt-div unpow3 distribute-lft-out-- |
| 2× | flip3-- pow1/3 pow-exp flip-- rem-cbrt-cube rem-cube-cbrt |
| 1× | cbrt-undiv pow-to-exp sub-neg pow-pow diff-log div-exp |
| 9.0ms | (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) |
| 13.0ms | (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) |
| 24.0ms | (cbrt (pow (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) 3)) |
| 22.0ms | (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) |
| 7.0ms | (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) |
| 11.0ms | (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) |
| 9.0ms | (cbrt (pow (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) 3)) |
| 10.0ms | (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 15 |
| 1 | 31 | 11 |
| 2 | 62 | 11 |
| 3 | 147 | 11 |
| 4 | 392 | 11 |
| 5 | 1225 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 30 | 11 |
| 2 | 60 | 11 |
| 3 | 142 | 11 |
| 4 | 384 | 11 |
| 5 | 1218 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 33 | 11 |
| 2 | 65 | 11 |
| 3 | 150 | 11 |
| 4 | 398 | 11 |
| 5 | 1222 | 11 |
| done | 5000 | 11 |
| 0 | 14 | 29 |
| 1 | 31 | 23 |
| 2 | 61 | 23 |
| 3 | 143 | 23 |
| 4 | 385 | 23 |
| 5 | 1226 | 23 |
| done | 5000 | 23 |
| 0 | 13 | 14 |
| 1 | 30 | 11 |
| 2 | 60 | 11 |
| 3 | 142 | 11 |
| 4 | 384 | 11 |
| 5 | 1218 | 11 |
| done | 5000 | 11 |
| 0 | 14 | 41 |
| 1 | 32 | 32 |
| 2 | 75 | 12 |
| 3 | 204 | 12 |
| 4 | 586 | 12 |
| 5 | 1883 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 14 |
| 1 | 30 | 11 |
| 2 | 60 | 11 |
| 3 | 142 | 11 |
| 4 | 384 | 11 |
| 5 | 1218 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 14 |
| 1 | 30 | 11 |
| 2 | 60 | 11 |
| 3 | 142 | 11 |
| 4 | 384 | 11 |
| 5 | 1218 | 11 |
| done | 5000 | 11 |
| 0 | 14 | 17 |
| 1 | 38 | 14 |
| 2 | 83 | 14 |
| 3 | 189 | 14 |
| 4 | 494 | 14 |
| 5 | 1598 | 14 |
| done | 5001 | 14 |
| 0 | 16 | 41 |
| 1 | 37 | 30 |
| 2 | 78 | 30 |
| 3 | 166 | 23 |
| 4 | 410 | 23 |
| 5 | 1241 | 23 |
| done | 5000 | 23 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 14 | 27 |
| 1 | 33 | 21 |
| 2 | 69 | 21 |
| 3 | 166 | 21 |
| 4 | 440 | 21 |
| 5 | 1320 | 21 |
| done | 5000 | 21 |
| 0 | 12 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 139 | 10 |
| 4 | 381 | 10 |
| 5 | 1211 | 10 |
| done | 5000 | 10 |
| 0 | 14 | 15 |
| 1 | 27 | 12 |
| 2 | 38 | 12 |
| 3 | 61 | 12 |
| 4 | 109 | 12 |
| 5 | 226 | 12 |
| 6 | 567 | 12 |
| 7 | 1969 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 15 |
| 1 | 28 | 12 |
| 2 | 40 | 12 |
| 3 | 63 | 12 |
| 4 | 111 | 12 |
| 5 | 222 | 12 |
| 6 | 564 | 12 |
| 7 | 1940 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 16 |
| 1 | 31 | 13 |
| 2 | 60 | 13 |
| 3 | 126 | 13 |
| 4 | 313 | 13 |
| 5 | 863 | 13 |
| 6 | 3621 | 13 |
| done | 5001 | 13 |
| 0 | 15 | 16 |
| 1 | 32 | 13 |
| 2 | 62 | 13 |
| 3 | 128 | 13 |
| 4 | 315 | 13 |
| 5 | 868 | 13 |
| 6 | 3630 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 15 |
| 1 | 27 | 12 |
| 2 | 38 | 12 |
| 3 | 61 | 12 |
| 4 | 109 | 12 |
| 5 | 226 | 12 |
| 6 | 567 | 12 |
| 7 | 1969 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 15 |
| 1 | 28 | 12 |
| 2 | 40 | 12 |
| 3 | 63 | 12 |
| 4 | 111 | 12 |
| 5 | 222 | 12 |
| 6 | 564 | 12 |
| 7 | 1940 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 16 |
| 1 | 31 | 13 |
| 2 | 60 | 13 |
| 3 | 126 | 13 |
| 4 | 313 | 13 |
| 5 | 863 | 13 |
| 6 | 3621 | 13 |
| done | 5001 | 13 |
| 0 | 15 | 16 |
| 1 | 32 | 13 |
| 2 | 62 | 13 |
| 3 | 128 | 13 |
| 4 | 315 | 13 |
| 5 | 868 | 13 |
| 6 | 3630 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 15 |
| 1 | 30 | 15 |
| 2 | 60 | 15 |
| 3 | 142 | 15 |
| 4 | 385 | 15 |
| 5 | 1219 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 15 |
| 1 | 31 | 15 |
| 2 | 62 | 15 |
| 3 | 144 | 15 |
| 4 | 384 | 15 |
| 5 | 1215 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 16 |
| 1 | 25 | 14 |
| 2 | 36 | 14 |
| 3 | 54 | 14 |
| 4 | 98 | 14 |
| 5 | 209 | 14 |
| 6 | 553 | 14 |
| 7 | 1935 | 14 |
| done | 5000 | 14 |
| 0 | 15 | 16 |
| 1 | 25 | 14 |
| 2 | 38 | 14 |
| 3 | 56 | 14 |
| 4 | 100 | 14 |
| 5 | 211 | 14 |
| 6 | 553 | 14 |
| 7 | 1924 | 14 |
| done | 5001 | 14 |
| 0 | 14 | 15 |
| 1 | 30 | 12 |
| 2 | 59 | 12 |
| 3 | 141 | 12 |
| 4 | 383 | 12 |
| 5 | 1212 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 15 |
| 1 | 31 | 12 |
| 2 | 61 | 12 |
| 3 | 143 | 12 |
| 4 | 385 | 12 |
| 5 | 1226 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 13 |
| 1 | 29 | 10 |
| 2 | 59 | 10 |
| 3 | 141 | 10 |
| 4 | 383 | 10 |
| 5 | 1209 | 10 |
| done | 5000 | 10 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 82 | 11 |
| 3 | 216 | 11 |
| 4 | 612 | 11 |
| 5 | 1947 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 87 | 11 |
| 3 | 224 | 11 |
| 4 | 626 | 11 |
| 5 | 1960 | 11 |
| done | 5001 | 11 |
| 0 | 16 | 32 |
| 1 | 40 | 23 |
| 2 | 88 | 14 |
| 3 | 214 | 14 |
| 4 | 590 | 14 |
| 5 | 1786 | 13 |
| done | 5000 | 13 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 70 | 11 |
| 3 | 159 | 11 |
| 4 | 419 | 11 |
| 5 | 1290 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 70 | 11 |
| 3 | 168 | 11 |
| 4 | 436 | 11 |
| 5 | 1325 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 70 | 11 |
| 3 | 168 | 11 |
| 4 | 436 | 11 |
| 5 | 1325 | 11 |
| done | 5000 | 11 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 14 | 16 |
| 1 | 36 | 10 |
| 2 | 81 | 10 |
| 3 | 215 | 10 |
| 4 | 613 | 10 |
| 5 | 1950 | 10 |
| done | 5000 | 10 |
| 0 | 16 | 18 |
| 1 | 34 | 12 |
| 2 | 64 | 12 |
| 3 | 125 | 12 |
| 4 | 255 | 12 |
| 5 | 619 | 12 |
| 6 | 1869 | 12 |
| done | 5000 | 12 |
| 0 | 16 | 18 |
| 1 | 35 | 12 |
| 2 | 62 | 12 |
| 3 | 129 | 12 |
| 4 | 296 | 12 |
| 5 | 784 | 12 |
| 6 | 2539 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 19 |
| 1 | 38 | 13 |
| 2 | 86 | 13 |
| 3 | 198 | 13 |
| 4 | 505 | 13 |
| 5 | 1410 | 13 |
| done | 5001 | 13 |
| 0 | 17 | 19 |
| 1 | 39 | 13 |
| 2 | 84 | 13 |
| 3 | 202 | 13 |
| 4 | 546 | 13 |
| 5 | 1604 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 18 |
| 1 | 34 | 12 |
| 2 | 64 | 12 |
| 3 | 125 | 12 |
| 4 | 255 | 12 |
| 5 | 619 | 12 |
| 6 | 1869 | 12 |
| done | 5000 | 12 |
| 0 | 16 | 18 |
| 1 | 35 | 12 |
| 2 | 62 | 12 |
| 3 | 129 | 12 |
| 4 | 296 | 12 |
| 5 | 784 | 12 |
| 6 | 2539 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 19 |
| 1 | 38 | 13 |
| 2 | 86 | 13 |
| 3 | 198 | 13 |
| 4 | 505 | 13 |
| 5 | 1410 | 13 |
| done | 5001 | 13 |
| 0 | 17 | 19 |
| 1 | 39 | 13 |
| 2 | 84 | 13 |
| 3 | 202 | 13 |
| 4 | 546 | 13 |
| 5 | 1604 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 18 |
| 1 | 37 | 15 |
| 2 | 86 | 15 |
| 3 | 207 | 15 |
| 4 | 534 | 15 |
| 5 | 1605 | 15 |
| done | 5000 | 15 |
| 0 | 16 | 18 |
| 1 | 38 | 15 |
| 2 | 84 | 15 |
| 3 | 211 | 15 |
| 4 | 575 | 15 |
| 5 | 1775 | 15 |
| done | 5000 | 15 |
| 0 | 17 | 19 |
| 1 | 32 | 14 |
| 2 | 63 | 14 |
| 3 | 119 | 14 |
| 4 | 246 | 14 |
| 5 | 594 | 14 |
| 6 | 1847 | 14 |
| done | 5001 | 14 |
| 0 | 17 | 19 |
| 1 | 32 | 14 |
| 2 | 61 | 14 |
| 3 | 128 | 14 |
| 4 | 292 | 14 |
| 5 | 776 | 14 |
| 6 | 2519 | 14 |
| done | 5000 | 14 |
| 0 | 16 | 18 |
| 1 | 37 | 12 |
| 2 | 85 | 12 |
| 3 | 206 | 12 |
| 4 | 532 | 12 |
| 5 | 1657 | 12 |
| done | 5001 | 12 |
| 0 | 16 | 18 |
| 1 | 38 | 12 |
| 2 | 83 | 12 |
| 3 | 210 | 12 |
| 4 | 573 | 12 |
| 5 | 1826 | 12 |
| done | 5000 | 12 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 14 | 16 |
| 1 | 36 | 10 |
| 2 | 81 | 10 |
| 3 | 215 | 10 |
| 4 | 613 | 10 |
| 5 | 1950 | 10 |
| done | 5000 | 10 |
| 0 | 14 | 28 |
| 1 | 31 | 22 |
| 2 | 67 | 22 |
| 3 | 169 | 22 |
| 4 | 454 | 22 |
| 5 | 1344 | 22 |
| done | 5000 | 22 |
| 0 | 13 | 14 |
| 1 | 30 | 11 |
| 2 | 60 | 11 |
| 3 | 142 | 11 |
| 4 | 384 | 11 |
| 5 | 1218 | 11 |
| done | 5000 | 11 |
| 0 | 16 | 34 |
| 1 | 37 | 22 |
| 2 | 82 | 22 |
| 3 | 216 | 22 |
| 4 | 612 | 22 |
| 5 | 1951 | 22 |
| done | 5000 | 22 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 82 | 11 |
| 3 | 216 | 11 |
| 4 | 612 | 11 |
| 5 | 1947 | 11 |
| done | 5000 | 11 |
| 0 | 16 | 32 |
| 1 | 40 | 23 |
| 2 | 88 | 14 |
| 3 | 214 | 14 |
| 4 | 590 | 14 |
| 5 | 1786 | 13 |
| done | 5000 | 13 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 70 | 11 |
| 3 | 159 | 11 |
| 4 | 419 | 11 |
| 5 | 1290 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 70 | 11 |
| 3 | 168 | 11 |
| 4 | 436 | 11 |
| 5 | 1325 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 70 | 11 |
| 3 | 168 | 11 |
| 4 | 436 | 11 |
| 5 | 1325 | 11 |
| done | 5000 | 11 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 14 | 16 |
| 1 | 36 | 10 |
| 2 | 81 | 10 |
| 3 | 215 | 10 |
| 4 | 613 | 10 |
| 5 | 1950 | 10 |
| done | 5000 | 10 |
| 0 | 16 | 18 |
| 1 | 34 | 12 |
| 2 | 64 | 12 |
| 3 | 125 | 12 |
| 4 | 255 | 12 |
| 5 | 619 | 12 |
| 6 | 1869 | 12 |
| done | 5000 | 12 |
| 0 | 16 | 18 |
| 1 | 35 | 12 |
| 2 | 62 | 12 |
| 3 | 129 | 12 |
| 4 | 296 | 12 |
| 5 | 784 | 12 |
| 6 | 2539 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 19 |
| 1 | 38 | 13 |
| 2 | 86 | 13 |
| 3 | 198 | 13 |
| 4 | 505 | 13 |
| 5 | 1410 | 13 |
| done | 5001 | 13 |
| 0 | 17 | 19 |
| 1 | 39 | 13 |
| 2 | 84 | 13 |
| 3 | 202 | 13 |
| 4 | 546 | 13 |
| 5 | 1604 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 18 |
| 1 | 34 | 12 |
| 2 | 64 | 12 |
| 3 | 125 | 12 |
| 4 | 255 | 12 |
| 5 | 619 | 12 |
| 6 | 1869 | 12 |
| done | 5000 | 12 |
| 0 | 16 | 18 |
| 1 | 35 | 12 |
| 2 | 62 | 12 |
| 3 | 129 | 12 |
| 4 | 296 | 12 |
| 5 | 784 | 12 |
| 6 | 2539 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 19 |
| 1 | 38 | 13 |
| 2 | 86 | 13 |
| 3 | 198 | 13 |
| 4 | 505 | 13 |
| 5 | 1410 | 13 |
| done | 5001 | 13 |
| 0 | 17 | 19 |
| 1 | 39 | 13 |
| 2 | 84 | 13 |
| 3 | 202 | 13 |
| 4 | 546 | 13 |
| 5 | 1604 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 18 |
| 1 | 37 | 15 |
| 2 | 86 | 15 |
| 3 | 207 | 15 |
| 4 | 534 | 15 |
| 5 | 1605 | 15 |
| done | 5000 | 15 |
| 0 | 16 | 18 |
| 1 | 38 | 15 |
| 2 | 84 | 15 |
| 3 | 211 | 15 |
| 4 | 575 | 15 |
| 5 | 1775 | 15 |
| done | 5000 | 15 |
| 0 | 17 | 19 |
| 1 | 32 | 14 |
| 2 | 63 | 14 |
| 3 | 119 | 14 |
| 4 | 246 | 14 |
| 5 | 594 | 14 |
| 6 | 1847 | 14 |
| done | 5001 | 14 |
| 0 | 17 | 19 |
| 1 | 32 | 14 |
| 2 | 61 | 14 |
| 3 | 128 | 14 |
| 4 | 292 | 14 |
| 5 | 776 | 14 |
| 6 | 2519 | 14 |
| done | 5000 | 14 |
| 0 | 16 | 18 |
| 1 | 37 | 12 |
| 2 | 85 | 12 |
| 3 | 206 | 12 |
| 4 | 532 | 12 |
| 5 | 1657 | 12 |
| done | 5001 | 12 |
| 0 | 16 | 18 |
| 1 | 38 | 12 |
| 2 | 83 | 12 |
| 3 | 210 | 12 |
| 4 | 573 | 12 |
| 5 | 1826 | 12 |
| done | 5000 | 12 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 14 | 16 |
| 1 | 36 | 10 |
| 2 | 81 | 10 |
| 3 | 215 | 10 |
| 4 | 613 | 10 |
| 5 | 1950 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 14 |
| 1 | 30 | 11 |
| 2 | 60 | 11 |
| 3 | 142 | 11 |
| 4 | 384 | 11 |
| 5 | 1218 | 11 |
| done | 5000 | 11 |
| 0 | 14 | 28 |
| 1 | 31 | 22 |
| 2 | 67 | 22 |
| 3 | 169 | 22 |
| 4 | 454 | 22 |
| 5 | 1344 | 22 |
| done | 5000 | 22 |
| 0 | 15 | 17 |
| 1 | 37 | 14 |
| 2 | 83 | 14 |
| 3 | 217 | 14 |
| 4 | 617 | 14 |
| 5 | 1952 | 14 |
| done | 5000 | 14 |
| 0 | 15 | 17 |
| 1 | 37 | 14 |
| 2 | 83 | 14 |
| 3 | 217 | 14 |
| 4 | 617 | 14 |
| 5 | 1952 | 14 |
| done | 5000 | 14 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 14 | 16 |
| 1 | 36 | 10 |
| 2 | 81 | 10 |
| 3 | 215 | 10 |
| 4 | 613 | 10 |
| 5 | 1950 | 10 |
| done | 5000 | 10 |
| 0 | 16 | 18 |
| 1 | 34 | 13 |
| 2 | 68 | 13 |
| 3 | 157 | 13 |
| 4 | 416 | 13 |
| 5 | 1295 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 18 |
| 1 | 34 | 13 |
| 2 | 68 | 13 |
| 3 | 157 | 13 |
| 4 | 416 | 13 |
| 5 | 1295 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 20 |
| 1 | 45 | 14 |
| 2 | 105 | 14 |
| 3 | 368 | 14 |
| 4 | 2384 | 14 |
| done | 5001 | 14 |
| 0 | 18 | 44 |
| 1 | 44 | 30 |
| 2 | 116 | 30 |
| 3 | 439 | 23 |
| 4 | 2277 | 23 |
| done | 5001 | 23 |
| 0 | 16 | 30 |
| 1 | 40 | 21 |
| 2 | 105 | 21 |
| 3 | 393 | 21 |
| 4 | 1895 | 21 |
| done | 5000 | 21 |
| 0 | 14 | 16 |
| 1 | 35 | 10 |
| 2 | 83 | 10 |
| 3 | 211 | 10 |
| 4 | 570 | 10 |
| 5 | 1753 | 10 |
| done | 5001 | 10 |
| 0 | 16 | 35 |
| 1 | 38 | 23 |
| 2 | 83 | 23 |
| 3 | 217 | 23 |
| 4 | 617 | 23 |
| 5 | 1947 | 23 |
| done | 5001 | 23 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 82 | 11 |
| 3 | 216 | 11 |
| 4 | 612 | 11 |
| 5 | 1947 | 11 |
| done | 5000 | 11 |
| 0 | 16 | 50 |
| 1 | 36 | 12 |
| 2 | 81 | 12 |
| 3 | 215 | 12 |
| 4 | 613 | 12 |
| 5 | 1949 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 82 | 11 |
| 3 | 216 | 11 |
| 4 | 612 | 11 |
| 5 | 1947 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 17 |
| 1 | 37 | 11 |
| 2 | 82 | 11 |
| 3 | 216 | 11 |
| 4 | 612 | 11 |
| 5 | 1947 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 19 | 12 |
| 2 | 32 | 12 |
| 3 | 45 | 12 |
| 4 | 73 | 12 |
| 5 | 128 | 12 |
| 6 | 268 | 12 |
| 7 | 723 | 12 |
| 8 | 2485 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 11 |
| 1 | 19 | 11 |
| 2 | 27 | 11 |
| 3 | 42 | 11 |
| 4 | 70 | 11 |
| 5 | 130 | 11 |
| 6 | 276 | 11 |
| 7 | 749 | 11 |
| 8 | 2505 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 19 | 11 |
| 2 | 27 | 11 |
| 3 | 42 | 11 |
| 4 | 70 | 11 |
| 5 | 130 | 11 |
| 6 | 276 | 11 |
| 7 | 749 | 11 |
| 8 | 2505 | 11 |
| done | 5000 | 11 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 12 | 14 |
| 1 | 20 | 14 |
| 2 | 32 | 14 |
| 3 | 64 | 14 |
| 4 | 141 | 14 |
| 5 | 353 | 14 |
| 6 | 1099 | 14 |
| 7 | 4004 | 14 |
| done | 5001 | 14 |
| 0 | 11 | 11 |
| 1 | 19 | 11 |
| 2 | 29 | 11 |
| 3 | 55 | 11 |
| 4 | 115 | 11 |
| 5 | 270 | 11 |
| 6 | 764 | 11 |
| 7 | 2784 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 10 |
| 1 | 21 | 8 |
| 2 | 33 | 8 |
| 3 | 52 | 8 |
| 4 | 99 | 8 |
| 5 | 220 | 8 |
| 6 | 568 | 8 |
| 7 | 1931 | 8 |
| done | 5000 | 8 |
| 0 | 12 | 21 |
| 1 | 26 | 21 |
| 2 | 52 | 11 |
| 3 | 97 | 11 |
| 4 | 221 | 11 |
| 5 | 558 | 11 |
| 6 | 1743 | 11 |
| done | 5001 | 11 |
| 0 | 11 | 11 |
| 1 | 23 | 8 |
| 2 | 34 | 8 |
| 3 | 52 | 8 |
| 4 | 96 | 8 |
| 5 | 211 | 8 |
| 6 | 553 | 8 |
| 7 | 1899 | 8 |
| done | 5000 | 8 |
| 0 | 11 | 11 |
| 1 | 23 | 11 |
| 2 | 34 | 11 |
| 3 | 57 | 11 |
| 4 | 105 | 11 |
| 5 | 218 | 11 |
| 6 | 559 | 11 |
| 7 | 1924 | 11 |
| done | 5001 | 11 |
| 0 | 11 | 11 |
| 1 | 23 | 11 |
| 2 | 34 | 11 |
| 3 | 57 | 11 |
| 4 | 105 | 11 |
| 5 | 218 | 11 |
| 6 | 559 | 11 |
| 7 | 1924 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 23 |
| 1 | 35 | 23 |
| 2 | 109 | 23 |
| 3 | 406 | 12 |
| 4 | 1774 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 8 |
| 3 | 100 | 8 |
| 4 | 185 | 8 |
| 5 | 386 | 8 |
| 6 | 874 | 8 |
| 7 | 2809 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 15 |
| 1 | 30 | 15 |
| 2 | 73 | 15 |
| 3 | 217 | 13 |
| 4 | 683 | 13 |
| 5 | 1838 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 11 |
| 3 | 100 | 11 |
| 4 | 194 | 11 |
| 5 | 411 | 11 |
| 6 | 988 | 11 |
| 7 | 3376 | 11 |
| done | 5000 | 11 |
| 0 | 7 | 9 |
| 1 | 21 | 7 |
| 2 | 59 | 7 |
| 3 | 161 | 3 |
| 4 | 269 | 3 |
| 5 | 537 | 3 |
| 6 | 1599 | 3 |
| done | 5000 | 3 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 10 |
| 3 | 115 | 10 |
| 4 | 252 | 10 |
| 5 | 717 | 10 |
| 6 | 2787 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 9 |
| 1 | 21 | 7 |
| 2 | 59 | 7 |
| 3 | 161 | 3 |
| 4 | 269 | 3 |
| 5 | 537 | 3 |
| 6 | 1599 | 3 |
| done | 5000 | 3 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 10 |
| 3 | 115 | 10 |
| 4 | 252 | 10 |
| 5 | 717 | 10 |
| 6 | 2787 | 10 |
| done | 5001 | 10 |
| 0 | 13 | 20 |
| 1 | 30 | 20 |
| 2 | 71 | 20 |
| 3 | 205 | 14 |
| 4 | 680 | 14 |
| 5 | 2399 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 11 |
| 3 | 122 | 11 |
| 4 | 300 | 11 |
| 5 | 834 | 11 |
| 6 | 3500 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 12 |
| 3 | 122 | 12 |
| 4 | 309 | 12 |
| 5 | 859 | 12 |
| 6 | 3616 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 12 |
| 3 | 122 | 12 |
| 4 | 309 | 12 |
| 5 | 859 | 12 |
| 6 | 3616 | 12 |
| done | 5000 | 12 |
| 0 | 6 | 6 |
| 1 | 18 | 4 |
| 2 | 34 | 4 |
| 3 | 59 | 4 |
| 4 | 115 | 4 |
| 5 | 288 | 4 |
| 6 | 1067 | 4 |
| done | 5000 | 4 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 11 |
| 3 | 137 | 11 |
| 4 | 367 | 11 |
| 5 | 1165 | 11 |
| done | 5002 | 11 |
| 0 | 6 | 6 |
| 1 | 18 | 4 |
| 2 | 34 | 4 |
| 3 | 59 | 4 |
| 4 | 115 | 4 |
| 5 | 288 | 4 |
| 6 | 1067 | 4 |
| done | 5000 | 4 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 11 |
| 3 | 137 | 11 |
| 4 | 367 | 11 |
| 5 | 1165 | 11 |
| done | 5002 | 11 |
| 0 | 12 | 19 |
| 1 | 31 | 19 |
| 2 | 67 | 19 |
| 3 | 167 | 11 |
| 4 | 437 | 11 |
| 5 | 1052 | 11 |
| 6 | 3819 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 10 |
| 3 | 121 | 10 |
| 4 | 308 | 10 |
| 5 | 882 | 10 |
| 6 | 3670 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 11 |
| 1 | 28 | 11 |
| 2 | 52 | 11 |
| 3 | 94 | 11 |
| 4 | 187 | 11 |
| 5 | 378 | 11 |
| 6 | 1159 | 11 |
| 7 | 4329 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 11 |
| 3 | 121 | 11 |
| 4 | 317 | 11 |
| 5 | 907 | 11 |
| 6 | 3810 | 11 |
| done | 5001 | 11 |
| 0 | 4 | 5 |
| 1 | 15 | 1 |
| 2 | 19 | 1 |
| 3 | 23 | 1 |
| done | 23 | 1 |
| 0 | 10 | 10 |
| 1 | 25 | 10 |
| 2 | 54 | 10 |
| 3 | 136 | 10 |
| 4 | 378 | 10 |
| 5 | 1204 | 10 |
| done | 5000 | 10 |
| 0 | 4 | 5 |
| 1 | 15 | 1 |
| 2 | 19 | 1 |
| 3 | 23 | 1 |
| done | 23 | 1 |
| 0 | 10 | 10 |
| 1 | 25 | 10 |
| 2 | 54 | 10 |
| 3 | 136 | 10 |
| 4 | 378 | 10 |
| 5 | 1204 | 10 |
| done | 5000 | 10 |
| 0 | 3 | 3 |
| 1 | 13 | 1 |
| done | 13 | 1 |
| 0 | 10 | 10 |
| 1 | 25 | 10 |
| 2 | 54 | 10 |
| 3 | 136 | 10 |
| 4 | 378 | 10 |
| 5 | 1204 | 10 |
| done | 5000 | 10 |
| 0 | 3 | 3 |
| 1 | 11 | 3 |
| 2 | 17 | 3 |
| 3 | 27 | 3 |
| 4 | 50 | 3 |
| 5 | 113 | 3 |
| 6 | 327 | 3 |
| 7 | 1246 | 3 |
| done | 5000 | 3 |
| 0 | 10 | 10 |
| 1 | 27 | 10 |
| 2 | 51 | 10 |
| 3 | 109 | 10 |
| 4 | 247 | 10 |
| 5 | 680 | 10 |
| 6 | 2995 | 10 |
| done | 5000 | 10 |
| 0 | 12 | 14 |
| 1 | 37 | 14 |
| 2 | 76 | 14 |
| 3 | 199 | 14 |
| 4 | 659 | 14 |
| 5 | 3138 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 22 |
| 1 | 33 | 17 |
| 2 | 82 | 17 |
| 3 | 259 | 17 |
| 4 | 1373 | 17 |
| done | 5001 | 17 |
| 0 | 12 | 17 |
| 1 | 33 | 16 |
| 2 | 81 | 14 |
| 3 | 278 | 14 |
| 4 | 1462 | 14 |
| done | 5000 | 14 |
| 0 | 8 | 8 |
| 1 | 21 | 8 |
| 2 | 45 | 8 |
| 3 | 104 | 8 |
| 4 | 330 | 8 |
| 5 | 1590 | 8 |
| done | 5000 | 8 |
| 0 | 9 | 17 |
| 1 | 17 | 17 |
| 2 | 29 | 17 |
| 3 | 44 | 17 |
| 4 | 88 | 17 |
| 5 | 190 | 17 |
| 6 | 623 | 17 |
| 7 | 2896 | 17 |
| done | 5001 | 17 |
| 0 | 11 | 11 |
| 1 | 28 | 11 |
| 2 | 69 | 11 |
| 3 | 180 | 11 |
| 4 | 548 | 11 |
| 5 | 1796 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 61 | 11 |
| 3 | 155 | 11 |
| 4 | 447 | 11 |
| 5 | 1461 | 11 |
| done | 5001 | 11 |
| 0 | 12 | 23 |
| 1 | 26 | 17 |
| 2 | 55 | 17 |
| 3 | 137 | 17 |
| 4 | 379 | 17 |
| 5 | 1210 | 17 |
| done | 5000 | 17 |
| 0 | 11 | 11 |
| 1 | 26 | 8 |
| 2 | 55 | 8 |
| 3 | 137 | 8 |
| 4 | 379 | 8 |
| 5 | 1213 | 8 |
| done | 5000 | 8 |
| 0 | 12 | 32 |
| 1 | 31 | 21 |
| 2 | 101 | 12 |
| 3 | 466 | 12 |
| 4 | 4436 | 12 |
| done | 5001 | 12 |
| 0 | 12 | 21 |
| 1 | 26 | 21 |
| 2 | 52 | 11 |
| 3 | 97 | 11 |
| 4 | 221 | 11 |
| 5 | 558 | 11 |
| 6 | 1743 | 11 |
| done | 5001 | 11 |
| 0 | 11 | 11 |
| 1 | 23 | 8 |
| 2 | 34 | 8 |
| 3 | 52 | 8 |
| 4 | 96 | 8 |
| 5 | 211 | 8 |
| 6 | 553 | 8 |
| 7 | 1899 | 8 |
| done | 5000 | 8 |
| 0 | 11 | 11 |
| 1 | 23 | 11 |
| 2 | 34 | 11 |
| 3 | 57 | 11 |
| 4 | 105 | 11 |
| 5 | 218 | 11 |
| 6 | 559 | 11 |
| 7 | 1924 | 11 |
| done | 5001 | 11 |
| 0 | 11 | 11 |
| 1 | 23 | 11 |
| 2 | 34 | 11 |
| 3 | 57 | 11 |
| 4 | 105 | 11 |
| 5 | 218 | 11 |
| 6 | 559 | 11 |
| 7 | 1924 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 23 |
| 1 | 35 | 23 |
| 2 | 109 | 23 |
| 3 | 406 | 12 |
| 4 | 1774 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 8 |
| 3 | 100 | 8 |
| 4 | 185 | 8 |
| 5 | 386 | 8 |
| 6 | 874 | 8 |
| 7 | 2809 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 15 |
| 1 | 30 | 15 |
| 2 | 73 | 15 |
| 3 | 217 | 13 |
| 4 | 683 | 13 |
| 5 | 1838 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 11 |
| 3 | 100 | 11 |
| 4 | 194 | 11 |
| 5 | 411 | 11 |
| 6 | 988 | 11 |
| 7 | 3376 | 11 |
| done | 5000 | 11 |
| 0 | 7 | 9 |
| 1 | 21 | 7 |
| 2 | 59 | 7 |
| 3 | 161 | 3 |
| 4 | 269 | 3 |
| 5 | 537 | 3 |
| 6 | 1599 | 3 |
| done | 5000 | 3 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 10 |
| 3 | 115 | 10 |
| 4 | 252 | 10 |
| 5 | 717 | 10 |
| 6 | 2787 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 9 |
| 1 | 21 | 7 |
| 2 | 59 | 7 |
| 3 | 161 | 3 |
| 4 | 269 | 3 |
| 5 | 537 | 3 |
| 6 | 1599 | 3 |
| done | 5000 | 3 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 10 |
| 3 | 115 | 10 |
| 4 | 252 | 10 |
| 5 | 717 | 10 |
| 6 | 2787 | 10 |
| done | 5001 | 10 |
| 0 | 13 | 20 |
| 1 | 30 | 20 |
| 2 | 71 | 20 |
| 3 | 205 | 14 |
| 4 | 680 | 14 |
| 5 | 2399 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 11 |
| 3 | 122 | 11 |
| 4 | 300 | 11 |
| 5 | 834 | 11 |
| 6 | 3500 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 12 |
| 3 | 122 | 12 |
| 4 | 309 | 12 |
| 5 | 859 | 12 |
| 6 | 3616 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 56 | 12 |
| 3 | 122 | 12 |
| 4 | 309 | 12 |
| 5 | 859 | 12 |
| 6 | 3616 | 12 |
| done | 5000 | 12 |
| 0 | 6 | 6 |
| 1 | 18 | 4 |
| 2 | 34 | 4 |
| 3 | 59 | 4 |
| 4 | 115 | 4 |
| 5 | 288 | 4 |
| 6 | 1067 | 4 |
| done | 5000 | 4 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 11 |
| 3 | 137 | 11 |
| 4 | 367 | 11 |
| 5 | 1165 | 11 |
| done | 5002 | 11 |
| 0 | 6 | 6 |
| 1 | 18 | 4 |
| 2 | 34 | 4 |
| 3 | 59 | 4 |
| 4 | 115 | 4 |
| 5 | 288 | 4 |
| 6 | 1067 | 4 |
| done | 5000 | 4 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 11 |
| 3 | 137 | 11 |
| 4 | 367 | 11 |
| 5 | 1165 | 11 |
| done | 5002 | 11 |
| 0 | 12 | 19 |
| 1 | 31 | 19 |
| 2 | 67 | 19 |
| 3 | 167 | 11 |
| 4 | 437 | 11 |
| 5 | 1052 | 11 |
| 6 | 3819 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 10 |
| 3 | 121 | 10 |
| 4 | 308 | 10 |
| 5 | 882 | 10 |
| 6 | 3670 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 11 |
| 1 | 28 | 11 |
| 2 | 52 | 11 |
| 3 | 94 | 11 |
| 4 | 187 | 11 |
| 5 | 378 | 11 |
| 6 | 1159 | 11 |
| 7 | 4329 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 55 | 11 |
| 3 | 121 | 11 |
| 4 | 317 | 11 |
| 5 | 907 | 11 |
| 6 | 3810 | 11 |
| done | 5001 | 11 |
| 0 | 4 | 5 |
| 1 | 15 | 1 |
| 2 | 19 | 1 |
| 3 | 23 | 1 |
| done | 23 | 1 |
| 0 | 10 | 10 |
| 1 | 25 | 10 |
| 2 | 54 | 10 |
| 3 | 136 | 10 |
| 4 | 378 | 10 |
| 5 | 1204 | 10 |
| done | 5000 | 10 |
| 0 | 4 | 5 |
| 1 | 15 | 1 |
| 2 | 19 | 1 |
| 3 | 23 | 1 |
| done | 23 | 1 |
| 0 | 10 | 10 |
| 1 | 25 | 10 |
| 2 | 54 | 10 |
| 3 | 136 | 10 |
| 4 | 378 | 10 |
| 5 | 1204 | 10 |
| done | 5000 | 10 |
| 0 | 3 | 3 |
| 1 | 13 | 1 |
| done | 13 | 1 |
| 0 | 10 | 10 |
| 1 | 25 | 10 |
| 2 | 54 | 10 |
| 3 | 136 | 10 |
| 4 | 378 | 10 |
| 5 | 1204 | 10 |
| done | 5000 | 10 |
| 0 | 3 | 3 |
| 1 | 11 | 3 |
| 2 | 17 | 3 |
| 3 | 27 | 3 |
| 4 | 50 | 3 |
| 5 | 113 | 3 |
| 6 | 327 | 3 |
| 7 | 1246 | 3 |
| done | 5000 | 3 |
| 0 | 10 | 10 |
| 1 | 27 | 10 |
| 2 | 51 | 10 |
| 3 | 109 | 10 |
| 4 | 247 | 10 |
| 5 | 680 | 10 |
| 6 | 2995 | 10 |
| done | 5000 | 10 |
| 0 | 12 | 14 |
| 1 | 37 | 14 |
| 2 | 76 | 14 |
| 3 | 199 | 14 |
| 4 | 659 | 14 |
| 5 | 3138 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 22 |
| 1 | 33 | 17 |
| 2 | 82 | 17 |
| 3 | 259 | 17 |
| 4 | 1373 | 17 |
| done | 5001 | 17 |
| 0 | 12 | 17 |
| 1 | 33 | 16 |
| 2 | 81 | 14 |
| 3 | 278 | 14 |
| 4 | 1462 | 14 |
| done | 5000 | 14 |
| 0 | 8 | 8 |
| 1 | 21 | 8 |
| 2 | 45 | 8 |
| 3 | 104 | 8 |
| 4 | 330 | 8 |
| 5 | 1590 | 8 |
| done | 5000 | 8 |
| 0 | 3 | 3 |
| 1 | 11 | 3 |
| 2 | 17 | 3 |
| 3 | 27 | 3 |
| 4 | 50 | 3 |
| 5 | 113 | 3 |
| 6 | 327 | 3 |
| 7 | 1246 | 3 |
| done | 5000 | 3 |
| 0 | 8 | 8 |
| 1 | 20 | 8 |
| 2 | 47 | 8 |
| 3 | 107 | 8 |
| 4 | 316 | 8 |
| 5 | 1147 | 8 |
| done | 5000 | 8 |
| 0 | 9 | 17 |
| 1 | 17 | 17 |
| 2 | 29 | 17 |
| 3 | 44 | 17 |
| 4 | 88 | 17 |
| 5 | 190 | 17 |
| 6 | 623 | 17 |
| 7 | 2896 | 17 |
| done | 5001 | 17 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 56 | 11 |
| 3 | 138 | 11 |
| 4 | 381 | 11 |
| 5 | 1214 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 26 | 11 |
| 2 | 56 | 11 |
| 3 | 138 | 11 |
| 4 | 381 | 11 |
| 5 | 1214 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 21 | 10 |
| 2 | 32 | 10 |
| 3 | 50 | 10 |
| 4 | 94 | 10 |
| 5 | 209 | 10 |
| 6 | 548 | 10 |
| 7 | 1914 | 10 |
| done | 5000 | 10 |
| 0 | 12 | 12 |
| 1 | 21 | 10 |
| 2 | 32 | 10 |
| 3 | 50 | 10 |
| 4 | 94 | 10 |
| 5 | 209 | 10 |
| 6 | 548 | 10 |
| 7 | 1914 | 10 |
| done | 5000 | 10 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 59 | 9 |
| 3 | 143 | 9 |
| 4 | 386 | 9 |
| 5 | 1218 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 380 | 9 |
| 5 | 1211 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 22 |
| 1 | 27 | 19 |
| 2 | 53 | 12 |
| 3 | 98 | 12 |
| 4 | 222 | 12 |
| 5 | 559 | 11 |
| 6 | 1747 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 24 | 9 |
| 2 | 35 | 9 |
| 3 | 53 | 9 |
| 4 | 97 | 9 |
| 5 | 213 | 9 |
| 6 | 546 | 9 |
| 7 | 1923 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 12 |
| 1 | 24 | 9 |
| 2 | 35 | 9 |
| 3 | 58 | 9 |
| 4 | 106 | 9 |
| 5 | 221 | 9 |
| 6 | 562 | 9 |
| 7 | 1945 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 12 |
| 1 | 24 | 9 |
| 2 | 35 | 9 |
| 3 | 58 | 9 |
| 4 | 106 | 9 |
| 5 | 221 | 9 |
| 6 | 562 | 9 |
| 7 | 1945 | 9 |
| done | 5000 | 9 |
| 0 | 15 | 24 |
| 1 | 36 | 21 |
| 2 | 110 | 21 |
| 3 | 407 | 13 |
| 4 | 1733 | 13 |
| done | 5001 | 13 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 9 |
| 3 | 101 | 9 |
| 4 | 186 | 9 |
| 5 | 385 | 9 |
| 6 | 873 | 9 |
| 7 | 2854 | 9 |
| done | 5000 | 9 |
| 0 | 14 | 16 |
| 1 | 31 | 13 |
| 2 | 74 | 13 |
| 3 | 218 | 13 |
| 4 | 686 | 13 |
| 5 | 1876 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 101 | 10 |
| 4 | 195 | 10 |
| 5 | 410 | 10 |
| 6 | 989 | 10 |
| 7 | 3344 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 10 |
| 1 | 22 | 5 |
| 2 | 60 | 5 |
| 3 | 160 | 4 |
| 4 | 280 | 4 |
| 5 | 550 | 4 |
| 6 | 1600 | 4 |
| done | 5000 | 4 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 116 | 9 |
| 4 | 253 | 9 |
| 5 | 718 | 9 |
| 6 | 2793 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 10 |
| 1 | 22 | 5 |
| 2 | 60 | 5 |
| 3 | 160 | 4 |
| 4 | 280 | 4 |
| 5 | 550 | 4 |
| 6 | 1600 | 4 |
| done | 5000 | 4 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 116 | 9 |
| 4 | 253 | 9 |
| 5 | 718 | 9 |
| 6 | 2793 | 9 |
| done | 5001 | 9 |
| 0 | 14 | 21 |
| 1 | 31 | 18 |
| 2 | 72 | 18 |
| 3 | 206 | 15 |
| 4 | 678 | 15 |
| 5 | 2407 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 123 | 10 |
| 4 | 301 | 10 |
| 5 | 839 | 10 |
| 6 | 3480 | 10 |
| done | 5001 | 10 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 123 | 10 |
| 4 | 310 | 10 |
| 5 | 864 | 10 |
| 6 | 3609 | 10 |
| done | 5001 | 10 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 123 | 10 |
| 4 | 310 | 10 |
| 5 | 864 | 10 |
| 6 | 3609 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 7 |
| 1 | 19 | 2 |
| 2 | 35 | 2 |
| 3 | 60 | 2 |
| 4 | 116 | 2 |
| 5 | 289 | 2 |
| 6 | 1062 | 2 |
| done | 5000 | 2 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 368 | 9 |
| 5 | 1166 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 7 |
| 1 | 19 | 2 |
| 2 | 35 | 2 |
| 3 | 60 | 2 |
| 4 | 116 | 2 |
| 5 | 289 | 2 |
| 6 | 1062 | 2 |
| done | 5000 | 2 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 368 | 9 |
| 5 | 1166 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 20 |
| 1 | 32 | 17 |
| 2 | 68 | 17 |
| 3 | 168 | 12 |
| 4 | 440 | 12 |
| 5 | 1070 | 12 |
| 6 | 3841 | 11 |
| done | 5001 | 11 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 122 | 9 |
| 4 | 309 | 9 |
| 5 | 876 | 9 |
| 6 | 3660 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 12 |
| 1 | 29 | 9 |
| 2 | 53 | 9 |
| 3 | 95 | 9 |
| 4 | 188 | 9 |
| 5 | 381 | 9 |
| 6 | 1152 | 9 |
| 7 | 4290 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 122 | 9 |
| 4 | 318 | 9 |
| 5 | 901 | 9 |
| 6 | 3800 | 9 |
| done | 5000 | 9 |
| 0 | 5 | 6 |
| 1 | 16 | 1 |
| done | 16 | 1 |
| 0 | 11 | 11 |
| 1 | 26 | 8 |
| 2 | 55 | 8 |
| 3 | 137 | 8 |
| 4 | 379 | 8 |
| 5 | 1213 | 8 |
| done | 5000 | 8 |
| 0 | 5 | 6 |
| 1 | 16 | 1 |
| done | 16 | 1 |
| 0 | 11 | 11 |
| 1 | 26 | 8 |
| 2 | 55 | 8 |
| 3 | 137 | 8 |
| 4 | 379 | 8 |
| 5 | 1213 | 8 |
| done | 5000 | 8 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 11 | 11 |
| 1 | 26 | 8 |
| 2 | 55 | 8 |
| 3 | 137 | 8 |
| 4 | 379 | 8 |
| 5 | 1213 | 8 |
| done | 5000 | 8 |
| 0 | 4 | 4 |
| 1 | 12 | 1 |
| 2 | 18 | 1 |
| 3 | 28 | 1 |
| 4 | 51 | 1 |
| 5 | 114 | 1 |
| 6 | 328 | 1 |
| 7 | 1249 | 1 |
| done | 5000 | 1 |
| 0 | 11 | 11 |
| 1 | 28 | 8 |
| 2 | 52 | 8 |
| 3 | 110 | 8 |
| 4 | 248 | 8 |
| 5 | 682 | 8 |
| 6 | 2984 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 15 |
| 1 | 38 | 12 |
| 2 | 77 | 12 |
| 3 | 200 | 12 |
| 4 | 659 | 12 |
| 5 | 3195 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 23 |
| 1 | 34 | 15 |
| 2 | 83 | 15 |
| 3 | 260 | 15 |
| 4 | 1378 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 18 |
| 1 | 34 | 14 |
| 2 | 82 | 12 |
| 3 | 279 | 12 |
| 4 | 1459 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 9 |
| 1 | 22 | 6 |
| 2 | 46 | 6 |
| 3 | 105 | 6 |
| 4 | 329 | 6 |
| 5 | 1586 | 6 |
| done | 5000 | 6 |
| 0 | 10 | 18 |
| 1 | 18 | 18 |
| 2 | 30 | 18 |
| 3 | 45 | 18 |
| 4 | 89 | 18 |
| 5 | 193 | 18 |
| 6 | 627 | 18 |
| 7 | 2890 | 18 |
| done | 5000 | 18 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 13 | 24 |
| 1 | 27 | 18 |
| 2 | 56 | 18 |
| 3 | 138 | 18 |
| 4 | 380 | 18 |
| 5 | 1211 | 18 |
| done | 5000 | 18 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 380 | 9 |
| 5 | 1211 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 22 |
| 1 | 27 | 19 |
| 2 | 53 | 12 |
| 3 | 98 | 12 |
| 4 | 222 | 12 |
| 5 | 559 | 11 |
| 6 | 1747 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 24 | 9 |
| 2 | 35 | 9 |
| 3 | 53 | 9 |
| 4 | 97 | 9 |
| 5 | 213 | 9 |
| 6 | 546 | 9 |
| 7 | 1923 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 12 |
| 1 | 24 | 9 |
| 2 | 35 | 9 |
| 3 | 58 | 9 |
| 4 | 106 | 9 |
| 5 | 221 | 9 |
| 6 | 562 | 9 |
| 7 | 1945 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 12 |
| 1 | 24 | 9 |
| 2 | 35 | 9 |
| 3 | 58 | 9 |
| 4 | 106 | 9 |
| 5 | 221 | 9 |
| 6 | 562 | 9 |
| 7 | 1945 | 9 |
| done | 5000 | 9 |
| 0 | 15 | 24 |
| 1 | 36 | 21 |
| 2 | 110 | 21 |
| 3 | 407 | 13 |
| 4 | 1733 | 13 |
| done | 5001 | 13 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 9 |
| 3 | 101 | 9 |
| 4 | 186 | 9 |
| 5 | 385 | 9 |
| 6 | 873 | 9 |
| 7 | 2854 | 9 |
| done | 5000 | 9 |
| 0 | 14 | 16 |
| 1 | 31 | 13 |
| 2 | 74 | 13 |
| 3 | 218 | 13 |
| 4 | 686 | 13 |
| 5 | 1876 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 101 | 10 |
| 4 | 195 | 10 |
| 5 | 410 | 10 |
| 6 | 989 | 10 |
| 7 | 3344 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 10 |
| 1 | 22 | 5 |
| 2 | 60 | 5 |
| 3 | 160 | 4 |
| 4 | 280 | 4 |
| 5 | 550 | 4 |
| 6 | 1600 | 4 |
| done | 5000 | 4 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 116 | 9 |
| 4 | 253 | 9 |
| 5 | 718 | 9 |
| 6 | 2793 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 10 |
| 1 | 22 | 5 |
| 2 | 60 | 5 |
| 3 | 160 | 4 |
| 4 | 280 | 4 |
| 5 | 550 | 4 |
| 6 | 1600 | 4 |
| done | 5000 | 4 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 116 | 9 |
| 4 | 253 | 9 |
| 5 | 718 | 9 |
| 6 | 2793 | 9 |
| done | 5001 | 9 |
| 0 | 14 | 21 |
| 1 | 31 | 18 |
| 2 | 72 | 18 |
| 3 | 206 | 15 |
| 4 | 678 | 15 |
| 5 | 2407 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 123 | 10 |
| 4 | 301 | 10 |
| 5 | 839 | 10 |
| 6 | 3480 | 10 |
| done | 5001 | 10 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 123 | 10 |
| 4 | 310 | 10 |
| 5 | 864 | 10 |
| 6 | 3609 | 10 |
| done | 5001 | 10 |
| 0 | 13 | 13 |
| 1 | 28 | 10 |
| 2 | 57 | 10 |
| 3 | 123 | 10 |
| 4 | 310 | 10 |
| 5 | 864 | 10 |
| 6 | 3609 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 7 |
| 1 | 19 | 2 |
| 2 | 35 | 2 |
| 3 | 60 | 2 |
| 4 | 116 | 2 |
| 5 | 289 | 2 |
| 6 | 1062 | 2 |
| done | 5000 | 2 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 368 | 9 |
| 5 | 1166 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 7 |
| 1 | 19 | 2 |
| 2 | 35 | 2 |
| 3 | 60 | 2 |
| 4 | 116 | 2 |
| 5 | 289 | 2 |
| 6 | 1062 | 2 |
| done | 5000 | 2 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 368 | 9 |
| 5 | 1166 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 20 |
| 1 | 32 | 17 |
| 2 | 68 | 17 |
| 3 | 168 | 12 |
| 4 | 440 | 12 |
| 5 | 1070 | 12 |
| 6 | 3841 | 11 |
| done | 5001 | 11 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 122 | 9 |
| 4 | 309 | 9 |
| 5 | 876 | 9 |
| 6 | 3660 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 12 |
| 1 | 29 | 9 |
| 2 | 53 | 9 |
| 3 | 95 | 9 |
| 4 | 188 | 9 |
| 5 | 381 | 9 |
| 6 | 1152 | 9 |
| 7 | 4290 | 9 |
| done | 5001 | 9 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 122 | 9 |
| 4 | 318 | 9 |
| 5 | 901 | 9 |
| 6 | 3800 | 9 |
| done | 5000 | 9 |
| 0 | 5 | 6 |
| 1 | 16 | 1 |
| done | 16 | 1 |
| 0 | 11 | 11 |
| 1 | 26 | 8 |
| 2 | 55 | 8 |
| 3 | 137 | 8 |
| 4 | 379 | 8 |
| 5 | 1213 | 8 |
| done | 5000 | 8 |
| 0 | 5 | 6 |
| 1 | 16 | 1 |
| done | 16 | 1 |
| 0 | 11 | 11 |
| 1 | 26 | 8 |
| 2 | 55 | 8 |
| 3 | 137 | 8 |
| 4 | 379 | 8 |
| 5 | 1213 | 8 |
| done | 5000 | 8 |
| 0 | 4 | 4 |
| 1 | 14 | 1 |
| 2 | 18 | 1 |
| done | 18 | 1 |
| 0 | 11 | 11 |
| 1 | 26 | 8 |
| 2 | 55 | 8 |
| 3 | 137 | 8 |
| 4 | 379 | 8 |
| 5 | 1213 | 8 |
| done | 5000 | 8 |
| 0 | 4 | 4 |
| 1 | 12 | 1 |
| 2 | 18 | 1 |
| 3 | 28 | 1 |
| 4 | 51 | 1 |
| 5 | 114 | 1 |
| 6 | 328 | 1 |
| 7 | 1249 | 1 |
| done | 5000 | 1 |
| 0 | 11 | 11 |
| 1 | 28 | 8 |
| 2 | 52 | 8 |
| 3 | 110 | 8 |
| 4 | 248 | 8 |
| 5 | 682 | 8 |
| 6 | 2984 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 15 |
| 1 | 38 | 12 |
| 2 | 77 | 12 |
| 3 | 200 | 12 |
| 4 | 659 | 12 |
| 5 | 3195 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 23 |
| 1 | 34 | 15 |
| 2 | 83 | 15 |
| 3 | 260 | 15 |
| 4 | 1378 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 18 |
| 1 | 34 | 14 |
| 2 | 82 | 12 |
| 3 | 279 | 12 |
| 4 | 1459 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 9 |
| 1 | 22 | 6 |
| 2 | 46 | 6 |
| 3 | 105 | 6 |
| 4 | 329 | 6 |
| 5 | 1586 | 6 |
| done | 5000 | 6 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 19 | 9 |
| 3 | 27 | 9 |
| 4 | 50 | 9 |
| 5 | 106 | 9 |
| 6 | 250 | 9 |
| 7 | 713 | 9 |
| 8 | 2468 | 9 |
| done | 5001 | 9 |
| 0 | 10 | 18 |
| 1 | 18 | 18 |
| 2 | 30 | 18 |
| 3 | 45 | 18 |
| 4 | 89 | 18 |
| 5 | 193 | 18 |
| 6 | 627 | 18 |
| 7 | 2890 | 18 |
| done | 5000 | 18 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 57 | 12 |
| 3 | 139 | 12 |
| 4 | 382 | 12 |
| 5 | 1217 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 27 | 12 |
| 2 | 57 | 12 |
| 3 | 139 | 12 |
| 4 | 382 | 12 |
| 5 | 1217 | 12 |
| done | 5000 | 12 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 11 |
| 1 | 26 | 8 |
| 2 | 55 | 8 |
| 3 | 137 | 8 |
| 4 | 379 | 8 |
| 5 | 1213 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 13 |
| 1 | 22 | 11 |
| 2 | 33 | 11 |
| 3 | 51 | 11 |
| 4 | 95 | 11 |
| 5 | 212 | 11 |
| 6 | 562 | 11 |
| 7 | 1955 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 13 |
| 1 | 22 | 11 |
| 2 | 33 | 11 |
| 3 | 51 | 11 |
| 4 | 95 | 11 |
| 5 | 212 | 11 |
| 6 | 562 | 11 |
| 7 | 1955 | 11 |
| done | 5000 | 11 |
| 0 | 4 | 4 |
| 1 | 12 | 1 |
| 2 | 18 | 1 |
| 3 | 28 | 1 |
| 4 | 51 | 1 |
| 5 | 114 | 1 |
| 6 | 328 | 1 |
| 7 | 1249 | 1 |
| done | 5000 | 1 |
| 0 | 9 | 9 |
| 1 | 21 | 6 |
| 2 | 48 | 6 |
| 3 | 108 | 6 |
| 4 | 316 | 6 |
| 5 | 1159 | 6 |
| done | 5000 | 6 |
| 0 | 13 | 25 |
| 1 | 28 | 19 |
| 2 | 57 | 19 |
| 3 | 139 | 19 |
| 4 | 381 | 19 |
| 5 | 1211 | 19 |
| done | 5000 | 19 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 380 | 9 |
| 5 | 1211 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 35 |
| 1 | 26 | 10 |
| 2 | 55 | 10 |
| 3 | 137 | 10 |
| 4 | 379 | 10 |
| 5 | 1210 | 10 |
| done | 5000 | 10 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 380 | 9 |
| 5 | 1211 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 12 |
| 1 | 27 | 9 |
| 2 | 56 | 9 |
| 3 | 138 | 9 |
| 4 | 380 | 9 |
| 5 | 1211 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 15 |
| 1 | 32 | 15 |
| 2 | 69 | 15 |
| 3 | 184 | 15 |
| 4 | 420 | 15 |
| 5 | 1197 | 13 |
| done | 5001 | 13 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 15 |
| 1 | 32 | 15 |
| 2 | 69 | 15 |
| 3 | 184 | 15 |
| 4 | 420 | 15 |
| 5 | 1197 | 13 |
| done | 5001 | 13 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 22 | 12 |
| 2 | 32 | 10 |
| 3 | 41 | 10 |
| 4 | 69 | 10 |
| 5 | 125 | 10 |
| 6 | 267 | 10 |
| 7 | 721 | 10 |
| 8 | 2475 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 42 | 9 |
| 3 | 55 | 9 |
| 4 | 69 | 9 |
| 5 | 87 | 9 |
| 6 | 133 | 9 |
| 7 | 242 | 9 |
| 8 | 479 | 9 |
| 9 | 1419 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 22 | 10 |
| 2 | 55 | 10 |
| 3 | 121 | 10 |
| 4 | 340 | 10 |
| 5 | 1204 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 22 | 10 |
| 2 | 55 | 10 |
| 3 | 121 | 10 |
| 4 | 340 | 10 |
| 5 | 1204 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 11 |
| 1 | 24 | 11 |
| 2 | 58 | 11 |
| 3 | 131 | 11 |
| 4 | 282 | 11 |
| 5 | 649 | 11 |
| 6 | 2066 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 49 | 8 |
| 5 | 107 | 8 |
| 6 | 247 | 8 |
| 7 | 707 | 8 |
| 8 | 2452 | 8 |
| done | 5001 | 8 |
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 179 | 0 | 179 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 179 | 2 | 181 |
Merged error: 0b
Found 1 expressions with local error:
| 0.1b | (* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337)) |
| 12× | add-sqr-sqrt associate-*l* |
| 6× | add-exp-log |
| 5× | add-cube-cbrt *-un-lft-identity |
| 4× | unpow-prod-down cube-prod unswap-sqr |
| 3× | associate-*r* prod-exp add-cbrt-cube |
| 2× | associate-*r/ sqr-pow |
| 1× | pow1 distribute-rgt-in cube-mult pow-to-exp distribute-lft-in flip3-+ unpow3 pow-exp *-commutative cbrt-unprod flip-+ add-log-exp |
| 10.0ms | (* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337)) |
| 9.0ms | (* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 11 |
| 1 | 14 | 11 |
| done | 14 | 11 |
| 0 | 10 | 11 |
| 1 | 14 | 11 |
| done | 14 | 11 |
| 0 | 10 | 11 |
| 1 | 23 | 11 |
| 2 | 35 | 11 |
| 3 | 62 | 11 |
| 4 | 117 | 11 |
| 5 | 270 | 11 |
| 6 | 758 | 11 |
| 7 | 2822 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 29 | 10 |
| 2 | 88 | 10 |
| 3 | 192 | 10 |
| 4 | 400 | 10 |
| 5 | 1012 | 10 |
| 6 | 3315 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 10 |
| 1 | 28 | 10 |
| 2 | 93 | 10 |
| 3 | 230 | 10 |
| 4 | 574 | 10 |
| 5 | 2114 | 10 |
| done | 5000 | 10 |
| 0 | 12 | 29 |
| 1 | 44 | 25 |
| 2 | 184 | 13 |
| 3 | 1000 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 21 |
| 1 | 27 | 21 |
| 2 | 78 | 21 |
| 3 | 160 | 21 |
| 4 | 317 | 21 |
| 5 | 830 | 21 |
| 6 | 2871 | 21 |
| done | 5000 | 21 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 77 | 10 |
| 3 | 163 | 10 |
| 4 | 319 | 10 |
| 5 | 826 | 10 |
| 6 | 2841 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 29 |
| 1 | 37 | 29 |
| 2 | 193 | 11 |
| 3 | 1184 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 77 | 10 |
| 3 | 163 | 10 |
| 4 | 319 | 10 |
| 5 | 826 | 10 |
| 6 | 2841 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 77 | 10 |
| 3 | 163 | 10 |
| 4 | 319 | 10 |
| 5 | 826 | 10 |
| 6 | 2841 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 39 | 11 |
| 3 | 63 | 11 |
| 4 | 110 | 11 |
| 5 | 257 | 11 |
| 6 | 787 | 11 |
| 7 | 3089 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 39 | 11 |
| 3 | 63 | 11 |
| 4 | 110 | 11 |
| 5 | 257 | 11 |
| 6 | 787 | 11 |
| 7 | 3089 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 39 | 11 |
| 3 | 63 | 11 |
| 4 | 110 | 11 |
| 5 | 257 | 11 |
| 6 | 787 | 11 |
| 7 | 3089 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 39 | 11 |
| 3 | 63 | 11 |
| 4 | 110 | 11 |
| 5 | 257 | 11 |
| 6 | 787 | 11 |
| 7 | 3089 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 28 | 11 |
| 3 | 38 | 11 |
| 4 | 61 | 11 |
| 5 | 124 | 11 |
| 6 | 338 | 11 |
| 7 | 1254 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 28 | 11 |
| 3 | 38 | 11 |
| 4 | 61 | 11 |
| 5 | 124 | 11 |
| 6 | 338 | 11 |
| 7 | 1254 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 12 |
| 1 | 18 | 10 |
| 2 | 29 | 10 |
| 3 | 47 | 10 |
| 4 | 93 | 10 |
| 5 | 232 | 10 |
| 6 | 765 | 10 |
| 7 | 3085 | 10 |
| done | 5001 | 10 |
| 0 | 11 | 12 |
| 1 | 18 | 10 |
| 2 | 29 | 10 |
| 3 | 47 | 10 |
| 4 | 93 | 10 |
| 5 | 232 | 10 |
| 6 | 765 | 10 |
| 7 | 3085 | 10 |
| done | 5001 | 10 |
| 0 | 6 | 7 |
| 1 | 18 | 7 |
| 2 | 46 | 7 |
| 3 | 93 | 5 |
| 4 | 203 | 5 |
| 5 | 563 | 5 |
| 6 | 2009 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 14 | 5 |
| 2 | 32 | 5 |
| 3 | 53 | 5 |
| 4 | 101 | 5 |
| 5 | 252 | 5 |
| 6 | 773 | 5 |
| 7 | 3066 | 5 |
| done | 5001 | 5 |
| 0 | 6 | 7 |
| 1 | 18 | 7 |
| 2 | 45 | 7 |
| 3 | 94 | 5 |
| 4 | 198 | 5 |
| 5 | 524 | 5 |
| 6 | 1841 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 14 | 5 |
| 2 | 32 | 5 |
| 3 | 54 | 5 |
| 4 | 101 | 5 |
| 5 | 244 | 5 |
| 6 | 773 | 5 |
| 7 | 3060 | 5 |
| done | 5001 | 5 |
| 0 | 10 | 17 |
| 1 | 23 | 17 |
| 2 | 52 | 17 |
| 3 | 109 | 17 |
| 4 | 202 | 17 |
| 5 | 488 | 17 |
| 6 | 1547 | 17 |
| done | 5001 | 17 |
| 0 | 9 | 10 |
| 1 | 20 | 10 |
| 2 | 38 | 10 |
| 3 | 62 | 10 |
| 4 | 111 | 10 |
| 5 | 259 | 10 |
| 6 | 785 | 10 |
| 7 | 3089 | 10 |
| done | 5000 | 10 |
| 0 | 5 | 5 |
| 1 | 16 | 3 |
| 2 | 37 | 3 |
| 3 | 73 | 3 |
| 4 | 119 | 3 |
| 5 | 220 | 3 |
| 6 | 502 | 3 |
| 7 | 1650 | 3 |
| done | 5001 | 3 |
| 0 | 9 | 10 |
| 1 | 26 | 7 |
| 2 | 34 | 7 |
| 3 | 40 | 7 |
| 4 | 50 | 7 |
| 5 | 73 | 7 |
| 6 | 135 | 7 |
| 7 | 349 | 7 |
| 8 | 1271 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 77 | 10 |
| 3 | 154 | 10 |
| 4 | 312 | 10 |
| 5 | 800 | 10 |
| 6 | 2721 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 9 |
| 1 | 25 | 9 |
| 2 | 76 | 9 |
| 3 | 162 | 9 |
| 4 | 321 | 9 |
| 5 | 840 | 9 |
| 6 | 2886 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 7 |
| 1 | 15 | 7 |
| 2 | 19 | 7 |
| done | 19 | 7 |
| 0 | 9 | 10 |
| 1 | 26 | 7 |
| 2 | 35 | 7 |
| 3 | 45 | 7 |
| 4 | 68 | 7 |
| 5 | 133 | 7 |
| 6 | 344 | 7 |
| 7 | 1264 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 10 |
| 1 | 26 | 7 |
| 2 | 34 | 7 |
| 3 | 40 | 7 |
| 4 | 50 | 7 |
| 5 | 73 | 7 |
| 6 | 135 | 7 |
| 7 | 349 | 7 |
| 8 | 1271 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 77 | 10 |
| 3 | 154 | 10 |
| 4 | 312 | 10 |
| 5 | 800 | 10 |
| 6 | 2721 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 9 |
| 1 | 25 | 9 |
| 2 | 76 | 9 |
| 3 | 162 | 9 |
| 4 | 321 | 9 |
| 5 | 840 | 9 |
| 6 | 2886 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 9 |
| 1 | 18 | 9 |
| 2 | 41 | 9 |
| 3 | 45 | 9 |
| 4 | 50 | 9 |
| 5 | 60 | 9 |
| 6 | 78 | 9 |
| 7 | 124 | 9 |
| 8 | 272 | 9 |
| 9 | 792 | 9 |
| 10 | 3096 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 42 | 10 |
| 3 | 54 | 10 |
| 4 | 77 | 10 |
| 5 | 138 | 10 |
| 6 | 350 | 10 |
| 7 | 1269 | 10 |
| done | 5001 | 10 |
| 0 | 8 | 9 |
| 1 | 25 | 9 |
| 2 | 76 | 9 |
| 3 | 162 | 9 |
| 4 | 321 | 9 |
| 5 | 840 | 9 |
| 6 | 2886 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 11 |
| 1 | 23 | 9 |
| 2 | 51 | 9 |
| 3 | 111 | 9 |
| 4 | 276 | 9 |
| 5 | 784 | 9 |
| 6 | 2726 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 13 |
| 1 | 39 | 13 |
| 2 | 152 | 13 |
| 3 | 611 | 13 |
| 4 | 2182 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 15 |
| 1 | 31 | 15 |
| 2 | 77 | 15 |
| 3 | 243 | 15 |
| 4 | 917 | 15 |
| 5 | 3324 | 15 |
| done | 5000 | 15 |
| 0 | 10 | 11 |
| 1 | 24 | 11 |
| 2 | 52 | 11 |
| 3 | 122 | 11 |
| 4 | 205 | 11 |
| 5 | 492 | 9 |
| 6 | 1732 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 11 |
| 1 | 24 | 11 |
| 2 | 52 | 11 |
| 3 | 122 | 11 |
| 4 | 205 | 11 |
| 5 | 492 | 9 |
| 6 | 1732 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 11 |
| 1 | 24 | 11 |
| 2 | 52 | 11 |
| 3 | 122 | 11 |
| 4 | 205 | 11 |
| 5 | 492 | 9 |
| 6 | 1732 | 9 |
| done | 5000 | 9 |
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 38 | 0 | 38 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 38 | 2 | 40 |
Merged error: 0b
98.8% (0.3b remaining)
Error of 0.4b against oracle of 0.0b and baseline of 29.4b
Useful iterations: 1 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 57 |
| 1 | 37 | 42 |
| done | 37 | 42 |
| 428.0ms | 1739× | body | 1280 | valid |
| 235.0ms | 1309× | body | 640 | valid |
| 151.0ms | 4090× | body | 80 | valid |
| 74.0ms | 589× | body | 320 | valid |
| 21.0ms | 273× | body | 160 | valid |
Loading profile data...