Time bar (total: 11.5min)
| 10.0ms | 318× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 11 | 9 |
| 2 | 18 | 9 |
| 3 | 27 | 9 |
| 4 | 36 | 9 |
| 5 | 45 | 9 |
| 6 | 63 | 9 |
| 7 | 97 | 9 |
| 8 | 157 | 9 |
| 9 | 222 | 9 |
| 10 | 336 | 9 |
| 11 | 733 | 9 |
| 12 | 4326 | 9 |
| done | 5000 | 9 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
Merged error: 11.1b
Found 2 expressions with local error:
| 0.0b | (* y (- z x)) |
| 10.4b | (/ (+ x (* y (- z x))) z) |
| 16× | add-sqr-sqrt |
| 14× | *-un-lft-identity |
| 12× | add-cube-cbrt |
| 9× | times-frac |
| 6× | add-exp-log add-cbrt-cube |
| 5× | associate-*r* |
| 4× | pow1 |
| 3× | associate-*l* associate-/r* associate-/l* |
| 2× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-/l/ add-log-exp |
| 1× | cbrt-undiv flip3-- frac-2neg flip3-+ div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod flip-+ div-inv distribute-lft-out-- difference-of-squares unswap-sqr |
| 7.0ms | (* y (- z x)) |
| 6.0ms | (/ (+ x (* y (- z x))) z) |
| 16.0ms | (* y (- z x)) |
| 13.0ms | (/ (+ x (* y (- z x))) z) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 11 |
| 1 | 15 | 11 |
| 2 | 23 | 11 |
| 3 | 32 | 11 |
| 4 | 41 | 11 |
| 5 | 47 | 11 |
| 6 | 56 | 11 |
| 7 | 74 | 11 |
| 8 | 104 | 11 |
| 9 | 131 | 11 |
| 10 | 160 | 11 |
| 11 | 174 | 11 |
| 12 | 192 | 11 |
| 13 | 205 | 11 |
| 14 | 221 | 11 |
| 15 | 256 | 11 |
| 16 | 321 | 11 |
| 17 | 423 | 11 |
| 18 | 517 | 11 |
| 19 | 621 | 11 |
| 20 | 694 | 11 |
| 21 | 707 | 11 |
| 22 | 732 | 11 |
| 23 | 774 | 11 |
| 24 | 853 | 11 |
| 25 | 1118 | 11 |
| 26 | 2500 | 11 |
| done | 5001 | 11 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 10 |
| 3 | 34 | 10 |
| 4 | 43 | 10 |
| 5 | 52 | 10 |
| 6 | 70 | 10 |
| 7 | 104 | 10 |
| 8 | 164 | 10 |
| 9 | 229 | 10 |
| 10 | 343 | 10 |
| 11 | 740 | 10 |
| 12 | 4307 | 10 |
| done | 5001 | 10 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 46 | 10 |
| 6 | 67 | 10 |
| 7 | 106 | 10 |
| 8 | 177 | 10 |
| 9 | 276 | 10 |
| 10 | 488 | 10 |
| 11 | 1459 | 10 |
| done | 5001 | 10 |
| 0 | 11 | 29 |
| 1 | 36 | 29 |
| 2 | 121 | 13 |
| 3 | 427 | 11 |
| 4 | 1814 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 21 |
| 1 | 13 | 21 |
| 2 | 20 | 21 |
| 3 | 29 | 21 |
| 4 | 38 | 21 |
| 5 | 47 | 21 |
| 6 | 65 | 21 |
| 7 | 99 | 21 |
| 8 | 159 | 21 |
| 9 | 224 | 21 |
| 10 | 338 | 21 |
| 11 | 729 | 21 |
| 12 | 4028 | 21 |
| done | 5000 | 21 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 46 | 10 |
| 6 | 64 | 10 |
| 7 | 98 | 10 |
| 8 | 158 | 10 |
| 9 | 223 | 10 |
| 10 | 337 | 10 |
| 11 | 734 | 10 |
| 12 | 4338 | 10 |
| done | 5001 | 10 |
| 0 | 9 | 29 |
| 1 | 20 | 29 |
| 2 | 59 | 11 |
| 3 | 168 | 11 |
| 4 | 604 | 11 |
| 5 | 2487 | 11 |
| done | 5001 | 11 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 46 | 10 |
| 6 | 64 | 10 |
| 7 | 98 | 10 |
| 8 | 158 | 10 |
| 9 | 223 | 10 |
| 10 | 337 | 10 |
| 11 | 734 | 10 |
| 12 | 4338 | 10 |
| done | 5001 | 10 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 46 | 10 |
| 6 | 64 | 10 |
| 7 | 98 | 10 |
| 8 | 158 | 10 |
| 9 | 223 | 10 |
| 10 | 337 | 10 |
| 11 | 734 | 10 |
| 12 | 4338 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 28 | 8 |
| 3 | 55 | 8 |
| 4 | 101 | 7 |
| 5 | 122 | 7 |
| 6 | 147 | 7 |
| 7 | 184 | 7 |
| 8 | 265 | 7 |
| 9 | 352 | 7 |
| 10 | 454 | 7 |
| 11 | 548 | 7 |
| 12 | 650 | 7 |
| 13 | 717 | 7 |
| 14 | 721 | 7 |
| done | 721 | 7 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 11 | 23 |
| 1 | 21 | 23 |
| 2 | 37 | 23 |
| 3 | 52 | 23 |
| 4 | 61 | 23 |
| 5 | 67 | 23 |
| 6 | 76 | 23 |
| 7 | 94 | 23 |
| 8 | 124 | 23 |
| 9 | 151 | 23 |
| 10 | 180 | 23 |
| 11 | 194 | 23 |
| 12 | 212 | 23 |
| 13 | 225 | 23 |
| 14 | 241 | 23 |
| 15 | 276 | 23 |
| 16 | 341 | 23 |
| 17 | 441 | 23 |
| 18 | 535 | 23 |
| 19 | 637 | 23 |
| 20 | 706 | 23 |
| 21 | 710 | 23 |
| done | 710 | 23 |
| 0 | 9 | 11 |
| 1 | 13 | 11 |
| 2 | 20 | 11 |
| 3 | 29 | 11 |
| 4 | 38 | 11 |
| 5 | 44 | 11 |
| 6 | 53 | 11 |
| 7 | 71 | 11 |
| 8 | 101 | 11 |
| 9 | 128 | 11 |
| 10 | 157 | 11 |
| 11 | 171 | 11 |
| 12 | 189 | 11 |
| 13 | 202 | 11 |
| 14 | 218 | 11 |
| 15 | 253 | 11 |
| 16 | 318 | 11 |
| 17 | 418 | 11 |
| 18 | 510 | 11 |
| 19 | 616 | 11 |
| 20 | 687 | 11 |
| 21 | 691 | 11 |
| done | 691 | 11 |
| 0 | 10 | 20 |
| 1 | 16 | 20 |
| 2 | 25 | 20 |
| 3 | 35 | 20 |
| 4 | 44 | 20 |
| 5 | 50 | 20 |
| 6 | 59 | 20 |
| 7 | 77 | 20 |
| 8 | 107 | 20 |
| 9 | 134 | 20 |
| 10 | 163 | 20 |
| 11 | 177 | 20 |
| 12 | 195 | 20 |
| 13 | 208 | 20 |
| 14 | 224 | 20 |
| 15 | 259 | 20 |
| 16 | 324 | 20 |
| 17 | 426 | 20 |
| 18 | 520 | 20 |
| 19 | 624 | 20 |
| 20 | 691 | 20 |
| 21 | 695 | 20 |
| done | 695 | 20 |
| 0 | 9 | 11 |
| 1 | 13 | 11 |
| 2 | 20 | 11 |
| 3 | 29 | 11 |
| 4 | 38 | 11 |
| 5 | 44 | 11 |
| 6 | 53 | 11 |
| 7 | 71 | 11 |
| 8 | 101 | 11 |
| 9 | 128 | 11 |
| 10 | 157 | 11 |
| 11 | 171 | 11 |
| 12 | 189 | 11 |
| 13 | 202 | 11 |
| 14 | 218 | 11 |
| 15 | 253 | 11 |
| 16 | 318 | 11 |
| 17 | 418 | 11 |
| 18 | 510 | 11 |
| 19 | 616 | 11 |
| 20 | 687 | 11 |
| 21 | 691 | 11 |
| done | 691 | 11 |
| 0 | 10 | 19 |
| 1 | 18 | 17 |
| 2 | 31 | 17 |
| 3 | 45 | 17 |
| 4 | 54 | 17 |
| 5 | 59 | 17 |
| 6 | 66 | 17 |
| 7 | 84 | 17 |
| 8 | 114 | 17 |
| 9 | 141 | 17 |
| 10 | 170 | 17 |
| 11 | 184 | 17 |
| 12 | 202 | 17 |
| 13 | 215 | 17 |
| 14 | 231 | 17 |
| 15 | 266 | 17 |
| 16 | 328 | 17 |
| 17 | 430 | 17 |
| 18 | 526 | 17 |
| 19 | 630 | 17 |
| 20 | 699 | 17 |
| 21 | 703 | 17 |
| done | 703 | 17 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 43 | 10 |
| 6 | 52 | 10 |
| 7 | 70 | 10 |
| 8 | 100 | 10 |
| 9 | 127 | 10 |
| 10 | 156 | 10 |
| 11 | 170 | 10 |
| 12 | 188 | 10 |
| 13 | 201 | 10 |
| 14 | 217 | 10 |
| 15 | 252 | 10 |
| 16 | 317 | 10 |
| 17 | 423 | 10 |
| 18 | 515 | 10 |
| 19 | 621 | 10 |
| 20 | 690 | 10 |
| 21 | 694 | 10 |
| done | 694 | 10 |
| 0 | 10 | 14 |
| 1 | 16 | 14 |
| 2 | 23 | 14 |
| 3 | 32 | 14 |
| 4 | 41 | 14 |
| 5 | 47 | 14 |
| 6 | 56 | 14 |
| 7 | 74 | 14 |
| 8 | 104 | 14 |
| 9 | 131 | 14 |
| 10 | 160 | 14 |
| 11 | 174 | 14 |
| 12 | 192 | 14 |
| 13 | 205 | 14 |
| 14 | 221 | 14 |
| 15 | 256 | 14 |
| 16 | 321 | 14 |
| 17 | 423 | 14 |
| 18 | 519 | 14 |
| 19 | 623 | 14 |
| 20 | 692 | 14 |
| 21 | 696 | 14 |
| done | 696 | 14 |
| 0 | 9 | 11 |
| 1 | 13 | 11 |
| 2 | 20 | 11 |
| 3 | 29 | 11 |
| 4 | 38 | 11 |
| 5 | 44 | 11 |
| 6 | 53 | 11 |
| 7 | 71 | 11 |
| 8 | 101 | 11 |
| 9 | 128 | 11 |
| 10 | 157 | 11 |
| 11 | 171 | 11 |
| 12 | 189 | 11 |
| 13 | 202 | 11 |
| 14 | 218 | 11 |
| 15 | 253 | 11 |
| 16 | 318 | 11 |
| 17 | 418 | 11 |
| 18 | 510 | 11 |
| 19 | 616 | 11 |
| 20 | 687 | 11 |
| 21 | 691 | 11 |
| done | 691 | 11 |
| 0 | 9 | 11 |
| 1 | 13 | 11 |
| 2 | 20 | 11 |
| 3 | 29 | 11 |
| 4 | 38 | 11 |
| 5 | 44 | 11 |
| 6 | 53 | 11 |
| 7 | 71 | 11 |
| 8 | 101 | 11 |
| 9 | 128 | 11 |
| 10 | 157 | 11 |
| 11 | 171 | 11 |
| 12 | 189 | 11 |
| 13 | 202 | 11 |
| 14 | 218 | 11 |
| 15 | 253 | 11 |
| 16 | 318 | 11 |
| 17 | 418 | 11 |
| 18 | 510 | 11 |
| 19 | 616 | 11 |
| 20 | 687 | 11 |
| 21 | 691 | 11 |
| done | 691 | 11 |
| 0 | 9 | 11 |
| 1 | 13 | 11 |
| 2 | 20 | 11 |
| 3 | 29 | 11 |
| 4 | 38 | 11 |
| 5 | 44 | 11 |
| 6 | 53 | 11 |
| 7 | 71 | 11 |
| 8 | 101 | 11 |
| 9 | 128 | 11 |
| 10 | 157 | 11 |
| 11 | 171 | 11 |
| 12 | 189 | 11 |
| 13 | 202 | 11 |
| 14 | 218 | 11 |
| 15 | 253 | 11 |
| 16 | 318 | 11 |
| 17 | 418 | 11 |
| 18 | 510 | 11 |
| 19 | 616 | 11 |
| 20 | 687 | 11 |
| 21 | 691 | 11 |
| done | 691 | 11 |
| 0 | 9 | 10 |
| 1 | 15 | 8 |
| 2 | 24 | 8 |
| 3 | 33 | 8 |
| 4 | 42 | 8 |
| 5 | 47 | 8 |
| 6 | 54 | 8 |
| 7 | 72 | 8 |
| 8 | 102 | 8 |
| 9 | 129 | 8 |
| 10 | 158 | 8 |
| 11 | 172 | 8 |
| 12 | 190 | 8 |
| 13 | 203 | 8 |
| 14 | 219 | 8 |
| 15 | 254 | 8 |
| 16 | 316 | 8 |
| 17 | 422 | 8 |
| 18 | 516 | 8 |
| 19 | 622 | 8 |
| 20 | 693 | 8 |
| 21 | 697 | 8 |
| done | 697 | 8 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 43 | 10 |
| 6 | 52 | 10 |
| 7 | 70 | 10 |
| 8 | 100 | 10 |
| 9 | 127 | 10 |
| 10 | 156 | 10 |
| 11 | 170 | 10 |
| 12 | 188 | 10 |
| 13 | 201 | 10 |
| 14 | 217 | 10 |
| 15 | 252 | 10 |
| 16 | 317 | 10 |
| 17 | 423 | 10 |
| 18 | 515 | 10 |
| 19 | 621 | 10 |
| 20 | 690 | 10 |
| 21 | 694 | 10 |
| done | 694 | 10 |
| 0 | 5 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 46 | 10 |
| 6 | 64 | 10 |
| 7 | 98 | 10 |
| 8 | 159 | 10 |
| 9 | 224 | 10 |
| 10 | 337 | 10 |
| 11 | 425 | 10 |
| 12 | 512 | 10 |
| 13 | 662 | 10 |
| 14 | 1124 | 10 |
| 15 | 2138 | 10 |
| 16 | 2548 | 10 |
| 17 | 2896 | 10 |
| 18 | 2983 | 10 |
| 19 | 2995 | 10 |
| done | 2995 | 10 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 46 | 10 |
| 6 | 64 | 10 |
| 7 | 98 | 10 |
| 8 | 159 | 10 |
| 9 | 224 | 10 |
| 10 | 337 | 10 |
| 11 | 425 | 10 |
| 12 | 512 | 10 |
| 13 | 662 | 10 |
| 14 | 1124 | 10 |
| 15 | 2138 | 10 |
| 16 | 2548 | 10 |
| 17 | 2896 | 10 |
| 18 | 2983 | 10 |
| 19 | 2995 | 10 |
| done | 2995 | 10 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 9 |
| 1 | 11 | 9 |
| 2 | 18 | 9 |
| 3 | 27 | 9 |
| 4 | 36 | 9 |
| 5 | 45 | 9 |
| 6 | 63 | 9 |
| 7 | 97 | 9 |
| 8 | 157 | 9 |
| 9 | 222 | 9 |
| 10 | 336 | 9 |
| 11 | 733 | 9 |
| 12 | 4326 | 9 |
| done | 5000 | 9 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 7 | 9 |
| 1 | 11 | 9 |
| 2 | 18 | 9 |
| 3 | 27 | 9 |
| 4 | 36 | 9 |
| 5 | 42 | 9 |
| 6 | 51 | 9 |
| 7 | 69 | 9 |
| 8 | 99 | 9 |
| 9 | 126 | 9 |
| 10 | 155 | 9 |
| 11 | 169 | 9 |
| 12 | 187 | 9 |
| 13 | 200 | 9 |
| 14 | 216 | 9 |
| 15 | 251 | 9 |
| 16 | 316 | 9 |
| 17 | 414 | 9 |
| 18 | 504 | 9 |
| 19 | 608 | 9 |
| 20 | 679 | 9 |
| 21 | 690 | 9 |
| 22 | 698 | 9 |
| 23 | 700 | 9 |
| done | 700 | 9 |
| 0 | 9 | 13 |
| 1 | 15 | 13 |
| 2 | 22 | 13 |
| 3 | 31 | 13 |
| 4 | 40 | 13 |
| 5 | 52 | 13 |
| 6 | 85 | 13 |
| 7 | 155 | 13 |
| 8 | 270 | 13 |
| 9 | 404 | 13 |
| 10 | 640 | 13 |
| 11 | 862 | 13 |
| 12 | 1074 | 13 |
| 13 | 1498 | 13 |
| 14 | 3004 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 46 | 10 |
| 6 | 64 | 10 |
| 7 | 98 | 10 |
| 8 | 159 | 10 |
| 9 | 224 | 10 |
| 10 | 337 | 10 |
| 11 | 425 | 10 |
| 12 | 512 | 10 |
| 13 | 662 | 10 |
| 14 | 1124 | 10 |
| 15 | 2138 | 10 |
| 16 | 2548 | 10 |
| 17 | 2896 | 10 |
| 18 | 2983 | 10 |
| 19 | 2995 | 10 |
| done | 2995 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 7 |
| 2 | 23 | 7 |
| 3 | 32 | 7 |
| 4 | 41 | 7 |
| 5 | 49 | 7 |
| 6 | 65 | 7 |
| 7 | 102 | 7 |
| 8 | 180 | 7 |
| 9 | 263 | 7 |
| 10 | 352 | 7 |
| 11 | 407 | 7 |
| 12 | 427 | 7 |
| 13 | 443 | 7 |
| 14 | 471 | 7 |
| 15 | 520 | 7 |
| 16 | 612 | 7 |
| 17 | 903 | 7 |
| 18 | 1215 | 7 |
| 19 | 1764 | 7 |
| 20 | 2281 | 7 |
| 21 | 2468 | 7 |
| 22 | 2480 | 7 |
| 23 | 2488 | 7 |
| done | 2488 | 7 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 43 | 10 |
| 6 | 52 | 10 |
| 7 | 70 | 10 |
| 8 | 100 | 10 |
| 9 | 127 | 10 |
| 10 | 156 | 10 |
| 11 | 170 | 10 |
| 12 | 188 | 10 |
| 13 | 201 | 10 |
| 14 | 217 | 10 |
| 15 | 252 | 10 |
| 16 | 317 | 10 |
| 17 | 423 | 10 |
| 18 | 515 | 10 |
| 19 | 621 | 10 |
| 20 | 692 | 10 |
| 21 | 696 | 10 |
| done | 696 | 10 |
| 0 | 8 | 10 |
| 1 | 12 | 10 |
| 2 | 19 | 10 |
| 3 | 28 | 10 |
| 4 | 37 | 10 |
| 5 | 43 | 10 |
| 6 | 52 | 10 |
| 7 | 70 | 10 |
| 8 | 100 | 10 |
| 9 | 127 | 10 |
| 10 | 156 | 10 |
| 11 | 170 | 10 |
| 12 | 188 | 10 |
| 13 | 201 | 10 |
| 14 | 217 | 10 |
| 15 | 252 | 10 |
| 16 | 317 | 10 |
| 17 | 423 | 10 |
| 18 | 515 | 10 |
| 19 | 621 | 10 |
| 20 | 692 | 10 |
| 21 | 696 | 10 |
| done | 696 | 10 |
| 0 | 7 | 9 |
| 1 | 11 | 9 |
| 2 | 18 | 9 |
| 3 | 27 | 9 |
| 4 | 36 | 9 |
| 5 | 42 | 9 |
| 6 | 51 | 9 |
| 7 | 69 | 9 |
| 8 | 99 | 9 |
| 9 | 126 | 9 |
| 10 | 155 | 9 |
| 11 | 169 | 9 |
| 12 | 187 | 9 |
| 13 | 200 | 9 |
| 14 | 216 | 9 |
| 15 | 251 | 9 |
| 16 | 316 | 9 |
| 17 | 414 | 9 |
| 18 | 504 | 9 |
| 19 | 608 | 9 |
| 20 | 679 | 9 |
| 21 | 690 | 9 |
| 22 | 698 | 9 |
| 23 | 700 | 9 |
| done | 700 | 9 |
| 0 | 11 | 25 |
| 1 | 38 | 19 |
| 2 | 119 | 19 |
| 3 | 374 | 19 |
| 4 | 1152 | 19 |
| 5 | 3535 | 19 |
| done | 5000 | 19 |
| 0 | 7 | 9 |
| 1 | 13 | 9 |
| 2 | 33 | 9 |
| 3 | 72 | 9 |
| 4 | 168 | 9 |
| 5 | 241 | 9 |
| 6 | 328 | 9 |
| 7 | 439 | 9 |
| 8 | 563 | 9 |
| 9 | 719 | 9 |
| 10 | 936 | 9 |
| 11 | 1287 | 9 |
| 12 | 1615 | 9 |
| 13 | 1655 | 9 |
| done | 1655 | 9 |
| 0 | 5 | 5 |
| 1 | 8 | 5 |
| 2 | 15 | 5 |
| 3 | 20 | 5 |
| 4 | 24 | 5 |
| done | 24 | 5 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 11 | 7 |
| done | 11 | 7 |
| 0 | 6 | 6 |
| 1 | 12 | 6 |
| 2 | 20 | 6 |
| 3 | 25 | 6 |
| 4 | 29 | 6 |
| done | 29 | 6 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 24 | 6 |
| 3 | 49 | 6 |
| 4 | 90 | 6 |
| 5 | 192 | 6 |
| 6 | 441 | 6 |
| 7 | 1402 | 6 |
| done | 5001 | 6 |
| 0 | 9 | 17 |
| 1 | 18 | 17 |
| 2 | 62 | 9 |
| 3 | 243 | 9 |
| 4 | 855 | 7 |
| 5 | 2965 | 7 |
| done | 5001 | 7 |
| 0 | 7 | 13 |
| 1 | 10 | 13 |
| 2 | 17 | 13 |
| 3 | 22 | 13 |
| 4 | 26 | 13 |
| done | 26 | 13 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 16 | 6 |
| 3 | 21 | 6 |
| 4 | 25 | 6 |
| done | 25 | 6 |
| 0 | 7 | 17 |
| 1 | 20 | 17 |
| 2 | 74 | 7 |
| 3 | 266 | 7 |
| 4 | 818 | 7 |
| 5 | 2511 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 16 | 6 |
| 3 | 21 | 6 |
| 4 | 25 | 6 |
| done | 25 | 6 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 16 | 6 |
| 3 | 21 | 6 |
| 4 | 25 | 6 |
| done | 25 | 6 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 11 | 7 |
| done | 11 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| 2 | 11 | 7 |
| done | 11 | 7 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 4 | 4 |
| 1 | 7 | 4 |
| 2 | 10 | 4 |
| 3 | 11 | 4 |
| done | 11 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 4 | 4 |
| 1 | 7 | 4 |
| 2 | 10 | 4 |
| 3 | 11 | 4 |
| done | 11 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 4 | 4 |
| 1 | 7 | 4 |
| 2 | 10 | 4 |
| 3 | 11 | 4 |
| done | 11 | 4 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 4 | 4 |
| 1 | 7 | 4 |
| 2 | 10 | 4 |
| 3 | 11 | 4 |
| done | 11 | 4 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 15 | 11 |
| done | 15 | 11 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 16 | 7 |
| done | 16 | 7 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 16 | 6 |
| 3 | 21 | 6 |
| 4 | 25 | 6 |
| done | 25 | 6 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 16 | 6 |
| 3 | 21 | 6 |
| 4 | 25 | 6 |
| done | 25 | 6 |
| 0 | 5 | 5 |
| 1 | 8 | 5 |
| 2 | 15 | 5 |
| 3 | 20 | 5 |
| 4 | 24 | 5 |
| done | 24 | 5 |
| 0 | 8 | 9 |
| 1 | 24 | 9 |
| 2 | 52 | 9 |
| 3 | 131 | 9 |
| 4 | 309 | 9 |
| 5 | 988 | 9 |
| 6 | 4466 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 9 |
| 1 | 13 | 9 |
| 2 | 30 | 9 |
| 3 | 76 | 9 |
| 4 | 159 | 9 |
| 5 | 245 | 9 |
| 6 | 400 | 9 |
| 7 | 771 | 9 |
| 8 | 3375 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 6 | 7 |
| 1 | 12 | 5 |
| 2 | 21 | 5 |
| 3 | 22 | 5 |
| done | 22 | 5 |
| 0 | 6 | 7 |
| 1 | 12 | 5 |
| 2 | 21 | 5 |
| 3 | 22 | 5 |
| done | 22 | 5 |
| 0 | 6 | 7 |
| 1 | 12 | 5 |
| 2 | 21 | 5 |
| 3 | 22 | 5 |
| done | 22 | 5 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 55 | 6 | 61 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 56 | 6 | 62 |
Merged error: 3.8b
Found 3 expressions with local error:
| 0.0b | (+ (/ (* (- 1 y) x) z) y) |
| 0.0b | (* (- 1 y) x) |
| 3.6b | (/ (* (- 1 y) x) z) |
| 12× | add-sqr-sqrt *-un-lft-identity |
| 10× | add-exp-log add-cbrt-cube |
| 7× | add-cube-cbrt |
| 6× | associate-*l* |
| 5× | pow1 add-log-exp |
| 4× | associate-*l/ |
| 3× | times-frac associate-*r* associate-/r* |
| 2× | cbrt-undiv flip3-- div-exp prod-exp flip-- cbrt-unprod associate-/l/ difference-of-squares |
| 1× | +-commutative frac-2neg flip3-+ pow-prod-down clear-num sum-log *-commutative flip-+ div-inv distribute-lft-out associate-/l* distribute-lft-out-- unswap-sqr |
| 9.0ms | (+ (/ (* (- 1 y) x) z) y) |
| 8.0ms | (* (- 1 y) x) |
| 8.0ms | (/ (* (- 1 y) x) z) |
| 9.0ms | (+ (/ (* (- 1 y) x) z) y) |
| 5.0ms | (* (- 1 y) x) |
| 9.0ms | (/ (* (- 1 y) x) z) |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 10 |
| 1 | 19 | 10 |
| 2 | 27 | 10 |
| 3 | 33 | 10 |
| 4 | 39 | 10 |
| 5 | 48 | 10 |
| 6 | 61 | 10 |
| 7 | 79 | 10 |
| 8 | 95 | 10 |
| 9 | 102 | 10 |
| 10 | 119 | 10 |
| 11 | 121 | 10 |
| done | 121 | 10 |
| 0 | 9 | 9 |
| 1 | 19 | 9 |
| 2 | 32 | 9 |
| 3 | 46 | 9 |
| 4 | 55 | 9 |
| 5 | 61 | 9 |
| 6 | 70 | 9 |
| 7 | 83 | 9 |
| 8 | 101 | 9 |
| 9 | 117 | 9 |
| 10 | 124 | 9 |
| 11 | 141 | 9 |
| 12 | 143 | 9 |
| done | 143 | 9 |
| 0 | 8 | 8 |
| 1 | 18 | 8 |
| 2 | 40 | 8 |
| 3 | 71 | 8 |
| 4 | 108 | 8 |
| 5 | 159 | 8 |
| 6 | 256 | 8 |
| 7 | 445 | 8 |
| 8 | 653 | 8 |
| 9 | 737 | 8 |
| 10 | 790 | 8 |
| done | 790 | 8 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 29 | 8 |
| 3 | 49 | 8 |
| 4 | 85 | 8 |
| 5 | 148 | 8 |
| 6 | 310 | 8 |
| 7 | 770 | 8 |
| 8 | 2695 | 8 |
| done | 5001 | 8 |
| 0 | 13 | 23 |
| 1 | 32 | 23 |
| 2 | 141 | 13 |
| 3 | 668 | 13 |
| 4 | 3271 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 23 |
| 1 | 34 | 23 |
| 2 | 160 | 11 |
| 3 | 913 | 9 |
| 4 | 4226 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 17 |
| 1 | 16 | 17 |
| 2 | 30 | 17 |
| 3 | 45 | 17 |
| 4 | 67 | 17 |
| 5 | 105 | 17 |
| 6 | 175 | 17 |
| 7 | 303 | 17 |
| 8 | 448 | 17 |
| 9 | 487 | 17 |
| 10 | 497 | 17 |
| done | 497 | 17 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 29 | 8 |
| 3 | 44 | 8 |
| 4 | 66 | 8 |
| 5 | 104 | 8 |
| 6 | 170 | 8 |
| 7 | 292 | 8 |
| 8 | 439 | 8 |
| 9 | 476 | 8 |
| 10 | 487 | 8 |
| done | 487 | 8 |
| 0 | 9 | 23 |
| 1 | 23 | 23 |
| 2 | 74 | 9 |
| 3 | 340 | 9 |
| 4 | 1603 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 29 | 8 |
| 3 | 44 | 8 |
| 4 | 66 | 8 |
| 5 | 104 | 8 |
| 6 | 170 | 8 |
| 7 | 292 | 8 |
| 8 | 439 | 8 |
| 9 | 476 | 8 |
| 10 | 487 | 8 |
| done | 487 | 8 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 29 | 8 |
| 3 | 44 | 8 |
| 4 | 66 | 8 |
| 5 | 104 | 8 |
| 6 | 170 | 8 |
| 7 | 292 | 8 |
| 8 | 439 | 8 |
| 9 | 476 | 8 |
| 10 | 487 | 8 |
| done | 487 | 8 |
| 0 | 6 | 6 |
| 1 | 15 | 6 |
| 2 | 28 | 6 |
| 3 | 52 | 5 |
| 4 | 60 | 5 |
| 5 | 109 | 5 |
| 6 | 263 | 5 |
| done | 263 | 5 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 7 | 9 |
| 1 | 16 | 9 |
| 2 | 24 | 9 |
| 3 | 29 | 9 |
| 4 | 32 | 9 |
| done | 32 | 9 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 6 | 6 |
| 1 | 13 | 6 |
| 2 | 16 | 6 |
| 3 | 18 | 6 |
| done | 18 | 6 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 4 | 5 |
| 1 | 11 | 3 |
| 2 | 16 | 3 |
| done | 16 | 3 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 23 | 7 |
| 3 | 28 | 7 |
| 4 | 32 | 7 |
| done | 32 | 7 |
| 0 | 9 | 11 |
| 1 | 21 | 11 |
| 2 | 48 | 11 |
| 3 | 80 | 11 |
| 4 | 142 | 11 |
| 5 | 224 | 11 |
| 6 | 466 | 11 |
| 7 | 881 | 11 |
| 8 | 1132 | 11 |
| 9 | 1171 | 11 |
| 10 | 1196 | 11 |
| done | 1196 | 11 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 29 | 8 |
| 3 | 44 | 8 |
| 4 | 66 | 8 |
| 5 | 104 | 8 |
| 6 | 172 | 8 |
| 7 | 298 | 8 |
| 8 | 441 | 8 |
| 9 | 474 | 8 |
| 10 | 483 | 8 |
| done | 483 | 8 |
| 0 | 6 | 7 |
| 1 | 13 | 5 |
| 2 | 31 | 5 |
| 3 | 54 | 5 |
| 4 | 82 | 5 |
| 5 | 88 | 5 |
| 6 | 101 | 5 |
| 7 | 112 | 5 |
| 8 | 117 | 5 |
| done | 117 | 5 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 9 | 13 |
| 1 | 25 | 9 |
| 2 | 47 | 9 |
| 3 | 69 | 9 |
| 4 | 71 | 9 |
| 5 | 79 | 9 |
| 6 | 105 | 9 |
| 7 | 109 | 9 |
| 8 | 113 | 9 |
| 9 | 119 | 9 |
| done | 119 | 9 |
| 0 | 5 | 5 |
| 1 | 15 | 5 |
| 2 | 16 | 5 |
| done | 16 | 5 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 17 | 5 |
| 3 | 22 | 5 |
| 4 | 26 | 5 |
| done | 26 | 5 |
| 0 | 7 | 7 |
| 1 | 12 | 7 |
| 2 | 13 | 7 |
| done | 13 | 7 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 22 | 6 |
| 3 | 27 | 6 |
| 4 | 31 | 6 |
| done | 31 | 6 |
| 0 | 6 | 6 |
| 1 | 13 | 6 |
| 2 | 31 | 6 |
| 3 | 49 | 6 |
| 4 | 89 | 6 |
| 5 | 169 | 6 |
| 6 | 363 | 6 |
| 7 | 915 | 6 |
| 8 | 3144 | 6 |
| done | 5000 | 6 |
| 0 | 9 | 17 |
| 1 | 20 | 17 |
| 2 | 58 | 9 |
| 3 | 183 | 9 |
| 4 | 646 | 7 |
| 5 | 2668 | 7 |
| done | 5001 | 7 |
| 0 | 7 | 13 |
| 1 | 12 | 13 |
| 2 | 19 | 13 |
| 3 | 24 | 13 |
| 4 | 28 | 13 |
| done | 28 | 13 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 23 | 6 |
| 4 | 27 | 6 |
| done | 27 | 6 |
| 0 | 7 | 17 |
| 1 | 22 | 17 |
| 2 | 76 | 7 |
| 3 | 286 | 7 |
| 4 | 864 | 7 |
| 5 | 2733 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 23 | 6 |
| 4 | 27 | 6 |
| done | 27 | 6 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 23 | 6 |
| 4 | 27 | 6 |
| done | 27 | 6 |
| 0 | 7 | 7 |
| 1 | 12 | 7 |
| 2 | 13 | 7 |
| done | 13 | 7 |
| 0 | 7 | 7 |
| 1 | 12 | 7 |
| 2 | 13 | 7 |
| done | 13 | 7 |
| 0 | 7 | 9 |
| 1 | 14 | 9 |
| 2 | 23 | 9 |
| 3 | 40 | 9 |
| 4 | 98 | 9 |
| 5 | 167 | 9 |
| 6 | 205 | 9 |
| 7 | 218 | 9 |
| done | 218 | 9 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 23 | 6 |
| 4 | 48 | 6 |
| 5 | 90 | 6 |
| 6 | 106 | 6 |
| 7 | 117 | 6 |
| done | 117 | 6 |
| 0 | 4 | 5 |
| 1 | 9 | 3 |
| 2 | 17 | 3 |
| 3 | 26 | 3 |
| 4 | 35 | 3 |
| 5 | 39 | 3 |
| done | 39 | 3 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 12 | 6 |
| done | 12 | 6 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 12 | 6 |
| done | 12 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 17 | 5 |
| 3 | 22 | 5 |
| 4 | 26 | 5 |
| done | 26 | 5 |
| 0 | 7 | 7 |
| 1 | 12 | 6 |
| 2 | 19 | 6 |
| 3 | 24 | 6 |
| 4 | 28 | 6 |
| done | 28 | 6 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 23 | 6 |
| 4 | 27 | 6 |
| done | 27 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 17 | 5 |
| 3 | 22 | 5 |
| 4 | 26 | 5 |
| done | 26 | 5 |
| 0 | 8 | 9 |
| 1 | 26 | 7 |
| 2 | 48 | 7 |
| 3 | 98 | 7 |
| 4 | 204 | 7 |
| 5 | 514 | 7 |
| 6 | 1743 | 7 |
| done | 5001 | 7 |
| 0 | 7 | 9 |
| 1 | 15 | 7 |
| 2 | 32 | 7 |
| 3 | 74 | 7 |
| 4 | 149 | 7 |
| 5 | 351 | 7 |
| 6 | 583 | 7 |
| 7 | 1124 | 7 |
| 8 | 4208 | 7 |
| done | 5000 | 7 |
| 0 | 10 | 11 |
| 1 | 20 | 10 |
| 2 | 35 | 10 |
| 3 | 59 | 10 |
| 4 | 110 | 10 |
| 5 | 201 | 10 |
| 6 | 434 | 10 |
| 7 | 1217 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 31 | 10 |
| 3 | 50 | 10 |
| 4 | 79 | 10 |
| 5 | 127 | 10 |
| 6 | 206 | 10 |
| 7 | 342 | 10 |
| 8 | 517 | 10 |
| 9 | 654 | 10 |
| 10 | 860 | 10 |
| 11 | 1312 | 10 |
| 12 | 1414 | 10 |
| 13 | 1436 | 10 |
| 14 | 1452 | 10 |
| 15 | 1506 | 10 |
| 16 | 1689 | 10 |
| 17 | 2346 | 10 |
| 18 | 4916 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 10 |
| 1 | 20 | 10 |
| 2 | 35 | 10 |
| 3 | 59 | 10 |
| 4 | 110 | 10 |
| 5 | 201 | 10 |
| 6 | 434 | 10 |
| 7 | 1224 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 21 |
| 1 | 18 | 21 |
| 2 | 32 | 21 |
| 3 | 51 | 21 |
| 4 | 80 | 21 |
| 5 | 128 | 21 |
| 6 | 209 | 21 |
| 7 | 351 | 21 |
| 8 | 527 | 21 |
| 9 | 662 | 21 |
| 10 | 871 | 21 |
| 11 | 1316 | 21 |
| 12 | 1412 | 21 |
| 13 | 1419 | 21 |
| done | 1419 | 21 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 31 | 10 |
| 3 | 50 | 10 |
| 4 | 79 | 10 |
| 5 | 127 | 10 |
| 6 | 206 | 10 |
| 7 | 342 | 10 |
| 8 | 515 | 10 |
| 9 | 649 | 10 |
| 10 | 855 | 10 |
| 11 | 1294 | 10 |
| 12 | 1390 | 10 |
| 13 | 1397 | 10 |
| done | 1397 | 10 |
| 0 | 10 | 29 |
| 1 | 31 | 29 |
| 2 | 93 | 11 |
| 3 | 346 | 11 |
| 4 | 1462 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 31 | 10 |
| 3 | 50 | 10 |
| 4 | 79 | 10 |
| 5 | 127 | 10 |
| 6 | 206 | 10 |
| 7 | 342 | 10 |
| 8 | 515 | 10 |
| 9 | 649 | 10 |
| 10 | 855 | 10 |
| 11 | 1294 | 10 |
| 12 | 1390 | 10 |
| 13 | 1397 | 10 |
| done | 1397 | 10 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 31 | 10 |
| 3 | 50 | 10 |
| 4 | 79 | 10 |
| 5 | 127 | 10 |
| 6 | 206 | 10 |
| 7 | 342 | 10 |
| 8 | 515 | 10 |
| 9 | 649 | 10 |
| 10 | 855 | 10 |
| 11 | 1294 | 10 |
| 12 | 1390 | 10 |
| 13 | 1397 | 10 |
| done | 1397 | 10 |
| 0 | 11 | 13 |
| 1 | 35 | 13 |
| 2 | 90 | 13 |
| 3 | 328 | 13 |
| 4 | 1649 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 33 | 27 |
| 2 | 93 | 27 |
| 3 | 301 | 21 |
| 4 | 912 | 21 |
| 5 | 3453 | 21 |
| done | 5001 | 21 |
| 0 | 10 | 19 |
| 1 | 26 | 19 |
| 2 | 66 | 19 |
| 3 | 223 | 19 |
| 4 | 697 | 19 |
| 5 | 2692 | 19 |
| done | 5000 | 19 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 31 | 9 |
| 3 | 52 | 9 |
| 4 | 87 | 9 |
| 5 | 138 | 9 |
| 6 | 213 | 9 |
| 7 | 361 | 9 |
| 8 | 584 | 9 |
| 9 | 950 | 9 |
| 10 | 1251 | 9 |
| 11 | 1564 | 9 |
| 12 | 1583 | 9 |
| done | 1583 | 9 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 30 | 9 |
| 3 | 49 | 9 |
| 4 | 78 | 9 |
| 5 | 126 | 9 |
| 6 | 205 | 9 |
| 7 | 338 | 9 |
| 8 | 518 | 9 |
| 9 | 652 | 9 |
| 10 | 858 | 9 |
| 11 | 1303 | 9 |
| 12 | 1396 | 9 |
| 13 | 1403 | 9 |
| done | 1403 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 14 | 5 |
| 3 | 17 | 5 |
| 4 | 21 | 5 |
| 5 | 28 | 5 |
| 6 | 29 | 5 |
| done | 29 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 14 | 5 |
| 3 | 17 | 5 |
| 4 | 21 | 5 |
| 5 | 28 | 5 |
| 6 | 29 | 5 |
| done | 29 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 14 | 5 |
| 3 | 17 | 5 |
| 4 | 21 | 5 |
| 5 | 28 | 5 |
| 6 | 29 | 5 |
| done | 29 | 5 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 64 | 3 | 67 |
| Fresh | 4 | 1 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 69 | 4 | 73 |
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (* (- 1 y) (/ x z)) y) |
| 3.2b | (* (- 1 y) (/ x z)) |
| 18× | add-sqr-sqrt |
| 13× | *-un-lft-identity associate-*r* |
| 10× | add-cube-cbrt times-frac |
| 7× | add-exp-log add-cbrt-cube |
| 6× | associate-*l* |
| 4× | pow1 add-log-exp |
| 2× | frac-times flip3-- associate-*l/ prod-exp flip-- cbrt-unprod difference-of-squares unswap-sqr |
| 1× | cbrt-undiv +-commutative flip3-+ associate-*r/ div-exp pow-prod-down sum-log *-commutative flip-+ div-inv distribute-lft-out-- |
| 10.0ms | (+ (* (- 1 y) (/ x z)) y) |
| 11.0ms | (* (- 1 y) (/ x z)) |
| 9.0ms | (+ (* (- 1 y) (/ x z)) y) |
| 8.0ms | (* (- 1 y) (/ x z)) |
Useful iterations: 2 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 24 | 7 |
| 3 | 48 | 7 |
| 4 | 108 | 7 |
| 5 | 237 | 7 |
| 6 | 367 | 7 |
| 7 | 474 | 7 |
| 8 | 493 | 7 |
| 9 | 499 | 7 |
| 10 | 502 | 7 |
| done | 502 | 7 |
| 0 | 10 | 10 |
| 1 | 19 | 10 |
| 2 | 27 | 10 |
| 3 | 36 | 10 |
| 4 | 42 | 10 |
| 5 | 52 | 10 |
| 6 | 59 | 10 |
| 7 | 71 | 10 |
| 8 | 94 | 10 |
| 9 | 108 | 10 |
| 10 | 114 | 10 |
| done | 114 | 10 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 24 | 9 |
| 3 | 33 | 9 |
| 4 | 43 | 9 |
| 5 | 52 | 9 |
| 6 | 57 | 9 |
| 7 | 66 | 9 |
| 8 | 83 | 9 |
| 9 | 102 | 9 |
| 10 | 110 | 9 |
| done | 110 | 9 |
| 0 | 8 | 8 |
| 1 | 18 | 8 |
| 2 | 34 | 8 |
| 3 | 68 | 8 |
| 4 | 150 | 8 |
| 5 | 316 | 8 |
| 6 | 585 | 8 |
| 7 | 785 | 8 |
| 8 | 853 | 8 |
| 9 | 876 | 8 |
| 10 | 922 | 8 |
| done | 922 | 8 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 38 | 8 |
| 3 | 77 | 8 |
| 4 | 191 | 8 |
| 5 | 472 | 8 |
| 6 | 1272 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 23 |
| 1 | 32 | 23 |
| 2 | 123 | 13 |
| 3 | 562 | 11 |
| 4 | 2869 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 23 |
| 1 | 28 | 23 |
| 2 | 90 | 11 |
| 3 | 333 | 11 |
| 4 | 1525 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 17 |
| 1 | 16 | 17 |
| 2 | 26 | 17 |
| 3 | 50 | 17 |
| 4 | 110 | 17 |
| 5 | 239 | 17 |
| 6 | 370 | 17 |
| 7 | 484 | 17 |
| 8 | 503 | 17 |
| 9 | 510 | 17 |
| 10 | 514 | 17 |
| done | 514 | 17 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 25 | 8 |
| 3 | 49 | 8 |
| 4 | 109 | 8 |
| 5 | 236 | 8 |
| 6 | 366 | 8 |
| 7 | 471 | 8 |
| 8 | 490 | 8 |
| 9 | 496 | 8 |
| 10 | 500 | 8 |
| done | 500 | 8 |
| 0 | 9 | 23 |
| 1 | 26 | 23 |
| 2 | 105 | 9 |
| 3 | 531 | 9 |
| 4 | 2452 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 25 | 8 |
| 3 | 49 | 8 |
| 4 | 109 | 8 |
| 5 | 236 | 8 |
| 6 | 366 | 8 |
| 7 | 471 | 8 |
| 8 | 490 | 8 |
| 9 | 496 | 8 |
| 10 | 500 | 8 |
| done | 500 | 8 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 25 | 8 |
| 3 | 49 | 8 |
| 4 | 109 | 8 |
| 5 | 236 | 8 |
| 6 | 366 | 8 |
| 7 | 471 | 8 |
| 8 | 490 | 8 |
| 9 | 496 | 8 |
| 10 | 500 | 8 |
| done | 500 | 8 |
| 0 | 8 | 9 |
| 1 | 26 | 7 |
| 2 | 48 | 7 |
| 3 | 98 | 7 |
| 4 | 204 | 7 |
| 5 | 514 | 7 |
| 6 | 1743 | 7 |
| done | 5001 | 7 |
| 0 | 9 | 13 |
| 1 | 19 | 9 |
| 2 | 39 | 9 |
| 3 | 60 | 9 |
| 4 | 76 | 9 |
| done | 76 | 9 |
| 0 | 7 | 9 |
| 1 | 15 | 7 |
| 2 | 32 | 7 |
| 3 | 74 | 7 |
| 4 | 149 | 7 |
| 5 | 351 | 7 |
| 6 | 583 | 7 |
| 7 | 1124 | 7 |
| 8 | 4208 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 17 | 5 |
| done | 17 | 5 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 15 | 9 |
| done | 15 | 9 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 15 | 9 |
| done | 15 | 9 |
| 0 | 10 | 10 |
| 1 | 17 | 10 |
| 2 | 21 | 10 |
| 3 | 25 | 10 |
| 4 | 26 | 10 |
| done | 26 | 10 |
| 0 | 10 | 10 |
| 1 | 17 | 10 |
| 2 | 21 | 10 |
| 3 | 25 | 10 |
| 4 | 26 | 10 |
| done | 26 | 10 |
| 0 | 9 | 13 |
| 1 | 16 | 13 |
| 2 | 25 | 13 |
| 3 | 42 | 13 |
| 4 | 100 | 13 |
| 5 | 165 | 13 |
| 6 | 203 | 13 |
| 7 | 216 | 13 |
| done | 216 | 13 |
| 0 | 8 | 8 |
| 1 | 13 | 8 |
| 2 | 20 | 8 |
| 3 | 25 | 8 |
| 4 | 50 | 8 |
| 5 | 88 | 8 |
| 6 | 104 | 8 |
| 7 | 115 | 8 |
| done | 115 | 8 |
| 0 | 11 | 15 |
| 1 | 24 | 15 |
| 2 | 60 | 15 |
| 3 | 164 | 15 |
| 4 | 474 | 15 |
| 5 | 1074 | 15 |
| 6 | 1729 | 15 |
| 7 | 2134 | 15 |
| 8 | 2309 | 15 |
| 9 | 2348 | 15 |
| done | 2348 | 15 |
| 0 | 10 | 12 |
| 1 | 19 | 12 |
| 2 | 36 | 12 |
| 3 | 89 | 12 |
| 4 | 245 | 12 |
| 5 | 512 | 12 |
| 6 | 746 | 12 |
| 7 | 842 | 12 |
| 8 | 871 | 12 |
| 9 | 875 | 12 |
| done | 875 | 12 |
| 0 | 8 | 11 |
| 1 | 17 | 9 |
| 2 | 41 | 9 |
| 3 | 113 | 9 |
| 4 | 287 | 9 |
| 5 | 516 | 9 |
| 6 | 701 | 9 |
| 7 | 873 | 9 |
| 8 | 968 | 9 |
| done | 968 | 9 |
| 0 | 10 | 12 |
| 1 | 19 | 12 |
| 2 | 37 | 12 |
| 3 | 86 | 12 |
| 4 | 198 | 12 |
| 5 | 510 | 12 |
| 6 | 787 | 12 |
| 7 | 983 | 12 |
| 8 | 1072 | 12 |
| 9 | 1090 | 12 |
| done | 1090 | 12 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 26 | 9 |
| 3 | 50 | 9 |
| 4 | 110 | 9 |
| 5 | 260 | 9 |
| 6 | 372 | 9 |
| 7 | 434 | 9 |
| 8 | 452 | 9 |
| 9 | 454 | 9 |
| done | 454 | 9 |
| 0 | 7 | 8 |
| 1 | 14 | 6 |
| 2 | 28 | 6 |
| 3 | 47 | 6 |
| 4 | 105 | 6 |
| 5 | 213 | 6 |
| 6 | 327 | 6 |
| 7 | 421 | 6 |
| 8 | 481 | 6 |
| done | 481 | 6 |
| 0 | 8 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 9 |
| 3 | 90 | 9 |
| 4 | 169 | 9 |
| 5 | 247 | 9 |
| 6 | 320 | 9 |
| 7 | 348 | 9 |
| 8 | 372 | 9 |
| 9 | 374 | 9 |
| done | 374 | 9 |
| 0 | 7 | 8 |
| 1 | 14 | 8 |
| 2 | 24 | 6 |
| 3 | 53 | 6 |
| 4 | 84 | 6 |
| 5 | 117 | 6 |
| 6 | 138 | 6 |
| 7 | 140 | 6 |
| 8 | 141 | 6 |
| done | 141 | 6 |
| 0 | 5 | 7 |
| 1 | 12 | 5 |
| 2 | 22 | 3 |
| 3 | 37 | 3 |
| 4 | 48 | 3 |
| 5 | 52 | 3 |
| done | 52 | 3 |
| 0 | 4 | 5 |
| 1 | 9 | 3 |
| 2 | 17 | 3 |
| 3 | 26 | 3 |
| 4 | 35 | 3 |
| 5 | 39 | 3 |
| done | 39 | 3 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 17 | 5 |
| 3 | 22 | 5 |
| 4 | 26 | 5 |
| done | 26 | 5 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 19 | 8 |
| 3 | 23 | 8 |
| 4 | 24 | 8 |
| done | 24 | 8 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 19 | 8 |
| 3 | 23 | 8 |
| 4 | 24 | 8 |
| done | 24 | 8 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 24 | 7 |
| 3 | 48 | 7 |
| 4 | 108 | 7 |
| 5 | 237 | 7 |
| 6 | 367 | 7 |
| 7 | 474 | 7 |
| 8 | 493 | 7 |
| 9 | 499 | 7 |
| 10 | 502 | 7 |
| done | 502 | 7 |
| 0 | 9 | 9 |
| 1 | 16 | 8 |
| 2 | 26 | 8 |
| 3 | 50 | 8 |
| 4 | 110 | 8 |
| 5 | 241 | 8 |
| 6 | 378 | 8 |
| 7 | 453 | 8 |
| 8 | 462 | 8 |
| 9 | 463 | 8 |
| done | 463 | 8 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 25 | 8 |
| 3 | 49 | 8 |
| 4 | 109 | 8 |
| 5 | 238 | 8 |
| 6 | 371 | 8 |
| 7 | 446 | 8 |
| 8 | 455 | 8 |
| 9 | 458 | 8 |
| done | 458 | 8 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 24 | 7 |
| 3 | 48 | 7 |
| 4 | 108 | 7 |
| 5 | 237 | 7 |
| 6 | 367 | 7 |
| 7 | 474 | 7 |
| 8 | 493 | 7 |
| 9 | 499 | 7 |
| 10 | 502 | 7 |
| done | 502 | 7 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 17 | 5 |
| 3 | 22 | 5 |
| 4 | 26 | 5 |
| done | 26 | 5 |
| 0 | 10 | 11 |
| 1 | 30 | 9 |
| 2 | 57 | 9 |
| 3 | 128 | 9 |
| 4 | 398 | 9 |
| 5 | 1484 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 9 |
| 2 | 41 | 9 |
| 3 | 116 | 9 |
| 4 | 341 | 9 |
| 5 | 888 | 9 |
| 6 | 1653 | 9 |
| 7 | 3194 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 11 |
| 1 | 22 | 10 |
| 2 | 43 | 10 |
| 3 | 90 | 10 |
| 4 | 234 | 10 |
| 5 | 574 | 10 |
| 6 | 1554 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 55 | 10 |
| 4 | 123 | 10 |
| 5 | 259 | 10 |
| 6 | 399 | 10 |
| 7 | 534 | 10 |
| 8 | 610 | 10 |
| 9 | 778 | 10 |
| 10 | 1133 | 10 |
| 11 | 1299 | 10 |
| 12 | 1325 | 10 |
| 13 | 1329 | 10 |
| 14 | 1346 | 10 |
| 15 | 1404 | 10 |
| 16 | 1579 | 10 |
| 17 | 2217 | 10 |
| 18 | 4825 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 10 |
| 1 | 20 | 10 |
| 2 | 35 | 10 |
| 3 | 77 | 10 |
| 4 | 195 | 10 |
| 5 | 465 | 10 |
| 6 | 1023 | 10 |
| 7 | 3427 | 10 |
| done | 5001 | 10 |
| 0 | 10 | 21 |
| 1 | 18 | 21 |
| 2 | 28 | 21 |
| 3 | 56 | 21 |
| 4 | 124 | 21 |
| 5 | 258 | 21 |
| 6 | 396 | 21 |
| 7 | 526 | 21 |
| 8 | 600 | 21 |
| 9 | 767 | 21 |
| 10 | 1115 | 21 |
| 11 | 1275 | 21 |
| 12 | 1294 | 21 |
| done | 1294 | 21 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 55 | 10 |
| 4 | 123 | 10 |
| 5 | 259 | 10 |
| 6 | 399 | 10 |
| 7 | 534 | 10 |
| 8 | 608 | 10 |
| 9 | 773 | 10 |
| 10 | 1125 | 10 |
| 11 | 1296 | 10 |
| 12 | 1315 | 10 |
| done | 1315 | 10 |
| 0 | 10 | 29 |
| 1 | 31 | 29 |
| 2 | 97 | 11 |
| 3 | 417 | 11 |
| 4 | 2100 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 55 | 10 |
| 4 | 123 | 10 |
| 5 | 259 | 10 |
| 6 | 399 | 10 |
| 7 | 534 | 10 |
| 8 | 608 | 10 |
| 9 | 773 | 10 |
| 10 | 1125 | 10 |
| 11 | 1296 | 10 |
| 12 | 1315 | 10 |
| done | 1315 | 10 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 55 | 10 |
| 4 | 123 | 10 |
| 5 | 259 | 10 |
| 6 | 399 | 10 |
| 7 | 534 | 10 |
| 8 | 608 | 10 |
| 9 | 773 | 10 |
| 10 | 1125 | 10 |
| 11 | 1296 | 10 |
| 12 | 1315 | 10 |
| done | 1315 | 10 |
| 0 | 11 | 13 |
| 1 | 35 | 13 |
| 2 | 96 | 13 |
| 3 | 397 | 13 |
| 4 | 1801 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 36 | 27 |
| 2 | 113 | 27 |
| 3 | 378 | 21 |
| 4 | 1461 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 19 |
| 1 | 29 | 19 |
| 2 | 84 | 19 |
| 3 | 292 | 19 |
| 4 | 1105 | 19 |
| 5 | 3699 | 19 |
| done | 5001 | 19 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 27 | 9 |
| 3 | 57 | 9 |
| 4 | 134 | 9 |
| 5 | 281 | 9 |
| 6 | 435 | 9 |
| 7 | 588 | 9 |
| 8 | 733 | 9 |
| 9 | 1228 | 9 |
| 10 | 1460 | 9 |
| 11 | 1512 | 9 |
| done | 1512 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 56 | 0 | 56 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 56 | 4 | 60 |
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (/ (- 1 y) (/ z x)) y) |
| 3.7b | (/ (- 1 y) (/ z x)) |
| 141× | times-frac |
| 109× | *-un-lft-identity |
| 107× | add-sqr-sqrt |
| 65× | add-cube-cbrt |
| 28× | difference-of-squares |
| 14× | distribute-lft-out-- |
| 13× | associate-/r* |
| 8× | div-inv |
| 7× | add-exp-log add-cbrt-cube |
| 6× | associate-/l* |
| 4× | add-log-exp |
| 3× | cbrt-undiv div-exp |
| 2× | pow1 div-sub associate-/l/ |
| 1× | +-commutative associate-+l- flip3-- frac-2neg flip3-+ clear-num sum-log associate-/r/ flip-- flip-+ distribute-lft-out |
| 30.0ms | (+ (/ (- 1 y) (/ z x)) y) |
| 11.0ms | (/ (- 1 y) (/ z x)) |
| 9.0ms | (+ (/ (- 1 y) (/ z x)) y) |
| 9.0ms | (/ (- 1 y) (/ z x)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 29 | 10 |
| 3 | 42 | 10 |
| 4 | 47 | 10 |
| 5 | 55 | 10 |
| 6 | 70 | 10 |
| 7 | 96 | 10 |
| 8 | 105 | 10 |
| done | 105 | 10 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 24 | 9 |
| 3 | 31 | 9 |
| 4 | 44 | 9 |
| 5 | 48 | 9 |
| 6 | 56 | 9 |
| 7 | 71 | 9 |
| 8 | 97 | 9 |
| 9 | 106 | 9 |
| done | 106 | 9 |
| 0 | 8 | 8 |
| 1 | 20 | 8 |
| 2 | 38 | 8 |
| 3 | 60 | 8 |
| 4 | 89 | 8 |
| 5 | 113 | 8 |
| 6 | 140 | 8 |
| 7 | 201 | 8 |
| 8 | 333 | 8 |
| 9 | 503 | 8 |
| 10 | 684 | 8 |
| 11 | 712 | 8 |
| 12 | 722 | 8 |
| 13 | 725 | 8 |
| done | 725 | 8 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 33 | 8 |
| 3 | 60 | 8 |
| 4 | 99 | 8 |
| 5 | 170 | 8 |
| 6 | 426 | 8 |
| 7 | 1666 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 23 |
| 1 | 31 | 23 |
| 2 | 124 | 13 |
| 3 | 559 | 11 |
| 4 | 2768 | 9 |
| done | 5001 | 9 |
| 0 | 11 | 23 |
| 1 | 30 | 23 |
| 2 | 104 | 11 |
| 3 | 411 | 9 |
| 4 | 2070 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 17 |
| 1 | 18 | 17 |
| 2 | 29 | 17 |
| 3 | 43 | 17 |
| 4 | 62 | 17 |
| 5 | 69 | 17 |
| 6 | 88 | 17 |
| 7 | 132 | 17 |
| 8 | 222 | 17 |
| 9 | 312 | 17 |
| 10 | 400 | 17 |
| 11 | 415 | 17 |
| 12 | 424 | 17 |
| 13 | 427 | 17 |
| done | 427 | 17 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 311 | 8 |
| 10 | 397 | 8 |
| 11 | 412 | 8 |
| 12 | 422 | 8 |
| 13 | 425 | 8 |
| done | 425 | 8 |
| 0 | 9 | 23 |
| 1 | 25 | 23 |
| 2 | 83 | 9 |
| 3 | 408 | 9 |
| 4 | 2810 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 311 | 8 |
| 10 | 397 | 8 |
| 11 | 412 | 8 |
| 12 | 422 | 8 |
| 13 | 425 | 8 |
| done | 425 | 8 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 311 | 8 |
| 10 | 397 | 8 |
| 11 | 412 | 8 |
| 12 | 422 | 8 |
| 13 | 425 | 8 |
| done | 425 | 8 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 13 | 4 |
| 3 | 15 | 3 |
| done | 15 | 3 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 12 | 5 |
| 3 | 13 | 3 |
| done | 13 | 3 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| 2 | 10 | 5 |
| 3 | 11 | 5 |
| 4 | 13 | 5 |
| 5 | 15 | 5 |
| 6 | 16 | 5 |
| done | 16 | 5 |
| 0 | 11 | 19 |
| 1 | 21 | 19 |
| 2 | 31 | 19 |
| 3 | 37 | 19 |
| done | 37 | 19 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 10 | 14 |
| 1 | 16 | 14 |
| 2 | 19 | 14 |
| 3 | 20 | 14 |
| done | 20 | 14 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 13 | 21 |
| 1 | 27 | 21 |
| 2 | 64 | 21 |
| 3 | 157 | 21 |
| 4 | 283 | 21 |
| 5 | 378 | 21 |
| 6 | 416 | 21 |
| 7 | 426 | 21 |
| done | 426 | 21 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 12 | 18 |
| 1 | 22 | 18 |
| 2 | 41 | 18 |
| 3 | 85 | 18 |
| 4 | 129 | 18 |
| 5 | 148 | 18 |
| 6 | 153 | 18 |
| 7 | 154 | 18 |
| done | 154 | 18 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 10 | 17 |
| 1 | 20 | 15 |
| 2 | 44 | 15 |
| 3 | 119 | 15 |
| 4 | 150 | 15 |
| 5 | 175 | 15 |
| 6 | 177 | 15 |
| done | 177 | 15 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 20 | 9 |
| 4 | 22 | 9 |
| 5 | 24 | 9 |
| 6 | 25 | 9 |
| done | 25 | 9 |
| 0 | 12 | 18 |
| 1 | 22 | 18 |
| 2 | 38 | 18 |
| 3 | 66 | 18 |
| 4 | 102 | 18 |
| 5 | 123 | 18 |
| 6 | 133 | 18 |
| 7 | 142 | 18 |
| 8 | 143 | 18 |
| done | 143 | 18 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 29 | 15 |
| 3 | 39 | 15 |
| 4 | 49 | 15 |
| 5 | 53 | 15 |
| 6 | 55 | 15 |
| 7 | 56 | 15 |
| done | 56 | 15 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 9 | 14 |
| 1 | 17 | 12 |
| 2 | 29 | 12 |
| 3 | 51 | 12 |
| 4 | 56 | 12 |
| 5 | 60 | 12 |
| 6 | 66 | 12 |
| done | 66 | 12 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 20 | 9 |
| 4 | 22 | 9 |
| 5 | 24 | 9 |
| 6 | 25 | 9 |
| done | 25 | 9 |
| 0 | 10 | 17 |
| 1 | 20 | 17 |
| 2 | 36 | 15 |
| 3 | 83 | 15 |
| 4 | 195 | 15 |
| 5 | 264 | 15 |
| 6 | 308 | 15 |
| done | 308 | 15 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 20 | 9 |
| 4 | 22 | 9 |
| 5 | 24 | 9 |
| 6 | 25 | 9 |
| done | 25 | 9 |
| 0 | 9 | 14 |
| 1 | 17 | 14 |
| 2 | 27 | 12 |
| 3 | 53 | 12 |
| 4 | 100 | 12 |
| 5 | 109 | 12 |
| done | 109 | 12 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 20 | 9 |
| 4 | 22 | 9 |
| 5 | 24 | 9 |
| 6 | 25 | 9 |
| done | 25 | 9 |
| 0 | 7 | 13 |
| 1 | 15 | 11 |
| 2 | 25 | 9 |
| 3 | 46 | 9 |
| 4 | 60 | 9 |
| done | 60 | 9 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 18 | 8 |
| 3 | 19 | 8 |
| 4 | 21 | 8 |
| 5 | 23 | 8 |
| 6 | 24 | 8 |
| done | 24 | 8 |
| 0 | 6 | 11 |
| 1 | 12 | 9 |
| 2 | 19 | 9 |
| 3 | 24 | 9 |
| done | 24 | 9 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 18 | 8 |
| 3 | 19 | 8 |
| 4 | 21 | 8 |
| 5 | 23 | 8 |
| 6 | 24 | 8 |
| done | 24 | 8 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 16 | 11 |
| 3 | 17 | 11 |
| done | 17 | 11 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 6 |
| 3 | 26 | 6 |
| 4 | 35 | 6 |
| 5 | 37 | 6 |
| done | 37 | 6 |
| 0 | 10 | 14 |
| 1 | 16 | 14 |
| 2 | 17 | 14 |
| done | 17 | 14 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 12 | 16 |
| 1 | 24 | 16 |
| 2 | 46 | 16 |
| 3 | 77 | 16 |
| 4 | 103 | 16 |
| 5 | 134 | 16 |
| 6 | 157 | 16 |
| 7 | 167 | 16 |
| done | 167 | 16 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 11 | 13 |
| 1 | 19 | 13 |
| 2 | 28 | 13 |
| 3 | 41 | 13 |
| 4 | 49 | 13 |
| 5 | 55 | 13 |
| 6 | 58 | 13 |
| done | 58 | 13 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 9 | 12 |
| 1 | 17 | 10 |
| 2 | 31 | 10 |
| 3 | 58 | 10 |
| 4 | 70 | 10 |
| 5 | 82 | 10 |
| 6 | 88 | 10 |
| done | 88 | 10 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 20 | 9 |
| 4 | 22 | 9 |
| 5 | 24 | 9 |
| 6 | 25 | 9 |
| done | 25 | 9 |
| 0 | 11 | 13 |
| 1 | 19 | 13 |
| 2 | 27 | 13 |
| 3 | 35 | 13 |
| 4 | 39 | 13 |
| 5 | 48 | 13 |
| 6 | 54 | 13 |
| 7 | 59 | 13 |
| done | 59 | 13 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 21 | 10 |
| 4 | 23 | 10 |
| 5 | 25 | 10 |
| 6 | 26 | 10 |
| done | 26 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 7 |
| 2 | 21 | 7 |
| 3 | 26 | 7 |
| 4 | 28 | 7 |
| 5 | 31 | 7 |
| 6 | 35 | 7 |
| done | 35 | 7 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 20 | 9 |
| 4 | 22 | 9 |
| 5 | 24 | 9 |
| 6 | 25 | 9 |
| done | 25 | 9 |
| 0 | 9 | 12 |
| 1 | 17 | 12 |
| 2 | 25 | 10 |
| 3 | 41 | 10 |
| 4 | 68 | 10 |
| 5 | 91 | 10 |
| 6 | 111 | 10 |
| done | 111 | 10 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 20 | 9 |
| 4 | 22 | 9 |
| 5 | 24 | 9 |
| 6 | 25 | 9 |
| done | 25 | 9 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 18 | 7 |
| 3 | 27 | 7 |
| 4 | 36 | 7 |
| 5 | 38 | 7 |
| done | 38 | 7 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 20 | 9 |
| 4 | 22 | 9 |
| 5 | 24 | 9 |
| 6 | 25 | 9 |
| done | 25 | 9 |
| 0 | 6 | 8 |
| 1 | 12 | 6 |
| 2 | 18 | 4 |
| 3 | 20 | 4 |
| 4 | 24 | 4 |
| done | 24 | 4 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 18 | 8 |
| 3 | 19 | 8 |
| 4 | 21 | 8 |
| 5 | 23 | 8 |
| 6 | 24 | 8 |
| done | 24 | 8 |
| 0 | 5 | 6 |
| 1 | 9 | 4 |
| 2 | 12 | 4 |
| done | 12 | 4 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 18 | 8 |
| 3 | 19 | 8 |
| 4 | 21 | 8 |
| 5 | 23 | 8 |
| 6 | 24 | 8 |
| done | 24 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 6 |
| 3 | 26 | 6 |
| 4 | 35 | 6 |
| 5 | 37 | 6 |
| done | 37 | 6 |
| 0 | 7 | 11 |
| 1 | 11 | 11 |
| done | 11 | 11 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 18 | 8 |
| 3 | 20 | 8 |
| done | 20 | 8 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| done | 8 | 6 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 18 | 8 |
| 3 | 20 | 8 |
| done | 20 | 8 |
| 0 | 9 | 13 |
| 1 | 19 | 13 |
| 2 | 40 | 13 |
| 3 | 69 | 11 |
| 4 | 129 | 11 |
| 5 | 201 | 11 |
| done | 201 | 11 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 8 | 10 |
| 1 | 14 | 10 |
| 2 | 22 | 10 |
| 3 | 35 | 8 |
| 4 | 62 | 8 |
| 5 | 94 | 8 |
| done | 94 | 8 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 6 | 9 |
| 1 | 12 | 7 |
| 2 | 23 | 7 |
| 3 | 32 | 7 |
| done | 32 | 7 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 311 | 8 |
| 10 | 395 | 8 |
| 11 | 409 | 8 |
| 12 | 420 | 8 |
| 13 | 423 | 8 |
| done | 423 | 8 |
| 0 | 8 | 10 |
| 1 | 14 | 10 |
| 2 | 21 | 10 |
| 3 | 29 | 8 |
| 4 | 53 | 8 |
| 5 | 68 | 8 |
| done | 68 | 8 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 15 | 5 |
| 4 | 28 | 5 |
| 5 | 33 | 5 |
| done | 33 | 5 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 5 | 6 |
| 1 | 9 | 4 |
| 2 | 14 | 4 |
| done | 14 | 4 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 311 | 8 |
| 10 | 395 | 8 |
| 11 | 409 | 8 |
| 12 | 420 | 8 |
| 13 | 423 | 8 |
| done | 423 | 8 |
| 0 | 6 | 9 |
| 1 | 12 | 5 |
| 2 | 21 | 5 |
| 3 | 34 | 5 |
| 4 | 43 | 5 |
| 5 | 44 | 5 |
| done | 44 | 5 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 127 | 8 |
| 6 | 263 | 8 |
| 7 | 341 | 8 |
| 8 | 387 | 8 |
| 9 | 411 | 8 |
| done | 411 | 8 |
| 0 | 5 | 6 |
| 1 | 9 | 2 |
| 2 | 14 | 2 |
| 3 | 16 | 2 |
| 4 | 17 | 2 |
| done | 17 | 2 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 127 | 8 |
| 6 | 263 | 8 |
| 7 | 341 | 8 |
| 8 | 387 | 8 |
| 9 | 411 | 8 |
| done | 411 | 8 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 7 |
| 1 | 16 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 60 | 7 |
| 5 | 67 | 7 |
| 6 | 86 | 7 |
| 7 | 130 | 7 |
| 8 | 218 | 7 |
| 9 | 308 | 7 |
| 10 | 392 | 7 |
| 11 | 406 | 7 |
| 12 | 415 | 7 |
| 13 | 418 | 7 |
| done | 418 | 7 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 7 |
| 1 | 16 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 60 | 7 |
| 5 | 67 | 7 |
| 6 | 86 | 7 |
| 7 | 130 | 7 |
| 8 | 218 | 7 |
| 9 | 308 | 7 |
| 10 | 392 | 7 |
| 11 | 406 | 7 |
| 12 | 415 | 7 |
| 13 | 418 | 7 |
| done | 418 | 7 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 6 | 7 |
| 1 | 15 | 7 |
| 2 | 26 | 5 |
| 3 | 54 | 5 |
| 4 | 70 | 5 |
| 5 | 81 | 5 |
| 6 | 92 | 5 |
| 7 | 97 | 5 |
| done | 97 | 5 |
| 0 | 11 | 15 |
| 1 | 16 | 14 |
| done | 16 | 14 |
| 0 | 10 | 10 |
| 1 | 17 | 9 |
| 2 | 20 | 9 |
| 3 | 22 | 9 |
| done | 22 | 9 |
| 0 | 10 | 10 |
| 1 | 13 | 9 |
| done | 13 | 9 |
| 0 | 10 | 10 |
| 1 | 17 | 9 |
| 2 | 20 | 9 |
| 3 | 22 | 9 |
| done | 22 | 9 |
| 0 | 13 | 17 |
| 1 | 24 | 16 |
| 2 | 45 | 16 |
| 3 | 76 | 16 |
| 4 | 110 | 16 |
| 5 | 164 | 16 |
| 6 | 321 | 16 |
| 7 | 667 | 16 |
| 8 | 858 | 16 |
| 9 | 947 | 16 |
| 10 | 948 | 16 |
| done | 948 | 16 |
| 0 | 11 | 11 |
| 1 | 20 | 10 |
| 2 | 31 | 10 |
| 3 | 45 | 10 |
| 4 | 64 | 10 |
| 5 | 130 | 10 |
| 6 | 272 | 10 |
| 7 | 353 | 10 |
| 8 | 400 | 10 |
| 9 | 425 | 10 |
| done | 425 | 10 |
| 0 | 12 | 14 |
| 1 | 19 | 13 |
| 2 | 27 | 13 |
| 3 | 40 | 13 |
| 4 | 56 | 13 |
| 5 | 70 | 13 |
| 6 | 137 | 13 |
| 7 | 331 | 13 |
| 8 | 417 | 13 |
| 9 | 460 | 13 |
| 10 | 461 | 13 |
| done | 461 | 13 |
| 0 | 11 | 11 |
| 1 | 20 | 10 |
| 2 | 31 | 10 |
| 3 | 45 | 10 |
| 4 | 64 | 10 |
| 5 | 130 | 10 |
| 6 | 272 | 10 |
| 7 | 353 | 10 |
| 8 | 400 | 10 |
| 9 | 425 | 10 |
| done | 425 | 10 |
| 0 | 10 | 13 |
| 1 | 17 | 10 |
| 2 | 30 | 10 |
| 3 | 57 | 10 |
| 4 | 75 | 10 |
| 5 | 105 | 10 |
| 6 | 126 | 10 |
| 7 | 132 | 10 |
| 8 | 140 | 10 |
| 9 | 144 | 10 |
| done | 144 | 10 |
| 0 | 10 | 10 |
| 1 | 19 | 9 |
| 2 | 30 | 9 |
| 3 | 44 | 9 |
| 4 | 63 | 9 |
| 5 | 70 | 9 |
| 6 | 89 | 9 |
| 7 | 133 | 9 |
| 8 | 221 | 9 |
| 9 | 321 | 9 |
| 10 | 381 | 9 |
| 11 | 389 | 9 |
| 12 | 390 | 9 |
| done | 390 | 9 |
| 0 | 12 | 14 |
| 1 | 19 | 13 |
| 2 | 26 | 13 |
| 3 | 34 | 13 |
| 4 | 46 | 13 |
| 5 | 67 | 13 |
| 6 | 150 | 13 |
| 7 | 265 | 13 |
| 8 | 306 | 13 |
| 9 | 339 | 13 |
| 10 | 340 | 13 |
| done | 340 | 13 |
| 0 | 11 | 11 |
| 1 | 20 | 10 |
| 2 | 31 | 10 |
| 3 | 45 | 10 |
| 4 | 64 | 10 |
| 5 | 130 | 10 |
| 6 | 272 | 10 |
| 7 | 353 | 10 |
| 8 | 400 | 10 |
| 9 | 425 | 10 |
| done | 425 | 10 |
| 0 | 11 | 11 |
| 1 | 16 | 10 |
| 2 | 19 | 10 |
| 3 | 20 | 10 |
| 4 | 30 | 10 |
| 5 | 32 | 10 |
| 6 | 71 | 10 |
| 7 | 126 | 10 |
| 8 | 149 | 10 |
| 9 | 166 | 10 |
| done | 166 | 10 |
| 0 | 11 | 11 |
| 1 | 20 | 10 |
| 2 | 31 | 10 |
| 3 | 45 | 10 |
| 4 | 64 | 10 |
| 5 | 130 | 10 |
| 6 | 272 | 10 |
| 7 | 353 | 10 |
| 8 | 400 | 10 |
| 9 | 425 | 10 |
| done | 425 | 10 |
| 0 | 9 | 10 |
| 1 | 14 | 7 |
| 2 | 20 | 7 |
| 3 | 25 | 7 |
| 4 | 33 | 7 |
| 5 | 42 | 7 |
| 6 | 52 | 7 |
| 7 | 55 | 7 |
| 8 | 57 | 7 |
| 9 | 58 | 7 |
| done | 58 | 7 |
| 0 | 10 | 10 |
| 1 | 19 | 9 |
| 2 | 30 | 9 |
| 3 | 44 | 9 |
| 4 | 63 | 9 |
| 5 | 70 | 9 |
| 6 | 89 | 9 |
| 7 | 133 | 9 |
| 8 | 221 | 9 |
| 9 | 321 | 9 |
| 10 | 381 | 9 |
| 11 | 389 | 9 |
| 12 | 390 | 9 |
| done | 390 | 9 |
| 0 | 10 | 13 |
| 1 | 17 | 12 |
| 2 | 24 | 10 |
| 3 | 48 | 10 |
| 4 | 86 | 10 |
| 5 | 176 | 10 |
| 6 | 303 | 10 |
| 7 | 328 | 10 |
| 8 | 401 | 10 |
| 9 | 411 | 10 |
| done | 411 | 10 |
| 0 | 10 | 10 |
| 1 | 19 | 9 |
| 2 | 30 | 9 |
| 3 | 44 | 9 |
| 4 | 63 | 9 |
| 5 | 129 | 9 |
| 6 | 269 | 9 |
| 7 | 350 | 9 |
| 8 | 397 | 9 |
| 9 | 419 | 9 |
| done | 419 | 9 |
| 0 | 9 | 10 |
| 1 | 14 | 9 |
| 2 | 17 | 7 |
| 3 | 34 | 7 |
| 4 | 43 | 7 |
| 5 | 79 | 7 |
| 6 | 122 | 7 |
| 7 | 134 | 7 |
| 8 | 171 | 7 |
| 9 | 179 | 7 |
| done | 179 | 7 |
| 0 | 10 | 10 |
| 1 | 19 | 9 |
| 2 | 30 | 9 |
| 3 | 44 | 9 |
| 4 | 63 | 9 |
| 5 | 129 | 9 |
| 6 | 269 | 9 |
| 7 | 350 | 9 |
| 8 | 397 | 9 |
| 9 | 419 | 9 |
| done | 419 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 6 |
| 2 | 17 | 4 |
| 3 | 25 | 4 |
| 4 | 35 | 4 |
| done | 35 | 4 |
| 0 | 9 | 9 |
| 1 | 18 | 8 |
| 2 | 29 | 8 |
| 3 | 43 | 8 |
| 4 | 62 | 8 |
| 5 | 69 | 8 |
| 6 | 88 | 8 |
| 7 | 132 | 8 |
| 8 | 222 | 8 |
| 9 | 321 | 8 |
| 10 | 387 | 8 |
| 11 | 395 | 8 |
| 12 | 399 | 8 |
| done | 399 | 8 |
| 0 | 6 | 7 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 9 | 9 |
| 1 | 18 | 8 |
| 2 | 29 | 8 |
| 3 | 43 | 8 |
| 4 | 62 | 8 |
| 5 | 69 | 8 |
| 6 | 88 | 8 |
| 7 | 132 | 8 |
| 8 | 222 | 8 |
| 9 | 321 | 8 |
| 10 | 387 | 8 |
| 11 | 395 | 8 |
| 12 | 399 | 8 |
| done | 399 | 8 |
| 0 | 7 | 7 |
| 1 | 10 | 6 |
| done | 10 | 6 |
| 0 | 8 | 9 |
| 1 | 17 | 8 |
| 2 | 28 | 6 |
| 3 | 56 | 6 |
| 4 | 74 | 6 |
| 5 | 82 | 6 |
| 6 | 91 | 6 |
| 7 | 97 | 6 |
| done | 97 | 6 |
| 0 | 10 | 14 |
| 1 | 15 | 14 |
| done | 15 | 14 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 19 | 9 |
| 3 | 21 | 9 |
| done | 21 | 9 |
| 0 | 9 | 9 |
| 1 | 12 | 9 |
| done | 12 | 9 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 19 | 9 |
| 3 | 21 | 9 |
| done | 21 | 9 |
| 0 | 12 | 16 |
| 1 | 23 | 16 |
| 2 | 44 | 16 |
| 3 | 73 | 16 |
| 4 | 107 | 16 |
| 5 | 161 | 16 |
| 6 | 317 | 16 |
| 7 | 663 | 16 |
| 8 | 843 | 16 |
| 9 | 932 | 16 |
| 10 | 933 | 16 |
| done | 933 | 16 |
| 0 | 10 | 10 |
| 1 | 19 | 10 |
| 2 | 30 | 10 |
| 3 | 44 | 10 |
| 4 | 63 | 10 |
| 5 | 129 | 10 |
| 6 | 269 | 10 |
| 7 | 346 | 10 |
| 8 | 393 | 10 |
| 9 | 419 | 10 |
| done | 419 | 10 |
| 0 | 11 | 13 |
| 1 | 18 | 13 |
| 2 | 26 | 13 |
| 3 | 39 | 13 |
| 4 | 55 | 13 |
| 5 | 69 | 13 |
| 6 | 136 | 13 |
| 7 | 332 | 13 |
| 8 | 420 | 13 |
| 9 | 463 | 13 |
| 10 | 464 | 13 |
| done | 464 | 13 |
| 0 | 10 | 10 |
| 1 | 19 | 10 |
| 2 | 30 | 10 |
| 3 | 44 | 10 |
| 4 | 63 | 10 |
| 5 | 129 | 10 |
| 6 | 269 | 10 |
| 7 | 346 | 10 |
| 8 | 393 | 10 |
| 9 | 419 | 10 |
| done | 419 | 10 |
| 0 | 9 | 12 |
| 1 | 16 | 10 |
| 2 | 29 | 10 |
| 3 | 56 | 10 |
| 4 | 74 | 10 |
| 5 | 104 | 10 |
| 6 | 124 | 10 |
| 7 | 130 | 10 |
| 8 | 138 | 10 |
| 9 | 142 | 10 |
| done | 142 | 10 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 69 | 9 |
| 6 | 88 | 9 |
| 7 | 132 | 9 |
| 8 | 222 | 9 |
| 9 | 321 | 9 |
| 10 | 385 | 9 |
| 11 | 393 | 9 |
| 12 | 397 | 9 |
| done | 397 | 9 |
| 0 | 11 | 13 |
| 1 | 18 | 13 |
| 2 | 25 | 13 |
| 3 | 33 | 13 |
| 4 | 45 | 13 |
| 5 | 66 | 13 |
| 6 | 145 | 13 |
| 7 | 256 | 13 |
| 8 | 297 | 13 |
| 9 | 330 | 13 |
| 10 | 331 | 13 |
| done | 331 | 13 |
| 0 | 10 | 10 |
| 1 | 19 | 10 |
| 2 | 30 | 10 |
| 3 | 44 | 10 |
| 4 | 63 | 10 |
| 5 | 129 | 10 |
| 6 | 269 | 10 |
| 7 | 346 | 10 |
| 8 | 393 | 10 |
| 9 | 419 | 10 |
| done | 419 | 10 |
| 0 | 10 | 10 |
| 1 | 15 | 10 |
| 2 | 18 | 10 |
| 3 | 19 | 10 |
| 4 | 29 | 10 |
| 5 | 31 | 10 |
| 6 | 70 | 10 |
| 7 | 129 | 10 |
| 8 | 152 | 10 |
| 9 | 170 | 10 |
| done | 170 | 10 |
| 0 | 10 | 10 |
| 1 | 19 | 10 |
| 2 | 30 | 10 |
| 3 | 44 | 10 |
| 4 | 63 | 10 |
| 5 | 129 | 10 |
| 6 | 269 | 10 |
| 7 | 346 | 10 |
| 8 | 393 | 10 |
| 9 | 419 | 10 |
| done | 419 | 10 |
| 0 | 8 | 9 |
| 1 | 13 | 7 |
| 2 | 19 | 7 |
| 3 | 24 | 7 |
| 4 | 32 | 7 |
| 5 | 41 | 7 |
| 6 | 51 | 7 |
| 7 | 54 | 7 |
| 8 | 56 | 7 |
| 9 | 57 | 7 |
| done | 57 | 7 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 69 | 9 |
| 6 | 88 | 9 |
| 7 | 132 | 9 |
| 8 | 222 | 9 |
| 9 | 321 | 9 |
| 10 | 385 | 9 |
| 11 | 393 | 9 |
| 12 | 397 | 9 |
| done | 397 | 9 |
| 0 | 9 | 12 |
| 1 | 16 | 12 |
| 2 | 23 | 10 |
| 3 | 47 | 10 |
| 4 | 86 | 10 |
| 5 | 176 | 10 |
| 6 | 299 | 10 |
| 7 | 324 | 10 |
| 8 | 391 | 10 |
| 9 | 402 | 10 |
| done | 402 | 10 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 341 | 9 |
| 8 | 388 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 8 | 9 |
| 1 | 13 | 9 |
| 2 | 16 | 7 |
| 3 | 33 | 7 |
| 4 | 42 | 7 |
| 5 | 78 | 7 |
| 6 | 119 | 7 |
| 7 | 130 | 7 |
| 8 | 167 | 7 |
| 9 | 174 | 7 |
| done | 174 | 7 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 341 | 9 |
| 8 | 388 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 6 | 8 |
| 1 | 11 | 6 |
| 2 | 16 | 4 |
| 3 | 24 | 4 |
| 4 | 34 | 4 |
| done | 34 | 4 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 320 | 8 |
| 10 | 386 | 8 |
| 11 | 394 | 8 |
| 12 | 398 | 8 |
| done | 398 | 8 |
| 0 | 5 | 6 |
| 1 | 8 | 4 |
| 2 | 10 | 4 |
| done | 10 | 4 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 320 | 8 |
| 10 | 386 | 8 |
| 11 | 394 | 8 |
| 12 | 398 | 8 |
| done | 398 | 8 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| done | 9 | 6 |
| 0 | 7 | 8 |
| 1 | 16 | 8 |
| 2 | 27 | 6 |
| 3 | 55 | 6 |
| 4 | 71 | 6 |
| 5 | 79 | 6 |
| 6 | 88 | 6 |
| 7 | 94 | 6 |
| done | 94 | 6 |
| 0 | 7 | 11 |
| 1 | 11 | 11 |
| done | 11 | 11 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 18 | 8 |
| 3 | 20 | 8 |
| done | 20 | 8 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| done | 8 | 6 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 18 | 8 |
| 3 | 20 | 8 |
| done | 20 | 8 |
| 0 | 9 | 13 |
| 1 | 19 | 13 |
| 2 | 40 | 13 |
| 3 | 69 | 11 |
| 4 | 129 | 11 |
| 5 | 201 | 11 |
| done | 201 | 11 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 8 | 10 |
| 1 | 14 | 10 |
| 2 | 22 | 10 |
| 3 | 35 | 8 |
| 4 | 62 | 8 |
| 5 | 94 | 8 |
| done | 94 | 8 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 6 | 9 |
| 1 | 12 | 7 |
| 2 | 23 | 7 |
| 3 | 32 | 7 |
| done | 32 | 7 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 311 | 8 |
| 10 | 395 | 8 |
| 11 | 409 | 8 |
| 12 | 420 | 8 |
| 13 | 423 | 8 |
| done | 423 | 8 |
| 0 | 8 | 10 |
| 1 | 14 | 10 |
| 2 | 21 | 10 |
| 3 | 29 | 8 |
| 4 | 53 | 8 |
| 5 | 68 | 8 |
| done | 68 | 8 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 15 | 5 |
| 4 | 28 | 5 |
| 5 | 33 | 5 |
| done | 33 | 5 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 5 | 6 |
| 1 | 9 | 4 |
| 2 | 14 | 4 |
| done | 14 | 4 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 68 | 8 |
| 6 | 87 | 8 |
| 7 | 131 | 8 |
| 8 | 221 | 8 |
| 9 | 311 | 8 |
| 10 | 395 | 8 |
| 11 | 409 | 8 |
| 12 | 420 | 8 |
| 13 | 423 | 8 |
| done | 423 | 8 |
| 0 | 6 | 9 |
| 1 | 12 | 5 |
| 2 | 21 | 5 |
| 3 | 34 | 5 |
| 4 | 43 | 5 |
| 5 | 44 | 5 |
| done | 44 | 5 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 127 | 8 |
| 6 | 263 | 8 |
| 7 | 341 | 8 |
| 8 | 387 | 8 |
| 9 | 411 | 8 |
| done | 411 | 8 |
| 0 | 5 | 6 |
| 1 | 9 | 2 |
| 2 | 14 | 2 |
| 3 | 16 | 2 |
| 4 | 17 | 2 |
| done | 17 | 2 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 28 | 8 |
| 3 | 42 | 8 |
| 4 | 61 | 8 |
| 5 | 127 | 8 |
| 6 | 263 | 8 |
| 7 | 341 | 8 |
| 8 | 387 | 8 |
| 9 | 411 | 8 |
| done | 411 | 8 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 7 |
| 1 | 16 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 60 | 7 |
| 5 | 67 | 7 |
| 6 | 86 | 7 |
| 7 | 130 | 7 |
| 8 | 218 | 7 |
| 9 | 308 | 7 |
| 10 | 392 | 7 |
| 11 | 406 | 7 |
| 12 | 415 | 7 |
| 13 | 418 | 7 |
| done | 418 | 7 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 7 |
| 1 | 16 | 7 |
| 2 | 27 | 7 |
| 3 | 41 | 7 |
| 4 | 60 | 7 |
| 5 | 67 | 7 |
| 6 | 86 | 7 |
| 7 | 130 | 7 |
| 8 | 218 | 7 |
| 9 | 308 | 7 |
| 10 | 392 | 7 |
| 11 | 406 | 7 |
| 12 | 415 | 7 |
| 13 | 418 | 7 |
| done | 418 | 7 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 6 | 7 |
| 1 | 15 | 7 |
| 2 | 26 | 5 |
| 3 | 54 | 5 |
| 4 | 70 | 5 |
| 5 | 81 | 5 |
| 6 | 92 | 5 |
| 7 | 97 | 5 |
| done | 97 | 5 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 12 | 5 |
| 3 | 13 | 3 |
| done | 13 | 3 |
| 0 | 7 | 7 |
| 1 | 13 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 29 | 7 |
| 5 | 33 | 7 |
| done | 33 | 7 |
| 0 | 9 | 13 |
| 1 | 18 | 13 |
| 2 | 26 | 13 |
| 3 | 31 | 13 |
| 4 | 34 | 13 |
| done | 34 | 13 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 18 | 8 |
| 3 | 20 | 8 |
| done | 20 | 8 |
| 0 | 11 | 15 |
| 1 | 26 | 15 |
| 2 | 67 | 15 |
| 3 | 156 | 15 |
| 4 | 307 | 15 |
| 5 | 746 | 15 |
| 6 | 1724 | 15 |
| 7 | 2288 | 15 |
| 8 | 2432 | 15 |
| 9 | 2438 | 15 |
| done | 2438 | 15 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 41 | 12 |
| 3 | 89 | 12 |
| 4 | 145 | 12 |
| 5 | 355 | 12 |
| 6 | 885 | 12 |
| 7 | 1179 | 12 |
| 8 | 1274 | 12 |
| 9 | 1277 | 12 |
| done | 1277 | 12 |
| 0 | 8 | 11 |
| 1 | 19 | 9 |
| 2 | 42 | 9 |
| 3 | 101 | 9 |
| 4 | 175 | 9 |
| 5 | 255 | 9 |
| 6 | 320 | 9 |
| 7 | 347 | 9 |
| 8 | 353 | 9 |
| done | 353 | 9 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 40 | 12 |
| 3 | 75 | 12 |
| 4 | 126 | 12 |
| 5 | 274 | 12 |
| 6 | 537 | 12 |
| 7 | 695 | 12 |
| 8 | 798 | 12 |
| 9 | 838 | 12 |
| done | 838 | 12 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 29 | 9 |
| 3 | 43 | 9 |
| 4 | 62 | 9 |
| 5 | 128 | 9 |
| 6 | 264 | 9 |
| 7 | 342 | 9 |
| 8 | 387 | 9 |
| 9 | 412 | 9 |
| done | 412 | 9 |
| 0 | 7 | 8 |
| 1 | 16 | 6 |
| 2 | 27 | 6 |
| 3 | 45 | 6 |
| 4 | 71 | 6 |
| 5 | 90 | 6 |
| 6 | 104 | 6 |
| 7 | 118 | 6 |
| 8 | 129 | 6 |
| 9 | 131 | 6 |
| done | 131 | 6 |
| 0 | 8 | 11 |
| 1 | 19 | 11 |
| 2 | 38 | 9 |
| 3 | 108 | 9 |
| 4 | 261 | 9 |
| 5 | 452 | 9 |
| 6 | 663 | 9 |
| 7 | 722 | 9 |
| 8 | 736 | 9 |
| done | 736 | 9 |
| 0 | 7 | 8 |
| 1 | 16 | 8 |
| 2 | 27 | 6 |
| 3 | 66 | 6 |
| 4 | 136 | 6 |
| 5 | 224 | 6 |
| 6 | 308 | 6 |
| 7 | 339 | 6 |
| 8 | 348 | 6 |
| done | 348 | 6 |
| 0 | 5 | 7 |
| 1 | 13 | 5 |
| 2 | 21 | 3 |
| 3 | 29 | 3 |
| 4 | 43 | 3 |
| 5 | 52 | 3 |
| 6 | 56 | 3 |
| done | 56 | 3 |
| 0 | 4 | 5 |
| 1 | 11 | 3 |
| 2 | 16 | 3 |
| done | 16 | 3 |
| 0 | 5 | 5 |
| 1 | 12 | 5 |
| 2 | 15 | 5 |
| 3 | 17 | 5 |
| done | 17 | 5 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 18 | 8 |
| done | 18 | 8 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 18 | 8 |
| done | 18 | 8 |
| 0 | 7 | 7 |
| 1 | 13 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 29 | 7 |
| 5 | 33 | 7 |
| done | 33 | 7 |
| 0 | 9 | 9 |
| 1 | 15 | 8 |
| 2 | 19 | 8 |
| 3 | 27 | 8 |
| 4 | 31 | 8 |
| 5 | 35 | 8 |
| done | 35 | 8 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 18 | 8 |
| 3 | 26 | 8 |
| 4 | 30 | 8 |
| 5 | 34 | 8 |
| done | 34 | 8 |
| 0 | 7 | 7 |
| 1 | 13 | 7 |
| 2 | 17 | 7 |
| 3 | 25 | 7 |
| 4 | 29 | 7 |
| 5 | 33 | 7 |
| done | 33 | 7 |
| 0 | 5 | 5 |
| 1 | 12 | 5 |
| 2 | 15 | 5 |
| 3 | 17 | 5 |
| done | 17 | 5 |
| 0 | 11 | 15 |
| 1 | 29 | 11 |
| 2 | 72 | 11 |
| 3 | 177 | 11 |
| 4 | 326 | 11 |
| 5 | 456 | 11 |
| 6 | 554 | 11 |
| 7 | 598 | 11 |
| done | 598 | 11 |
| 0 | 7 | 7 |
| 1 | 19 | 7 |
| 2 | 35 | 7 |
| 3 | 70 | 7 |
| 4 | 123 | 7 |
| 5 | 160 | 7 |
| 6 | 181 | 7 |
| 7 | 187 | 7 |
| 8 | 188 | 7 |
| done | 188 | 7 |
| 0 | 10 | 11 |
| 1 | 22 | 10 |
| 2 | 41 | 10 |
| 3 | 82 | 10 |
| 4 | 150 | 10 |
| 5 | 288 | 10 |
| 6 | 828 | 10 |
| 7 | 4191 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 34 | 10 |
| 3 | 55 | 10 |
| 4 | 84 | 10 |
| 5 | 100 | 10 |
| 6 | 124 | 10 |
| 7 | 178 | 10 |
| 8 | 296 | 10 |
| 9 | 490 | 10 |
| 10 | 1153 | 10 |
| 11 | 1476 | 10 |
| 12 | 1558 | 10 |
| 13 | 1579 | 10 |
| 14 | 1596 | 10 |
| 15 | 1620 | 10 |
| 16 | 1702 | 10 |
| 17 | 2055 | 10 |
| 18 | 3904 | 10 |
| done | 5001 | 10 |
| 0 | 9 | 10 |
| 1 | 22 | 10 |
| 2 | 43 | 10 |
| 3 | 85 | 10 |
| 4 | 152 | 10 |
| 5 | 288 | 10 |
| 6 | 830 | 10 |
| 7 | 4154 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 21 |
| 1 | 20 | 21 |
| 2 | 35 | 21 |
| 3 | 56 | 21 |
| 4 | 85 | 21 |
| 5 | 101 | 21 |
| 6 | 125 | 21 |
| 7 | 179 | 21 |
| 8 | 301 | 21 |
| 9 | 495 | 21 |
| 10 | 1159 | 21 |
| 11 | 1503 | 21 |
| 12 | 1583 | 21 |
| 13 | 1591 | 21 |
| done | 1591 | 21 |
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 34 | 10 |
| 3 | 55 | 10 |
| 4 | 84 | 10 |
| 5 | 100 | 10 |
| 6 | 124 | 10 |
| 7 | 178 | 10 |
| 8 | 296 | 10 |
| 9 | 490 | 10 |
| 10 | 1151 | 10 |
| 11 | 1471 | 10 |
| 12 | 1545 | 10 |
| 13 | 1558 | 10 |
| done | 1558 | 10 |
| 0 | 10 | 29 |
| 1 | 33 | 29 |
| 2 | 96 | 11 |
| 3 | 376 | 11 |
| 4 | 2079 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 34 | 10 |
| 3 | 55 | 10 |
| 4 | 84 | 10 |
| 5 | 100 | 10 |
| 6 | 124 | 10 |
| 7 | 178 | 10 |
| 8 | 296 | 10 |
| 9 | 490 | 10 |
| 10 | 1151 | 10 |
| 11 | 1471 | 10 |
| 12 | 1545 | 10 |
| 13 | 1558 | 10 |
| done | 1558 | 10 |
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 34 | 10 |
| 3 | 55 | 10 |
| 4 | 84 | 10 |
| 5 | 100 | 10 |
| 6 | 124 | 10 |
| 7 | 178 | 10 |
| 8 | 296 | 10 |
| 9 | 490 | 10 |
| 10 | 1151 | 10 |
| 11 | 1471 | 10 |
| 12 | 1545 | 10 |
| 13 | 1558 | 10 |
| done | 1558 | 10 |
| 0 | 11 | 13 |
| 1 | 37 | 13 |
| 2 | 91 | 13 |
| 3 | 326 | 13 |
| 4 | 1513 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 29 |
| 1 | 35 | 27 |
| 2 | 96 | 27 |
| 3 | 333 | 21 |
| 4 | 1486 | 21 |
| 5 | 4950 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 19 |
| 1 | 28 | 19 |
| 2 | 74 | 19 |
| 3 | 263 | 19 |
| 4 | 1281 | 19 |
| 5 | 4231 | 19 |
| done | 5001 | 19 |
| 0 | 8 | 9 |
| 1 | 18 | 9 |
| 2 | 34 | 9 |
| 3 | 62 | 9 |
| 4 | 95 | 9 |
| 5 | 106 | 9 |
| 6 | 133 | 9 |
| 7 | 201 | 9 |
| 8 | 369 | 9 |
| 9 | 775 | 9 |
| 10 | 1275 | 9 |
| 11 | 1554 | 9 |
| 12 | 1582 | 9 |
| done | 1582 | 9 |
| 0 | 8 | 9 |
| 1 | 18 | 9 |
| 2 | 33 | 9 |
| 3 | 54 | 9 |
| 4 | 83 | 9 |
| 5 | 99 | 9 |
| 6 | 123 | 9 |
| 7 | 177 | 9 |
| 8 | 297 | 9 |
| 9 | 491 | 9 |
| 10 | 1153 | 9 |
| 11 | 1500 | 9 |
| 12 | 1575 | 9 |
| 13 | 1585 | 9 |
| done | 1585 | 9 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 14 | 7 |
| 3 | 15 | 7 |
| 4 | 17 | 7 |
| 5 | 19 | 7 |
| 6 | 20 | 7 |
| done | 20 | 7 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 34 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 8 |
| 6 | 59 | 8 |
| 7 | 68 | 7 |
| 8 | 83 | 7 |
| 9 | 136 | 7 |
| 10 | 285 | 7 |
| 11 | 424 | 7 |
| 12 | 463 | 7 |
| 13 | 472 | 7 |
| 14 | 475 | 7 |
| done | 475 | 7 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
| 0 | 8 | 11 |
| 1 | 16 | 11 |
| 2 | 30 | 11 |
| 3 | 50 | 11 |
| 4 | 73 | 11 |
| 5 | 90 | 10 |
| 6 | 116 | 10 |
| 7 | 175 | 9 |
| 8 | 253 | 9 |
| 9 | 361 | 9 |
| 10 | 673 | 9 |
| 11 | 1356 | 9 |
| 12 | 1563 | 9 |
| 13 | 1593 | 9 |
| 14 | 1619 | 9 |
| done | 1619 | 9 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 133 | 1 | 134 |
| Fresh | 1 | 1 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 134 | 4 | 138 |
Merged error: 0b
0% (0.0b remaining)
Error of 0.0b against oracle of 0.0b and baseline of 0.0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 12 | 9 |
| done | 12 | 9 |
| 335.0ms | 10082× | body | 80 | valid |
Loading profile data...