Time bar (total: 16.9min)
| 32.0ms | 276× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 37 |
| 1 | 55 | 37 |
| 2 | 115 | 37 |
| 3 | 240 | 37 |
| 4 | 595 | 37 |
| 5 | 1510 | 37 |
| 6 | 3012 | 37 |
| 7 | 4728 | 37 |
| done | 5000 | 37 |
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: 30.9b
Found 4 expressions with local error:
| 0.1b | (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) |
| 0.1b | (* (+ (* z 3.13060547623) 11.1667541262) z) |
| 2.4b | (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) |
| 29.4b | (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) |
| 18× | add-sqr-sqrt |
| 15× | add-exp-log add-cbrt-cube |
| 12× | add-cube-cbrt *-un-lft-identity |
| 10× | pow1 |
| 9× | associate-*r* associate-*l* |
| 5× | flip3-+ flip-+ |
| 4× | associate-*r/ associate-*l/ prod-exp cbrt-unprod add-log-exp |
| 3× | times-frac pow-prod-down associate-/r* *-commutative unswap-sqr |
| 2× | cbrt-undiv div-exp associate-/r/ associate-/l/ |
| 1× | distribute-rgt-in frac-2neg distribute-lft-in clear-num div-inv associate-/l* |
| 12.0ms | (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) |
| 8.0ms | (* (+ (* z 3.13060547623) 11.1667541262) z) |
| 23.0ms | (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) |
| 32.0ms | (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) |
| 7.0ms | (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) |
| 7.0ms | (* (+ (* z 3.13060547623) 11.1667541262) z) |
| 58.0ms | (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) |
| 165.0ms | (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 38 |
| 1 | 51 | 38 |
| 2 | 105 | 38 |
| 3 | 201 | 38 |
| 4 | 428 | 38 |
| 5 | 832 | 38 |
| 6 | 1180 | 38 |
| 7 | 1302 | 38 |
| 8 | 1657 | 38 |
| 9 | 2773 | 38 |
| done | 5000 | 38 |
| 0 | 30 | 37 |
| 1 | 57 | 37 |
| 2 | 119 | 37 |
| 3 | 242 | 37 |
| 4 | 556 | 37 |
| 5 | 1260 | 37 |
| 6 | 2020 | 37 |
| 7 | 2395 | 37 |
| 8 | 3190 | 37 |
| done | 5000 | 37 |
| 0 | 29 | 36 |
| 1 | 56 | 36 |
| 2 | 124 | 36 |
| 3 | 265 | 36 |
| 4 | 621 | 36 |
| 5 | 1516 | 36 |
| 6 | 2825 | 36 |
| 7 | 4060 | 36 |
| done | 5000 | 36 |
| 0 | 29 | 36 |
| 1 | 53 | 36 |
| 2 | 113 | 36 |
| 3 | 242 | 36 |
| 4 | 599 | 36 |
| 5 | 1537 | 36 |
| 6 | 3092 | 36 |
| done | 5002 | 36 |
| 0 | 34 | 107 |
| 1 | 88 | 107 |
| 2 | 349 | 41 |
| 3 | 1561 | 41 |
| done | 5001 | 41 |
| 0 | 32 | 107 |
| 1 | 84 | 107 |
| 2 | 329 | 39 |
| 3 | 1548 | 37 |
| done | 5000 | 37 |
| 0 | 30 | 73 |
| 1 | 54 | 73 |
| 2 | 114 | 73 |
| 3 | 241 | 73 |
| 4 | 583 | 73 |
| 5 | 1470 | 73 |
| 6 | 2806 | 73 |
| 7 | 3976 | 73 |
| done | 5000 | 73 |
| 0 | 29 | 36 |
| 1 | 53 | 36 |
| 2 | 113 | 36 |
| 3 | 240 | 36 |
| 4 | 585 | 36 |
| 5 | 1477 | 36 |
| 6 | 2806 | 36 |
| 7 | 4056 | 36 |
| done | 5000 | 36 |
| 0 | 30 | 107 |
| 1 | 61 | 107 |
| 2 | 170 | 37 |
| 3 | 607 | 37 |
| 4 | 3327 | 37 |
| done | 5001 | 37 |
| 0 | 29 | 36 |
| 1 | 53 | 36 |
| 2 | 113 | 36 |
| 3 | 240 | 36 |
| 4 | 585 | 36 |
| 5 | 1477 | 36 |
| 6 | 2806 | 36 |
| 7 | 4056 | 36 |
| done | 5000 | 36 |
| 0 | 29 | 36 |
| 1 | 53 | 36 |
| 2 | 113 | 36 |
| 3 | 240 | 36 |
| 4 | 585 | 36 |
| 5 | 1477 | 36 |
| 6 | 2806 | 36 |
| 7 | 4056 | 36 |
| done | 5000 | 36 |
| 0 | 17 | 20 |
| 1 | 36 | 20 |
| 2 | 86 | 20 |
| 3 | 205 | 20 |
| 4 | 632 | 20 |
| 5 | 1945 | 20 |
| 6 | 4603 | 20 |
| done | 5000 | 20 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 54 | 16 |
| 3 | 115 | 16 |
| 4 | 318 | 16 |
| 5 | 941 | 16 |
| 6 | 2060 | 16 |
| 7 | 3086 | 16 |
| done | 5000 | 16 |
| 0 | 16 | 35 |
| 1 | 25 | 35 |
| 2 | 48 | 35 |
| 3 | 92 | 35 |
| 4 | 205 | 35 |
| 5 | 418 | 35 |
| 6 | 582 | 35 |
| 7 | 634 | 35 |
| 8 | 793 | 35 |
| 9 | 1310 | 35 |
| 10 | 3294 | 35 |
| done | 5001 | 35 |
| 0 | 27 | 34 |
| 1 | 42 | 34 |
| 2 | 89 | 34 |
| 3 | 179 | 34 |
| 4 | 400 | 34 |
| 5 | 809 | 34 |
| 6 | 1132 | 34 |
| 7 | 1232 | 34 |
| 8 | 1561 | 34 |
| 9 | 2694 | 34 |
| done | 5000 | 34 |
| 0 | 15 | 18 |
| 1 | 22 | 18 |
| 2 | 45 | 18 |
| 3 | 89 | 18 |
| 4 | 198 | 18 |
| 5 | 405 | 18 |
| 6 | 568 | 18 |
| 7 | 618 | 18 |
| 8 | 785 | 18 |
| 9 | 1301 | 18 |
| 10 | 3316 | 18 |
| done | 5000 | 18 |
| 0 | 27 | 34 |
| 1 | 42 | 34 |
| 2 | 89 | 34 |
| 3 | 179 | 34 |
| 4 | 400 | 34 |
| 5 | 809 | 34 |
| 6 | 1132 | 34 |
| 7 | 1232 | 34 |
| 8 | 1561 | 34 |
| 9 | 2694 | 34 |
| done | 5000 | 34 |
| 0 | 3 | 3 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 26 | 33 |
| 1 | 41 | 33 |
| 2 | 88 | 33 |
| 3 | 178 | 33 |
| 4 | 397 | 33 |
| 5 | 802 | 33 |
| 6 | 1173 | 33 |
| 7 | 1277 | 33 |
| 8 | 1616 | 33 |
| 9 | 2742 | 33 |
| done | 5000 | 33 |
| 0 | 14 | 17 |
| 1 | 23 | 17 |
| 2 | 46 | 17 |
| 3 | 90 | 17 |
| 4 | 199 | 17 |
| 5 | 401 | 17 |
| 6 | 553 | 17 |
| 7 | 605 | 17 |
| 8 | 766 | 17 |
| 9 | 1278 | 17 |
| 10 | 3264 | 17 |
| done | 5000 | 17 |
| 0 | 28 | 35 |
| 1 | 52 | 35 |
| 2 | 110 | 35 |
| 3 | 224 | 35 |
| 4 | 529 | 35 |
| 5 | 1226 | 35 |
| 6 | 1973 | 35 |
| 7 | 2341 | 35 |
| 8 | 3074 | 35 |
| done | 5001 | 35 |
| 0 | 30 | 53 |
| 1 | 59 | 53 |
| 2 | 129 | 53 |
| 3 | 272 | 53 |
| 4 | 646 | 53 |
| 5 | 1729 | 53 |
| 6 | 3788 | 53 |
| done | 5001 | 53 |
| 0 | 29 | 36 |
| 1 | 53 | 36 |
| 2 | 113 | 36 |
| 3 | 240 | 36 |
| 4 | 585 | 36 |
| 5 | 1478 | 36 |
| 6 | 2814 | 36 |
| 7 | 4027 | 36 |
| done | 5000 | 36 |
| 0 | 18 | 21 |
| 1 | 37 | 19 |
| 2 | 78 | 19 |
| 3 | 170 | 19 |
| 4 | 376 | 19 |
| 5 | 875 | 19 |
| 6 | 1498 | 19 |
| 7 | 1705 | 19 |
| 8 | 1905 | 19 |
| 9 | 2545 | 19 |
| 10 | 4821 | 19 |
| done | 5000 | 19 |
| 0 | 26 | 33 |
| 1 | 41 | 33 |
| 2 | 88 | 33 |
| 3 | 178 | 33 |
| 4 | 399 | 33 |
| 5 | 807 | 33 |
| 6 | 1173 | 33 |
| 7 | 1277 | 33 |
| 8 | 1608 | 33 |
| 9 | 2727 | 33 |
| done | 5000 | 33 |
| 0 | 31 | 39 |
| 1 | 71 | 39 |
| 2 | 168 | 39 |
| 3 | 441 | 39 |
| 4 | 1540 | 39 |
| done | 5002 | 39 |
| 0 | 30 | 51 |
| 1 | 65 | 51 |
| 2 | 170 | 51 |
| 3 | 475 | 51 |
| 4 | 1632 | 51 |
| done | 5001 | 51 |
| 0 | 30 | 69 |
| 1 | 68 | 67 |
| 2 | 217 | 67 |
| 3 | 822 | 53 |
| 4 | 4215 | 53 |
| done | 5000 | 53 |
| 0 | 26 | 33 |
| 1 | 43 | 33 |
| 2 | 105 | 33 |
| 3 | 260 | 33 |
| 4 | 985 | 33 |
| done | 5000 | 33 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 64 | 19 |
| 3 | 135 | 19 |
| 4 | 337 | 19 |
| 5 | 843 | 19 |
| 6 | 1419 | 19 |
| 7 | 1633 | 19 |
| 8 | 1831 | 19 |
| 9 | 2469 | 19 |
| 10 | 4759 | 19 |
| done | 5000 | 19 |
| 0 | 18 | 21 |
| 1 | 27 | 21 |
| 2 | 51 | 21 |
| 3 | 98 | 21 |
| 4 | 212 | 21 |
| 5 | 411 | 21 |
| 6 | 550 | 21 |
| 7 | 581 | 21 |
| 8 | 659 | 21 |
| 9 | 908 | 21 |
| 10 | 1722 | 21 |
| done | 5000 | 21 |
| 0 | 17 | 20 |
| 1 | 35 | 20 |
| 2 | 69 | 20 |
| 3 | 140 | 20 |
| 4 | 340 | 20 |
| 5 | 848 | 20 |
| 6 | 1446 | 20 |
| 7 | 1638 | 20 |
| 8 | 1836 | 20 |
| 9 | 2477 | 20 |
| 10 | 4769 | 20 |
| done | 5000 | 20 |
| 0 | 17 | 20 |
| 1 | 34 | 20 |
| 2 | 76 | 20 |
| 3 | 172 | 20 |
| 4 | 456 | 20 |
| 5 | 1333 | 20 |
| 6 | 3318 | 20 |
| done | 5000 | 20 |
| 0 | 20 | 59 |
| 1 | 47 | 59 |
| 2 | 168 | 23 |
| 3 | 701 | 23 |
| 4 | 4184 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 41 |
| 1 | 33 | 41 |
| 2 | 66 | 41 |
| 3 | 139 | 41 |
| 4 | 339 | 41 |
| 5 | 847 | 41 |
| 6 | 1465 | 41 |
| 7 | 1643 | 41 |
| 8 | 1837 | 41 |
| 9 | 2474 | 41 |
| 10 | 4760 | 41 |
| done | 5000 | 41 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 65 | 20 |
| 3 | 136 | 20 |
| 4 | 340 | 20 |
| 5 | 844 | 20 |
| 6 | 1445 | 20 |
| 7 | 1641 | 20 |
| 8 | 1837 | 20 |
| 9 | 2474 | 20 |
| 10 | 4762 | 20 |
| done | 5000 | 20 |
| 0 | 18 | 59 |
| 1 | 43 | 59 |
| 2 | 147 | 21 |
| 3 | 568 | 21 |
| 4 | 2765 | 21 |
| done | 5000 | 21 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 65 | 20 |
| 3 | 136 | 20 |
| 4 | 340 | 20 |
| 5 | 844 | 20 |
| 6 | 1445 | 20 |
| 7 | 1641 | 20 |
| 8 | 1837 | 20 |
| 9 | 2474 | 20 |
| 10 | 4762 | 20 |
| done | 5000 | 20 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 65 | 20 |
| 3 | 136 | 20 |
| 4 | 340 | 20 |
| 5 | 844 | 20 |
| 6 | 1445 | 20 |
| 7 | 1641 | 20 |
| 8 | 1837 | 20 |
| 9 | 2474 | 20 |
| 10 | 4762 | 20 |
| done | 5000 | 20 |
| 0 | 18 | 21 |
| 1 | 27 | 21 |
| 2 | 51 | 21 |
| 3 | 98 | 21 |
| 4 | 212 | 21 |
| 5 | 411 | 21 |
| 6 | 550 | 21 |
| 7 | 581 | 21 |
| 8 | 659 | 21 |
| 9 | 908 | 21 |
| 10 | 1722 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 21 |
| 1 | 27 | 21 |
| 2 | 51 | 21 |
| 3 | 98 | 21 |
| 4 | 212 | 21 |
| 5 | 411 | 21 |
| 6 | 550 | 21 |
| 7 | 581 | 21 |
| 8 | 659 | 21 |
| 9 | 908 | 21 |
| 10 | 1722 | 21 |
| done | 5000 | 21 |
| 0 | 14 | 17 |
| 1 | 24 | 17 |
| 2 | 62 | 17 |
| 3 | 141 | 17 |
| 4 | 369 | 17 |
| 5 | 788 | 17 |
| 6 | 982 | 17 |
| 7 | 1041 | 17 |
| 8 | 1243 | 17 |
| 9 | 1884 | 17 |
| 10 | 4157 | 17 |
| done | 5000 | 17 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 14 | 17 |
| 1 | 24 | 17 |
| 2 | 54 | 17 |
| 3 | 119 | 17 |
| 4 | 286 | 17 |
| 5 | 641 | 17 |
| 6 | 908 | 17 |
| 7 | 994 | 17 |
| 8 | 1190 | 17 |
| 9 | 1832 | 17 |
| 10 | 4127 | 17 |
| done | 5001 | 17 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 18 | 39 |
| 1 | 29 | 39 |
| 2 | 55 | 39 |
| 3 | 102 | 39 |
| 4 | 216 | 39 |
| 5 | 423 | 39 |
| 6 | 570 | 39 |
| 7 | 601 | 39 |
| 8 | 679 | 39 |
| 9 | 927 | 39 |
| 10 | 1752 | 39 |
| done | 5001 | 39 |
| 0 | 17 | 20 |
| 1 | 26 | 20 |
| 2 | 50 | 20 |
| 3 | 97 | 20 |
| 4 | 211 | 20 |
| 5 | 418 | 20 |
| 6 | 574 | 20 |
| 7 | 605 | 20 |
| 8 | 681 | 20 |
| 9 | 928 | 20 |
| 10 | 1761 | 20 |
| done | 5001 | 20 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 65 | 20 |
| 3 | 136 | 20 |
| 4 | 341 | 20 |
| 5 | 838 | 20 |
| 6 | 1441 | 20 |
| 7 | 1624 | 20 |
| 8 | 1824 | 20 |
| 9 | 2452 | 20 |
| 10 | 4728 | 20 |
| done | 5001 | 20 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 65 | 20 |
| 3 | 136 | 20 |
| 4 | 341 | 20 |
| 5 | 838 | 20 |
| 6 | 1441 | 20 |
| 7 | 1624 | 20 |
| 8 | 1824 | 20 |
| 9 | 2452 | 20 |
| 10 | 4728 | 20 |
| done | 5001 | 20 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 64 | 19 |
| 3 | 135 | 19 |
| 4 | 337 | 19 |
| 5 | 843 | 19 |
| 6 | 1419 | 19 |
| 7 | 1633 | 19 |
| 8 | 1831 | 19 |
| 9 | 2469 | 19 |
| 10 | 4759 | 19 |
| done | 5000 | 19 |
| 0 | 19 | 23 |
| 1 | 50 | 23 |
| 2 | 141 | 23 |
| 3 | 483 | 23 |
| 4 | 2082 | 23 |
| done | 5000 | 23 |
| 0 | 18 | 37 |
| 1 | 38 | 37 |
| 2 | 106 | 37 |
| 3 | 341 | 37 |
| 4 | 1422 | 37 |
| done | 5000 | 37 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 17 | 7 |
| 3 | 20 | 7 |
| done | 20 | 7 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 22 | 8 |
| 3 | 25 | 8 |
| done | 25 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 30 | 8 |
| 3 | 48 | 8 |
| 4 | 83 | 8 |
| 5 | 173 | 8 |
| 6 | 456 | 8 |
| 7 | 1329 | 8 |
| 8 | 4831 | 8 |
| done | 5000 | 8 |
| 0 | 10 | 23 |
| 1 | 31 | 23 |
| 2 | 107 | 11 |
| 3 | 375 | 11 |
| 4 | 1427 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 17 |
| 1 | 11 | 17 |
| 2 | 19 | 17 |
| 3 | 22 | 17 |
| done | 22 | 17 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 18 | 8 |
| 3 | 21 | 8 |
| done | 21 | 8 |
| 0 | 8 | 23 |
| 1 | 21 | 23 |
| 2 | 82 | 9 |
| 3 | 311 | 9 |
| 4 | 877 | 9 |
| 5 | 2337 | 9 |
| done | 5001 | 9 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 18 | 8 |
| 3 | 21 | 8 |
| done | 21 | 8 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 18 | 8 |
| 3 | 21 | 8 |
| done | 21 | 8 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 11 |
| 1 | 13 | 11 |
| 2 | 23 | 11 |
| 3 | 43 | 11 |
| 4 | 59 | 11 |
| 5 | 61 | 11 |
| done | 61 | 11 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| done | 26 | 8 |
| 0 | 7 | 7 |
| 1 | 12 | 5 |
| 2 | 23 | 5 |
| 3 | 39 | 5 |
| 4 | 49 | 5 |
| done | 49 | 5 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 17 | 7 |
| 3 | 20 | 7 |
| done | 20 | 7 |
| 0 | 9 | 11 |
| 1 | 28 | 11 |
| 2 | 74 | 11 |
| 3 | 186 | 11 |
| 4 | 405 | 11 |
| 5 | 1202 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 13 |
| 1 | 22 | 13 |
| 2 | 50 | 13 |
| 3 | 104 | 13 |
| 4 | 222 | 13 |
| 5 | 366 | 13 |
| 6 | 596 | 13 |
| 7 | 1129 | 13 |
| 8 | 4111 | 13 |
| done | 5001 | 13 |
| 0 | 9 | 11 |
| 1 | 14 | 11 |
| 2 | 30 | 11 |
| 3 | 51 | 11 |
| 4 | 79 | 11 |
| 5 | 83 | 11 |
| 6 | 88 | 11 |
| 7 | 98 | 11 |
| 8 | 116 | 11 |
| 9 | 165 | 11 |
| 10 | 303 | 11 |
| 11 | 820 | 11 |
| 12 | 3108 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 13 |
| 1 | 16 | 13 |
| 2 | 24 | 13 |
| 3 | 35 | 13 |
| 4 | 37 | 13 |
| done | 37 | 13 |
| 0 | 10 | 12 |
| 1 | 18 | 12 |
| 2 | 35 | 12 |
| 3 | 56 | 12 |
| 4 | 86 | 12 |
| 5 | 92 | 12 |
| 6 | 97 | 12 |
| 7 | 107 | 12 |
| 8 | 127 | 12 |
| 9 | 174 | 12 |
| 10 | 325 | 12 |
| 11 | 861 | 12 |
| 12 | 3171 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 17 | 12 |
| 2 | 43 | 12 |
| 3 | 83 | 12 |
| 4 | 177 | 12 |
| 5 | 312 | 12 |
| 6 | 786 | 12 |
| 7 | 2793 | 12 |
| done | 5001 | 12 |
| 0 | 13 | 35 |
| 1 | 36 | 35 |
| 2 | 120 | 15 |
| 3 | 473 | 15 |
| 4 | 2540 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 25 |
| 1 | 16 | 25 |
| 2 | 32 | 25 |
| 3 | 53 | 25 |
| 4 | 81 | 25 |
| 5 | 87 | 25 |
| 6 | 92 | 25 |
| 7 | 102 | 25 |
| 8 | 122 | 25 |
| 9 | 173 | 25 |
| 10 | 324 | 25 |
| 11 | 859 | 25 |
| 12 | 3158 | 25 |
| done | 5000 | 25 |
| 0 | 10 | 12 |
| 1 | 15 | 12 |
| 2 | 31 | 12 |
| 3 | 52 | 12 |
| 4 | 80 | 12 |
| 5 | 86 | 12 |
| 6 | 91 | 12 |
| 7 | 101 | 12 |
| 8 | 121 | 12 |
| 9 | 168 | 12 |
| 10 | 313 | 12 |
| 11 | 843 | 12 |
| 12 | 3150 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 35 |
| 1 | 26 | 35 |
| 2 | 95 | 13 |
| 3 | 366 | 13 |
| 4 | 1464 | 13 |
| done | 5002 | 13 |
| 0 | 10 | 12 |
| 1 | 15 | 12 |
| 2 | 31 | 12 |
| 3 | 52 | 12 |
| 4 | 80 | 12 |
| 5 | 86 | 12 |
| 6 | 91 | 12 |
| 7 | 101 | 12 |
| 8 | 121 | 12 |
| 9 | 168 | 12 |
| 10 | 313 | 12 |
| 11 | 843 | 12 |
| 12 | 3150 | 12 |
| done | 5001 | 12 |
| 0 | 10 | 12 |
| 1 | 15 | 12 |
| 2 | 31 | 12 |
| 3 | 52 | 12 |
| 4 | 80 | 12 |
| 5 | 86 | 12 |
| 6 | 91 | 12 |
| 7 | 101 | 12 |
| 8 | 121 | 12 |
| 9 | 168 | 12 |
| 10 | 313 | 12 |
| 11 | 843 | 12 |
| 12 | 3150 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 13 |
| 1 | 16 | 13 |
| 2 | 24 | 13 |
| 3 | 35 | 13 |
| 4 | 37 | 13 |
| done | 37 | 13 |
| 0 | 11 | 13 |
| 1 | 16 | 13 |
| 2 | 24 | 13 |
| 3 | 35 | 13 |
| 4 | 37 | 13 |
| done | 37 | 13 |
| 0 | 11 | 15 |
| 1 | 18 | 15 |
| 2 | 36 | 15 |
| 3 | 75 | 15 |
| 4 | 161 | 15 |
| 5 | 239 | 15 |
| 6 | 263 | 15 |
| done | 263 | 15 |
| 0 | 10 | 12 |
| 1 | 15 | 12 |
| 2 | 31 | 12 |
| 3 | 58 | 12 |
| 4 | 108 | 12 |
| 5 | 128 | 12 |
| done | 128 | 12 |
| 0 | 10 | 11 |
| 1 | 17 | 9 |
| 2 | 36 | 9 |
| 3 | 71 | 9 |
| 4 | 135 | 9 |
| 5 | 164 | 9 |
| done | 164 | 9 |
| 0 | 10 | 12 |
| 1 | 15 | 12 |
| 2 | 23 | 12 |
| 3 | 34 | 12 |
| done | 34 | 12 |
| 0 | 10 | 12 |
| 1 | 15 | 12 |
| 2 | 23 | 12 |
| 3 | 34 | 12 |
| done | 34 | 12 |
| 0 | 9 | 11 |
| 1 | 14 | 11 |
| 2 | 30 | 11 |
| 3 | 51 | 11 |
| 4 | 79 | 11 |
| 5 | 83 | 11 |
| 6 | 88 | 11 |
| 7 | 98 | 11 |
| 8 | 116 | 11 |
| 9 | 165 | 11 |
| 10 | 303 | 11 |
| 11 | 820 | 11 |
| 12 | 3108 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 87 | 15 |
| 3 | 291 | 15 |
| 4 | 957 | 15 |
| 5 | 2991 | 15 |
| done | 5000 | 15 |
| 0 | 11 | 21 |
| 1 | 27 | 21 |
| 2 | 79 | 21 |
| 3 | 243 | 21 |
| 4 | 715 | 21 |
| 5 | 2032 | 21 |
| done | 5000 | 21 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 15 | 5 |
| done | 15 | 5 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 19 | 23 |
| 1 | 49 | 23 |
| 2 | 139 | 21 |
| 3 | 290 | 17 |
| 4 | 647 | 15 |
| 5 | 1743 | 15 |
| done | 5001 | 15 |
| 0 | 19 | 23 |
| 1 | 49 | 23 |
| 2 | 139 | 21 |
| 3 | 290 | 17 |
| 4 | 647 | 15 |
| 5 | 1743 | 15 |
| done | 5001 | 15 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 32 | 9 |
| 3 | 37 | 9 |
| 4 | 47 | 7 |
| 5 | 59 | 7 |
| 6 | 81 | 7 |
| 7 | 142 | 7 |
| 8 | 353 | 7 |
| 9 | 1281 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 32 | 9 |
| 3 | 37 | 9 |
| 4 | 47 | 7 |
| 5 | 59 | 7 |
| 6 | 81 | 7 |
| 7 | 142 | 7 |
| 8 | 353 | 7 |
| 9 | 1281 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 32 | 9 |
| 3 | 37 | 9 |
| 4 | 47 | 7 |
| 5 | 59 | 7 |
| 6 | 81 | 7 |
| 7 | 142 | 7 |
| 8 | 353 | 7 |
| 9 | 1281 | 7 |
| done | 5000 | 7 |
| 0 | 13 | 15 |
| 1 | 31 | 15 |
| 2 | 77 | 15 |
| 3 | 112 | 13 |
| 4 | 180 | 13 |
| 5 | 344 | 11 |
| 6 | 899 | 11 |
| 7 | 3265 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 15 |
| 1 | 31 | 15 |
| 2 | 77 | 15 |
| 3 | 112 | 13 |
| 4 | 180 | 13 |
| 5 | 344 | 11 |
| 6 | 899 | 11 |
| 7 | 3265 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 15 |
| 1 | 31 | 15 |
| 2 | 77 | 15 |
| 3 | 112 | 13 |
| 4 | 180 | 13 |
| 5 | 344 | 11 |
| 6 | 899 | 11 |
| 7 | 3265 | 11 |
| done | 5000 | 11 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 93 | 6 | 99 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 94 | 6 | 100 |
Merged error: 0.3b
Found 4 expressions with local error:
| 0.0b | (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) |
| 0.0b | (- (/ t z) 36.527041698806414) |
| 0.0b | (/ (- (/ t z) 36.527041698806414) z) |
| 3.8b | (* (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) y) |
| 44× | add-sqr-sqrt |
| 31× | *-un-lft-identity |
| 23× | times-frac |
| 17× | add-cube-cbrt |
| 10× | difference-of-squares |
| 8× | add-exp-log add-cbrt-cube add-log-exp |
| 6× | pow1 associate-/l* |
| 5× | distribute-lft-out-- |
| 4× | associate-*l* |
| 3× | associate-*r* associate-/r* |
| 2× | flip3-- flip3-+ div-sub associate-*l/ flip-- flip-+ associate-/l/ distribute-lft-out |
| 1× | cbrt-undiv +-commutative associate-+r- sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod div-inv unswap-sqr |
| 18.0ms | (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) |
| 8.0ms | (- (/ t z) 36.527041698806414) |
| 11.0ms | (/ (- (/ t z) 36.527041698806414) z) |
| 17.0ms | (* (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) y) |
| 7.0ms | (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) |
| 3.0ms | (- (/ t z) 36.527041698806414) |
| 7.0ms | (/ (- (/ t z) 36.527041698806414) z) |
| 15.0ms | (* (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) y) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 54 | 11 |
| 4 | 105 | 11 |
| 5 | 159 | 11 |
| 6 | 203 | 11 |
| 7 | 241 | 11 |
| 8 | 300 | 11 |
| 9 | 398 | 11 |
| 10 | 565 | 11 |
| 11 | 663 | 11 |
| 12 | 713 | 11 |
| 13 | 719 | 11 |
| done | 719 | 11 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 28 | 13 |
| 3 | 38 | 13 |
| 4 | 48 | 13 |
| 5 | 57 | 13 |
| 6 | 62 | 13 |
| 7 | 71 | 13 |
| 8 | 90 | 13 |
| 9 | 117 | 13 |
| 10 | 134 | 13 |
| 11 | 141 | 13 |
| 12 | 146 | 13 |
| done | 146 | 13 |
| 0 | 11 | 12 |
| 1 | 21 | 12 |
| 2 | 39 | 12 |
| 3 | 59 | 12 |
| 4 | 110 | 12 |
| 5 | 164 | 12 |
| 6 | 208 | 12 |
| 7 | 246 | 12 |
| 8 | 305 | 12 |
| 9 | 403 | 12 |
| 10 | 570 | 12 |
| 11 | 668 | 12 |
| 12 | 718 | 12 |
| 13 | 724 | 12 |
| done | 724 | 12 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 47 | 12 |
| 3 | 88 | 12 |
| 4 | 193 | 12 |
| 5 | 366 | 12 |
| 6 | 764 | 12 |
| 7 | 1960 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 35 |
| 1 | 39 | 35 |
| 2 | 117 | 15 |
| 3 | 392 | 15 |
| 4 | 2166 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 25 |
| 1 | 19 | 25 |
| 2 | 36 | 25 |
| 3 | 56 | 25 |
| 4 | 107 | 25 |
| 5 | 161 | 25 |
| 6 | 205 | 25 |
| 7 | 243 | 25 |
| 8 | 302 | 25 |
| 9 | 400 | 25 |
| 10 | 567 | 25 |
| 11 | 665 | 25 |
| 12 | 715 | 25 |
| 13 | 721 | 25 |
| done | 721 | 25 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 35 | 12 |
| 3 | 55 | 12 |
| 4 | 106 | 12 |
| 5 | 160 | 12 |
| 6 | 204 | 12 |
| 7 | 242 | 12 |
| 8 | 301 | 12 |
| 9 | 399 | 12 |
| 10 | 566 | 12 |
| 11 | 664 | 12 |
| 12 | 712 | 12 |
| 13 | 718 | 12 |
| done | 718 | 12 |
| 0 | 12 | 35 |
| 1 | 29 | 35 |
| 2 | 99 | 13 |
| 3 | 359 | 13 |
| 4 | 1500 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 35 | 12 |
| 3 | 55 | 12 |
| 4 | 106 | 12 |
| 5 | 160 | 12 |
| 6 | 204 | 12 |
| 7 | 242 | 12 |
| 8 | 301 | 12 |
| 9 | 399 | 12 |
| 10 | 566 | 12 |
| 11 | 664 | 12 |
| 12 | 712 | 12 |
| 13 | 718 | 12 |
| done | 718 | 12 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 35 | 12 |
| 3 | 55 | 12 |
| 4 | 106 | 12 |
| 5 | 160 | 12 |
| 6 | 204 | 12 |
| 7 | 242 | 12 |
| 8 | 301 | 12 |
| 9 | 399 | 12 |
| 10 | 566 | 12 |
| 11 | 664 | 12 |
| 12 | 712 | 12 |
| 13 | 718 | 12 |
| done | 718 | 12 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 28 | 13 |
| 3 | 38 | 13 |
| 4 | 48 | 13 |
| 5 | 57 | 13 |
| 6 | 62 | 13 |
| 7 | 71 | 13 |
| 8 | 90 | 13 |
| 9 | 117 | 13 |
| 10 | 134 | 13 |
| 11 | 141 | 13 |
| 12 | 146 | 13 |
| done | 146 | 13 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 28 | 13 |
| 3 | 38 | 13 |
| 4 | 48 | 13 |
| 5 | 57 | 13 |
| 6 | 62 | 13 |
| 7 | 71 | 13 |
| 8 | 90 | 13 |
| 9 | 117 | 13 |
| 10 | 134 | 13 |
| 11 | 141 | 13 |
| 12 | 146 | 13 |
| done | 146 | 13 |
| 0 | 12 | 15 |
| 1 | 21 | 15 |
| 2 | 40 | 15 |
| 3 | 72 | 15 |
| 4 | 155 | 15 |
| 5 | 273 | 15 |
| 6 | 391 | 15 |
| 7 | 525 | 15 |
| 8 | 669 | 15 |
| 9 | 888 | 15 |
| 10 | 1389 | 15 |
| 11 | 1847 | 15 |
| 12 | 2029 | 15 |
| 13 | 2038 | 15 |
| done | 2038 | 15 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 35 | 12 |
| 3 | 55 | 12 |
| 4 | 106 | 12 |
| 5 | 160 | 12 |
| 6 | 204 | 12 |
| 7 | 242 | 12 |
| 8 | 301 | 12 |
| 9 | 399 | 12 |
| 10 | 566 | 12 |
| 11 | 671 | 12 |
| 12 | 714 | 12 |
| 13 | 717 | 12 |
| done | 717 | 12 |
| 0 | 10 | 11 |
| 1 | 19 | 9 |
| 2 | 39 | 9 |
| 3 | 67 | 9 |
| 4 | 128 | 9 |
| 5 | 212 | 9 |
| 6 | 277 | 9 |
| 7 | 338 | 9 |
| 8 | 417 | 9 |
| 9 | 592 | 9 |
| 10 | 948 | 9 |
| 11 | 1070 | 9 |
| 12 | 1113 | 9 |
| 13 | 1114 | 9 |
| done | 1114 | 9 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 27 | 12 |
| 3 | 37 | 12 |
| 4 | 47 | 12 |
| 5 | 56 | 12 |
| 6 | 61 | 12 |
| 7 | 70 | 12 |
| 8 | 89 | 12 |
| 9 | 116 | 12 |
| 10 | 133 | 12 |
| 11 | 140 | 12 |
| 12 | 145 | 12 |
| done | 145 | 12 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 27 | 12 |
| 3 | 37 | 12 |
| 4 | 47 | 12 |
| 5 | 56 | 12 |
| 6 | 61 | 12 |
| 7 | 70 | 12 |
| 8 | 89 | 12 |
| 9 | 116 | 12 |
| 10 | 133 | 12 |
| 11 | 140 | 12 |
| 12 | 145 | 12 |
| done | 145 | 12 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 54 | 11 |
| 4 | 105 | 11 |
| 5 | 159 | 11 |
| 6 | 203 | 11 |
| 7 | 241 | 11 |
| 8 | 300 | 11 |
| 9 | 398 | 11 |
| 10 | 565 | 11 |
| 11 | 663 | 11 |
| 12 | 713 | 11 |
| 13 | 719 | 11 |
| done | 719 | 11 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 54 | 11 |
| 4 | 105 | 11 |
| 5 | 159 | 11 |
| 6 | 203 | 11 |
| 7 | 241 | 11 |
| 8 | 300 | 11 |
| 9 | 398 | 11 |
| 10 | 565 | 11 |
| 11 | 663 | 11 |
| 12 | 713 | 11 |
| 13 | 719 | 11 |
| done | 719 | 11 |
| 0 | 13 | 15 |
| 1 | 36 | 15 |
| 2 | 75 | 15 |
| 3 | 224 | 15 |
| 4 | 835 | 15 |
| 5 | 3328 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 21 |
| 1 | 27 | 21 |
| 2 | 67 | 21 |
| 3 | 221 | 21 |
| 4 | 847 | 21 |
| 5 | 2954 | 21 |
| done | 5000 | 21 |
| 0 | 8 | 9 |
| 1 | 12 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 22 | 8 |
| 3 | 25 | 8 |
| done | 25 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 20 | 8 |
| 3 | 24 | 8 |
| 4 | 27 | 8 |
| 5 | 33 | 8 |
| 6 | 37 | 8 |
| 7 | 53 | 8 |
| 8 | 57 | 8 |
| 9 | 66 | 8 |
| 10 | 79 | 8 |
| 11 | 103 | 8 |
| 12 | 129 | 8 |
| 13 | 144 | 8 |
| 14 | 151 | 8 |
| 15 | 157 | 8 |
| done | 157 | 8 |
| 0 | 10 | 23 |
| 1 | 21 | 23 |
| 2 | 69 | 11 |
| 3 | 213 | 9 |
| 4 | 625 | 9 |
| 5 | 2341 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 17 |
| 1 | 13 | 17 |
| 2 | 18 | 17 |
| 3 | 20 | 17 |
| done | 20 | 17 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 8 | 23 |
| 1 | 20 | 23 |
| 2 | 53 | 9 |
| 3 | 186 | 9 |
| 4 | 642 | 9 |
| 5 | 2052 | 9 |
| done | 5001 | 9 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 12 | 6 |
| 3 | 16 | 6 |
| 4 | 17 | 5 |
| done | 17 | 5 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 4 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 10 | 19 |
| 1 | 18 | 19 |
| 2 | 28 | 19 |
| 3 | 34 | 19 |
| done | 34 | 19 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 9 | 16 |
| 1 | 13 | 16 |
| 2 | 16 | 16 |
| 3 | 17 | 16 |
| done | 17 | 16 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 9 | 15 |
| 1 | 15 | 13 |
| 2 | 22 | 13 |
| 3 | 27 | 13 |
| done | 27 | 13 |
| 0 | 7 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 12 |
| 1 | 13 | 12 |
| 2 | 14 | 12 |
| done | 14 | 12 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 8 |
| 1 | 12 | 6 |
| 2 | 15 | 6 |
| done | 15 | 6 |
| 0 | 7 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 5 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 10 | 13 |
| 1 | 13 | 13 |
| done | 13 | 13 |
| 0 | 9 | 10 |
| 1 | 14 | 10 |
| 2 | 17 | 10 |
| 3 | 19 | 10 |
| done | 19 | 10 |
| 0 | 9 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 9 | 10 |
| 1 | 14 | 10 |
| 2 | 17 | 10 |
| 3 | 19 | 10 |
| done | 19 | 10 |
| 0 | 9 | 9 |
| 1 | 12 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 8 | 9 |
| 1 | 13 | 9 |
| 2 | 16 | 9 |
| 3 | 18 | 9 |
| done | 18 | 9 |
| 0 | 11 | 14 |
| 1 | 14 | 14 |
| done | 14 | 14 |
| 0 | 10 | 11 |
| 1 | 15 | 11 |
| 2 | 20 | 11 |
| 3 | 25 | 11 |
| done | 25 | 11 |
| 0 | 9 | 11 |
| 1 | 10 | 11 |
| done | 10 | 11 |
| 0 | 9 | 11 |
| 1 | 14 | 11 |
| 2 | 19 | 11 |
| 3 | 21 | 10 |
| done | 21 | 10 |
| 0 | 10 | 10 |
| 1 | 13 | 8 |
| 2 | 15 | 8 |
| done | 15 | 8 |
| 0 | 9 | 10 |
| 1 | 14 | 10 |
| 2 | 19 | 10 |
| 3 | 24 | 10 |
| done | 24 | 10 |
| 0 | 5 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 6 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 8 | 11 |
| 1 | 15 | 11 |
| 2 | 25 | 11 |
| 3 | 36 | 11 |
| 4 | 45 | 11 |
| done | 45 | 11 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 7 | 7 |
| 1 | 14 | 5 |
| 2 | 21 | 5 |
| 3 | 26 | 5 |
| done | 26 | 5 |
| 0 | 7 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 9 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 6 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 10 | 19 |
| 1 | 30 | 17 |
| 2 | 72 | 17 |
| 3 | 135 | 15 |
| 4 | 213 | 15 |
| 5 | 293 | 13 |
| 6 | 787 | 13 |
| 7 | 3966 | 13 |
| done | 5000 | 13 |
| 0 | 6 | 7 |
| 1 | 14 | 7 |
| 2 | 19 | 7 |
| 3 | 23 | 7 |
| 4 | 25 | 7 |
| 5 | 28 | 5 |
| done | 28 | 5 |
| 0 | 7 | 7 |
| 1 | 9 | 6 |
| 2 | 11 | 6 |
| 3 | 14 | 6 |
| 4 | 17 | 6 |
| 5 | 23 | 6 |
| 6 | 27 | 6 |
| 7 | 43 | 6 |
| 8 | 47 | 6 |
| 9 | 54 | 6 |
| 10 | 63 | 6 |
| 11 | 83 | 6 |
| 12 | 104 | 6 |
| 13 | 121 | 6 |
| 14 | 124 | 6 |
| done | 124 | 6 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 14 | 6 |
| 3 | 17 | 6 |
| 4 | 23 | 6 |
| 5 | 27 | 6 |
| 6 | 43 | 6 |
| 7 | 49 | 6 |
| 8 | 56 | 6 |
| 9 | 65 | 6 |
| 10 | 86 | 6 |
| 11 | 107 | 6 |
| 12 | 119 | 6 |
| 13 | 122 | 6 |
| done | 122 | 6 |
| 0 | 7 | 13 |
| 1 | 9 | 13 |
| 2 | 10 | 13 |
| done | 10 | 13 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 7 | 17 |
| 1 | 10 | 17 |
| 2 | 25 | 7 |
| 3 | 76 | 7 |
| 4 | 228 | 7 |
| 5 | 687 | 7 |
| 6 | 2225 | 7 |
| done | 5001 | 7 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 8 | 9 |
| 1 | 26 | 9 |
| 2 | 66 | 9 |
| 3 | 148 | 9 |
| 4 | 384 | 9 |
| 5 | 1176 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 17 |
| 1 | 22 | 15 |
| 2 | 39 | 15 |
| 3 | 48 | 13 |
| 4 | 58 | 13 |
| 5 | 68 | 13 |
| 6 | 71 | 13 |
| 7 | 73 | 13 |
| 8 | 74 | 13 |
| done | 74 | 13 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 7 | 11 |
| 1 | 16 | 11 |
| 2 | 29 | 11 |
| 3 | 51 | 11 |
| 4 | 89 | 11 |
| 5 | 152 | 11 |
| 6 | 228 | 11 |
| 7 | 413 | 11 |
| 8 | 1810 | 11 |
| done | 5000 | 11 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 7 | 7 |
| 1 | 8 | 7 |
| done | 8 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 8 |
| 1 | 9 | 8 |
| done | 9 | 8 |
| 0 | 8 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| 2 | 8 | 5 |
| done | 8 | 5 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 10 | 11 |
| 1 | 18 | 10 |
| 2 | 29 | 10 |
| 3 | 45 | 10 |
| 4 | 69 | 10 |
| 5 | 97 | 10 |
| 6 | 128 | 10 |
| 7 | 213 | 10 |
| 8 | 307 | 10 |
| 9 | 441 | 10 |
| 10 | 492 | 10 |
| 11 | 503 | 10 |
| 12 | 504 | 10 |
| done | 504 | 10 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 10 |
| 3 | 34 | 10 |
| 4 | 44 | 10 |
| 5 | 53 | 10 |
| 6 | 58 | 10 |
| 7 | 67 | 10 |
| 8 | 86 | 10 |
| 9 | 113 | 10 |
| 10 | 130 | 10 |
| 11 | 137 | 10 |
| 12 | 142 | 10 |
| done | 142 | 10 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 31 | 10 |
| 3 | 51 | 10 |
| 4 | 78 | 10 |
| 5 | 110 | 10 |
| 6 | 147 | 10 |
| 7 | 261 | 10 |
| 8 | 405 | 10 |
| 9 | 465 | 10 |
| 10 | 479 | 10 |
| 11 | 486 | 10 |
| 12 | 487 | 10 |
| done | 487 | 10 |
| 0 | 10 | 21 |
| 1 | 16 | 21 |
| 2 | 25 | 21 |
| 3 | 35 | 21 |
| 4 | 45 | 21 |
| 5 | 54 | 21 |
| 6 | 59 | 21 |
| 7 | 68 | 21 |
| 8 | 87 | 21 |
| 9 | 114 | 21 |
| 10 | 131 | 21 |
| 11 | 138 | 21 |
| 12 | 143 | 21 |
| done | 143 | 21 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 10 |
| 3 | 34 | 10 |
| 4 | 44 | 10 |
| 5 | 53 | 10 |
| 6 | 58 | 10 |
| 7 | 67 | 10 |
| 8 | 86 | 10 |
| 9 | 113 | 10 |
| 10 | 130 | 10 |
| 11 | 137 | 10 |
| 12 | 142 | 10 |
| done | 142 | 10 |
| 0 | 10 | 29 |
| 1 | 29 | 29 |
| 2 | 78 | 11 |
| 3 | 248 | 11 |
| 4 | 1199 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 10 |
| 3 | 34 | 10 |
| 4 | 44 | 10 |
| 5 | 53 | 10 |
| 6 | 58 | 10 |
| 7 | 67 | 10 |
| 8 | 86 | 10 |
| 9 | 113 | 10 |
| 10 | 130 | 10 |
| 11 | 137 | 10 |
| 12 | 142 | 10 |
| done | 142 | 10 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 10 |
| 3 | 34 | 10 |
| 4 | 44 | 10 |
| 5 | 53 | 10 |
| 6 | 58 | 10 |
| 7 | 67 | 10 |
| 8 | 86 | 10 |
| 9 | 113 | 10 |
| 10 | 130 | 10 |
| 11 | 137 | 10 |
| 12 | 142 | 10 |
| done | 142 | 10 |
| 0 | 11 | 13 |
| 1 | 33 | 13 |
| 2 | 64 | 13 |
| 3 | 181 | 13 |
| 4 | 600 | 13 |
| 5 | 2022 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 31 | 21 |
| 2 | 77 | 21 |
| 3 | 209 | 21 |
| 4 | 612 | 21 |
| 5 | 1712 | 21 |
| 6 | 4464 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 19 |
| 1 | 24 | 19 |
| 2 | 54 | 19 |
| 3 | 167 | 19 |
| 4 | 569 | 19 |
| 5 | 1681 | 19 |
| done | 5000 | 19 |
| 0 | 8 | 9 |
| 1 | 15 | 9 |
| 2 | 25 | 9 |
| 3 | 37 | 9 |
| 4 | 57 | 9 |
| 5 | 61 | 9 |
| 6 | 69 | 9 |
| 7 | 84 | 9 |
| 8 | 114 | 9 |
| 9 | 131 | 9 |
| 10 | 134 | 9 |
| done | 134 | 9 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 23 | 9 |
| 3 | 33 | 9 |
| 4 | 43 | 9 |
| 5 | 52 | 9 |
| 6 | 57 | 9 |
| 7 | 66 | 9 |
| 8 | 85 | 9 |
| 9 | 112 | 9 |
| 10 | 129 | 9 |
| 11 | 136 | 9 |
| 12 | 141 | 9 |
| done | 141 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 43 | 9 |
| 3 | 67 | 9 |
| 4 | 113 | 9 |
| 5 | 225 | 9 |
| 6 | 573 | 9 |
| 7 | 2100 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 43 | 9 |
| 3 | 67 | 9 |
| 4 | 113 | 9 |
| 5 | 225 | 9 |
| 6 | 573 | 9 |
| 7 | 2100 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 43 | 9 |
| 3 | 67 | 9 |
| 4 | 113 | 9 |
| 5 | 225 | 9 |
| 6 | 573 | 9 |
| 7 | 2100 | 9 |
| done | 5000 | 9 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| 2 | 8 | 5 |
| done | 8 | 5 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| 2 | 8 | 5 |
| done | 8 | 5 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| 2 | 8 | 5 |
| done | 8 | 5 |
| 0 | 12 | 13 |
| 1 | 26 | 13 |
| 2 | 54 | 11 |
| 3 | 84 | 11 |
| 4 | 136 | 11 |
| 5 | 267 | 11 |
| 6 | 706 | 11 |
| 7 | 2887 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 13 |
| 1 | 26 | 13 |
| 2 | 54 | 11 |
| 3 | 84 | 11 |
| 4 | 136 | 11 |
| 5 | 257 | 11 |
| 6 | 632 | 11 |
| 7 | 2426 | 11 |
| done | 5001 | 11 |
| 0 | 12 | 13 |
| 1 | 26 | 13 |
| 2 | 54 | 11 |
| 3 | 84 | 11 |
| 4 | 136 | 11 |
| 5 | 257 | 11 |
| 6 | 632 | 11 |
| 7 | 2426 | 11 |
| done | 5001 | 11 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 100 | 3 | 103 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 100 | 9 | 109 |
Merged error: 0.3b
Found 4 expressions with local error:
| 3.8b | (* (+ 3.13060547623 (/ (* (cbrt (- (/ t z) 36.527041698806414)) (cbrt (- (/ t z) 36.527041698806414))) (/ z (cbrt (- (/ t z) 36.527041698806414))))) y) |
| 7.4b | (cbrt (- (/ t z) 36.527041698806414)) |
| 7.4b | (cbrt (- (/ t z) 36.527041698806414)) |
| 7.4b | (cbrt (- (/ t z) 36.527041698806414)) |
| 26× | add-sqr-sqrt |
| 18× | cbrt-prod |
| 17× | *-un-lft-identity |
| 9× | add-cube-cbrt |
| 6× | pow1 add-exp-log cbrt-div add-cbrt-cube difference-of-squares |
| 4× | associate-*l* add-log-exp |
| 3× | flip3-- times-frac pow1/3 associate-*r* flip-- distribute-lft-out-- |
| 2× | associate-*l/ |
| 1× | flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out unswap-sqr |
| 23.0ms | (* (+ 3.13060547623 (/ (* (cbrt (- (/ t z) 36.527041698806414)) (cbrt (- (/ t z) 36.527041698806414))) (/ z (cbrt (- (/ t z) 36.527041698806414))))) y) |
| 11.0ms | (cbrt (- (/ t z) 36.527041698806414)) |
| 7.0ms | (cbrt (- (/ t z) 36.527041698806414)) |
| 8.0ms | (cbrt (- (/ t z) 36.527041698806414)) |
| 15.0ms | (* (+ 3.13060547623 (/ (* (cbrt (- (/ t z) 36.527041698806414)) (cbrt (- (/ t z) 36.527041698806414))) (/ z (cbrt (- (/ t z) 36.527041698806414))))) y) |
| 40.0ms | (cbrt (- (/ t z) 36.527041698806414)) |
| 44.0ms | (cbrt (- (/ t z) 36.527041698806414)) |
| 40.0ms | (cbrt (- (/ t z) 36.527041698806414)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 14 |
| 1 | 10 | 14 |
| 2 | 11 | 14 |
| done | 11 | 14 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 8 | 8 |
| 1 | 9 | 8 |
| done | 9 | 8 |
| 0 | 8 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 9 | 9 |
| 1 | 10 | 9 |
| done | 10 | 9 |
| 0 | 9 | 9 |
| 1 | 11 | 9 |
| 2 | 12 | 9 |
| done | 12 | 9 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 9 | 10 |
| 1 | 27 | 10 |
| 2 | 67 | 10 |
| 3 | 149 | 10 |
| 4 | 383 | 10 |
| 5 | 1179 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 18 |
| 1 | 23 | 16 |
| 2 | 40 | 16 |
| 3 | 51 | 14 |
| 4 | 61 | 14 |
| 5 | 71 | 14 |
| 6 | 74 | 14 |
| 7 | 76 | 14 |
| 8 | 77 | 14 |
| done | 77 | 14 |
| 0 | 8 | 12 |
| 1 | 17 | 12 |
| 2 | 30 | 12 |
| 3 | 52 | 12 |
| 4 | 90 | 12 |
| 5 | 153 | 12 |
| 6 | 231 | 12 |
| 7 | 416 | 12 |
| 8 | 1816 | 12 |
| done | 5001 | 12 |
| 0 | 6 | 6 |
| 1 | 7 | 6 |
| done | 7 | 6 |
| 0 | 8 | 15 |
| 1 | 10 | 15 |
| 2 | 11 | 15 |
| done | 11 | 15 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 20 |
| 1 | 11 | 20 |
| 2 | 14 | 8 |
| 3 | 19 | 5 |
| 4 | 25 | 5 |
| 5 | 35 | 5 |
| 6 | 56 | 5 |
| 7 | 116 | 5 |
| 8 | 333 | 5 |
| 9 | 1264 | 5 |
| done | 5000 | 5 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 14 |
| 1 | 10 | 14 |
| 2 | 11 | 14 |
| done | 11 | 14 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 8 | 8 |
| 1 | 9 | 8 |
| done | 9 | 8 |
| 0 | 8 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 9 | 9 |
| 1 | 10 | 9 |
| done | 10 | 9 |
| 0 | 9 | 9 |
| 1 | 11 | 9 |
| 2 | 12 | 9 |
| done | 12 | 9 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 9 | 10 |
| 1 | 27 | 10 |
| 2 | 67 | 10 |
| 3 | 149 | 10 |
| 4 | 383 | 10 |
| 5 | 1179 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 18 |
| 1 | 23 | 16 |
| 2 | 40 | 16 |
| 3 | 51 | 14 |
| 4 | 61 | 14 |
| 5 | 71 | 14 |
| 6 | 74 | 14 |
| 7 | 76 | 14 |
| 8 | 77 | 14 |
| done | 77 | 14 |
| 0 | 8 | 12 |
| 1 | 17 | 12 |
| 2 | 30 | 12 |
| 3 | 52 | 12 |
| 4 | 90 | 12 |
| 5 | 153 | 12 |
| 6 | 231 | 12 |
| 7 | 416 | 12 |
| 8 | 1816 | 12 |
| done | 5001 | 12 |
| 0 | 6 | 6 |
| 1 | 7 | 6 |
| done | 7 | 6 |
| 0 | 8 | 15 |
| 1 | 10 | 15 |
| 2 | 11 | 15 |
| done | 11 | 15 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 20 |
| 1 | 11 | 20 |
| 2 | 14 | 8 |
| 3 | 19 | 5 |
| 4 | 25 | 5 |
| 5 | 35 | 5 |
| 6 | 56 | 5 |
| 7 | 116 | 5 |
| 8 | 333 | 5 |
| 9 | 1264 | 5 |
| done | 5000 | 5 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 14 |
| 1 | 10 | 14 |
| 2 | 11 | 14 |
| done | 11 | 14 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 8 | 8 |
| 1 | 9 | 8 |
| done | 9 | 8 |
| 0 | 8 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 9 | 9 |
| 1 | 10 | 9 |
| done | 10 | 9 |
| 0 | 9 | 9 |
| 1 | 11 | 9 |
| 2 | 12 | 9 |
| done | 12 | 9 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 9 | 10 |
| 1 | 27 | 10 |
| 2 | 67 | 10 |
| 3 | 149 | 10 |
| 4 | 383 | 10 |
| 5 | 1179 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 18 |
| 1 | 23 | 16 |
| 2 | 40 | 16 |
| 3 | 51 | 14 |
| 4 | 61 | 14 |
| 5 | 71 | 14 |
| 6 | 74 | 14 |
| 7 | 76 | 14 |
| 8 | 77 | 14 |
| done | 77 | 14 |
| 0 | 8 | 12 |
| 1 | 17 | 12 |
| 2 | 30 | 12 |
| 3 | 52 | 12 |
| 4 | 90 | 12 |
| 5 | 153 | 12 |
| 6 | 231 | 12 |
| 7 | 416 | 12 |
| 8 | 1816 | 12 |
| done | 5001 | 12 |
| 0 | 6 | 6 |
| 1 | 7 | 6 |
| done | 7 | 6 |
| 0 | 8 | 15 |
| 1 | 10 | 15 |
| 2 | 11 | 15 |
| done | 11 | 15 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 20 |
| 1 | 11 | 20 |
| 2 | 14 | 8 |
| 3 | 19 | 5 |
| 4 | 25 | 5 |
| 5 | 35 | 5 |
| 6 | 56 | 5 |
| 7 | 116 | 5 |
| 8 | 333 | 5 |
| 9 | 1264 | 5 |
| done | 5000 | 5 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 13 | 26 |
| 1 | 21 | 26 |
| 2 | 36 | 26 |
| 3 | 58 | 26 |
| 4 | 102 | 14 |
| 5 | 132 | 11 |
| 6 | 174 | 11 |
| 7 | 264 | 11 |
| 8 | 440 | 11 |
| 9 | 918 | 11 |
| 10 | 2637 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 28 |
| 1 | 23 | 28 |
| 2 | 30 | 28 |
| 3 | 34 | 28 |
| 4 | 38 | 16 |
| 5 | 43 | 13 |
| 6 | 54 | 13 |
| 7 | 78 | 13 |
| 8 | 128 | 13 |
| 9 | 264 | 13 |
| 10 | 791 | 13 |
| 11 | 3171 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 27 |
| 1 | 25 | 27 |
| 2 | 41 | 27 |
| 3 | 63 | 27 |
| 4 | 103 | 15 |
| 5 | 132 | 12 |
| 6 | 174 | 12 |
| 7 | 264 | 12 |
| 8 | 442 | 12 |
| 9 | 913 | 12 |
| 10 | 2637 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 27 |
| 1 | 24 | 27 |
| 2 | 49 | 27 |
| 3 | 87 | 27 |
| 4 | 173 | 15 |
| 5 | 320 | 12 |
| 6 | 771 | 12 |
| 7 | 2234 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 80 |
| 1 | 43 | 80 |
| 2 | 133 | 30 |
| 3 | 497 | 30 |
| 4 | 2353 | 16 |
| done | 5000 | 16 |
| 0 | 15 | 55 |
| 1 | 23 | 55 |
| 2 | 38 | 55 |
| 3 | 60 | 55 |
| 4 | 100 | 31 |
| 5 | 129 | 25 |
| 6 | 171 | 25 |
| 7 | 259 | 25 |
| 8 | 437 | 25 |
| 9 | 910 | 25 |
| 10 | 2633 | 25 |
| done | 5000 | 25 |
| 0 | 14 | 27 |
| 1 | 22 | 27 |
| 2 | 37 | 27 |
| 3 | 59 | 27 |
| 4 | 99 | 15 |
| 5 | 128 | 12 |
| 6 | 170 | 12 |
| 7 | 258 | 12 |
| 8 | 433 | 12 |
| 9 | 903 | 12 |
| 10 | 2614 | 12 |
| done | 5001 | 12 |
| 0 | 15 | 80 |
| 1 | 33 | 80 |
| 2 | 101 | 28 |
| 3 | 390 | 28 |
| 4 | 1580 | 16 |
| done | 5001 | 16 |
| 0 | 14 | 27 |
| 1 | 22 | 27 |
| 2 | 37 | 27 |
| 3 | 59 | 27 |
| 4 | 99 | 15 |
| 5 | 128 | 12 |
| 6 | 170 | 12 |
| 7 | 258 | 12 |
| 8 | 433 | 12 |
| 9 | 903 | 12 |
| 10 | 2614 | 12 |
| done | 5001 | 12 |
| 0 | 14 | 27 |
| 1 | 22 | 27 |
| 2 | 37 | 27 |
| 3 | 59 | 27 |
| 4 | 99 | 15 |
| 5 | 128 | 12 |
| 6 | 170 | 12 |
| 7 | 258 | 12 |
| 8 | 433 | 12 |
| 9 | 903 | 12 |
| 10 | 2614 | 12 |
| done | 5001 | 12 |
| 0 | 15 | 28 |
| 1 | 23 | 28 |
| 2 | 30 | 28 |
| 3 | 34 | 28 |
| 4 | 38 | 16 |
| 5 | 43 | 13 |
| 6 | 54 | 13 |
| 7 | 78 | 13 |
| 8 | 128 | 13 |
| 9 | 264 | 13 |
| 10 | 791 | 13 |
| 11 | 3171 | 13 |
| done | 5000 | 13 |
| 0 | 15 | 28 |
| 1 | 23 | 28 |
| 2 | 30 | 28 |
| 3 | 34 | 28 |
| 4 | 38 | 16 |
| 5 | 43 | 13 |
| 6 | 54 | 13 |
| 7 | 78 | 13 |
| 8 | 128 | 13 |
| 9 | 264 | 13 |
| 10 | 791 | 13 |
| 11 | 3171 | 13 |
| done | 5000 | 13 |
| 0 | 15 | 30 |
| 1 | 25 | 30 |
| 2 | 42 | 30 |
| 3 | 76 | 30 |
| 4 | 146 | 18 |
| 5 | 252 | 15 |
| 6 | 356 | 15 |
| 7 | 533 | 15 |
| 8 | 937 | 15 |
| 9 | 2003 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 27 |
| 1 | 22 | 27 |
| 2 | 37 | 27 |
| 3 | 59 | 27 |
| 4 | 99 | 15 |
| 5 | 128 | 12 |
| 6 | 170 | 12 |
| 7 | 258 | 12 |
| 8 | 433 | 12 |
| 9 | 904 | 12 |
| 10 | 2617 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 26 |
| 1 | 23 | 24 |
| 2 | 41 | 24 |
| 3 | 71 | 24 |
| 4 | 133 | 12 |
| 5 | 161 | 9 |
| 6 | 202 | 9 |
| 7 | 317 | 9 |
| 8 | 496 | 9 |
| 9 | 840 | 9 |
| 10 | 1813 | 9 |
| done | 5001 | 9 |
| 0 | 14 | 27 |
| 1 | 22 | 27 |
| 2 | 29 | 27 |
| 3 | 33 | 27 |
| 4 | 37 | 15 |
| 5 | 42 | 12 |
| 6 | 53 | 12 |
| 7 | 77 | 12 |
| 8 | 127 | 12 |
| 9 | 265 | 12 |
| 10 | 793 | 12 |
| 11 | 3174 | 12 |
| done | 5001 | 12 |
| 0 | 14 | 27 |
| 1 | 22 | 27 |
| 2 | 29 | 27 |
| 3 | 33 | 27 |
| 4 | 37 | 15 |
| 5 | 42 | 12 |
| 6 | 53 | 12 |
| 7 | 77 | 12 |
| 8 | 127 | 12 |
| 9 | 265 | 12 |
| 10 | 793 | 12 |
| 11 | 3174 | 12 |
| done | 5001 | 12 |
| 0 | 13 | 26 |
| 1 | 21 | 26 |
| 2 | 36 | 26 |
| 3 | 58 | 26 |
| 4 | 102 | 14 |
| 5 | 132 | 11 |
| 6 | 174 | 11 |
| 7 | 264 | 11 |
| 8 | 440 | 11 |
| 9 | 918 | 11 |
| 10 | 2637 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 26 |
| 1 | 21 | 26 |
| 2 | 36 | 26 |
| 3 | 58 | 26 |
| 4 | 102 | 14 |
| 5 | 132 | 11 |
| 6 | 174 | 11 |
| 7 | 264 | 11 |
| 8 | 440 | 11 |
| 9 | 918 | 11 |
| 10 | 2637 | 11 |
| done | 5000 | 11 |
| 0 | 16 | 30 |
| 1 | 40 | 30 |
| 2 | 106 | 30 |
| 3 | 374 | 15 |
| 4 | 1754 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 51 |
| 1 | 31 | 51 |
| 2 | 82 | 51 |
| 3 | 279 | 27 |
| 4 | 1016 | 21 |
| 5 | 3423 | 18 |
| done | 5000 | 18 |
| 0 | 4 | 4 |
| 1 | 10 | 3 |
| 2 | 16 | 3 |
| 3 | 26 | 3 |
| 4 | 50 | 3 |
| 5 | 111 | 3 |
| 6 | 324 | 3 |
| 7 | 1251 | 3 |
| done | 5000 | 3 |
| 0 | 13 | 15 |
| 1 | 29 | 12 |
| 2 | 60 | 9 |
| 3 | 160 | 7 |
| 4 | 281 | 6 |
| 5 | 542 | 4 |
| 6 | 1075 | 4 |
| 7 | 3093 | 4 |
| done | 5000 | 4 |
| 0 | 14 | 15 |
| 1 | 29 | 14 |
| 2 | 68 | 12 |
| 3 | 209 | 11 |
| 4 | 586 | 8 |
| 5 | 1441 | 4 |
| 6 | 3675 | 4 |
| done | 5001 | 4 |
| 0 | 4 | 4 |
| 1 | 10 | 3 |
| 2 | 16 | 3 |
| 3 | 26 | 3 |
| 4 | 50 | 3 |
| 5 | 111 | 3 |
| 6 | 324 | 3 |
| 7 | 1251 | 3 |
| done | 5000 | 3 |
| 0 | 13 | 15 |
| 1 | 29 | 12 |
| 2 | 60 | 9 |
| 3 | 160 | 7 |
| 4 | 281 | 6 |
| 5 | 542 | 4 |
| 6 | 1075 | 4 |
| 7 | 3093 | 4 |
| done | 5000 | 4 |
| 0 | 14 | 15 |
| 1 | 29 | 14 |
| 2 | 68 | 12 |
| 3 | 209 | 11 |
| 4 | 586 | 8 |
| 5 | 1441 | 4 |
| 6 | 3675 | 4 |
| done | 5001 | 4 |
| 0 | 4 | 4 |
| 1 | 10 | 3 |
| 2 | 16 | 3 |
| 3 | 26 | 3 |
| 4 | 50 | 3 |
| 5 | 111 | 3 |
| 6 | 324 | 3 |
| 7 | 1251 | 3 |
| done | 5000 | 3 |
| 0 | 13 | 15 |
| 1 | 29 | 12 |
| 2 | 60 | 9 |
| 3 | 160 | 7 |
| 4 | 281 | 6 |
| 5 | 542 | 4 |
| 6 | 1075 | 4 |
| 7 | 3093 | 4 |
| done | 5000 | 4 |
| 0 | 14 | 15 |
| 1 | 29 | 14 |
| 2 | 68 | 12 |
| 3 | 209 | 11 |
| 4 | 586 | 8 |
| 5 | 1441 | 4 |
| 6 | 3675 | 4 |
| done | 5001 | 4 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 81 | 0 | 81 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 81 | 9 | 90 |
Merged error: 0.3b
Found 4 expressions with local error:
| 0.0b | (/ (- (/ t z) 36.527041698806414) z) |
| 0.2b | (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z)) |
| 1.3b | (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) |
| 17.9b | (/ (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) (- 3.13060547623 (/ (- (/ t z) 36.527041698806414) z))) |
| 167× | add-sqr-sqrt |
| 130× | times-frac |
| 117× | *-un-lft-identity |
| 63× | add-cube-cbrt |
| 37× | difference-of-squares |
| 28× | swap-sqr |
| 26× | associate-*l* |
| 25× | add-exp-log associate-*r* add-cbrt-cube |
| 24× | distribute-lft-out-- |
| 13× | pow1 |
| 9× | associate-/r* |
| 7× | cbrt-undiv div-exp associate-/l* |
| 6× | prod-exp cbrt-unprod div-inv |
| 5× | associate-*l/ unswap-sqr |
| 4× | flip3-- flip-- associate-/l/ add-log-exp |
| 2× | frac-2neg pow-prod-down clear-num associate-/r/ *-commutative |
| 1× | pow2 frac-times pow-plus div-sub associate-*r/ pow-sqr pow-prod-up |
| 11.0ms | (/ (- (/ t z) 36.527041698806414) z) |
| 35.0ms | (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z)) |
| 7.0ms | (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) |
| 20.0ms | (/ (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) (- 3.13060547623 (/ (- (/ t z) 36.527041698806414) z))) |
| 7.0ms | (/ (- (/ t z) 36.527041698806414) z) |
| 8.0ms | (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z)) |
| 41.0ms | (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) |
| 48.0ms | (/ (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) (- 3.13060547623 (/ (- (/ t z) 36.527041698806414) z))) |
Useful iterations: 4 (208.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 34 |
| 1 | 37 | 34 |
| 2 | 83 | 34 |
| 3 | 233 | 34 |
| 4 | 741 | 15 |
| 5 | 2102 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 33 |
| 1 | 37 | 33 |
| 2 | 92 | 33 |
| 3 | 292 | 33 |
| 4 | 1046 | 33 |
| 5 | 3465 | 14 |
| done | 5001 | 14 |
| 0 | 15 | 32 |
| 1 | 36 | 32 |
| 2 | 103 | 32 |
| 3 | 356 | 32 |
| 4 | 1382 | 14 |
| done | 5001 | 12 |
| 0 | 15 | 32 |
| 1 | 33 | 32 |
| 2 | 92 | 32 |
| 3 | 325 | 32 |
| 4 | 1305 | 14 |
| done | 5000 | 12 |
| 0 | 20 | 95 |
| 1 | 50 | 95 |
| 2 | 219 | 37 |
| 3 | 1425 | 37 |
| done | 5000 | 37 |
| 0 | 18 | 95 |
| 1 | 52 | 95 |
| 2 | 242 | 35 |
| 3 | 1767 | 33 |
| done | 5000 | 33 |
| 0 | 16 | 65 |
| 1 | 34 | 65 |
| 2 | 93 | 65 |
| 3 | 321 | 65 |
| 4 | 1281 | 29 |
| 5 | 4901 | 25 |
| done | 5000 | 25 |
| 0 | 15 | 32 |
| 1 | 33 | 32 |
| 2 | 92 | 32 |
| 3 | 320 | 32 |
| 4 | 1280 | 14 |
| 5 | 4902 | 12 |
| done | 5000 | 12 |
| 0 | 16 | 95 |
| 1 | 41 | 95 |
| 2 | 137 | 33 |
| 3 | 747 | 33 |
| done | 5002 | 33 |
| 0 | 15 | 32 |
| 1 | 33 | 32 |
| 2 | 92 | 32 |
| 3 | 320 | 32 |
| 4 | 1280 | 14 |
| 5 | 4902 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 32 |
| 1 | 33 | 32 |
| 2 | 92 | 32 |
| 3 | 320 | 32 |
| 4 | 1280 | 14 |
| 5 | 4902 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 22 |
| 1 | 32 | 22 |
| 2 | 83 | 22 |
| 3 | 299 | 22 |
| 4 | 1308 | 21 |
| done | 5000 | 21 |
| 0 | 9 | 10 |
| 1 | 16 | 10 |
| 2 | 29 | 10 |
| 3 | 47 | 10 |
| 4 | 93 | 9 |
| 5 | 129 | 9 |
| 6 | 147 | 9 |
| 7 | 151 | 9 |
| 8 | 154 | 9 |
| done | 154 | 9 |
| 0 | 14 | 41 |
| 1 | 34 | 41 |
| 2 | 95 | 41 |
| 3 | 311 | 41 |
| 4 | 1091 | 41 |
| 5 | 3610 | 41 |
| done | 5001 | 41 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 28 | 12 |
| 3 | 40 | 12 |
| 4 | 60 | 12 |
| 5 | 65 | 12 |
| 6 | 73 | 12 |
| 7 | 88 | 12 |
| 8 | 118 | 12 |
| 9 | 135 | 12 |
| 10 | 138 | 12 |
| done | 138 | 12 |
| 0 | 13 | 30 |
| 1 | 31 | 30 |
| 2 | 78 | 30 |
| 3 | 246 | 30 |
| 4 | 854 | 30 |
| 5 | 2621 | 30 |
| done | 5000 | 30 |
| 0 | 11 | 12 |
| 1 | 18 | 12 |
| 2 | 28 | 12 |
| 3 | 40 | 12 |
| 4 | 60 | 12 |
| 5 | 65 | 12 |
| 6 | 73 | 12 |
| 7 | 88 | 12 |
| 8 | 118 | 12 |
| 9 | 135 | 12 |
| 10 | 138 | 12 |
| done | 138 | 12 |
| 0 | 12 | 21 |
| 1 | 31 | 19 |
| 2 | 73 | 19 |
| 3 | 230 | 19 |
| 4 | 751 | 19 |
| 5 | 2117 | 19 |
| done | 5000 | 19 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 27 | 11 |
| 3 | 39 | 11 |
| 4 | 59 | 11 |
| 5 | 64 | 11 |
| 6 | 72 | 11 |
| 7 | 87 | 11 |
| 8 | 117 | 11 |
| 9 | 134 | 11 |
| 10 | 137 | 11 |
| done | 137 | 11 |
| 0 | 14 | 31 |
| 1 | 32 | 31 |
| 2 | 72 | 31 |
| 3 | 222 | 31 |
| 4 | 769 | 31 |
| 5 | 2347 | 31 |
| done | 5001 | 31 |
| 0 | 12 | 13 |
| 1 | 19 | 13 |
| 2 | 25 | 13 |
| 3 | 27 | 13 |
| done | 27 | 13 |
| 0 | 16 | 32 |
| 1 | 34 | 32 |
| 2 | 74 | 32 |
| 3 | 224 | 32 |
| 4 | 771 | 32 |
| 5 | 2353 | 32 |
| done | 5000 | 32 |
| 0 | 13 | 14 |
| 1 | 17 | 14 |
| 2 | 21 | 14 |
| done | 21 | 14 |
| 0 | 12 | 21 |
| 1 | 31 | 19 |
| 2 | 73 | 19 |
| 3 | 230 | 19 |
| 4 | 751 | 19 |
| 5 | 2117 | 19 |
| done | 5000 | 19 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 27 | 11 |
| 3 | 39 | 11 |
| 4 | 59 | 11 |
| 5 | 64 | 11 |
| 6 | 72 | 11 |
| 7 | 87 | 11 |
| 8 | 117 | 11 |
| 9 | 134 | 11 |
| 10 | 137 | 11 |
| done | 137 | 11 |
| 0 | 10 | 11 |
| 1 | 19 | 11 |
| 2 | 29 | 11 |
| 3 | 41 | 11 |
| 4 | 61 | 11 |
| 5 | 66 | 11 |
| 6 | 74 | 11 |
| 7 | 89 | 11 |
| 8 | 119 | 11 |
| 9 | 136 | 11 |
| 10 | 139 | 11 |
| done | 139 | 11 |
| 0 | 14 | 31 |
| 1 | 35 | 31 |
| 2 | 102 | 31 |
| 3 | 362 | 31 |
| 4 | 1311 | 13 |
| 5 | 4672 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 43 |
| 1 | 39 | 43 |
| 2 | 110 | 43 |
| 3 | 385 | 43 |
| 4 | 1594 | 43 |
| done | 5002 | 43 |
| 0 | 15 | 32 |
| 1 | 33 | 32 |
| 2 | 89 | 32 |
| 3 | 304 | 32 |
| 4 | 1201 | 32 |
| 5 | 4549 | 32 |
| done | 5000 | 32 |
| 0 | 14 | 23 |
| 1 | 33 | 21 |
| 2 | 86 | 21 |
| 3 | 295 | 21 |
| 4 | 1185 | 21 |
| 5 | 4096 | 21 |
| done | 5000 | 21 |
| 0 | 16 | 33 |
| 1 | 34 | 33 |
| 2 | 83 | 33 |
| 3 | 272 | 33 |
| 4 | 1078 | 33 |
| 5 | 4113 | 33 |
| done | 5001 | 33 |
| 0 | 18 | 34 |
| 1 | 36 | 34 |
| 2 | 85 | 34 |
| 3 | 274 | 34 |
| 4 | 1079 | 34 |
| 5 | 4117 | 34 |
| done | 5000 | 34 |
| 0 | 14 | 23 |
| 1 | 33 | 21 |
| 2 | 86 | 21 |
| 3 | 295 | 21 |
| 4 | 1185 | 21 |
| 5 | 4096 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 11 |
| 1 | 20 | 11 |
| 2 | 37 | 11 |
| 3 | 63 | 11 |
| 4 | 108 | 11 |
| 5 | 148 | 11 |
| 6 | 178 | 11 |
| 7 | 210 | 11 |
| 8 | 265 | 11 |
| 9 | 305 | 11 |
| 10 | 323 | 11 |
| 11 | 326 | 11 |
| done | 326 | 11 |
| 0 | 17 | 35 |
| 1 | 50 | 35 |
| 2 | 140 | 35 |
| 3 | 526 | 35 |
| 4 | 2543 | 35 |
| done | 5000 | 35 |
| 0 | 13 | 41 |
| 1 | 30 | 41 |
| 2 | 90 | 41 |
| 3 | 347 | 3 |
| 4 | 1546 | 1 |
| done | 5001 | 1 |
| 0 | 16 | 69 |
| 1 | 55 | 53 |
| 2 | 184 | 45 |
| 3 | 804 | 43 |
| 4 | 3897 | 43 |
| done | 5001 | 43 |
| 0 | 12 | 29 |
| 1 | 31 | 29 |
| 2 | 84 | 29 |
| 3 | 315 | 29 |
| 4 | 1247 | 29 |
| 5 | 4922 | 29 |
| done | 5000 | 29 |
| 0 | 12 | 21 |
| 1 | 27 | 21 |
| 2 | 67 | 21 |
| 3 | 221 | 21 |
| 4 | 847 | 21 |
| 5 | 2954 | 21 |
| done | 5000 | 21 |
| 0 | 14 | 23 |
| 1 | 29 | 23 |
| 2 | 62 | 23 |
| 3 | 180 | 23 |
| 4 | 586 | 23 |
| 5 | 1699 | 23 |
| done | 5002 | 23 |
| 0 | 13 | 22 |
| 1 | 31 | 22 |
| 2 | 75 | 22 |
| 3 | 238 | 22 |
| 4 | 867 | 22 |
| 5 | 2982 | 22 |
| done | 5000 | 22 |
| 0 | 13 | 22 |
| 1 | 30 | 22 |
| 2 | 83 | 22 |
| 3 | 271 | 22 |
| 4 | 1032 | 22 |
| 5 | 3663 | 22 |
| done | 5000 | 22 |
| 0 | 16 | 65 |
| 1 | 37 | 65 |
| 2 | 117 | 25 |
| 3 | 605 | 25 |
| 4 | 4743 | 23 |
| done | 5000 | 23 |
| 0 | 14 | 45 |
| 1 | 29 | 45 |
| 2 | 69 | 45 |
| 3 | 223 | 45 |
| 4 | 846 | 45 |
| 5 | 2955 | 45 |
| done | 5000 | 45 |
| 0 | 13 | 22 |
| 1 | 28 | 22 |
| 2 | 68 | 22 |
| 3 | 222 | 22 |
| 4 | 845 | 22 |
| 5 | 2958 | 22 |
| done | 5000 | 22 |
| 0 | 14 | 65 |
| 1 | 39 | 65 |
| 2 | 139 | 23 |
| 3 | 798 | 23 |
| done | 5001 | 23 |
| 0 | 13 | 22 |
| 1 | 28 | 22 |
| 2 | 68 | 22 |
| 3 | 222 | 22 |
| 4 | 845 | 22 |
| 5 | 2958 | 22 |
| done | 5000 | 22 |
| 0 | 13 | 22 |
| 1 | 28 | 22 |
| 2 | 68 | 22 |
| 3 | 222 | 22 |
| 4 | 845 | 22 |
| 5 | 2958 | 22 |
| done | 5000 | 22 |
| 0 | 14 | 23 |
| 1 | 29 | 23 |
| 2 | 59 | 23 |
| 3 | 172 | 23 |
| 4 | 575 | 23 |
| 5 | 1686 | 23 |
| done | 5000 | 23 |
| 0 | 14 | 23 |
| 1 | 29 | 23 |
| 2 | 59 | 23 |
| 3 | 172 | 23 |
| 4 | 575 | 23 |
| 5 | 1686 | 23 |
| done | 5000 | 23 |
| 0 | 14 | 25 |
| 1 | 31 | 25 |
| 2 | 75 | 25 |
| 3 | 255 | 25 |
| 4 | 1024 | 25 |
| 5 | 3929 | 25 |
| done | 5000 | 25 |
| 0 | 13 | 22 |
| 1 | 28 | 22 |
| 2 | 68 | 22 |
| 3 | 222 | 22 |
| 4 | 845 | 22 |
| 5 | 2958 | 22 |
| done | 5000 | 22 |
| 0 | 12 | 21 |
| 1 | 29 | 19 |
| 2 | 72 | 19 |
| 3 | 237 | 19 |
| 4 | 837 | 19 |
| 5 | 3006 | 19 |
| done | 5000 | 19 |
| 0 | 13 | 22 |
| 1 | 28 | 22 |
| 2 | 58 | 22 |
| 3 | 171 | 22 |
| 4 | 572 | 22 |
| 5 | 1684 | 22 |
| done | 5000 | 22 |
| 0 | 13 | 22 |
| 1 | 28 | 22 |
| 2 | 58 | 22 |
| 3 | 171 | 22 |
| 4 | 572 | 22 |
| 5 | 1684 | 22 |
| done | 5000 | 22 |
| 0 | 12 | 21 |
| 1 | 27 | 21 |
| 2 | 67 | 21 |
| 3 | 221 | 21 |
| 4 | 847 | 21 |
| 5 | 2954 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 34 | 11 |
| 3 | 61 | 11 |
| 4 | 124 | 11 |
| 5 | 199 | 11 |
| 6 | 296 | 11 |
| 7 | 390 | 11 |
| 8 | 532 | 11 |
| 9 | 652 | 11 |
| 10 | 716 | 11 |
| 11 | 717 | 11 |
| done | 717 | 11 |
| 0 | 15 | 25 |
| 1 | 44 | 25 |
| 2 | 142 | 15 |
| 3 | 571 | 15 |
| 4 | 3401 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 41 |
| 1 | 37 | 41 |
| 2 | 101 | 25 |
| 3 | 406 | 15 |
| 4 | 2060 | 15 |
| done | 5000 | 15 |
| 0 | 2 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 2 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 9 | 19 |
| 1 | 19 | 11 |
| 2 | 40 | 11 |
| 3 | 73 | 11 |
| 4 | 126 | 11 |
| 5 | 183 | 11 |
| 6 | 233 | 11 |
| 7 | 266 | 11 |
| done | 266 | 11 |
| 0 | 11 | 18 |
| 1 | 21 | 17 |
| 2 | 39 | 17 |
| 3 | 71 | 10 |
| 4 | 125 | 10 |
| 5 | 183 | 10 |
| 6 | 228 | 10 |
| 7 | 268 | 10 |
| done | 268 | 10 |
| 0 | 11 | 18 |
| 1 | 21 | 17 |
| 2 | 35 | 17 |
| 3 | 62 | 10 |
| 4 | 105 | 10 |
| 5 | 157 | 10 |
| 6 | 199 | 10 |
| 7 | 234 | 10 |
| 8 | 237 | 10 |
| done | 237 | 10 |
| 0 | 8 | 17 |
| 1 | 18 | 10 |
| 2 | 30 | 10 |
| 3 | 51 | 10 |
| 4 | 84 | 10 |
| 5 | 137 | 10 |
| 6 | 193 | 10 |
| 7 | 243 | 10 |
| 8 | 276 | 10 |
| done | 276 | 10 |
| 0 | 8 | 16 |
| 1 | 19 | 16 |
| 2 | 43 | 10 |
| 3 | 117 | 10 |
| 4 | 303 | 10 |
| 5 | 606 | 10 |
| 6 | 1026 | 10 |
| 7 | 1592 | 10 |
| 8 | 2682 | 10 |
| 9 | 4936 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 16 |
| 1 | 19 | 16 |
| 2 | 43 | 16 |
| 3 | 114 | 16 |
| 4 | 303 | 16 |
| 5 | 694 | 16 |
| 6 | 1414 | 16 |
| 7 | 3298 | 16 |
| done | 5001 | 16 |
| 0 | 11 | 47 |
| 1 | 26 | 47 |
| 2 | 122 | 23 |
| 3 | 786 | 15 |
| 4 | 4370 | 9 |
| done | 5000 | 9 |
| 0 | 14 | 47 |
| 1 | 39 | 47 |
| 2 | 155 | 19 |
| 3 | 899 | 9 |
| 4 | 4976 | 9 |
| done | 5000 | 9 |
| 0 | 14 | 47 |
| 1 | 39 | 47 |
| 2 | 156 | 19 |
| 3 | 889 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 47 |
| 1 | 27 | 47 |
| 2 | 91 | 19 |
| 3 | 398 | 9 |
| 4 | 2193 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 33 |
| 1 | 18 | 33 |
| 2 | 35 | 33 |
| 3 | 94 | 33 |
| 4 | 240 | 33 |
| 5 | 494 | 33 |
| 6 | 868 | 33 |
| 7 | 1377 | 33 |
| 8 | 2430 | 33 |
| 9 | 4673 | 33 |
| done | 5000 | 33 |
| 0 | 8 | 16 |
| 1 | 17 | 16 |
| 2 | 34 | 16 |
| 3 | 93 | 16 |
| 4 | 237 | 16 |
| 5 | 491 | 16 |
| 6 | 866 | 16 |
| 7 | 1372 | 16 |
| 8 | 2427 | 16 |
| 9 | 4677 | 16 |
| done | 5001 | 16 |
| 0 | 9 | 47 |
| 1 | 26 | 47 |
| 2 | 75 | 17 |
| 3 | 350 | 9 |
| 4 | 1746 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 16 |
| 1 | 18 | 8 |
| 2 | 35 | 8 |
| 3 | 94 | 8 |
| 4 | 238 | 8 |
| 5 | 492 | 8 |
| 6 | 869 | 8 |
| 7 | 1377 | 8 |
| 8 | 2431 | 8 |
| 9 | 4675 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 16 |
| 1 | 18 | 8 |
| 2 | 35 | 8 |
| 3 | 94 | 8 |
| 4 | 238 | 8 |
| 5 | 492 | 8 |
| 6 | 869 | 8 |
| 7 | 1377 | 8 |
| 8 | 2431 | 8 |
| 9 | 4675 | 8 |
| done | 5000 | 8 |
| 0 | 6 | 11 |
| 1 | 8 | 11 |
| 2 | 15 | 11 |
| 3 | 36 | 11 |
| 4 | 85 | 11 |
| 5 | 148 | 11 |
| 6 | 252 | 11 |
| 7 | 421 | 11 |
| 8 | 714 | 11 |
| 9 | 1201 | 11 |
| 10 | 1455 | 11 |
| 11 | 1517 | 11 |
| 12 | 1534 | 11 |
| done | 1534 | 11 |
| 0 | 2 | 3 |
| done | 2 | 3 |
| 0 | 9 | 35 |
| 1 | 18 | 35 |
| 2 | 25 | 19 |
| 3 | 36 | 10 |
| 4 | 63 | 10 |
| 5 | 113 | 10 |
| 6 | 217 | 10 |
| 7 | 456 | 10 |
| 8 | 1378 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 17 |
| 1 | 13 | 17 |
| 2 | 18 | 17 |
| 3 | 20 | 17 |
| done | 20 | 17 |
| 0 | 8 | 17 |
| 1 | 13 | 7 |
| 2 | 19 | 7 |
| 3 | 21 | 7 |
| done | 21 | 7 |
| 0 | 8 | 17 |
| 1 | 13 | 7 |
| 2 | 19 | 7 |
| 3 | 21 | 7 |
| done | 21 | 7 |
| 0 | 11 | 39 |
| 1 | 23 | 39 |
| 2 | 72 | 39 |
| 3 | 223 | 21 |
| 4 | 457 | 11 |
| 5 | 657 | 11 |
| 6 | 1227 | 11 |
| 7 | 3162 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 19 |
| 1 | 15 | 19 |
| 2 | 22 | 19 |
| 3 | 29 | 19 |
| 4 | 34 | 19 |
| done | 34 | 19 |
| 0 | 10 | 33 |
| 1 | 18 | 33 |
| 2 | 37 | 33 |
| 3 | 85 | 21 |
| 4 | 138 | 10 |
| 5 | 208 | 10 |
| 6 | 367 | 10 |
| 7 | 820 | 10 |
| 8 | 2301 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 19 |
| 1 | 15 | 19 |
| 2 | 22 | 19 |
| 3 | 29 | 19 |
| 4 | 34 | 15 |
| done | 34 | 15 |
| 0 | 10 | 31 |
| 1 | 20 | 27 |
| 2 | 36 | 27 |
| 3 | 75 | 15 |
| 4 | 103 | 8 |
| 5 | 140 | 8 |
| 6 | 242 | 8 |
| 7 | 538 | 8 |
| 8 | 1532 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 17 |
| 1 | 14 | 17 |
| 2 | 21 | 17 |
| 3 | 28 | 17 |
| 4 | 33 | 17 |
| done | 33 | 17 |
| 0 | 10 | 25 |
| 1 | 18 | 25 |
| 2 | 38 | 25 |
| 3 | 74 | 17 |
| 4 | 127 | 13 |
| 5 | 165 | 10 |
| 6 | 205 | 10 |
| 7 | 257 | 10 |
| 8 | 354 | 10 |
| 9 | 758 | 10 |
| 10 | 1770 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 19 |
| 1 | 15 | 19 |
| 2 | 22 | 19 |
| 3 | 29 | 11 |
| 4 | 41 | 11 |
| 5 | 51 | 11 |
| 6 | 64 | 11 |
| 7 | 67 | 11 |
| done | 67 | 11 |
| 0 | 9 | 19 |
| 1 | 15 | 19 |
| 2 | 22 | 19 |
| 3 | 29 | 11 |
| 4 | 41 | 7 |
| 5 | 52 | 7 |
| 6 | 63 | 7 |
| 7 | 66 | 7 |
| 8 | 68 | 7 |
| done | 68 | 7 |
| 0 | 9 | 19 |
| 1 | 15 | 19 |
| 2 | 22 | 19 |
| 3 | 29 | 11 |
| 4 | 41 | 7 |
| 5 | 52 | 7 |
| 6 | 63 | 7 |
| 7 | 66 | 7 |
| 8 | 68 | 7 |
| done | 68 | 7 |
| 0 | 9 | 17 |
| 1 | 17 | 13 |
| 2 | 23 | 5 |
| 3 | 31 | 5 |
| 4 | 35 | 5 |
| 5 | 40 | 5 |
| done | 40 | 5 |
| 0 | 8 | 17 |
| 1 | 14 | 17 |
| 2 | 21 | 17 |
| 3 | 28 | 9 |
| 4 | 40 | 9 |
| 5 | 49 | 9 |
| 6 | 55 | 9 |
| 7 | 57 | 9 |
| 8 | 62 | 9 |
| 9 | 70 | 9 |
| 10 | 84 | 9 |
| 11 | 116 | 9 |
| 12 | 212 | 9 |
| 13 | 523 | 9 |
| 14 | 1885 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 15 |
| 1 | 14 | 15 |
| 2 | 32 | 13 |
| 3 | 79 | 13 |
| 4 | 121 | 9 |
| 5 | 132 | 6 |
| 6 | 142 | 6 |
| 7 | 173 | 6 |
| 8 | 273 | 6 |
| 9 | 609 | 6 |
| 10 | 1637 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 17 | 17 |
| 2 | 34 | 17 |
| 3 | 97 | 17 |
| 4 | 263 | 17 |
| 5 | 595 | 17 |
| 6 | 1131 | 17 |
| 7 | 1903 | 17 |
| 8 | 3357 | 17 |
| done | 5001 | 17 |
| 0 | 6 | 15 |
| 1 | 14 | 15 |
| 2 | 32 | 13 |
| 3 | 79 | 13 |
| 4 | 121 | 9 |
| 5 | 132 | 6 |
| 6 | 142 | 6 |
| 7 | 173 | 6 |
| 8 | 273 | 6 |
| 9 | 609 | 6 |
| 10 | 1637 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 17 | 17 |
| 2 | 34 | 17 |
| 3 | 97 | 17 |
| 4 | 263 | 17 |
| 5 | 595 | 17 |
| 6 | 1131 | 17 |
| 7 | 1903 | 17 |
| 8 | 3357 | 17 |
| done | 5001 | 17 |
| 0 | 5 | 9 |
| 1 | 11 | 9 |
| 2 | 17 | 7 |
| 3 | 28 | 7 |
| done | 28 | 3 |
| 0 | 8 | 17 |
| 1 | 17 | 17 |
| 2 | 34 | 17 |
| 3 | 97 | 17 |
| 4 | 263 | 13 |
| 5 | 590 | 13 |
| 6 | 1119 | 13 |
| 7 | 1842 | 13 |
| 8 | 3174 | 13 |
| done | 5001 | 13 |
| 0 | 5 | 9 |
| 1 | 11 | 9 |
| 2 | 17 | 7 |
| 3 | 28 | 7 |
| done | 28 | 3 |
| 0 | 8 | 17 |
| 1 | 17 | 17 |
| 2 | 34 | 17 |
| 3 | 97 | 17 |
| 4 | 263 | 13 |
| 5 | 590 | 13 |
| 6 | 1119 | 13 |
| 7 | 1842 | 13 |
| 8 | 3174 | 13 |
| done | 5001 | 13 |
| 0 | 3 | 7 |
| 1 | 9 | 1 |
| done | 9 | 1 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 3 | 7 |
| 1 | 9 | 1 |
| done | 9 | 1 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 11 | 27 |
| 1 | 18 | 27 |
| 2 | 45 | 27 |
| 3 | 103 | 27 |
| 4 | 191 | 23 |
| 5 | 257 | 20 |
| 6 | 434 | 20 |
| 7 | 627 | 20 |
| 8 | 940 | 20 |
| 9 | 1890 | 20 |
| done | 5000 | 20 |
| 0 | 10 | 21 |
| 1 | 19 | 21 |
| 2 | 34 | 21 |
| 3 | 90 | 21 |
| 4 | 201 | 21 |
| 5 | 397 | 21 |
| 6 | 697 | 21 |
| 7 | 1104 | 21 |
| 8 | 1881 | 21 |
| 9 | 3208 | 21 |
| 10 | 3784 | 21 |
| 11 | 3969 | 21 |
| 12 | 4001 | 21 |
| done | 4001 | 21 |
| 0 | 10 | 21 |
| 1 | 15 | 21 |
| 2 | 29 | 21 |
| 3 | 48 | 21 |
| 4 | 79 | 17 |
| 5 | 103 | 17 |
| 6 | 159 | 17 |
| 7 | 214 | 17 |
| 8 | 283 | 17 |
| 9 | 348 | 17 |
| 10 | 439 | 17 |
| 11 | 508 | 17 |
| 12 | 591 | 17 |
| 13 | 682 | 17 |
| 14 | 746 | 17 |
| 15 | 751 | 17 |
| 16 | 753 | 17 |
| done | 753 | 17 |
| 0 | 10 | 21 |
| 1 | 19 | 21 |
| 2 | 34 | 21 |
| 3 | 90 | 21 |
| 4 | 201 | 17 |
| 5 | 397 | 17 |
| 6 | 697 | 17 |
| 7 | 1105 | 17 |
| 8 | 1877 | 17 |
| 9 | 3191 | 17 |
| 10 | 3752 | 17 |
| 11 | 3980 | 17 |
| 12 | 4044 | 17 |
| 13 | 4056 | 17 |
| done | 4056 | 17 |
| 0 | 10 | 19 |
| 1 | 17 | 15 |
| 2 | 29 | 15 |
| 3 | 47 | 15 |
| 4 | 69 | 15 |
| 5 | 111 | 15 |
| 6 | 171 | 15 |
| 7 | 184 | 15 |
| 8 | 210 | 15 |
| 9 | 269 | 15 |
| 10 | 295 | 15 |
| done | 295 | 15 |
| 0 | 9 | 19 |
| 1 | 18 | 19 |
| 2 | 33 | 19 |
| 3 | 89 | 19 |
| 4 | 199 | 19 |
| 5 | 395 | 19 |
| 6 | 700 | 19 |
| 7 | 1105 | 19 |
| 8 | 1874 | 19 |
| 9 | 3192 | 19 |
| 10 | 3769 | 19 |
| 11 | 3977 | 19 |
| 12 | 4064 | 19 |
| 13 | 4216 | 19 |
| 14 | 4696 | 19 |
| done | 5000 | 19 |
| 0 | 12 | 29 |
| 1 | 19 | 29 |
| 2 | 46 | 29 |
| 3 | 108 | 29 |
| 4 | 212 | 25 |
| 5 | 336 | 22 |
| 6 | 648 | 22 |
| 7 | 1211 | 22 |
| 8 | 1862 | 21 |
| 9 | 3904 | 21 |
| done | 5000 | 21 |
| 0 | 11 | 23 |
| 1 | 20 | 23 |
| 2 | 37 | 23 |
| 3 | 100 | 23 |
| 4 | 265 | 23 |
| 5 | 597 | 23 |
| 6 | 1133 | 23 |
| 7 | 1945 | 23 |
| 8 | 3421 | 22 |
| done | 5000 | 22 |
| 0 | 10 | 23 |
| 1 | 15 | 23 |
| 2 | 29 | 23 |
| 3 | 52 | 23 |
| 4 | 90 | 19 |
| 5 | 136 | 19 |
| 6 | 217 | 19 |
| 7 | 296 | 18 |
| 8 | 395 | 18 |
| 9 | 504 | 18 |
| 10 | 663 | 18 |
| 11 | 820 | 18 |
| 12 | 1013 | 18 |
| 13 | 1201 | 18 |
| 14 | 1298 | 18 |
| 15 | 1309 | 18 |
| 16 | 1312 | 18 |
| done | 1312 | 18 |
| 0 | 10 | 23 |
| 1 | 19 | 23 |
| 2 | 36 | 23 |
| 3 | 95 | 19 |
| 4 | 239 | 19 |
| 5 | 491 | 19 |
| 6 | 868 | 19 |
| 7 | 1402 | 19 |
| 8 | 2454 | 18 |
| 9 | 4422 | 18 |
| done | 5000 | 18 |
| 0 | 11 | 21 |
| 1 | 18 | 17 |
| 2 | 30 | 17 |
| 3 | 52 | 17 |
| 4 | 93 | 17 |
| 5 | 160 | 17 |
| 6 | 248 | 17 |
| 7 | 344 | 16 |
| 8 | 456 | 16 |
| 9 | 600 | 16 |
| 10 | 711 | 16 |
| 11 | 743 | 16 |
| 12 | 747 | 16 |
| done | 747 | 16 |
| 0 | 10 | 21 |
| 1 | 19 | 21 |
| 2 | 36 | 21 |
| 3 | 99 | 21 |
| 4 | 266 | 21 |
| 5 | 598 | 21 |
| 6 | 1142 | 21 |
| 7 | 1955 | 21 |
| 8 | 3542 | 20 |
| done | 5000 | 20 |
| 0 | 6 | 15 |
| 1 | 14 | 15 |
| 2 | 32 | 13 |
| 3 | 79 | 13 |
| 4 | 121 | 9 |
| 5 | 132 | 6 |
| 6 | 142 | 6 |
| 7 | 173 | 6 |
| 8 | 273 | 6 |
| 9 | 609 | 6 |
| 10 | 1637 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 17 | 17 |
| 2 | 34 | 17 |
| 3 | 97 | 17 |
| 4 | 263 | 17 |
| 5 | 595 | 17 |
| 6 | 1131 | 17 |
| 7 | 1903 | 17 |
| 8 | 3357 | 17 |
| done | 5001 | 17 |
| 0 | 6 | 15 |
| 1 | 14 | 15 |
| 2 | 32 | 13 |
| 3 | 79 | 13 |
| 4 | 121 | 9 |
| 5 | 132 | 6 |
| 6 | 142 | 6 |
| 7 | 173 | 6 |
| 8 | 273 | 6 |
| 9 | 609 | 6 |
| 10 | 1637 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 17 | 17 |
| 2 | 34 | 17 |
| 3 | 97 | 17 |
| 4 | 263 | 17 |
| 5 | 595 | 17 |
| 6 | 1131 | 17 |
| 7 | 1903 | 17 |
| 8 | 3357 | 17 |
| done | 5001 | 17 |
| 0 | 5 | 9 |
| 1 | 11 | 9 |
| 2 | 17 | 7 |
| 3 | 28 | 7 |
| done | 28 | 3 |
| 0 | 8 | 17 |
| 1 | 17 | 17 |
| 2 | 34 | 17 |
| 3 | 97 | 17 |
| 4 | 263 | 13 |
| 5 | 590 | 13 |
| 6 | 1119 | 13 |
| 7 | 1842 | 13 |
| 8 | 3174 | 13 |
| done | 5001 | 13 |
| 0 | 5 | 9 |
| 1 | 11 | 9 |
| 2 | 17 | 7 |
| 3 | 28 | 7 |
| done | 28 | 3 |
| 0 | 8 | 17 |
| 1 | 17 | 17 |
| 2 | 34 | 17 |
| 3 | 97 | 17 |
| 4 | 263 | 13 |
| 5 | 590 | 13 |
| 6 | 1119 | 13 |
| 7 | 1842 | 13 |
| 8 | 3174 | 13 |
| done | 5001 | 13 |
| 0 | 3 | 7 |
| 1 | 9 | 1 |
| done | 9 | 1 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 3 | 7 |
| 1 | 9 | 1 |
| done | 9 | 1 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 6 | 11 |
| 1 | 8 | 11 |
| 2 | 15 | 11 |
| 3 | 36 | 11 |
| 4 | 85 | 11 |
| 5 | 148 | 11 |
| 6 | 252 | 11 |
| 7 | 421 | 11 |
| 8 | 714 | 11 |
| 9 | 1201 | 11 |
| 10 | 1455 | 11 |
| 11 | 1517 | 11 |
| 12 | 1534 | 11 |
| done | 1534 | 11 |
| 0 | 4 | 7 |
| 1 | 10 | 7 |
| 2 | 16 | 5 |
| 3 | 27 | 5 |
| done | 27 | 5 |
| 0 | 8 | 17 |
| 1 | 13 | 7 |
| 2 | 19 | 7 |
| 3 | 21 | 7 |
| done | 21 | 7 |
| 0 | 8 | 17 |
| 1 | 13 | 7 |
| 2 | 19 | 7 |
| 3 | 21 | 7 |
| done | 21 | 7 |
| 0 | 11 | 18 |
| 1 | 19 | 18 |
| 2 | 27 | 18 |
| 3 | 33 | 18 |
| 4 | 34 | 18 |
| done | 34 | 18 |
| 0 | 11 | 18 |
| 1 | 19 | 18 |
| 2 | 27 | 18 |
| 3 | 33 | 18 |
| 4 | 34 | 18 |
| done | 34 | 18 |
| 0 | 11 | 18 |
| 1 | 19 | 18 |
| 2 | 27 | 18 |
| 3 | 31 | 18 |
| 4 | 33 | 18 |
| 5 | 34 | 18 |
| done | 34 | 18 |
| 0 | 11 | 18 |
| 1 | 19 | 18 |
| 2 | 27 | 18 |
| 3 | 31 | 18 |
| 4 | 33 | 18 |
| 5 | 34 | 18 |
| done | 34 | 18 |
| 0 | 9 | 19 |
| 1 | 15 | 19 |
| 2 | 22 | 19 |
| 3 | 29 | 11 |
| 4 | 41 | 7 |
| 5 | 52 | 7 |
| 6 | 63 | 7 |
| 7 | 66 | 7 |
| 8 | 68 | 7 |
| done | 68 | 7 |
| 0 | 9 | 19 |
| 1 | 15 | 19 |
| 2 | 22 | 19 |
| 3 | 29 | 11 |
| 4 | 41 | 7 |
| 5 | 52 | 7 |
| 6 | 63 | 7 |
| 7 | 66 | 7 |
| 8 | 68 | 7 |
| done | 68 | 7 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 9 | 25 |
| 1 | 19 | 25 |
| 2 | 32 | 25 |
| 3 | 65 | 25 |
| 4 | 128 | 25 |
| 5 | 203 | 25 |
| 6 | 287 | 25 |
| 7 | 349 | 25 |
| 8 | 371 | 25 |
| 9 | 376 | 25 |
| done | 376 | 25 |
| 0 | 8 | 16 |
| 1 | 16 | 16 |
| 2 | 24 | 16 |
| 3 | 45 | 16 |
| 4 | 67 | 16 |
| 5 | 96 | 16 |
| 6 | 114 | 16 |
| 7 | 123 | 16 |
| 8 | 124 | 16 |
| done | 124 | 16 |
| 0 | 12 | 27 |
| 1 | 28 | 27 |
| 2 | 74 | 27 |
| 3 | 217 | 27 |
| 4 | 655 | 27 |
| 5 | 1444 | 27 |
| 6 | 2697 | 27 |
| 7 | 3973 | 27 |
| 8 | 4516 | 27 |
| 9 | 4550 | 27 |
| done | 4550 | 27 |
| 0 | 11 | 24 |
| 1 | 23 | 24 |
| 2 | 46 | 24 |
| 3 | 123 | 24 |
| 4 | 331 | 24 |
| 5 | 642 | 24 |
| 6 | 1082 | 24 |
| 7 | 1521 | 24 |
| 8 | 1683 | 24 |
| 9 | 1702 | 24 |
| done | 1702 | 24 |
| 0 | 11 | 23 |
| 1 | 25 | 21 |
| 2 | 56 | 21 |
| 3 | 169 | 21 |
| 4 | 353 | 21 |
| 5 | 587 | 21 |
| 6 | 962 | 21 |
| 7 | 1342 | 21 |
| 8 | 1508 | 21 |
| 9 | 1523 | 21 |
| done | 1523 | 21 |
| 0 | 11 | 20 |
| 1 | 23 | 20 |
| 2 | 47 | 20 |
| 3 | 124 | 20 |
| 4 | 303 | 20 |
| 5 | 563 | 20 |
| 6 | 927 | 20 |
| 7 | 1214 | 20 |
| 8 | 1312 | 20 |
| 9 | 1314 | 20 |
| done | 1314 | 20 |
| 0 | 10 | 17 |
| 1 | 20 | 17 |
| 2 | 34 | 17 |
| 3 | 79 | 17 |
| 4 | 166 | 17 |
| 5 | 274 | 17 |
| 6 | 402 | 17 |
| 7 | 495 | 17 |
| 8 | 515 | 17 |
| 9 | 516 | 17 |
| done | 516 | 17 |
| 0 | 10 | 16 |
| 1 | 22 | 14 |
| 2 | 40 | 14 |
| 3 | 94 | 14 |
| 4 | 164 | 14 |
| 5 | 239 | 14 |
| 6 | 343 | 14 |
| 7 | 455 | 14 |
| 8 | 487 | 14 |
| 9 | 490 | 14 |
| done | 490 | 14 |
| 0 | 11 | 15 |
| 1 | 25 | 15 |
| 2 | 48 | 13 |
| 3 | 153 | 13 |
| 4 | 390 | 13 |
| 5 | 746 | 13 |
| 6 | 1214 | 13 |
| 7 | 1692 | 13 |
| 8 | 1998 | 13 |
| 9 | 2046 | 13 |
| done | 2046 | 13 |
| 0 | 10 | 12 |
| 1 | 22 | 12 |
| 2 | 36 | 10 |
| 3 | 102 | 10 |
| 4 | 214 | 10 |
| 5 | 387 | 10 |
| 6 | 595 | 10 |
| 7 | 755 | 10 |
| 8 | 847 | 10 |
| 9 | 858 | 10 |
| done | 858 | 10 |
| 0 | 9 | 11 |
| 1 | 21 | 9 |
| 2 | 36 | 7 |
| 3 | 82 | 7 |
| 4 | 145 | 7 |
| 5 | 219 | 7 |
| 6 | 306 | 7 |
| 7 | 398 | 7 |
| 8 | 502 | 7 |
| 9 | 576 | 7 |
| 10 | 582 | 7 |
| done | 582 | 7 |
| 0 | 13 | 21 |
| 1 | 26 | 21 |
| 2 | 58 | 21 |
| 3 | 159 | 21 |
| 4 | 414 | 21 |
| 5 | 839 | 21 |
| 6 | 1576 | 21 |
| 7 | 2851 | 21 |
| 8 | 4563 | 21 |
| done | 5001 | 21 |
| 0 | 12 | 18 |
| 1 | 23 | 18 |
| 2 | 45 | 18 |
| 3 | 114 | 18 |
| 4 | 269 | 18 |
| 5 | 511 | 18 |
| 6 | 867 | 18 |
| 7 | 1469 | 18 |
| 8 | 2350 | 18 |
| 9 | 3907 | 18 |
| done | 5000 | 18 |
| 0 | 12 | 17 |
| 1 | 25 | 15 |
| 2 | 59 | 15 |
| 3 | 143 | 15 |
| 4 | 285 | 15 |
| 5 | 505 | 15 |
| 6 | 853 | 15 |
| 7 | 1326 | 15 |
| 8 | 2132 | 15 |
| 9 | 3334 | 15 |
| 10 | 4233 | 15 |
| 11 | 4344 | 15 |
| 12 | 4347 | 15 |
| done | 4347 | 15 |
| 0 | 15 | 22 |
| 1 | 28 | 22 |
| 2 | 60 | 22 |
| 3 | 164 | 22 |
| 4 | 441 | 22 |
| 5 | 931 | 22 |
| 6 | 1846 | 22 |
| 7 | 3656 | 22 |
| done | 5001 | 22 |
| 0 | 13 | 19 |
| 1 | 24 | 19 |
| 2 | 46 | 19 |
| 3 | 119 | 19 |
| 4 | 295 | 19 |
| 5 | 583 | 19 |
| 6 | 1039 | 19 |
| 7 | 1802 | 18 |
| 8 | 2926 | 18 |
| done | 5000 | 18 |
| 0 | 14 | 18 |
| 1 | 27 | 16 |
| 2 | 61 | 16 |
| 3 | 153 | 16 |
| 4 | 329 | 16 |
| 5 | 613 | 16 |
| 6 | 1136 | 16 |
| 7 | 1983 | 16 |
| 8 | 3195 | 16 |
| done | 5000 | 16 |
| 0 | 11 | 15 |
| 1 | 25 | 15 |
| 2 | 48 | 13 |
| 3 | 153 | 13 |
| 4 | 390 | 13 |
| 5 | 746 | 13 |
| 6 | 1214 | 13 |
| 7 | 1692 | 13 |
| 8 | 1998 | 13 |
| 9 | 2046 | 13 |
| done | 2046 | 13 |
| 0 | 10 | 12 |
| 1 | 22 | 12 |
| 2 | 36 | 10 |
| 3 | 102 | 10 |
| 4 | 214 | 10 |
| 5 | 387 | 10 |
| 6 | 595 | 10 |
| 7 | 755 | 10 |
| 8 | 847 | 10 |
| 9 | 858 | 10 |
| done | 858 | 10 |
| 0 | 9 | 11 |
| 1 | 21 | 9 |
| 2 | 36 | 7 |
| 3 | 82 | 7 |
| 4 | 145 | 7 |
| 5 | 219 | 7 |
| 6 | 306 | 7 |
| 7 | 398 | 7 |
| 8 | 502 | 7 |
| 9 | 576 | 7 |
| 10 | 582 | 7 |
| done | 582 | 7 |
| 0 | 8 | 9 |
| 1 | 18 | 7 |
| 2 | 33 | 7 |
| 3 | 55 | 7 |
| 4 | 89 | 7 |
| 5 | 135 | 7 |
| 6 | 172 | 7 |
| 7 | 198 | 7 |
| 8 | 201 | 7 |
| done | 201 | 7 |
| 0 | 7 | 13 |
| 1 | 15 | 13 |
| 2 | 34 | 13 |
| 3 | 89 | 13 |
| 4 | 208 | 13 |
| 5 | 374 | 13 |
| 6 | 611 | 13 |
| 7 | 986 | 13 |
| 8 | 1664 | 13 |
| 9 | 2806 | 13 |
| 10 | 3369 | 13 |
| 11 | 3706 | 13 |
| 12 | 4395 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 16 |
| 1 | 16 | 16 |
| 2 | 30 | 16 |
| 3 | 51 | 16 |
| 4 | 78 | 16 |
| 5 | 110 | 16 |
| 6 | 122 | 16 |
| 7 | 126 | 16 |
| done | 126 | 16 |
| 0 | 8 | 16 |
| 1 | 16 | 16 |
| 2 | 30 | 16 |
| 3 | 51 | 16 |
| 4 | 78 | 16 |
| 5 | 110 | 16 |
| 6 | 122 | 16 |
| 7 | 126 | 16 |
| done | 126 | 16 |
| 0 | 10 | 17 |
| 1 | 20 | 17 |
| 2 | 40 | 17 |
| 3 | 92 | 17 |
| 4 | 171 | 17 |
| 5 | 289 | 17 |
| 6 | 439 | 17 |
| 7 | 508 | 17 |
| 8 | 513 | 17 |
| done | 513 | 17 |
| 0 | 10 | 17 |
| 1 | 20 | 17 |
| 2 | 40 | 17 |
| 3 | 92 | 17 |
| 4 | 171 | 17 |
| 5 | 289 | 17 |
| 6 | 439 | 17 |
| 7 | 508 | 17 |
| 8 | 513 | 17 |
| done | 513 | 17 |
| 0 | 9 | 16 |
| 1 | 19 | 16 |
| 2 | 38 | 16 |
| 3 | 84 | 16 |
| 4 | 150 | 16 |
| 5 | 223 | 16 |
| 6 | 282 | 16 |
| 7 | 304 | 16 |
| 8 | 320 | 16 |
| 9 | 360 | 16 |
| 10 | 480 | 16 |
| 11 | 901 | 16 |
| 12 | 2775 | 16 |
| done | 5000 | 16 |
| 0 | 10 | 17 |
| 1 | 20 | 17 |
| 2 | 40 | 17 |
| 3 | 92 | 17 |
| 4 | 171 | 17 |
| 5 | 289 | 17 |
| 6 | 439 | 17 |
| 7 | 508 | 17 |
| 8 | 513 | 17 |
| done | 513 | 17 |
| 0 | 10 | 17 |
| 1 | 20 | 17 |
| 2 | 40 | 17 |
| 3 | 92 | 17 |
| 4 | 171 | 17 |
| 5 | 289 | 17 |
| 6 | 439 | 17 |
| 7 | 508 | 17 |
| 8 | 513 | 17 |
| done | 513 | 17 |
| 0 | 9 | 16 |
| 1 | 19 | 16 |
| 2 | 38 | 16 |
| 3 | 84 | 16 |
| 4 | 150 | 16 |
| 5 | 223 | 16 |
| 6 | 282 | 16 |
| 7 | 304 | 16 |
| 8 | 320 | 16 |
| 9 | 360 | 16 |
| 10 | 480 | 16 |
| 11 | 901 | 16 |
| 12 | 2775 | 16 |
| done | 5000 | 16 |
| 0 | 9 | 16 |
| 1 | 22 | 16 |
| 2 | 46 | 16 |
| 3 | 136 | 16 |
| 4 | 375 | 16 |
| 5 | 806 | 16 |
| 6 | 1457 | 16 |
| 7 | 2302 | 16 |
| 8 | 3895 | 16 |
| done | 5001 | 16 |
| 0 | 9 | 16 |
| 1 | 22 | 16 |
| 2 | 46 | 16 |
| 3 | 136 | 16 |
| 4 | 375 | 16 |
| 5 | 806 | 16 |
| 6 | 1457 | 16 |
| 7 | 2302 | 16 |
| 8 | 3895 | 16 |
| done | 5001 | 16 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 18 |
| 1 | 27 | 18 |
| 2 | 50 | 18 |
| 3 | 142 | 18 |
| 4 | 391 | 18 |
| 5 | 889 | 18 |
| 6 | 1668 | 18 |
| 7 | 2673 | 18 |
| 8 | 3938 | 18 |
| done | 5000 | 18 |
| 0 | 12 | 18 |
| 1 | 27 | 18 |
| 2 | 50 | 18 |
| 3 | 142 | 18 |
| 4 | 391 | 18 |
| 5 | 889 | 18 |
| 6 | 1668 | 18 |
| 7 | 2673 | 18 |
| 8 | 3938 | 18 |
| done | 5000 | 18 |
| 0 | 11 | 17 |
| 1 | 26 | 17 |
| 2 | 48 | 17 |
| 3 | 134 | 17 |
| 4 | 359 | 17 |
| 5 | 759 | 17 |
| 6 | 1327 | 17 |
| 7 | 1954 | 17 |
| 8 | 2843 | 17 |
| 9 | 4162 | 17 |
| done | 5000 | 17 |
| 0 | 14 | 19 |
| 1 | 29 | 19 |
| 2 | 54 | 19 |
| 3 | 149 | 19 |
| 4 | 438 | 19 |
| 5 | 1083 | 19 |
| 6 | 2164 | 19 |
| 7 | 3732 | 19 |
| done | 5001 | 19 |
| 0 | 13 | 19 |
| 1 | 28 | 19 |
| 2 | 53 | 19 |
| 3 | 145 | 18 |
| 4 | 416 | 18 |
| 5 | 971 | 18 |
| 6 | 1858 | 18 |
| 7 | 3183 | 18 |
| 8 | 4848 | 18 |
| done | 5000 | 18 |
| 0 | 13 | 18 |
| 1 | 28 | 18 |
| 2 | 52 | 18 |
| 3 | 141 | 18 |
| 4 | 406 | 18 |
| 5 | 937 | 18 |
| 6 | 1702 | 18 |
| 7 | 2667 | 18 |
| 8 | 3843 | 18 |
| done | 5000 | 18 |
| 0 | 9 | 16 |
| 1 | 22 | 16 |
| 2 | 46 | 16 |
| 3 | 136 | 16 |
| 4 | 375 | 16 |
| 5 | 806 | 16 |
| 6 | 1457 | 16 |
| 7 | 2302 | 16 |
| 8 | 3895 | 16 |
| done | 5001 | 16 |
| 0 | 9 | 16 |
| 1 | 22 | 16 |
| 2 | 46 | 16 |
| 3 | 136 | 16 |
| 4 | 375 | 16 |
| 5 | 806 | 16 |
| 6 | 1457 | 16 |
| 7 | 2302 | 16 |
| 8 | 3895 | 16 |
| done | 5001 | 16 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 7 | 15 |
| 1 | 16 | 15 |
| 2 | 33 | 15 |
| 3 | 92 | 15 |
| 4 | 236 | 15 |
| 5 | 490 | 15 |
| 6 | 872 | 15 |
| 7 | 1382 | 15 |
| 8 | 2436 | 15 |
| 9 | 4680 | 15 |
| done | 5000 | 15 |
| 0 | 9 | 11 |
| 1 | 21 | 11 |
| 2 | 40 | 9 |
| 3 | 130 | 9 |
| 4 | 283 | 9 |
| 5 | 395 | 9 |
| 6 | 488 | 9 |
| 7 | 525 | 9 |
| 8 | 576 | 9 |
| 9 | 751 | 9 |
| 10 | 1309 | 9 |
| 11 | 3844 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 13 |
| 1 | 15 | 13 |
| 2 | 34 | 13 |
| 3 | 89 | 13 |
| 4 | 208 | 13 |
| 5 | 374 | 13 |
| 6 | 611 | 13 |
| 7 | 986 | 13 |
| 8 | 1664 | 13 |
| 9 | 2806 | 13 |
| 10 | 3369 | 13 |
| 11 | 3706 | 13 |
| 12 | 4395 | 13 |
| done | 5000 | 13 |
| 0 | 7 | 13 |
| 1 | 15 | 13 |
| 2 | 34 | 13 |
| 3 | 89 | 13 |
| 4 | 208 | 13 |
| 5 | 374 | 13 |
| 6 | 611 | 13 |
| 7 | 986 | 13 |
| 8 | 1664 | 13 |
| 9 | 2806 | 13 |
| 10 | 3369 | 13 |
| 11 | 3706 | 13 |
| 12 | 4395 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 9 |
| 1 | 12 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 22 | 8 |
| 3 | 25 | 8 |
| done | 25 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 20 | 8 |
| 3 | 24 | 8 |
| 4 | 27 | 8 |
| 5 | 33 | 8 |
| 6 | 37 | 8 |
| 7 | 53 | 8 |
| 8 | 57 | 8 |
| 9 | 66 | 8 |
| 10 | 79 | 8 |
| 11 | 103 | 8 |
| 12 | 129 | 8 |
| 13 | 144 | 8 |
| 14 | 151 | 8 |
| 15 | 157 | 8 |
| done | 157 | 8 |
| 0 | 10 | 23 |
| 1 | 21 | 23 |
| 2 | 69 | 11 |
| 3 | 213 | 9 |
| 4 | 625 | 9 |
| 5 | 2341 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 17 |
| 1 | 13 | 17 |
| 2 | 18 | 17 |
| 3 | 20 | 17 |
| done | 20 | 17 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 8 | 23 |
| 1 | 20 | 23 |
| 2 | 53 | 9 |
| 3 | 186 | 9 |
| 4 | 642 | 9 |
| 5 | 2052 | 9 |
| done | 5001 | 9 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 12 | 6 |
| 3 | 16 | 6 |
| 4 | 17 | 5 |
| done | 17 | 5 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 4 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 10 | 19 |
| 1 | 18 | 19 |
| 2 | 28 | 19 |
| 3 | 34 | 19 |
| done | 34 | 19 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 9 | 16 |
| 1 | 13 | 16 |
| 2 | 16 | 16 |
| 3 | 17 | 16 |
| done | 17 | 16 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 9 | 15 |
| 1 | 15 | 13 |
| 2 | 22 | 13 |
| 3 | 27 | 13 |
| done | 27 | 13 |
| 0 | 7 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 12 |
| 1 | 13 | 12 |
| 2 | 14 | 12 |
| done | 14 | 12 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 8 |
| 1 | 12 | 6 |
| 2 | 15 | 6 |
| done | 15 | 6 |
| 0 | 7 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 5 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 10 | 13 |
| 1 | 13 | 13 |
| done | 13 | 13 |
| 0 | 9 | 10 |
| 1 | 14 | 10 |
| 2 | 17 | 10 |
| 3 | 19 | 10 |
| done | 19 | 10 |
| 0 | 9 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 9 | 10 |
| 1 | 14 | 10 |
| 2 | 17 | 10 |
| 3 | 19 | 10 |
| done | 19 | 10 |
| 0 | 9 | 9 |
| 1 | 12 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 8 | 9 |
| 1 | 13 | 9 |
| 2 | 16 | 9 |
| 3 | 18 | 9 |
| done | 18 | 9 |
| 0 | 11 | 14 |
| 1 | 14 | 14 |
| done | 14 | 14 |
| 0 | 10 | 11 |
| 1 | 15 | 11 |
| 2 | 20 | 11 |
| 3 | 25 | 11 |
| done | 25 | 11 |
| 0 | 9 | 11 |
| 1 | 10 | 11 |
| done | 10 | 11 |
| 0 | 9 | 11 |
| 1 | 14 | 11 |
| 2 | 19 | 11 |
| 3 | 21 | 10 |
| done | 21 | 10 |
| 0 | 10 | 10 |
| 1 | 13 | 8 |
| 2 | 15 | 8 |
| done | 15 | 8 |
| 0 | 9 | 10 |
| 1 | 14 | 10 |
| 2 | 19 | 10 |
| 3 | 24 | 10 |
| done | 24 | 10 |
| 0 | 5 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 6 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 8 | 11 |
| 1 | 15 | 11 |
| 2 | 25 | 11 |
| 3 | 36 | 11 |
| 4 | 45 | 11 |
| done | 45 | 11 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| done | 22 | 8 |
| 0 | 7 | 7 |
| 1 | 14 | 5 |
| 2 | 21 | 5 |
| 3 | 26 | 5 |
| done | 26 | 5 |
| 0 | 7 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 9 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 6 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 10 | 19 |
| 1 | 30 | 17 |
| 2 | 72 | 17 |
| 3 | 135 | 15 |
| 4 | 213 | 15 |
| 5 | 293 | 13 |
| 6 | 787 | 13 |
| 7 | 3966 | 13 |
| done | 5000 | 13 |
| 0 | 6 | 7 |
| 1 | 14 | 7 |
| 2 | 19 | 7 |
| 3 | 23 | 7 |
| 4 | 25 | 7 |
| 5 | 28 | 5 |
| done | 28 | 5 |
| 0 | 19 | 27 |
| 1 | 46 | 27 |
| 2 | 146 | 27 |
| 3 | 346 | 27 |
| 4 | 933 | 23 |
| 5 | 2229 | 19 |
| 6 | 4397 | 15 |
| done | 5001 | 15 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 17 |
| 1 | 31 | 17 |
| 2 | 74 | 17 |
| 3 | 119 | 15 |
| 4 | 164 | 13 |
| 5 | 241 | 13 |
| 6 | 346 | 13 |
| 7 | 567 | 13 |
| 8 | 934 | 13 |
| 9 | 1906 | 11 |
| done | 5001 | 11 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 18 | 21 |
| 1 | 44 | 21 |
| 2 | 139 | 21 |
| 3 | 384 | 21 |
| 4 | 1033 | 17 |
| 5 | 2983 | 17 |
| done | 5000 | 17 |
| 0 | 18 | 21 |
| 1 | 44 | 21 |
| 2 | 139 | 21 |
| 3 | 384 | 21 |
| 4 | 1033 | 17 |
| 5 | 2983 | 17 |
| done | 5000 | 17 |
| 0 | 19 | 23 |
| 1 | 48 | 23 |
| 2 | 137 | 21 |
| 3 | 456 | 21 |
| 4 | 2291 | 17 |
| done | 5001 | 17 |
| 0 | 19 | 23 |
| 1 | 48 | 23 |
| 2 | 137 | 21 |
| 3 | 456 | 21 |
| 4 | 2291 | 17 |
| done | 5001 | 17 |
| 0 | 19 | 23 |
| 1 | 48 | 23 |
| 2 | 137 | 21 |
| 3 | 456 | 21 |
| 4 | 2291 | 17 |
| done | 5001 | 17 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 43 | 9 |
| 3 | 67 | 9 |
| 4 | 113 | 9 |
| 5 | 225 | 9 |
| 6 | 573 | 9 |
| 7 | 2100 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 43 | 9 |
| 3 | 67 | 9 |
| 4 | 113 | 9 |
| 5 | 225 | 9 |
| 6 | 573 | 9 |
| 7 | 2100 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 43 | 9 |
| 3 | 67 | 9 |
| 4 | 113 | 9 |
| 5 | 225 | 9 |
| 6 | 573 | 9 |
| 7 | 2100 | 9 |
| done | 5000 | 9 |
9 alts after pruning (6 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 206 | 0 | 206 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 206 | 9 | 215 |
Merged error: 0.3b
97.4% (0.7b remaining)
Error of 1.0b against oracle of 0.3b and baseline of 27.0b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 1.4838987644928216e+44 | 4.2541640950032674e+51 | 1.461933101993263e+47 |
| 5 | -4329756173736020.5 | -1837754016228262.5 | -4284349174439696.5 |
Useful iterations: 1 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 43 | 71 |
| 1 | 65 | 59 |
| done | 65 | 59 |
| 902.0ms | 8842× | body | 80 | valid |
Loading profile data...