Time bar (total: 21.9min)
| 25.0ms | 280× | body | 80 | valid |
| 12.0ms | 32× | body | 640 | valid |
| 9.0ms | 19× | body | 1280 | valid |
| 5.0ms | 19× | body | 320 | valid |
| 2.0ms | 12× | body | 160 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 16 |
| 1 | 26 | 16 |
| 2 | 66 | 16 |
| 3 | 223 | 16 |
| 4 | 929 | 16 |
| 5 | 4921 | 16 |
| done | 5000 | 16 |
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: 26.8b
Found 4 expressions with local error:
| 0.4b | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x))) |
| 3.4b | (* (* x (pow s 2.0)) x) |
| 9.5b | (* x (pow s 2.0)) |
| 16.5b | (* (pow c 2.0) (* (* x (pow s 2.0)) x)) |
| 122× | add-exp-log |
| 82× | prod-exp |
| 34× | add-cbrt-cube |
| 18× | pow-to-exp pow-exp |
| 17× | add-sqr-sqrt |
| 16× | div-exp cbrt-unprod |
| 12× | add-cube-cbrt *-un-lft-identity |
| 11× | associate-*r* associate-*l* |
| 7× | unpow-prod-down |
| 6× | pow1 |
| 4× | cbrt-undiv add-log-exp |
| 3× | times-frac *-commutative associate-/l* unswap-sqr sqr-pow |
| 1× | frac-2neg pow-prod-down clear-num associate-/r* div-inv |
| 13.0ms | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x))) |
| 6.0ms | (* (* x (pow s 2.0)) x) |
| 6.0ms | (* x (pow s 2.0)) |
| 11.0ms | (* (pow c 2.0) (* (* x (pow s 2.0)) x)) |
| 93.0ms | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x))) |
| 37.0ms | (* (* x (pow s 2.0)) x) |
| 39.0ms | (* x (pow s 2.0)) |
| 93.0ms | (* (pow c 2.0) (* (* x (pow s 2.0)) x)) |
Useful iterations: 2 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 15 |
| 1 | 19 | 15 |
| 2 | 31 | 15 |
| 3 | 49 | 12 |
| 4 | 52 | 12 |
| done | 52 | 12 |
| 0 | 12 | 15 |
| 1 | 19 | 15 |
| 2 | 31 | 15 |
| 3 | 49 | 12 |
| 4 | 52 | 12 |
| done | 52 | 12 |
| 0 | 12 | 15 |
| 1 | 24 | 15 |
| 2 | 44 | 15 |
| 3 | 98 | 12 |
| 4 | 228 | 12 |
| 5 | 655 | 12 |
| 6 | 2270 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 14 |
| 1 | 24 | 14 |
| 2 | 47 | 14 |
| 3 | 107 | 14 |
| 4 | 287 | 12 |
| 5 | 865 | 12 |
| 6 | 2948 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 13 |
| 1 | 22 | 13 |
| 2 | 42 | 13 |
| 3 | 104 | 13 |
| 4 | 287 | 12 |
| 5 | 842 | 12 |
| 6 | 2898 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 19 | 15 |
| 2 | 31 | 15 |
| 3 | 49 | 12 |
| 4 | 52 | 12 |
| done | 52 | 12 |
| 0 | 12 | 15 |
| 1 | 19 | 15 |
| 2 | 31 | 15 |
| 3 | 49 | 12 |
| 4 | 52 | 12 |
| done | 52 | 12 |
| 0 | 12 | 15 |
| 1 | 24 | 15 |
| 2 | 44 | 15 |
| 3 | 98 | 12 |
| 4 | 228 | 12 |
| 5 | 655 | 12 |
| 6 | 2270 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 14 |
| 1 | 24 | 14 |
| 2 | 47 | 14 |
| 3 | 107 | 14 |
| 4 | 287 | 12 |
| 5 | 865 | 12 |
| 6 | 2948 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 13 |
| 1 | 22 | 13 |
| 2 | 42 | 13 |
| 3 | 104 | 13 |
| 4 | 287 | 12 |
| 5 | 842 | 12 |
| 6 | 2898 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 24 | 15 |
| 2 | 44 | 15 |
| 3 | 100 | 12 |
| 4 | 233 | 12 |
| 5 | 666 | 12 |
| 6 | 2293 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 24 | 15 |
| 2 | 44 | 15 |
| 3 | 100 | 12 |
| 4 | 233 | 12 |
| 5 | 666 | 12 |
| 6 | 2293 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 27 | 15 |
| 2 | 53 | 15 |
| 3 | 133 | 12 |
| 4 | 399 | 12 |
| 5 | 1500 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 14 |
| 1 | 27 | 14 |
| 2 | 56 | 14 |
| 3 | 142 | 14 |
| 4 | 449 | 12 |
| 5 | 1689 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 13 |
| 1 | 25 | 13 |
| 2 | 51 | 13 |
| 3 | 133 | 13 |
| 4 | 419 | 12 |
| 5 | 1472 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 24 | 12 |
| 2 | 65 | 12 |
| 3 | 223 | 12 |
| 4 | 946 | 12 |
| 5 | 4674 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 23 | 12 |
| 2 | 62 | 12 |
| 3 | 227 | 12 |
| 4 | 961 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 35 |
| 1 | 40 | 31 |
| 2 | 163 | 19 |
| 3 | 937 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 35 |
| 1 | 45 | 33 |
| 2 | 191 | 17 |
| 3 | 1151 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 35 |
| 1 | 39 | 33 |
| 2 | 155 | 15 |
| 3 | 830 | 15 |
| done | 5000 | 15 |
| 0 | 11 | 25 |
| 1 | 22 | 25 |
| 2 | 52 | 25 |
| 3 | 170 | 25 |
| 4 | 670 | 25 |
| 5 | 3422 | 25 |
| done | 5001 | 25 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 51 | 12 |
| 3 | 167 | 12 |
| 4 | 690 | 12 |
| 5 | 3477 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 35 |
| 1 | 32 | 35 |
| 2 | 139 | 13 |
| 3 | 895 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 51 | 12 |
| 3 | 167 | 12 |
| 4 | 690 | 12 |
| 5 | 3478 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 51 | 12 |
| 3 | 167 | 12 |
| 4 | 690 | 12 |
| 5 | 3478 | 12 |
| done | 5000 | 12 |
| 0 | 8 | 9 |
| 1 | 18 | 9 |
| 2 | 44 | 9 |
| 3 | 131 | 9 |
| 4 | 478 | 9 |
| 5 | 2284 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 51 | 12 |
| 3 | 171 | 12 |
| 4 | 681 | 12 |
| 5 | 3491 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 51 | 12 |
| 3 | 171 | 12 |
| 4 | 681 | 12 |
| 5 | 3491 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 50 | 11 |
| 3 | 168 | 11 |
| 4 | 693 | 11 |
| 5 | 3531 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 45 | 12 |
| 3 | 123 | 12 |
| 4 | 367 | 12 |
| 5 | 1143 | 12 |
| 6 | 3798 | 12 |
| done | 5001 | 12 |
| 0 | 10 | 12 |
| 1 | 21 | 12 |
| 2 | 46 | 12 |
| 3 | 124 | 12 |
| 4 | 352 | 12 |
| 5 | 1124 | 12 |
| 6 | 3795 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 50 | 11 |
| 3 | 168 | 11 |
| 4 | 693 | 11 |
| 5 | 3531 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 55 | 13 |
| 3 | 173 | 13 |
| 4 | 678 | 13 |
| 5 | 3537 | 13 |
| done | 5001 | 13 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 22 | 7 |
| 3 | 49 | 7 |
| 4 | 123 | 7 |
| 5 | 353 | 7 |
| 6 | 1258 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 14 | 6 |
| 2 | 28 | 6 |
| 3 | 69 | 6 |
| 4 | 178 | 6 |
| 5 | 520 | 6 |
| 6 | 1795 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 13 | 6 |
| 2 | 27 | 6 |
| 3 | 68 | 6 |
| 4 | 188 | 6 |
| 5 | 629 | 6 |
| 6 | 2631 | 6 |
| done | 5001 | 6 |
| 0 | 9 | 17 |
| 1 | 22 | 15 |
| 2 | 68 | 9 |
| 3 | 231 | 9 |
| 4 | 897 | 7 |
| 5 | 4218 | 7 |
| done | 5001 | 7 |
| 0 | 7 | 13 |
| 1 | 12 | 13 |
| 2 | 21 | 13 |
| 3 | 47 | 13 |
| 4 | 113 | 13 |
| 5 | 302 | 13 |
| 6 | 994 | 13 |
| 7 | 3758 | 13 |
| done | 5001 | 13 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 20 | 6 |
| 3 | 46 | 6 |
| 4 | 113 | 6 |
| 5 | 299 | 6 |
| 6 | 989 | 6 |
| 7 | 3768 | 6 |
| done | 5000 | 6 |
| 0 | 7 | 17 |
| 1 | 22 | 17 |
| 2 | 72 | 7 |
| 3 | 255 | 7 |
| 4 | 991 | 7 |
| 5 | 4212 | 7 |
| done | 5001 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 20 | 6 |
| 3 | 46 | 6 |
| 4 | 113 | 6 |
| 5 | 299 | 6 |
| 6 | 989 | 6 |
| 7 | 3768 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 20 | 6 |
| 3 | 46 | 6 |
| 4 | 113 | 6 |
| 5 | 299 | 6 |
| 6 | 989 | 6 |
| 7 | 3768 | 6 |
| done | 5000 | 6 |
| 0 | 7 | 7 |
| 1 | 12 | 7 |
| 2 | 21 | 7 |
| 3 | 47 | 7 |
| 4 | 111 | 7 |
| 5 | 298 | 7 |
| 6 | 983 | 7 |
| 7 | 3750 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 12 | 7 |
| 2 | 21 | 7 |
| 3 | 47 | 7 |
| 4 | 111 | 7 |
| 5 | 298 | 7 |
| 6 | 983 | 7 |
| 7 | 3750 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 12 | 7 |
| 2 | 18 | 7 |
| 3 | 36 | 7 |
| 4 | 76 | 7 |
| 5 | 186 | 7 |
| 6 | 569 | 7 |
| 7 | 1967 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 12 | 7 |
| 2 | 18 | 7 |
| 3 | 36 | 7 |
| 4 | 76 | 7 |
| 5 | 186 | 7 |
| 6 | 569 | 7 |
| 7 | 1967 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 24 | 8 |
| 3 | 55 | 8 |
| 4 | 129 | 8 |
| 5 | 344 | 8 |
| 6 | 1161 | 8 |
| 7 | 4333 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 24 | 8 |
| 3 | 55 | 8 |
| 4 | 129 | 8 |
| 5 | 344 | 8 |
| 6 | 1161 | 8 |
| 7 | 4333 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 21 | 9 |
| 3 | 47 | 9 |
| 4 | 111 | 9 |
| 5 | 298 | 9 |
| 6 | 983 | 9 |
| 7 | 3753 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 20 | 6 |
| 3 | 46 | 6 |
| 4 | 114 | 6 |
| 5 | 301 | 6 |
| 6 | 997 | 6 |
| 7 | 3772 | 6 |
| done | 5000 | 6 |
| 0 | 5 | 5 |
| 1 | 12 | 3 |
| 2 | 15 | 1 |
| 3 | 21 | 1 |
| 4 | 28 | 1 |
| 5 | 38 | 1 |
| 6 | 51 | 1 |
| 7 | 67 | 1 |
| 8 | 86 | 1 |
| 9 | 108 | 1 |
| 10 | 133 | 1 |
| 11 | 161 | 1 |
| 12 | 192 | 1 |
| 13 | 226 | 1 |
| 14 | 263 | 1 |
| 15 | 303 | 1 |
| 16 | 346 | 1 |
| 17 | 392 | 1 |
| 18 | 441 | 1 |
| 19 | 493 | 1 |
| 20 | 548 | 1 |
| 21 | 606 | 1 |
| 22 | 667 | 1 |
| 23 | 731 | 1 |
| 24 | 798 | 1 |
| 25 | 868 | 1 |
| 26 | 941 | 1 |
| 27 | 1017 | 1 |
| 28 | 1096 | 1 |
| 29 | 1178 | 1 |
| 30 | 1263 | 1 |
| 31 | 1351 | 1 |
| 32 | 1442 | 1 |
| 33 | 1536 | 1 |
| 34 | 1633 | 1 |
| 35 | 1733 | 1 |
| 36 | 1836 | 1 |
| 37 | 1942 | 1 |
| 38 | 2051 | 1 |
| 39 | 2163 | 1 |
| 40 | 2278 | 1 |
| 41 | 2396 | 1 |
| 42 | 2517 | 1 |
| 43 | 2641 | 1 |
| 44 | 2768 | 1 |
| 45 | 2898 | 1 |
| 46 | 3031 | 1 |
| 47 | 3167 | 1 |
| 48 | 3306 | 1 |
| 49 | 3448 | 1 |
| 50 | 3593 | 1 |
| 51 | 3741 | 1 |
| 52 | 3892 | 1 |
| 53 | 4046 | 1 |
| 54 | 4203 | 1 |
| 55 | 4363 | 1 |
| 56 | 4526 | 1 |
| 57 | 4692 | 1 |
| 58 | 4861 | 1 |
| done | 5001 | 1 |
| 0 | 7 | 11 |
| 1 | 14 | 11 |
| 2 | 21 | 11 |
| 3 | 39 | 11 |
| 4 | 79 | 11 |
| 5 | 184 | 11 |
| 6 | 565 | 11 |
| 7 | 1979 | 11 |
| done | 5001 | 11 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 17 | 6 |
| 3 | 35 | 6 |
| 4 | 75 | 6 |
| 5 | 183 | 6 |
| 6 | 564 | 6 |
| 7 | 1966 | 6 |
| done | 5001 | 6 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 23 | 7 |
| 3 | 52 | 7 |
| 4 | 125 | 7 |
| 5 | 336 | 7 |
| 6 | 1159 | 7 |
| 7 | 4361 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 20 | 6 |
| 3 | 46 | 6 |
| 4 | 114 | 6 |
| 5 | 301 | 6 |
| 6 | 1000 | 6 |
| 7 | 3792 | 6 |
| done | 5000 | 6 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 20 | 6 |
| 3 | 46 | 6 |
| 4 | 114 | 6 |
| 5 | 301 | 6 |
| 6 | 1000 | 6 |
| 7 | 3792 | 6 |
| done | 5000 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 19 | 5 |
| 3 | 45 | 5 |
| 4 | 109 | 5 |
| 5 | 302 | 5 |
| 6 | 999 | 5 |
| 7 | 3780 | 5 |
| done | 5001 | 5 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 24 | 7 |
| 3 | 59 | 7 |
| 4 | 154 | 7 |
| 5 | 448 | 7 |
| 6 | 1575 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 14 | 10 |
| 3 | 16 | 9 |
| 4 | 17 | 9 |
| done | 17 | 9 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 14 | 10 |
| 3 | 16 | 9 |
| 4 | 17 | 9 |
| done | 17 | 9 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 27 | 10 |
| 3 | 59 | 9 |
| 4 | 149 | 9 |
| 5 | 428 | 9 |
| 6 | 1498 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 32 | 9 |
| 3 | 77 | 9 |
| 4 | 202 | 9 |
| 5 | 610 | 9 |
| 6 | 2135 | 9 |
| done | 5001 | 9 |
| 0 | 7 | 8 |
| 1 | 16 | 8 |
| 2 | 32 | 8 |
| 3 | 83 | 8 |
| 4 | 220 | 8 |
| 5 | 660 | 8 |
| 6 | 2335 | 8 |
| done | 5001 | 8 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 35 | 8 |
| 3 | 91 | 8 |
| 4 | 262 | 8 |
| 5 | 880 | 8 |
| 6 | 3646 | 8 |
| done | 5000 | 8 |
| 0 | 10 | 23 |
| 1 | 26 | 21 |
| 2 | 93 | 13 |
| 3 | 388 | 9 |
| 4 | 1781 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 23 |
| 1 | 30 | 23 |
| 2 | 115 | 11 |
| 3 | 493 | 11 |
| 4 | 2174 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 17 |
| 1 | 14 | 17 |
| 2 | 26 | 17 |
| 3 | 61 | 17 |
| 4 | 155 | 17 |
| 5 | 467 | 17 |
| 6 | 1606 | 17 |
| done | 5000 | 17 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 25 | 8 |
| 3 | 60 | 8 |
| 4 | 156 | 8 |
| 5 | 460 | 8 |
| 6 | 1601 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 23 |
| 1 | 24 | 23 |
| 2 | 82 | 9 |
| 3 | 299 | 9 |
| 4 | 1371 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 25 | 8 |
| 3 | 60 | 8 |
| 4 | 157 | 8 |
| 5 | 461 | 8 |
| 6 | 1604 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 25 | 8 |
| 3 | 60 | 8 |
| 4 | 157 | 8 |
| 5 | 461 | 8 |
| 6 | 1604 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 11 |
| 1 | 18 | 11 |
| 2 | 44 | 11 |
| 3 | 120 | 11 |
| 4 | 344 | 11 |
| 5 | 1101 | 11 |
| 6 | 3834 | 11 |
| done | 5000 | 11 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 32 | 8 |
| 3 | 76 | 8 |
| 4 | 204 | 8 |
| 5 | 623 | 8 |
| 6 | 2174 | 8 |
| done | 5001 | 8 |
| 0 | 7 | 7 |
| 1 | 17 | 5 |
| 2 | 40 | 5 |
| 3 | 96 | 5 |
| 4 | 200 | 5 |
| 5 | 469 | 5 |
| 6 | 1314 | 5 |
| 7 | 4538 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 19 | 5 |
| 3 | 45 | 5 |
| 4 | 111 | 5 |
| 5 | 305 | 5 |
| 6 | 1006 | 5 |
| 7 | 3782 | 5 |
| done | 5000 | 5 |
| 0 | 16 | 21 |
| 1 | 28 | 21 |
| 2 | 58 | 21 |
| 3 | 144 | 18 |
| 4 | 339 | 18 |
| 5 | 690 | 18 |
| 6 | 1481 | 18 |
| 7 | 1929 | 18 |
| 8 | 1954 | 18 |
| done | 1954 | 18 |
| 0 | 16 | 21 |
| 1 | 28 | 21 |
| 2 | 58 | 21 |
| 3 | 144 | 18 |
| 4 | 339 | 18 |
| 5 | 690 | 18 |
| 6 | 1481 | 18 |
| 7 | 1929 | 18 |
| 8 | 1954 | 18 |
| done | 1954 | 18 |
| 0 | 16 | 21 |
| 1 | 33 | 21 |
| 2 | 71 | 21 |
| 3 | 190 | 18 |
| 4 | 563 | 18 |
| 5 | 2009 | 18 |
| done | 5001 | 18 |
| 0 | 16 | 20 |
| 1 | 33 | 20 |
| 2 | 74 | 20 |
| 3 | 193 | 20 |
| 4 | 605 | 18 |
| 5 | 2166 | 18 |
| done | 5000 | 18 |
| 0 | 15 | 19 |
| 1 | 31 | 19 |
| 2 | 62 | 19 |
| 3 | 161 | 19 |
| 4 | 489 | 18 |
| 5 | 1727 | 18 |
| done | 5001 | 18 |
| 0 | 16 | 21 |
| 1 | 28 | 21 |
| 2 | 58 | 21 |
| 3 | 144 | 18 |
| 4 | 339 | 18 |
| 5 | 690 | 18 |
| 6 | 1481 | 18 |
| 7 | 1929 | 18 |
| 8 | 1954 | 18 |
| done | 1954 | 18 |
| 0 | 16 | 21 |
| 1 | 28 | 21 |
| 2 | 58 | 21 |
| 3 | 144 | 18 |
| 4 | 339 | 18 |
| 5 | 690 | 18 |
| 6 | 1481 | 18 |
| 7 | 1929 | 18 |
| 8 | 1954 | 18 |
| done | 1954 | 18 |
| 0 | 16 | 21 |
| 1 | 33 | 21 |
| 2 | 71 | 21 |
| 3 | 190 | 18 |
| 4 | 563 | 18 |
| 5 | 2009 | 18 |
| done | 5001 | 18 |
| 0 | 16 | 20 |
| 1 | 33 | 20 |
| 2 | 74 | 20 |
| 3 | 193 | 20 |
| 4 | 605 | 18 |
| 5 | 2166 | 18 |
| done | 5000 | 18 |
| 0 | 15 | 19 |
| 1 | 31 | 19 |
| 2 | 62 | 19 |
| 3 | 161 | 19 |
| 4 | 489 | 18 |
| 5 | 1727 | 18 |
| done | 5001 | 18 |
| 0 | 16 | 21 |
| 1 | 33 | 21 |
| 2 | 71 | 21 |
| 3 | 198 | 18 |
| 4 | 605 | 18 |
| 5 | 2267 | 18 |
| done | 5000 | 18 |
| 0 | 16 | 21 |
| 1 | 33 | 21 |
| 2 | 71 | 21 |
| 3 | 198 | 18 |
| 4 | 605 | 18 |
| 5 | 2267 | 18 |
| done | 5000 | 18 |
| 0 | 16 | 21 |
| 1 | 36 | 21 |
| 2 | 80 | 21 |
| 3 | 233 | 18 |
| 4 | 831 | 18 |
| 5 | 3959 | 18 |
| done | 5000 | 18 |
| 0 | 16 | 20 |
| 1 | 36 | 20 |
| 2 | 83 | 20 |
| 3 | 234 | 20 |
| 4 | 850 | 18 |
| 5 | 3994 | 18 |
| done | 5000 | 18 |
| 0 | 15 | 19 |
| 1 | 34 | 19 |
| 2 | 71 | 19 |
| 3 | 198 | 19 |
| 4 | 689 | 18 |
| 5 | 3108 | 18 |
| done | 5000 | 18 |
| 0 | 14 | 18 |
| 1 | 31 | 18 |
| 2 | 78 | 18 |
| 3 | 264 | 18 |
| 4 | 1119 | 18 |
| done | 5000 | 18 |
| 0 | 13 | 17 |
| 1 | 30 | 17 |
| 2 | 81 | 17 |
| 3 | 289 | 17 |
| 4 | 1242 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 17 |
| 1 | 27 | 17 |
| 2 | 67 | 17 |
| 3 | 224 | 17 |
| 4 | 926 | 17 |
| 5 | 4974 | 17 |
| done | 5000 | 17 |
| 0 | 20 | 50 |
| 1 | 54 | 46 |
| 2 | 244 | 26 |
| 3 | 2035 | 22 |
| done | 5001 | 22 |
| 0 | 20 | 50 |
| 1 | 59 | 48 |
| 2 | 276 | 24 |
| 3 | 2424 | 24 |
| done | 5001 | 24 |
| 0 | 18 | 50 |
| 1 | 53 | 48 |
| 2 | 236 | 22 |
| 3 | 1828 | 22 |
| done | 5000 | 22 |
| 0 | 16 | 50 |
| 1 | 46 | 50 |
| 2 | 230 | 20 |
| 3 | 2199 | 18 |
| done | 5000 | 18 |
| 0 | 14 | 35 |
| 1 | 28 | 35 |
| 2 | 68 | 35 |
| 3 | 227 | 35 |
| 4 | 935 | 35 |
| 5 | 4950 | 35 |
| done | 5000 | 35 |
| 0 | 13 | 17 |
| 1 | 27 | 17 |
| 2 | 67 | 17 |
| 3 | 224 | 17 |
| 4 | 926 | 17 |
| 5 | 4974 | 17 |
| done | 5000 | 17 |
| 0 | 14 | 50 |
| 1 | 35 | 50 |
| 2 | 132 | 18 |
| 3 | 1115 | 18 |
| done | 5000 | 18 |
| 0 | 13 | 17 |
| 1 | 27 | 17 |
| 2 | 67 | 17 |
| 3 | 224 | 17 |
| 4 | 926 | 17 |
| 5 | 4974 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 17 |
| 1 | 27 | 17 |
| 2 | 67 | 17 |
| 3 | 224 | 17 |
| 4 | 926 | 17 |
| 5 | 4974 | 17 |
| done | 5000 | 17 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 10 | 12 |
| 1 | 25 | 12 |
| 2 | 75 | 12 |
| 3 | 303 | 12 |
| 4 | 1439 | 12 |
| done | 5001 | 12 |
| 0 | 9 | 15 |
| 1 | 16 | 15 |
| 2 | 28 | 15 |
| 3 | 64 | 15 |
| 4 | 160 | 15 |
| 5 | 474 | 15 |
| 6 | 1724 | 15 |
| done | 5000 | 15 |
| 0 | 10 | 13 |
| 1 | 19 | 13 |
| 2 | 36 | 13 |
| 3 | 86 | 13 |
| 4 | 236 | 13 |
| 5 | 731 | 13 |
| 6 | 2510 | 13 |
| done | 5001 | 13 |
| 0 | 8 | 9 |
| 1 | 13 | 9 |
| 2 | 20 | 9 |
| 3 | 42 | 9 |
| 4 | 95 | 9 |
| 5 | 234 | 9 |
| 6 | 714 | 9 |
| 7 | 2565 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 13 |
| 1 | 19 | 13 |
| 2 | 36 | 13 |
| 3 | 86 | 13 |
| 4 | 236 | 13 |
| 5 | 731 | 13 |
| 6 | 2510 | 13 |
| done | 5001 | 13 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 18 | 5 |
| 3 | 40 | 5 |
| 4 | 92 | 5 |
| 5 | 233 | 5 |
| 6 | 713 | 5 |
| 7 | 2551 | 5 |
| done | 5000 | 5 |
| 0 | 9 | 12 |
| 1 | 18 | 12 |
| 2 | 35 | 12 |
| 3 | 85 | 12 |
| 4 | 236 | 12 |
| 5 | 722 | 12 |
| 6 | 2489 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 13 |
| 1 | 26 | 13 |
| 2 | 66 | 13 |
| 3 | 229 | 13 |
| 4 | 954 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 16 |
| 1 | 26 | 16 |
| 2 | 67 | 16 |
| 3 | 251 | 16 |
| 4 | 1147 | 16 |
| done | 5000 | 16 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 19 | 8 |
| 3 | 41 | 8 |
| 4 | 94 | 8 |
| 5 | 235 | 8 |
| 6 | 713 | 8 |
| 7 | 2565 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 17 |
| 1 | 27 | 17 |
| 2 | 68 | 17 |
| 3 | 252 | 17 |
| 4 | 1148 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 17 |
| 1 | 27 | 17 |
| 2 | 68 | 17 |
| 3 | 252 | 17 |
| 4 | 1148 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 16 |
| 1 | 26 | 16 |
| 2 | 67 | 16 |
| 3 | 251 | 16 |
| 4 | 1147 | 16 |
| done | 5000 | 16 |
| 0 | 22 | 27 |
| 1 | 54 | 25 |
| 2 | 117 | 21 |
| 3 | 301 | 17 |
| 4 | 853 | 17 |
| 5 | 3342 | 17 |
| done | 5000 | 17 |
| 0 | 25 | 33 |
| 1 | 65 | 29 |
| 2 | 149 | 25 |
| 3 | 378 | 23 |
| 4 | 1089 | 21 |
| 5 | 4192 | 21 |
| done | 5000 | 21 |
| 0 | 28 | 35 |
| 1 | 70 | 33 |
| 2 | 165 | 29 |
| 3 | 504 | 25 |
| 4 | 2212 | 25 |
| done | 5001 | 25 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 15 | 18 |
| 1 | 37 | 16 |
| 2 | 66 | 14 |
| 3 | 138 | 13 |
| 4 | 295 | 12 |
| 5 | 715 | 12 |
| 6 | 1974 | 12 |
| done | 5001 | 12 |
| 0 | 17 | 20 |
| 1 | 42 | 19 |
| 2 | 78 | 17 |
| 3 | 201 | 15 |
| 4 | 575 | 15 |
| 5 | 2541 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 12 |
| 1 | 29 | 11 |
| 2 | 50 | 9 |
| 3 | 118 | 7 |
| 4 | 393 | 7 |
| 5 | 1424 | 7 |
| done | 5001 | 7 |
| 0 | 17 | 20 |
| 1 | 42 | 18 |
| 2 | 93 | 16 |
| 3 | 224 | 15 |
| 4 | 589 | 14 |
| 5 | 2003 | 14 |
| done | 5000 | 14 |
| 0 | 19 | 22 |
| 1 | 47 | 21 |
| 2 | 105 | 19 |
| 3 | 277 | 17 |
| 4 | 855 | 17 |
| 5 | 3755 | 17 |
| done | 5001 | 17 |
| 0 | 26 | 59 |
| 1 | 65 | 55 |
| 2 | 146 | 27 |
| 3 | 448 | 23 |
| 4 | 1635 | 23 |
| done | 5000 | 23 |
| 0 | 27 | 36 |
| 1 | 68 | 32 |
| 2 | 147 | 28 |
| 3 | 381 | 26 |
| 4 | 1225 | 24 |
| done | 5001 | 24 |
| 0 | 31 | 40 |
| 1 | 76 | 38 |
| 2 | 173 | 34 |
| 3 | 556 | 30 |
| 4 | 2666 | 30 |
| done | 5000 | 30 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 114 | 13 | 127 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 115 | 13 | 128 |
Merged error: 11.0b
Found 4 expressions with local error:
| 0.2b | (cos (* 2.0 x)) |
| 0.4b | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))) |
| 3.4b | (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x) |
| 16.5b | (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)) |
| 390× | add-exp-log |
| 322× | prod-exp |
| 77× | pow-to-exp pow-exp |
| 47× | add-cbrt-cube |
| 43× | div-exp |
| 26× | cbrt-unprod |
| 9× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 8× | associate-*l* |
| 6× | pow1 |
| 5× | cbrt-undiv |
| 4× | associate-*r* add-log-exp |
| 3× | unpow-prod-down times-frac associate-/l* |
| 2× | *-commutative |
| 1× | frac-2neg pow-prod-down clear-num associate-/r* div-inv sqr-pow |
| 2.0ms | (cos (* 2.0 x)) |
| 16.0ms | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))) |
| 10.0ms | (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x) |
| 14.0ms | (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)) |
| 2.0ms | (cos (* 2.0 x)) |
| 86.0ms | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))) |
| 35.0ms | (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x) |
| 91.0ms | (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)) |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 24 |
| 1 | 28 | 24 |
| 2 | 60 | 16 |
| 3 | 127 | 16 |
| 4 | 175 | 16 |
| 5 | 209 | 14 |
| 6 | 223 | 12 |
| 7 | 498 | 12 |
| 8 | 1409 | 12 |
| 9 | 4569 | 12 |
| done | 5001 | 12 |
| 0 | 15 | 24 |
| 1 | 28 | 24 |
| 2 | 60 | 16 |
| 3 | 127 | 16 |
| 4 | 175 | 16 |
| 5 | 209 | 14 |
| 6 | 223 | 12 |
| 7 | 498 | 12 |
| 8 | 1409 | 12 |
| 9 | 4569 | 12 |
| done | 5001 | 12 |
| 0 | 17 | 24 |
| 1 | 34 | 24 |
| 2 | 74 | 20 |
| 3 | 176 | 16 |
| 4 | 463 | 16 |
| 5 | 1567 | 16 |
| done | 5000 | 14 |
| 0 | 15 | 24 |
| 1 | 28 | 24 |
| 2 | 60 | 16 |
| 3 | 127 | 16 |
| 4 | 175 | 16 |
| 5 | 209 | 14 |
| 6 | 223 | 12 |
| 7 | 498 | 12 |
| 8 | 1409 | 12 |
| 9 | 4569 | 12 |
| done | 5001 | 12 |
| 0 | 15 | 24 |
| 1 | 28 | 24 |
| 2 | 60 | 16 |
| 3 | 127 | 16 |
| 4 | 175 | 16 |
| 5 | 209 | 14 |
| 6 | 223 | 12 |
| 7 | 498 | 12 |
| 8 | 1409 | 12 |
| 9 | 4569 | 12 |
| done | 5001 | 12 |
| 0 | 17 | 24 |
| 1 | 34 | 24 |
| 2 | 74 | 20 |
| 3 | 176 | 16 |
| 4 | 463 | 16 |
| 5 | 1567 | 16 |
| done | 5000 | 14 |
| 0 | 17 | 24 |
| 1 | 34 | 24 |
| 2 | 74 | 20 |
| 3 | 176 | 16 |
| 4 | 464 | 16 |
| 5 | 1557 | 16 |
| done | 5000 | 14 |
| 0 | 17 | 24 |
| 1 | 34 | 24 |
| 2 | 74 | 20 |
| 3 | 176 | 16 |
| 4 | 464 | 16 |
| 5 | 1557 | 16 |
| done | 5000 | 14 |
| 0 | 15 | 24 |
| 1 | 30 | 24 |
| 2 | 72 | 16 |
| 3 | 180 | 16 |
| 4 | 455 | 16 |
| 5 | 1520 | 16 |
| done | 5000 | 16 |
| 0 | 17 | 23 |
| 1 | 34 | 23 |
| 2 | 76 | 22 |
| 3 | 186 | 15 |
| 4 | 559 | 15 |
| 5 | 1934 | 15 |
| done | 5000 | 15 |
| 0 | 17 | 23 |
| 1 | 34 | 23 |
| 2 | 76 | 22 |
| 3 | 186 | 15 |
| 4 | 559 | 15 |
| 5 | 1934 | 15 |
| done | 5000 | 15 |
| 0 | 16 | 23 |
| 1 | 31 | 23 |
| 2 | 67 | 22 |
| 3 | 177 | 15 |
| 4 | 544 | 15 |
| 5 | 1912 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 22 |
| 1 | 30 | 22 |
| 2 | 73 | 18 |
| 3 | 202 | 18 |
| 4 | 674 | 15 |
| 5 | 2485 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 21 |
| 1 | 28 | 21 |
| 2 | 72 | 17 |
| 3 | 212 | 15 |
| 4 | 743 | 15 |
| 5 | 2628 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 24 |
| 1 | 28 | 24 |
| 2 | 60 | 16 |
| 3 | 127 | 16 |
| 4 | 175 | 16 |
| 5 | 209 | 14 |
| 6 | 223 | 12 |
| 7 | 498 | 12 |
| 8 | 1409 | 12 |
| 9 | 4569 | 12 |
| done | 5001 | 12 |
| 0 | 15 | 24 |
| 1 | 28 | 24 |
| 2 | 60 | 16 |
| 3 | 127 | 16 |
| 4 | 175 | 16 |
| 5 | 209 | 14 |
| 6 | 223 | 12 |
| 7 | 498 | 12 |
| 8 | 1409 | 12 |
| 9 | 4569 | 12 |
| done | 5001 | 12 |
| 0 | 17 | 24 |
| 1 | 34 | 24 |
| 2 | 74 | 20 |
| 3 | 176 | 16 |
| 4 | 463 | 16 |
| 5 | 1567 | 16 |
| done | 5000 | 14 |
| 0 | 15 | 24 |
| 1 | 28 | 24 |
| 2 | 60 | 16 |
| 3 | 127 | 16 |
| 4 | 175 | 16 |
| 5 | 209 | 14 |
| 6 | 223 | 12 |
| 7 | 498 | 12 |
| 8 | 1409 | 12 |
| 9 | 4569 | 12 |
| done | 5001 | 12 |
| 0 | 15 | 24 |
| 1 | 28 | 24 |
| 2 | 60 | 16 |
| 3 | 127 | 16 |
| 4 | 175 | 16 |
| 5 | 209 | 14 |
| 6 | 223 | 12 |
| 7 | 498 | 12 |
| 8 | 1409 | 12 |
| 9 | 4569 | 12 |
| done | 5001 | 12 |
| 0 | 17 | 24 |
| 1 | 34 | 24 |
| 2 | 74 | 20 |
| 3 | 176 | 16 |
| 4 | 463 | 16 |
| 5 | 1567 | 16 |
| done | 5000 | 14 |
| 0 | 17 | 24 |
| 1 | 34 | 24 |
| 2 | 74 | 20 |
| 3 | 176 | 16 |
| 4 | 464 | 16 |
| 5 | 1557 | 16 |
| done | 5000 | 14 |
| 0 | 17 | 24 |
| 1 | 34 | 24 |
| 2 | 74 | 20 |
| 3 | 176 | 16 |
| 4 | 464 | 16 |
| 5 | 1557 | 16 |
| done | 5000 | 14 |
| 0 | 15 | 24 |
| 1 | 30 | 24 |
| 2 | 72 | 16 |
| 3 | 180 | 16 |
| 4 | 455 | 16 |
| 5 | 1520 | 16 |
| done | 5000 | 16 |
| 0 | 17 | 23 |
| 1 | 34 | 23 |
| 2 | 76 | 22 |
| 3 | 186 | 15 |
| 4 | 559 | 15 |
| 5 | 1934 | 15 |
| done | 5000 | 15 |
| 0 | 17 | 23 |
| 1 | 34 | 23 |
| 2 | 76 | 22 |
| 3 | 186 | 15 |
| 4 | 559 | 15 |
| 5 | 1934 | 15 |
| done | 5000 | 15 |
| 0 | 16 | 23 |
| 1 | 31 | 23 |
| 2 | 67 | 22 |
| 3 | 177 | 15 |
| 4 | 544 | 15 |
| 5 | 1912 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 22 |
| 1 | 30 | 22 |
| 2 | 73 | 18 |
| 3 | 202 | 18 |
| 4 | 674 | 15 |
| 5 | 2485 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 21 |
| 1 | 28 | 21 |
| 2 | 72 | 17 |
| 3 | 212 | 15 |
| 4 | 743 | 15 |
| 5 | 2628 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 24 |
| 1 | 31 | 24 |
| 2 | 71 | 16 |
| 3 | 179 | 16 |
| 4 | 408 | 14 |
| 5 | 1105 | 14 |
| 6 | 3683 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 24 |
| 1 | 31 | 24 |
| 2 | 71 | 16 |
| 3 | 179 | 16 |
| 4 | 408 | 14 |
| 5 | 1105 | 14 |
| 6 | 3683 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 24 |
| 1 | 37 | 24 |
| 2 | 84 | 20 |
| 3 | 219 | 16 |
| 4 | 700 | 14 |
| 5 | 3110 | 14 |
| done | 5000 | 14 |
| 0 | 15 | 24 |
| 1 | 31 | 24 |
| 2 | 71 | 16 |
| 3 | 179 | 16 |
| 4 | 408 | 14 |
| 5 | 1105 | 14 |
| 6 | 3683 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 24 |
| 1 | 31 | 24 |
| 2 | 71 | 16 |
| 3 | 179 | 16 |
| 4 | 408 | 14 |
| 5 | 1105 | 14 |
| 6 | 3683 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 24 |
| 1 | 37 | 24 |
| 2 | 84 | 20 |
| 3 | 219 | 16 |
| 4 | 700 | 14 |
| 5 | 3110 | 14 |
| done | 5000 | 14 |
| 0 | 17 | 24 |
| 1 | 37 | 24 |
| 2 | 84 | 20 |
| 3 | 219 | 16 |
| 4 | 702 | 14 |
| 5 | 3073 | 14 |
| done | 5001 | 14 |
| 0 | 17 | 24 |
| 1 | 37 | 24 |
| 2 | 84 | 20 |
| 3 | 219 | 16 |
| 4 | 702 | 14 |
| 5 | 3073 | 14 |
| done | 5001 | 14 |
| 0 | 15 | 24 |
| 1 | 33 | 24 |
| 2 | 82 | 16 |
| 3 | 225 | 16 |
| 4 | 697 | 14 |
| 5 | 3036 | 14 |
| done | 5001 | 14 |
| 0 | 17 | 23 |
| 1 | 37 | 23 |
| 2 | 86 | 22 |
| 3 | 227 | 15 |
| 4 | 781 | 14 |
| 5 | 3428 | 14 |
| done | 5000 | 14 |
| 0 | 17 | 23 |
| 1 | 37 | 23 |
| 2 | 86 | 22 |
| 3 | 227 | 15 |
| 4 | 781 | 14 |
| 5 | 3428 | 14 |
| done | 5000 | 14 |
| 0 | 16 | 23 |
| 1 | 34 | 23 |
| 2 | 77 | 22 |
| 3 | 217 | 15 |
| 4 | 768 | 14 |
| 5 | 3407 | 14 |
| done | 5000 | 14 |
| 0 | 15 | 22 |
| 1 | 33 | 22 |
| 2 | 82 | 18 |
| 3 | 236 | 18 |
| 4 | 863 | 15 |
| 5 | 3786 | 14 |
| done | 5000 | 14 |
| 0 | 14 | 21 |
| 1 | 31 | 21 |
| 2 | 81 | 17 |
| 3 | 244 | 15 |
| 4 | 894 | 15 |
| 5 | 3639 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 20 |
| 1 | 30 | 20 |
| 2 | 102 | 16 |
| 3 | 415 | 15 |
| 4 | 2005 | 15 |
| done | 5001 | 14 |
| 0 | 13 | 20 |
| 1 | 29 | 20 |
| 2 | 97 | 16 |
| 3 | 416 | 16 |
| 4 | 2069 | 16 |
| done | 5000 | 14 |
| 0 | 18 | 59 |
| 1 | 49 | 49 |
| 2 | 232 | 29 |
| 3 | 1643 | 17 |
| done | 5001 | 17 |
| 0 | 20 | 59 |
| 1 | 56 | 49 |
| 2 | 258 | 27 |
| 3 | 1868 | 25 |
| done | 5000 | 25 |
| 0 | 18 | 59 |
| 1 | 50 | 57 |
| 2 | 234 | 21 |
| 3 | 1585 | 19 |
| done | 5000 | 19 |
| 0 | 16 | 59 |
| 1 | 45 | 57 |
| 2 | 205 | 19 |
| 3 | 1371 | 17 |
| done | 5001 | 17 |
| 0 | 14 | 41 |
| 1 | 28 | 41 |
| 2 | 87 | 33 |
| 3 | 337 | 33 |
| 4 | 1557 | 33 |
| done | 5000 | 29 |
| 0 | 13 | 20 |
| 1 | 27 | 20 |
| 2 | 86 | 16 |
| 3 | 334 | 16 |
| 4 | 1562 | 16 |
| done | 5000 | 14 |
| 0 | 14 | 59 |
| 1 | 38 | 59 |
| 2 | 184 | 17 |
| 3 | 1413 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 20 |
| 1 | 27 | 20 |
| 2 | 86 | 16 |
| 3 | 335 | 14 |
| 4 | 1563 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 20 |
| 1 | 27 | 20 |
| 2 | 86 | 16 |
| 3 | 335 | 14 |
| 4 | 1563 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 17 |
| 1 | 23 | 17 |
| 2 | 69 | 13 |
| 3 | 237 | 13 |
| 4 | 986 | 13 |
| done | 5001 | 11 |
| 0 | 13 | 20 |
| 1 | 27 | 20 |
| 2 | 86 | 16 |
| 3 | 333 | 16 |
| 4 | 1540 | 16 |
| done | 5001 | 14 |
| 0 | 13 | 20 |
| 1 | 27 | 20 |
| 2 | 86 | 16 |
| 3 | 333 | 16 |
| 4 | 1540 | 16 |
| done | 5001 | 14 |
| 0 | 12 | 19 |
| 1 | 26 | 19 |
| 2 | 85 | 15 |
| 3 | 333 | 15 |
| 4 | 1567 | 15 |
| done | 5001 | 13 |
| 0 | 13 | 20 |
| 1 | 27 | 20 |
| 2 | 76 | 16 |
| 3 | 254 | 16 |
| 4 | 841 | 16 |
| 5 | 3122 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 20 |
| 1 | 27 | 20 |
| 2 | 77 | 16 |
| 3 | 255 | 16 |
| 4 | 837 | 16 |
| 5 | 3086 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 19 |
| 1 | 26 | 19 |
| 2 | 85 | 15 |
| 3 | 333 | 15 |
| 4 | 1567 | 15 |
| done | 5001 | 13 |
| 0 | 12 | 21 |
| 1 | 26 | 21 |
| 2 | 85 | 17 |
| 3 | 336 | 17 |
| 4 | 1588 | 17 |
| done | 5000 | 15 |
| 0 | 9 | 15 |
| 1 | 18 | 15 |
| 2 | 50 | 11 |
| 3 | 144 | 11 |
| 4 | 439 | 11 |
| 5 | 1481 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 19 |
| 1 | 20 | 19 |
| 2 | 38 | 11 |
| 3 | 62 | 11 |
| 4 | 90 | 11 |
| 5 | 114 | 11 |
| 6 | 124 | 9 |
| 7 | 396 | 9 |
| 8 | 1319 | 9 |
| 9 | 4455 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 19 |
| 1 | 20 | 19 |
| 2 | 38 | 11 |
| 3 | 62 | 11 |
| 4 | 90 | 11 |
| 5 | 114 | 11 |
| 6 | 124 | 9 |
| 7 | 396 | 9 |
| 8 | 1319 | 9 |
| 9 | 4455 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 19 |
| 1 | 26 | 19 |
| 2 | 52 | 15 |
| 3 | 110 | 11 |
| 4 | 293 | 11 |
| 5 | 948 | 11 |
| 6 | 3780 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 19 |
| 1 | 20 | 19 |
| 2 | 38 | 11 |
| 3 | 62 | 11 |
| 4 | 90 | 11 |
| 5 | 114 | 11 |
| 6 | 124 | 9 |
| 7 | 396 | 9 |
| 8 | 1319 | 9 |
| 9 | 4455 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 19 |
| 1 | 20 | 19 |
| 2 | 38 | 11 |
| 3 | 62 | 11 |
| 4 | 90 | 11 |
| 5 | 114 | 11 |
| 6 | 124 | 9 |
| 7 | 396 | 9 |
| 8 | 1319 | 9 |
| 9 | 4455 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 19 |
| 1 | 26 | 19 |
| 2 | 52 | 15 |
| 3 | 110 | 11 |
| 4 | 293 | 11 |
| 5 | 948 | 11 |
| 6 | 3780 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 19 |
| 1 | 26 | 19 |
| 2 | 52 | 15 |
| 3 | 110 | 11 |
| 4 | 291 | 11 |
| 5 | 940 | 11 |
| 6 | 3762 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 19 |
| 1 | 26 | 19 |
| 2 | 52 | 15 |
| 3 | 110 | 11 |
| 4 | 291 | 11 |
| 5 | 940 | 11 |
| 6 | 3762 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 19 |
| 1 | 22 | 19 |
| 2 | 50 | 11 |
| 3 | 115 | 11 |
| 4 | 294 | 11 |
| 5 | 934 | 11 |
| 6 | 3705 | 9 |
| done | 5001 | 9 |
| 0 | 13 | 18 |
| 1 | 26 | 18 |
| 2 | 55 | 17 |
| 3 | 122 | 10 |
| 4 | 362 | 10 |
| 5 | 1213 | 10 |
| 6 | 4579 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 18 |
| 1 | 26 | 18 |
| 2 | 55 | 17 |
| 3 | 122 | 10 |
| 4 | 362 | 10 |
| 5 | 1213 | 10 |
| 6 | 4579 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 18 |
| 1 | 23 | 18 |
| 2 | 46 | 17 |
| 3 | 113 | 10 |
| 4 | 358 | 10 |
| 5 | 1206 | 10 |
| 6 | 4639 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 17 |
| 1 | 22 | 17 |
| 2 | 57 | 13 |
| 3 | 153 | 13 |
| 4 | 505 | 10 |
| 5 | 1792 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 16 |
| 1 | 22 | 16 |
| 2 | 62 | 12 |
| 3 | 190 | 10 |
| 4 | 637 | 10 |
| 5 | 2201 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 16 |
| 1 | 21 | 16 |
| 2 | 64 | 12 |
| 3 | 193 | 12 |
| 4 | 657 | 12 |
| 5 | 2561 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 47 |
| 1 | 34 | 39 |
| 2 | 156 | 23 |
| 3 | 830 | 11 |
| 4 | 4859 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 47 |
| 1 | 41 | 39 |
| 2 | 183 | 21 |
| 3 | 1003 | 19 |
| done | 5000 | 19 |
| 0 | 13 | 47 |
| 1 | 35 | 47 |
| 2 | 157 | 15 |
| 3 | 879 | 15 |
| done | 5001 | 15 |
| 0 | 11 | 33 |
| 1 | 20 | 33 |
| 2 | 52 | 25 |
| 3 | 143 | 25 |
| 4 | 443 | 25 |
| 5 | 1494 | 21 |
| done | 5001 | 21 |
| 0 | 10 | 16 |
| 1 | 19 | 16 |
| 2 | 51 | 12 |
| 3 | 140 | 12 |
| 4 | 442 | 12 |
| 5 | 1485 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 47 |
| 1 | 30 | 47 |
| 2 | 130 | 13 |
| 3 | 683 | 13 |
| 4 | 4004 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 16 |
| 1 | 19 | 16 |
| 2 | 52 | 8 |
| 3 | 141 | 8 |
| 4 | 435 | 8 |
| 5 | 1461 | 8 |
| done | 5000 | 8 |
| 0 | 10 | 16 |
| 1 | 19 | 16 |
| 2 | 52 | 8 |
| 3 | 141 | 8 |
| 4 | 435 | 8 |
| 5 | 1461 | 8 |
| done | 5000 | 8 |
| 0 | 11 | 19 |
| 1 | 23 | 19 |
| 2 | 73 | 15 |
| 3 | 245 | 15 |
| 4 | 845 | 15 |
| 5 | 3303 | 13 |
| done | 5001 | 13 |
| 0 | 10 | 16 |
| 1 | 20 | 16 |
| 2 | 59 | 12 |
| 3 | 173 | 12 |
| 4 | 580 | 12 |
| 5 | 1953 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 15 |
| 1 | 22 | 13 |
| 2 | 67 | 9 |
| 3 | 187 | 9 |
| 4 | 459 | 9 |
| 5 | 1232 | 7 |
| 6 | 4285 | 5 |
| done | 5001 | 5 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 23 | 7 |
| 3 | 52 | 7 |
| 4 | 125 | 7 |
| 5 | 337 | 7 |
| 6 | 1153 | 7 |
| 7 | 4348 | 7 |
| done | 5000 | 7 |
| 0 | 19 | 30 |
| 1 | 37 | 30 |
| 2 | 89 | 22 |
| 3 | 258 | 22 |
| 4 | 687 | 22 |
| 5 | 1636 | 20 |
| 6 | 4148 | 18 |
| done | 5000 | 18 |
| 0 | 19 | 30 |
| 1 | 37 | 30 |
| 2 | 89 | 22 |
| 3 | 258 | 22 |
| 4 | 687 | 22 |
| 5 | 1636 | 20 |
| 6 | 4148 | 18 |
| done | 5000 | 18 |
| 0 | 21 | 30 |
| 1 | 43 | 30 |
| 2 | 103 | 26 |
| 3 | 300 | 22 |
| 4 | 1084 | 22 |
| 5 | 4659 | 22 |
| done | 5000 | 22 |
| 0 | 19 | 30 |
| 1 | 37 | 30 |
| 2 | 89 | 22 |
| 3 | 258 | 22 |
| 4 | 687 | 22 |
| 5 | 1636 | 20 |
| 6 | 4148 | 18 |
| done | 5000 | 18 |
| 0 | 19 | 30 |
| 1 | 37 | 30 |
| 2 | 89 | 22 |
| 3 | 258 | 22 |
| 4 | 687 | 22 |
| 5 | 1636 | 20 |
| 6 | 4148 | 18 |
| done | 5000 | 18 |
| 0 | 21 | 30 |
| 1 | 43 | 30 |
| 2 | 103 | 26 |
| 3 | 300 | 22 |
| 4 | 1084 | 22 |
| 5 | 4659 | 22 |
| done | 5000 | 22 |
| 0 | 21 | 30 |
| 1 | 43 | 30 |
| 2 | 103 | 26 |
| 3 | 300 | 22 |
| 4 | 1080 | 22 |
| 5 | 4661 | 22 |
| done | 5000 | 22 |
| 0 | 21 | 30 |
| 1 | 43 | 30 |
| 2 | 103 | 26 |
| 3 | 300 | 22 |
| 4 | 1080 | 22 |
| 5 | 4661 | 22 |
| done | 5000 | 22 |
| 0 | 19 | 30 |
| 1 | 39 | 30 |
| 2 | 101 | 22 |
| 3 | 314 | 22 |
| 4 | 1088 | 22 |
| 5 | 4655 | 22 |
| done | 5000 | 22 |
| 0 | 21 | 29 |
| 1 | 43 | 29 |
| 2 | 105 | 28 |
| 3 | 296 | 21 |
| 4 | 1119 | 21 |
| 5 | 4909 | 21 |
| done | 5000 | 21 |
| 0 | 21 | 29 |
| 1 | 43 | 29 |
| 2 | 105 | 28 |
| 3 | 296 | 21 |
| 4 | 1119 | 21 |
| 5 | 4909 | 21 |
| done | 5000 | 21 |
| 0 | 20 | 29 |
| 1 | 40 | 29 |
| 2 | 96 | 28 |
| 3 | 289 | 21 |
| 4 | 1107 | 21 |
| 5 | 4865 | 21 |
| done | 5000 | 21 |
| 0 | 19 | 28 |
| 1 | 39 | 28 |
| 2 | 100 | 24 |
| 3 | 301 | 24 |
| 4 | 1168 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 27 |
| 1 | 37 | 27 |
| 2 | 92 | 23 |
| 3 | 282 | 21 |
| 4 | 1094 | 21 |
| 5 | 4603 | 21 |
| done | 5000 | 21 |
| 0 | 19 | 30 |
| 1 | 37 | 30 |
| 2 | 89 | 22 |
| 3 | 258 | 22 |
| 4 | 687 | 22 |
| 5 | 1636 | 20 |
| 6 | 4148 | 18 |
| done | 5000 | 18 |
| 0 | 19 | 30 |
| 1 | 37 | 30 |
| 2 | 89 | 22 |
| 3 | 258 | 22 |
| 4 | 687 | 22 |
| 5 | 1636 | 20 |
| 6 | 4148 | 18 |
| done | 5000 | 18 |
| 0 | 21 | 30 |
| 1 | 43 | 30 |
| 2 | 103 | 26 |
| 3 | 300 | 22 |
| 4 | 1084 | 22 |
| 5 | 4659 | 22 |
| done | 5000 | 22 |
| 0 | 19 | 30 |
| 1 | 37 | 30 |
| 2 | 89 | 22 |
| 3 | 258 | 22 |
| 4 | 687 | 22 |
| 5 | 1636 | 20 |
| 6 | 4148 | 18 |
| done | 5000 | 18 |
| 0 | 19 | 30 |
| 1 | 37 | 30 |
| 2 | 89 | 22 |
| 3 | 258 | 22 |
| 4 | 687 | 22 |
| 5 | 1636 | 20 |
| 6 | 4148 | 18 |
| done | 5000 | 18 |
| 0 | 21 | 30 |
| 1 | 43 | 30 |
| 2 | 103 | 26 |
| 3 | 300 | 22 |
| 4 | 1084 | 22 |
| 5 | 4659 | 22 |
| done | 5000 | 22 |
| 0 | 21 | 30 |
| 1 | 43 | 30 |
| 2 | 103 | 26 |
| 3 | 300 | 22 |
| 4 | 1080 | 22 |
| 5 | 4661 | 22 |
| done | 5000 | 22 |
| 0 | 21 | 30 |
| 1 | 43 | 30 |
| 2 | 103 | 26 |
| 3 | 300 | 22 |
| 4 | 1080 | 22 |
| 5 | 4661 | 22 |
| done | 5000 | 22 |
| 0 | 19 | 30 |
| 1 | 39 | 30 |
| 2 | 101 | 22 |
| 3 | 314 | 22 |
| 4 | 1088 | 22 |
| 5 | 4655 | 22 |
| done | 5000 | 22 |
| 0 | 21 | 29 |
| 1 | 43 | 29 |
| 2 | 105 | 28 |
| 3 | 296 | 21 |
| 4 | 1119 | 21 |
| 5 | 4909 | 21 |
| done | 5000 | 21 |
| 0 | 21 | 29 |
| 1 | 43 | 29 |
| 2 | 105 | 28 |
| 3 | 296 | 21 |
| 4 | 1119 | 21 |
| 5 | 4909 | 21 |
| done | 5000 | 21 |
| 0 | 20 | 29 |
| 1 | 40 | 29 |
| 2 | 96 | 28 |
| 3 | 289 | 21 |
| 4 | 1107 | 21 |
| 5 | 4865 | 21 |
| done | 5000 | 21 |
| 0 | 19 | 28 |
| 1 | 39 | 28 |
| 2 | 100 | 24 |
| 3 | 301 | 24 |
| 4 | 1168 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 27 |
| 1 | 37 | 27 |
| 2 | 92 | 23 |
| 3 | 282 | 21 |
| 4 | 1094 | 21 |
| 5 | 4603 | 21 |
| done | 5000 | 21 |
| 0 | 19 | 30 |
| 1 | 40 | 30 |
| 2 | 100 | 22 |
| 3 | 311 | 22 |
| 4 | 1031 | 20 |
| 5 | 4031 | 20 |
| done | 5000 | 20 |
| 0 | 19 | 30 |
| 1 | 40 | 30 |
| 2 | 100 | 22 |
| 3 | 311 | 22 |
| 4 | 1031 | 20 |
| 5 | 4031 | 20 |
| done | 5000 | 20 |
| 0 | 21 | 30 |
| 1 | 46 | 30 |
| 2 | 113 | 26 |
| 3 | 352 | 22 |
| 4 | 1436 | 20 |
| done | 5000 | 20 |
| 0 | 19 | 30 |
| 1 | 40 | 30 |
| 2 | 100 | 22 |
| 3 | 311 | 22 |
| 4 | 1031 | 20 |
| 5 | 4031 | 20 |
| done | 5000 | 20 |
| 0 | 19 | 30 |
| 1 | 40 | 30 |
| 2 | 100 | 22 |
| 3 | 311 | 22 |
| 4 | 1031 | 20 |
| 5 | 4031 | 20 |
| done | 5000 | 20 |
| 0 | 21 | 30 |
| 1 | 46 | 30 |
| 2 | 113 | 26 |
| 3 | 352 | 22 |
| 4 | 1436 | 20 |
| done | 5000 | 20 |
| 0 | 21 | 30 |
| 1 | 46 | 30 |
| 2 | 113 | 26 |
| 3 | 352 | 22 |
| 4 | 1437 | 20 |
| done | 5000 | 20 |
| 0 | 21 | 30 |
| 1 | 46 | 30 |
| 2 | 113 | 26 |
| 3 | 352 | 22 |
| 4 | 1437 | 20 |
| done | 5000 | 20 |
| 0 | 19 | 30 |
| 1 | 42 | 30 |
| 2 | 111 | 22 |
| 3 | 364 | 22 |
| 4 | 1438 | 20 |
| done | 5000 | 20 |
| 0 | 21 | 29 |
| 1 | 46 | 29 |
| 2 | 115 | 28 |
| 3 | 350 | 21 |
| 4 | 1459 | 20 |
| done | 5000 | 20 |
| 0 | 21 | 29 |
| 1 | 46 | 29 |
| 2 | 115 | 28 |
| 3 | 350 | 21 |
| 4 | 1459 | 20 |
| done | 5000 | 20 |
| 0 | 20 | 29 |
| 1 | 43 | 29 |
| 2 | 106 | 28 |
| 3 | 335 | 21 |
| 4 | 1438 | 20 |
| done | 5000 | 20 |
| 0 | 19 | 28 |
| 1 | 42 | 28 |
| 2 | 109 | 24 |
| 3 | 341 | 24 |
| 4 | 1451 | 21 |
| done | 5000 | 20 |
| 0 | 18 | 27 |
| 1 | 40 | 27 |
| 2 | 101 | 23 |
| 3 | 316 | 21 |
| 4 | 1318 | 21 |
| done | 5000 | 21 |
| 0 | 17 | 26 |
| 1 | 37 | 26 |
| 2 | 115 | 22 |
| 3 | 461 | 21 |
| 4 | 2279 | 21 |
| done | 5001 | 20 |
| 0 | 16 | 25 |
| 1 | 36 | 25 |
| 2 | 118 | 21 |
| 3 | 503 | 21 |
| 4 | 2604 | 20 |
| done | 5001 | 19 |
| 0 | 16 | 25 |
| 1 | 33 | 25 |
| 2 | 104 | 21 |
| 3 | 431 | 21 |
| 4 | 2127 | 21 |
| done | 5001 | 19 |
| 0 | 23 | 74 |
| 1 | 63 | 64 |
| 2 | 317 | 36 |
| 3 | 3114 | 24 |
| done | 5000 | 24 |
| 0 | 25 | 74 |
| 1 | 70 | 64 |
| 2 | 343 | 34 |
| 3 | 3262 | 32 |
| done | 5000 | 32 |
| 0 | 23 | 74 |
| 1 | 64 | 72 |
| 2 | 318 | 28 |
| 3 | 2970 | 26 |
| done | 5000 | 26 |
| 0 | 21 | 74 |
| 1 | 59 | 72 |
| 2 | 286 | 26 |
| 3 | 2566 | 24 |
| done | 5000 | 24 |
| 0 | 19 | 74 |
| 1 | 52 | 74 |
| 2 | 275 | 24 |
| 3 | 2998 | 22 |
| done | 5000 | 22 |
| 0 | 17 | 51 |
| 1 | 34 | 51 |
| 2 | 105 | 43 |
| 3 | 426 | 43 |
| 4 | 2100 | 43 |
| done | 5000 | 39 |
| 0 | 16 | 25 |
| 1 | 33 | 25 |
| 2 | 104 | 21 |
| 3 | 431 | 21 |
| 4 | 2127 | 21 |
| done | 5001 | 19 |
| 0 | 17 | 74 |
| 1 | 41 | 74 |
| 2 | 169 | 22 |
| 3 | 1546 | 22 |
| done | 5000 | 22 |
| 0 | 16 | 25 |
| 1 | 33 | 25 |
| 2 | 104 | 21 |
| 3 | 431 | 21 |
| 4 | 2127 | 21 |
| done | 5001 | 19 |
| 0 | 16 | 25 |
| 1 | 33 | 25 |
| 2 | 104 | 21 |
| 3 | 431 | 21 |
| 4 | 2127 | 21 |
| done | 5001 | 19 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 13 | 20 |
| 1 | 31 | 20 |
| 2 | 115 | 16 |
| 3 | 556 | 16 |
| 4 | 3271 | 16 |
| done | 5000 | 14 |
| 0 | 9 | 15 |
| 1 | 16 | 15 |
| 2 | 28 | 15 |
| 3 | 64 | 15 |
| 4 | 160 | 15 |
| 5 | 474 | 15 |
| 6 | 1724 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 21 |
| 1 | 25 | 21 |
| 2 | 65 | 17 |
| 3 | 202 | 17 |
| 4 | 643 | 17 |
| 5 | 2347 | 15 |
| done | 5001 | 15 |
| 0 | 8 | 9 |
| 1 | 13 | 9 |
| 2 | 20 | 9 |
| 3 | 42 | 9 |
| 4 | 95 | 9 |
| 5 | 234 | 9 |
| 6 | 714 | 9 |
| 7 | 2565 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 21 |
| 1 | 25 | 21 |
| 2 | 65 | 17 |
| 3 | 202 | 17 |
| 4 | 643 | 17 |
| 5 | 2347 | 15 |
| done | 5001 | 15 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 18 | 5 |
| 3 | 40 | 5 |
| 4 | 92 | 5 |
| 5 | 233 | 5 |
| 6 | 713 | 5 |
| 7 | 2551 | 5 |
| done | 5000 | 5 |
| 0 | 12 | 20 |
| 1 | 24 | 20 |
| 2 | 64 | 16 |
| 3 | 202 | 16 |
| 4 | 645 | 16 |
| 5 | 2355 | 14 |
| done | 5001 | 14 |
| 0 | 14 | 21 |
| 1 | 32 | 21 |
| 2 | 103 | 17 |
| 3 | 424 | 17 |
| 4 | 2136 | 17 |
| done | 5001 | 15 |
| 0 | 15 | 24 |
| 1 | 32 | 24 |
| 2 | 104 | 20 |
| 3 | 463 | 20 |
| 4 | 2495 | 20 |
| done | 5000 | 18 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 19 | 8 |
| 3 | 41 | 8 |
| 4 | 94 | 8 |
| 5 | 235 | 8 |
| 6 | 713 | 8 |
| 7 | 2565 | 8 |
| done | 5000 | 8 |
| 0 | 16 | 25 |
| 1 | 33 | 25 |
| 2 | 105 | 21 |
| 3 | 460 | 21 |
| 4 | 2486 | 21 |
| done | 5001 | 19 |
| 0 | 16 | 25 |
| 1 | 33 | 25 |
| 2 | 105 | 21 |
| 3 | 460 | 21 |
| 4 | 2486 | 21 |
| done | 5001 | 19 |
| 0 | 15 | 24 |
| 1 | 32 | 24 |
| 2 | 104 | 20 |
| 3 | 463 | 20 |
| 4 | 2495 | 20 |
| done | 5000 | 18 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 6 | 11 |
| 1 | 7 | 11 |
| done | 7 | 11 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 6 | 14 |
| 1 | 8 | 14 |
| 2 | 10 | 6 |
| 3 | 15 | 6 |
| 4 | 21 | 6 |
| 5 | 31 | 6 |
| 6 | 54 | 6 |
| 7 | 110 | 6 |
| 8 | 319 | 6 |
| 9 | 1259 | 6 |
| done | 5001 | 6 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 22 | 27 |
| 1 | 54 | 25 |
| 2 | 117 | 21 |
| 3 | 301 | 17 |
| 4 | 853 | 17 |
| 5 | 3342 | 17 |
| done | 5000 | 17 |
| 0 | 25 | 33 |
| 1 | 65 | 29 |
| 2 | 149 | 25 |
| 3 | 378 | 23 |
| 4 | 1089 | 21 |
| 5 | 4192 | 21 |
| done | 5000 | 21 |
| 0 | 28 | 35 |
| 1 | 70 | 33 |
| 2 | 165 | 29 |
| 3 | 504 | 25 |
| 4 | 2212 | 25 |
| done | 5001 | 25 |
| 0 | 12 | 12 |
| 1 | 29 | 11 |
| 2 | 50 | 9 |
| 3 | 118 | 7 |
| 4 | 393 | 7 |
| 5 | 1424 | 7 |
| done | 5001 | 7 |
| 0 | 17 | 20 |
| 1 | 42 | 18 |
| 2 | 93 | 16 |
| 3 | 224 | 15 |
| 4 | 589 | 14 |
| 5 | 2003 | 14 |
| done | 5000 | 14 |
| 0 | 19 | 22 |
| 1 | 47 | 21 |
| 2 | 105 | 19 |
| 3 | 277 | 17 |
| 4 | 855 | 17 |
| 5 | 3755 | 17 |
| done | 5001 | 17 |
| 0 | 26 | 59 |
| 1 | 65 | 55 |
| 2 | 146 | 27 |
| 3 | 448 | 23 |
| 4 | 1635 | 23 |
| done | 5000 | 23 |
| 0 | 27 | 36 |
| 1 | 68 | 32 |
| 2 | 147 | 28 |
| 3 | 381 | 26 |
| 4 | 1225 | 24 |
| done | 5001 | 24 |
| 0 | 31 | 40 |
| 1 | 76 | 38 |
| 2 | 173 | 34 |
| 3 | 556 | 30 |
| 4 | 2666 | 30 |
| done | 5000 | 30 |
| 0 | 12 | 13 |
| 1 | 28 | 13 |
| 2 | 73 | 13 |
| 3 | 186 | 13 |
| 4 | 554 | 13 |
| 5 | 1272 | 13 |
| 6 | 4386 | 13 |
| done | 5000 | 13 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
14 alts after pruning (14 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 166 | 9 | 175 |
| Fresh | 7 | 5 | 12 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 174 | 14 | 188 |
Merged error: 2.2b
Found 4 expressions with local error:
| 0.2b | (cos (* 2.0 x)) |
| 0.4b | (/ (cos (* 2.0 x)) (* (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))) (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))))) |
| 6.5b | (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))) |
| 6.5b | (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))) |
| 61× | add-exp-log |
| 43× | prod-exp |
| 19× | add-cbrt-cube |
| 14× | pow-to-exp associate-*l* pow-exp |
| 10× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 7× | cbrt-unprod |
| 6× | unpow-prod-down |
| 4× | pow1 add-log-exp |
| 3× | times-frac associate-/l* |
| 2× | cbrt-undiv div-exp associate-*r* *-commutative sqr-pow |
| 1× | frac-2neg clear-num associate-/r* div-inv |
| 2.0ms | (cos (* 2.0 x)) |
| 5.0ms | (/ (cos (* 2.0 x)) (* (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))) (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))))) |
| 7.0ms | (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))) |
| 10.0ms | (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))) |
| 2.0ms | (cos (* 2.0 x)) |
| 46.0ms | (/ (cos (* 2.0 x)) (* (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))) (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))))) |
| 70.0ms | (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))) |
| 67.0ms | (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 34 | 16 |
| 3 | 46 | 12 |
| 4 | 56 | 12 |
| 5 | 63 | 12 |
| 6 | 64 | 12 |
| 7 | 66 | 12 |
| 8 | 67 | 12 |
| done | 67 | 12 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 34 | 16 |
| 3 | 46 | 12 |
| 4 | 56 | 12 |
| 5 | 63 | 12 |
| 6 | 64 | 12 |
| 7 | 66 | 12 |
| 8 | 67 | 12 |
| done | 67 | 12 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 12 |
| 4 | 215 | 12 |
| 5 | 577 | 12 |
| 6 | 2093 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 47 | 15 |
| 3 | 107 | 12 |
| 4 | 264 | 12 |
| 5 | 739 | 12 |
| 6 | 2704 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 34 | 16 |
| 3 | 46 | 12 |
| 4 | 56 | 12 |
| 5 | 63 | 12 |
| 6 | 64 | 12 |
| 7 | 66 | 12 |
| 8 | 67 | 12 |
| done | 67 | 12 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 34 | 16 |
| 3 | 46 | 12 |
| 4 | 56 | 12 |
| 5 | 63 | 12 |
| 6 | 64 | 12 |
| 7 | 66 | 12 |
| 8 | 67 | 12 |
| done | 67 | 12 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 12 |
| 4 | 215 | 12 |
| 5 | 577 | 12 |
| 6 | 2093 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 47 | 15 |
| 3 | 107 | 12 |
| 4 | 264 | 12 |
| 5 | 739 | 12 |
| 6 | 2704 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 12 |
| 4 | 213 | 12 |
| 5 | 574 | 12 |
| 6 | 2094 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 12 |
| 4 | 213 | 12 |
| 5 | 574 | 12 |
| 6 | 2094 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 26 | 16 |
| 2 | 53 | 16 |
| 3 | 127 | 12 |
| 4 | 351 | 12 |
| 5 | 1232 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 24 | 15 |
| 2 | 53 | 15 |
| 3 | 132 | 12 |
| 4 | 388 | 12 |
| 5 | 1343 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 14 |
| 1 | 23 | 14 |
| 2 | 63 | 14 |
| 3 | 194 | 14 |
| 4 | 703 | 12 |
| 5 | 3268 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 60 | 14 |
| 3 | 198 | 14 |
| 4 | 750 | 14 |
| 5 | 3567 | 14 |
| done | 5001 | 14 |
| 0 | 16 | 41 |
| 1 | 37 | 33 |
| 2 | 146 | 19 |
| 3 | 733 | 19 |
| done | 5001 | 19 |
| 0 | 14 | 41 |
| 1 | 38 | 37 |
| 2 | 150 | 17 |
| 3 | 803 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 29 |
| 1 | 21 | 29 |
| 2 | 50 | 29 |
| 3 | 144 | 29 |
| 4 | 513 | 29 |
| 5 | 2360 | 29 |
| done | 5000 | 29 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 143 | 14 |
| 4 | 497 | 14 |
| 5 | 2305 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 41 |
| 1 | 31 | 41 |
| 2 | 138 | 15 |
| 3 | 834 | 15 |
| done | 5000 | 15 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 143 | 14 |
| 4 | 497 | 14 |
| 5 | 2305 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 143 | 14 |
| 4 | 497 | 14 |
| 5 | 2305 | 14 |
| done | 5000 | 14 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 23 | 7 |
| 3 | 52 | 7 |
| 4 | 125 | 7 |
| 5 | 337 | 7 |
| 6 | 1153 | 7 |
| 7 | 4348 | 7 |
| done | 5000 | 7 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 139 | 14 |
| 4 | 490 | 14 |
| 5 | 2287 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 139 | 14 |
| 4 | 490 | 14 |
| 5 | 2287 | 14 |
| done | 5000 | 14 |
| 0 | 10 | 13 |
| 1 | 19 | 13 |
| 2 | 48 | 13 |
| 3 | 142 | 13 |
| 4 | 503 | 13 |
| 5 | 2312 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 43 | 14 |
| 3 | 97 | 14 |
| 4 | 250 | 14 |
| 5 | 711 | 14 |
| 6 | 2491 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 44 | 14 |
| 3 | 98 | 14 |
| 4 | 249 | 14 |
| 5 | 719 | 14 |
| 6 | 2487 | 14 |
| done | 5000 | 14 |
| 0 | 10 | 13 |
| 1 | 19 | 13 |
| 2 | 48 | 13 |
| 3 | 142 | 13 |
| 4 | 503 | 13 |
| 5 | 2312 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 15 |
| 1 | 23 | 13 |
| 2 | 54 | 13 |
| 3 | 151 | 13 |
| 4 | 518 | 13 |
| 5 | 2368 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 34 | 16 |
| 3 | 46 | 12 |
| 4 | 56 | 12 |
| 5 | 63 | 12 |
| 6 | 64 | 12 |
| 7 | 66 | 12 |
| 8 | 67 | 12 |
| done | 67 | 12 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 34 | 16 |
| 3 | 46 | 12 |
| 4 | 56 | 12 |
| 5 | 63 | 12 |
| 6 | 64 | 12 |
| 7 | 66 | 12 |
| 8 | 67 | 12 |
| done | 67 | 12 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 12 |
| 4 | 215 | 12 |
| 5 | 577 | 12 |
| 6 | 2093 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 47 | 15 |
| 3 | 107 | 12 |
| 4 | 264 | 12 |
| 5 | 739 | 12 |
| 6 | 2704 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 34 | 16 |
| 3 | 46 | 12 |
| 4 | 56 | 12 |
| 5 | 63 | 12 |
| 6 | 64 | 12 |
| 7 | 66 | 12 |
| 8 | 67 | 12 |
| done | 67 | 12 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 34 | 16 |
| 3 | 46 | 12 |
| 4 | 56 | 12 |
| 5 | 63 | 12 |
| 6 | 64 | 12 |
| 7 | 66 | 12 |
| 8 | 67 | 12 |
| done | 67 | 12 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 12 |
| 4 | 215 | 12 |
| 5 | 577 | 12 |
| 6 | 2093 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 47 | 15 |
| 3 | 107 | 12 |
| 4 | 264 | 12 |
| 5 | 739 | 12 |
| 6 | 2704 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 12 |
| 4 | 213 | 12 |
| 5 | 574 | 12 |
| 6 | 2094 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 25 | 16 |
| 2 | 47 | 16 |
| 3 | 96 | 12 |
| 4 | 213 | 12 |
| 5 | 574 | 12 |
| 6 | 2094 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 26 | 16 |
| 2 | 53 | 16 |
| 3 | 127 | 12 |
| 4 | 351 | 12 |
| 5 | 1232 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 15 |
| 1 | 24 | 15 |
| 2 | 53 | 15 |
| 3 | 132 | 12 |
| 4 | 388 | 12 |
| 5 | 1343 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 14 |
| 1 | 23 | 14 |
| 2 | 63 | 14 |
| 3 | 194 | 14 |
| 4 | 703 | 12 |
| 5 | 3268 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 60 | 14 |
| 3 | 198 | 14 |
| 4 | 750 | 14 |
| 5 | 3567 | 14 |
| done | 5001 | 14 |
| 0 | 16 | 41 |
| 1 | 37 | 33 |
| 2 | 146 | 19 |
| 3 | 733 | 19 |
| done | 5001 | 19 |
| 0 | 14 | 41 |
| 1 | 38 | 37 |
| 2 | 150 | 17 |
| 3 | 803 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 29 |
| 1 | 21 | 29 |
| 2 | 50 | 29 |
| 3 | 144 | 29 |
| 4 | 513 | 29 |
| 5 | 2360 | 29 |
| done | 5000 | 29 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 143 | 14 |
| 4 | 497 | 14 |
| 5 | 2305 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 41 |
| 1 | 31 | 41 |
| 2 | 138 | 15 |
| 3 | 834 | 15 |
| done | 5000 | 15 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 143 | 14 |
| 4 | 497 | 14 |
| 5 | 2305 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 143 | 14 |
| 4 | 497 | 14 |
| 5 | 2305 | 14 |
| done | 5000 | 14 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 23 | 7 |
| 3 | 52 | 7 |
| 4 | 125 | 7 |
| 5 | 337 | 7 |
| 6 | 1153 | 7 |
| 7 | 4348 | 7 |
| done | 5000 | 7 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 139 | 14 |
| 4 | 490 | 14 |
| 5 | 2287 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 49 | 14 |
| 3 | 139 | 14 |
| 4 | 490 | 14 |
| 5 | 2287 | 14 |
| done | 5000 | 14 |
| 0 | 10 | 13 |
| 1 | 19 | 13 |
| 2 | 48 | 13 |
| 3 | 142 | 13 |
| 4 | 503 | 13 |
| 5 | 2312 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 43 | 14 |
| 3 | 97 | 14 |
| 4 | 250 | 14 |
| 5 | 711 | 14 |
| 6 | 2491 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 44 | 14 |
| 3 | 98 | 14 |
| 4 | 249 | 14 |
| 5 | 719 | 14 |
| 6 | 2487 | 14 |
| done | 5000 | 14 |
| 0 | 10 | 13 |
| 1 | 19 | 13 |
| 2 | 48 | 13 |
| 3 | 142 | 13 |
| 4 | 503 | 13 |
| 5 | 2312 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 15 |
| 1 | 23 | 13 |
| 2 | 54 | 13 |
| 3 | 151 | 13 |
| 4 | 518 | 13 |
| 5 | 2368 | 13 |
| done | 5000 | 13 |
| 0 | 17 | 37 |
| 1 | 32 | 23 |
| 2 | 71 | 23 |
| 3 | 168 | 23 |
| 4 | 533 | 23 |
| 5 | 2387 | 23 |
| done | 5000 | 23 |
| 0 | 17 | 36 |
| 1 | 31 | 36 |
| 2 | 66 | 23 |
| 3 | 166 | 23 |
| 4 | 521 | 23 |
| 5 | 2340 | 23 |
| done | 5001 | 23 |
| 0 | 16 | 35 |
| 1 | 31 | 35 |
| 2 | 66 | 35 |
| 3 | 163 | 23 |
| 4 | 520 | 23 |
| 5 | 2393 | 23 |
| done | 5000 | 23 |
| 0 | 16 | 35 |
| 1 | 28 | 35 |
| 2 | 57 | 35 |
| 3 | 147 | 35 |
| 4 | 497 | 35 |
| 5 | 2286 | 35 |
| done | 5001 | 35 |
| 0 | 19 | 104 |
| 1 | 44 | 104 |
| 2 | 142 | 40 |
| 3 | 464 | 23 |
| 4 | 1238 | 23 |
| 5 | 4100 | 23 |
| done | 5000 | 23 |
| 0 | 19 | 104 |
| 1 | 45 | 104 |
| 2 | 142 | 38 |
| 3 | 481 | 23 |
| 4 | 1296 | 23 |
| 5 | 4257 | 23 |
| done | 5000 | 23 |
| 0 | 17 | 71 |
| 1 | 29 | 71 |
| 2 | 58 | 71 |
| 3 | 148 | 71 |
| 4 | 500 | 71 |
| 5 | 2316 | 71 |
| done | 5001 | 71 |
| 0 | 16 | 35 |
| 1 | 28 | 35 |
| 2 | 57 | 35 |
| 3 | 147 | 35 |
| 4 | 497 | 35 |
| 5 | 2286 | 35 |
| done | 5001 | 35 |
| 0 | 17 | 104 |
| 1 | 36 | 104 |
| 2 | 102 | 36 |
| 3 | 328 | 36 |
| 4 | 1006 | 36 |
| 5 | 3122 | 23 |
| done | 5000 | 23 |
| 0 | 16 | 35 |
| 1 | 28 | 35 |
| 2 | 57 | 35 |
| 3 | 147 | 35 |
| 4 | 497 | 35 |
| 5 | 2286 | 35 |
| done | 5001 | 35 |
| 0 | 16 | 35 |
| 1 | 28 | 35 |
| 2 | 57 | 35 |
| 3 | 147 | 35 |
| 4 | 497 | 35 |
| 5 | 2286 | 35 |
| done | 5001 | 35 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 13 | 30 |
| 1 | 25 | 30 |
| 2 | 54 | 30 |
| 3 | 148 | 30 |
| 4 | 513 | 30 |
| 5 | 2299 | 30 |
| done | 5000 | 30 |
| 0 | 16 | 26 |
| 1 | 28 | 26 |
| 2 | 59 | 26 |
| 3 | 152 | 26 |
| 4 | 497 | 26 |
| 5 | 2299 | 26 |
| done | 5000 | 26 |
| 0 | 15 | 20 |
| 1 | 25 | 20 |
| 2 | 54 | 20 |
| 3 | 144 | 20 |
| 4 | 489 | 20 |
| 5 | 2331 | 20 |
| done | 5000 | 20 |
| 0 | 15 | 20 |
| 1 | 25 | 20 |
| 2 | 54 | 20 |
| 3 | 144 | 20 |
| 4 | 489 | 20 |
| 5 | 2331 | 20 |
| done | 5000 | 20 |
| 0 | 15 | 20 |
| 1 | 25 | 20 |
| 2 | 54 | 20 |
| 3 | 144 | 20 |
| 4 | 489 | 20 |
| 5 | 2331 | 20 |
| done | 5000 | 20 |
| 0 | 13 | 16 |
| 1 | 24 | 16 |
| 2 | 53 | 16 |
| 3 | 145 | 16 |
| 4 | 491 | 16 |
| 5 | 2272 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 19 |
| 1 | 24 | 19 |
| 2 | 53 | 19 |
| 3 | 143 | 19 |
| 4 | 492 | 19 |
| 5 | 2310 | 19 |
| done | 5000 | 19 |
| 0 | 14 | 31 |
| 1 | 27 | 31 |
| 2 | 56 | 31 |
| 3 | 148 | 31 |
| 4 | 506 | 31 |
| 5 | 2344 | 31 |
| done | 5000 | 31 |
| 0 | 15 | 34 |
| 1 | 27 | 34 |
| 2 | 58 | 34 |
| 3 | 153 | 34 |
| 4 | 520 | 34 |
| 5 | 2369 | 34 |
| done | 5000 | 34 |
| 0 | 14 | 19 |
| 1 | 24 | 19 |
| 2 | 53 | 19 |
| 3 | 143 | 19 |
| 4 | 492 | 19 |
| 5 | 2310 | 19 |
| done | 5000 | 19 |
| 0 | 16 | 35 |
| 1 | 28 | 35 |
| 2 | 59 | 35 |
| 3 | 156 | 35 |
| 4 | 511 | 35 |
| 5 | 2357 | 35 |
| done | 5000 | 35 |
| 0 | 16 | 35 |
| 1 | 28 | 35 |
| 2 | 59 | 35 |
| 3 | 156 | 35 |
| 4 | 511 | 35 |
| 5 | 2357 | 35 |
| done | 5000 | 35 |
| 0 | 15 | 34 |
| 1 | 27 | 34 |
| 2 | 58 | 34 |
| 3 | 153 | 34 |
| 4 | 520 | 34 |
| 5 | 2369 | 34 |
| done | 5000 | 34 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 6 | 11 |
| 1 | 7 | 11 |
| done | 7 | 11 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 6 | 14 |
| 1 | 8 | 14 |
| 2 | 10 | 6 |
| 3 | 15 | 6 |
| 4 | 21 | 6 |
| 5 | 31 | 6 |
| 6 | 54 | 6 |
| 7 | 110 | 6 |
| 8 | 319 | 6 |
| 9 | 1259 | 6 |
| done | 5001 | 6 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 22 | 31 |
| 1 | 59 | 27 |
| 2 | 121 | 23 |
| 3 | 283 | 21 |
| 4 | 790 | 19 |
| 5 | 2934 | 19 |
| done | 5000 | 19 |
| 0 | 25 | 33 |
| 1 | 64 | 31 |
| 2 | 137 | 27 |
| 3 | 428 | 23 |
| 4 | 1937 | 23 |
| done | 5000 | 23 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 22 | 31 |
| 1 | 59 | 27 |
| 2 | 121 | 23 |
| 3 | 283 | 21 |
| 4 | 790 | 19 |
| 5 | 2934 | 19 |
| done | 5000 | 19 |
| 0 | 25 | 33 |
| 1 | 64 | 31 |
| 2 | 137 | 27 |
| 3 | 428 | 23 |
| 4 | 1937 | 23 |
| done | 5000 | 23 |
| 0 | 19 | 37 |
| 1 | 42 | 37 |
| 2 | 122 | 37 |
| 3 | 451 | 37 |
| 4 | 1895 | 37 |
| done | 5001 | 37 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 70 | 19 |
| 3 | 170 | 19 |
| 4 | 493 | 19 |
| 5 | 1938 | 19 |
| done | 5000 | 19 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 70 | 19 |
| 3 | 170 | 19 |
| 4 | 493 | 19 |
| 5 | 1938 | 19 |
| done | 5000 | 19 |
| 0 | 12 | 13 |
| 1 | 28 | 13 |
| 2 | 73 | 13 |
| 3 | 186 | 13 |
| 4 | 554 | 13 |
| 5 | 1272 | 13 |
| 6 | 4386 | 13 |
| done | 5000 | 13 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 92 | 8 | 100 |
| Fresh | 9 | 4 | 13 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 102 | 12 | 114 |
Merged error: 0.1b
Found 4 expressions with local error:
| 0.2b | (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2) |
| 0.2b | (cos (* 2.0 x)) |
| 0.4b | (/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2)) |
| 5.2b | (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x) |
| 36× | add-exp-log |
| 28× | add-sqr-sqrt |
| 25× | add-cube-cbrt *-un-lft-identity |
| 24× | times-frac |
| 21× | prod-exp |
| 18× | pow-exp |
| 16× | unpow-prod-down |
| 9× | pow-to-exp |
| 8× | associate-/r* add-cbrt-cube |
| 7× | sqr-pow |
| 5× | pow1 associate-*l* unpow2 |
| 4× | add-log-exp |
| 3× | pow-unpow div-exp associate-*r* associate-/l* |
| 2× | unswap-sqr |
| 1× | cbrt-undiv pow-pow frac-2neg clear-num *-commutative cbrt-unprod div-inv |
| 2.0ms | (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2) |
| 2.0ms | (cos (* 2.0 x)) |
| 5.0ms | (/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2)) |
| 7.0ms | (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x) |
| 16.0ms | (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2) |
| 2.0ms | (cos (* 2.0 x)) |
| 46.0ms | (/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2)) |
| 101.0ms | (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 14 |
| 1 | 19 | 12 |
| 2 | 31 | 12 |
| 3 | 44 | 12 |
| done | 44 | 12 |
| 0 | 12 | 14 |
| 1 | 19 | 12 |
| 2 | 31 | 12 |
| 3 | 44 | 12 |
| done | 44 | 12 |
| 0 | 12 | 14 |
| 1 | 22 | 14 |
| 2 | 42 | 12 |
| 3 | 89 | 12 |
| 4 | 196 | 12 |
| 5 | 620 | 12 |
| 6 | 2422 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 14 |
| 1 | 19 | 12 |
| 2 | 31 | 12 |
| 3 | 44 | 12 |
| done | 44 | 12 |
| 0 | 12 | 14 |
| 1 | 19 | 12 |
| 2 | 31 | 12 |
| 3 | 44 | 12 |
| done | 44 | 12 |
| 0 | 12 | 14 |
| 1 | 22 | 14 |
| 2 | 42 | 12 |
| 3 | 89 | 12 |
| 4 | 196 | 12 |
| 5 | 620 | 12 |
| 6 | 2422 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 14 |
| 1 | 22 | 14 |
| 2 | 42 | 12 |
| 3 | 89 | 12 |
| 4 | 198 | 12 |
| 5 | 620 | 12 |
| 6 | 2397 | 12 |
| done | 5001 | 12 |
| 0 | 12 | 14 |
| 1 | 22 | 14 |
| 2 | 42 | 12 |
| 3 | 89 | 12 |
| 4 | 198 | 12 |
| 5 | 620 | 12 |
| 6 | 2397 | 12 |
| done | 5001 | 12 |
| 0 | 12 | 14 |
| 1 | 25 | 14 |
| 2 | 51 | 12 |
| 3 | 120 | 12 |
| 4 | 321 | 12 |
| 5 | 1229 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 13 |
| 1 | 23 | 13 |
| 2 | 58 | 13 |
| 3 | 170 | 12 |
| 4 | 592 | 12 |
| 5 | 2758 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 13 |
| 1 | 23 | 13 |
| 2 | 58 | 13 |
| 3 | 170 | 12 |
| 4 | 592 | 12 |
| 5 | 2758 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 13 |
| 1 | 23 | 13 |
| 2 | 53 | 13 |
| 3 | 162 | 13 |
| 4 | 625 | 12 |
| 5 | 3090 | 12 |
| done | 5001 | 12 |
| 0 | 10 | 12 |
| 1 | 23 | 12 |
| 2 | 55 | 12 |
| 3 | 165 | 12 |
| 4 | 641 | 12 |
| 5 | 3130 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 22 | 12 |
| 2 | 56 | 12 |
| 3 | 152 | 12 |
| 4 | 494 | 12 |
| 5 | 2042 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 35 |
| 1 | 31 | 27 |
| 2 | 95 | 15 |
| 3 | 317 | 15 |
| 4 | 1240 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 25 |
| 1 | 21 | 25 |
| 2 | 48 | 25 |
| 3 | 136 | 25 |
| 4 | 419 | 25 |
| 5 | 1746 | 25 |
| done | 5000 | 25 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 47 | 12 |
| 3 | 132 | 12 |
| 4 | 421 | 12 |
| 5 | 1781 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 35 |
| 1 | 31 | 35 |
| 2 | 100 | 13 |
| 3 | 353 | 13 |
| 4 | 1317 | 13 |
| done | 5001 | 13 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 47 | 12 |
| 3 | 132 | 12 |
| 4 | 421 | 12 |
| 5 | 1781 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 47 | 12 |
| 3 | 132 | 12 |
| 4 | 421 | 12 |
| 5 | 1781 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 45 | 13 |
| 3 | 125 | 13 |
| 4 | 393 | 13 |
| 5 | 1697 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 45 | 13 |
| 3 | 125 | 13 |
| 4 | 393 | 13 |
| 5 | 1697 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 14 |
| 1 | 21 | 14 |
| 2 | 52 | 14 |
| 3 | 140 | 14 |
| 4 | 427 | 14 |
| 5 | 1824 | 14 |
| done | 5001 | 14 |
| 0 | 12 | 14 |
| 1 | 21 | 14 |
| 2 | 52 | 14 |
| 3 | 140 | 14 |
| 4 | 427 | 14 |
| 5 | 1824 | 14 |
| done | 5001 | 14 |
| 0 | 11 | 15 |
| 1 | 23 | 15 |
| 2 | 57 | 15 |
| 3 | 154 | 15 |
| 4 | 480 | 15 |
| 5 | 1977 | 15 |
| done | 5001 | 15 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 47 | 12 |
| 3 | 133 | 12 |
| 4 | 422 | 12 |
| 5 | 1750 | 12 |
| done | 5001 | 12 |
| 0 | 9 | 11 |
| 1 | 21 | 9 |
| 2 | 51 | 9 |
| 3 | 144 | 9 |
| 4 | 425 | 9 |
| 5 | 1728 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 7 |
| 1 | 13 | 7 |
| 2 | 25 | 7 |
| 3 | 60 | 7 |
| 4 | 146 | 7 |
| 5 | 395 | 7 |
| 6 | 1272 | 7 |
| 7 | 4953 | 7 |
| done | 5000 | 7 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 43 | 12 |
| 3 | 120 | 12 |
| 4 | 385 | 12 |
| 5 | 1687 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 44 | 12 |
| 3 | 121 | 12 |
| 4 | 391 | 12 |
| 5 | 1688 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 46 | 11 |
| 3 | 134 | 11 |
| 4 | 419 | 11 |
| 5 | 1776 | 11 |
| done | 5001 | 11 |
| 0 | 11 | 13 |
| 1 | 20 | 13 |
| 2 | 51 | 13 |
| 3 | 135 | 13 |
| 4 | 420 | 13 |
| 5 | 1769 | 13 |
| done | 5000 | 13 |
| 0 | 18 | 21 |
| 1 | 31 | 21 |
| 2 | 66 | 21 |
| 3 | 147 | 21 |
| 4 | 424 | 21 |
| 5 | 1799 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 21 |
| 1 | 31 | 21 |
| 2 | 66 | 21 |
| 3 | 147 | 21 |
| 4 | 424 | 21 |
| 5 | 1799 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 21 |
| 1 | 37 | 21 |
| 2 | 80 | 21 |
| 3 | 179 | 21 |
| 4 | 525 | 21 |
| 5 | 2137 | 21 |
| done | 5000 | 21 |
| 0 | 17 | 20 |
| 1 | 35 | 20 |
| 2 | 79 | 20 |
| 3 | 191 | 20 |
| 4 | 562 | 20 |
| 5 | 2196 | 20 |
| done | 5000 | 20 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 174 | 20 |
| 4 | 495 | 20 |
| 5 | 1925 | 20 |
| done | 5000 | 20 |
| 0 | 20 | 59 |
| 1 | 47 | 44 |
| 2 | 149 | 23 |
| 3 | 452 | 21 |
| 4 | 1807 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 41 |
| 1 | 33 | 41 |
| 2 | 72 | 41 |
| 3 | 172 | 41 |
| 4 | 497 | 41 |
| 5 | 1934 | 41 |
| done | 5000 | 41 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 174 | 20 |
| 4 | 495 | 20 |
| 5 | 1925 | 20 |
| done | 5000 | 20 |
| 0 | 18 | 59 |
| 1 | 40 | 59 |
| 2 | 113 | 21 |
| 3 | 360 | 21 |
| 4 | 1482 | 21 |
| done | 5001 | 21 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 174 | 20 |
| 4 | 495 | 20 |
| 5 | 1925 | 20 |
| done | 5000 | 20 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 174 | 20 |
| 4 | 495 | 20 |
| 5 | 1925 | 20 |
| done | 5000 | 20 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 68 | 15 |
| 3 | 173 | 15 |
| 4 | 501 | 15 |
| 5 | 1971 | 15 |
| done | 5000 | 15 |
| 0 | 20 | 41 |
| 1 | 37 | 41 |
| 2 | 88 | 41 |
| 3 | 225 | 41 |
| 4 | 659 | 27 |
| 5 | 2512 | 27 |
| done | 5000 | 27 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 72 | 21 |
| 3 | 167 | 21 |
| 4 | 484 | 21 |
| 5 | 1928 | 21 |
| done | 5001 | 21 |
| 0 | 19 | 27 |
| 1 | 36 | 27 |
| 2 | 83 | 24 |
| 3 | 197 | 24 |
| 4 | 550 | 24 |
| 5 | 2143 | 24 |
| done | 5000 | 24 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 72 | 18 |
| 3 | 168 | 18 |
| 4 | 485 | 18 |
| 5 | 1956 | 18 |
| done | 5001 | 18 |
| 0 | 10 | 15 |
| 1 | 19 | 13 |
| 2 | 25 | 11 |
| 3 | 29 | 11 |
| 4 | 34 | 11 |
| done | 34 | 11 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 167 | 20 |
| 4 | 485 | 20 |
| 5 | 1938 | 20 |
| done | 5001 | 20 |
| 0 | 16 | 24 |
| 1 | 29 | 24 |
| 2 | 58 | 24 |
| 3 | 143 | 24 |
| 4 | 421 | 24 |
| 5 | 1793 | 24 |
| done | 5001 | 24 |
| 0 | 15 | 18 |
| 1 | 26 | 18 |
| 2 | 53 | 18 |
| 3 | 133 | 18 |
| 4 | 411 | 18 |
| 5 | 1774 | 18 |
| done | 5000 | 18 |
| 0 | 20 | 43 |
| 1 | 41 | 43 |
| 2 | 85 | 43 |
| 3 | 182 | 43 |
| 4 | 485 | 43 |
| 5 | 1902 | 43 |
| done | 5000 | 43 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 68 | 21 |
| 3 | 159 | 21 |
| 4 | 465 | 21 |
| 5 | 1887 | 21 |
| done | 5000 | 21 |
| 0 | 19 | 27 |
| 1 | 36 | 27 |
| 2 | 75 | 25 |
| 3 | 171 | 25 |
| 4 | 476 | 25 |
| 5 | 1898 | 25 |
| done | 5001 | 25 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 70 | 19 |
| 3 | 161 | 19 |
| 4 | 465 | 19 |
| 5 | 1862 | 19 |
| done | 5000 | 19 |
| 0 | 8 | 13 |
| 1 | 13 | 11 |
| 2 | 19 | 11 |
| 3 | 24 | 11 |
| done | 24 | 11 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 167 | 20 |
| 4 | 485 | 20 |
| 5 | 1938 | 20 |
| done | 5001 | 20 |
| 0 | 19 | 28 |
| 1 | 36 | 26 |
| 2 | 79 | 24 |
| 3 | 188 | 24 |
| 4 | 534 | 24 |
| 5 | 2134 | 24 |
| done | 5000 | 24 |
| 0 | 18 | 22 |
| 1 | 33 | 20 |
| 2 | 71 | 18 |
| 3 | 166 | 18 |
| 4 | 476 | 18 |
| 5 | 1990 | 18 |
| done | 5000 | 18 |
| 0 | 19 | 35 |
| 1 | 34 | 35 |
| 2 | 77 | 35 |
| 3 | 189 | 35 |
| 4 | 532 | 21 |
| 5 | 2068 | 21 |
| done | 5001 | 21 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 72 | 21 |
| 3 | 167 | 21 |
| 4 | 484 | 21 |
| 5 | 1928 | 21 |
| done | 5001 | 21 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 72 | 18 |
| 3 | 168 | 18 |
| 4 | 485 | 18 |
| 5 | 1956 | 18 |
| done | 5001 | 18 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 72 | 18 |
| 3 | 168 | 18 |
| 4 | 485 | 18 |
| 5 | 1956 | 18 |
| done | 5001 | 18 |
| 0 | 9 | 9 |
| 1 | 16 | 7 |
| 2 | 20 | 5 |
| done | 20 | 5 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 167 | 20 |
| 4 | 485 | 20 |
| 5 | 1938 | 20 |
| done | 5001 | 20 |
| 0 | 15 | 18 |
| 1 | 26 | 18 |
| 2 | 53 | 18 |
| 3 | 133 | 18 |
| 4 | 411 | 18 |
| 5 | 1774 | 18 |
| done | 5000 | 18 |
| 0 | 15 | 18 |
| 1 | 26 | 18 |
| 2 | 53 | 18 |
| 3 | 133 | 18 |
| 4 | 411 | 18 |
| 5 | 1774 | 18 |
| done | 5000 | 18 |
| 0 | 19 | 37 |
| 1 | 36 | 37 |
| 2 | 71 | 37 |
| 3 | 163 | 37 |
| 4 | 466 | 37 |
| 5 | 1897 | 37 |
| done | 5000 | 37 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 68 | 21 |
| 3 | 159 | 21 |
| 4 | 465 | 21 |
| 5 | 1887 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 70 | 19 |
| 3 | 161 | 19 |
| 4 | 465 | 19 |
| 5 | 1862 | 19 |
| done | 5000 | 19 |
| 0 | 18 | 21 |
| 1 | 33 | 21 |
| 2 | 70 | 19 |
| 3 | 161 | 19 |
| 4 | 465 | 19 |
| 5 | 1862 | 19 |
| done | 5000 | 19 |
| 0 | 7 | 7 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 167 | 20 |
| 4 | 485 | 20 |
| 5 | 1938 | 20 |
| done | 5001 | 20 |
| 0 | 18 | 22 |
| 1 | 33 | 20 |
| 2 | 71 | 18 |
| 3 | 166 | 18 |
| 4 | 476 | 18 |
| 5 | 1990 | 18 |
| done | 5000 | 18 |
| 0 | 18 | 22 |
| 1 | 33 | 20 |
| 2 | 71 | 18 |
| 3 | 166 | 18 |
| 4 | 476 | 18 |
| 5 | 1990 | 18 |
| done | 5000 | 18 |
| 0 | 16 | 31 |
| 1 | 31 | 31 |
| 2 | 72 | 31 |
| 3 | 181 | 31 |
| 4 | 504 | 17 |
| 5 | 1974 | 17 |
| done | 5000 | 17 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 174 | 20 |
| 4 | 495 | 20 |
| 5 | 1929 | 20 |
| done | 5000 | 20 |
| 0 | 15 | 17 |
| 1 | 30 | 17 |
| 2 | 67 | 14 |
| 3 | 168 | 14 |
| 4 | 486 | 14 |
| 5 | 1935 | 14 |
| done | 5000 | 14 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 17 |
| 3 | 175 | 17 |
| 4 | 496 | 17 |
| 5 | 1941 | 17 |
| done | 5000 | 17 |
| 0 | 4 | 5 |
| 1 | 10 | 1 |
| 2 | 14 | 1 |
| done | 14 | 1 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 70 | 19 |
| 3 | 170 | 19 |
| 4 | 493 | 19 |
| 5 | 1938 | 19 |
| done | 5000 | 19 |
| 0 | 12 | 14 |
| 1 | 24 | 14 |
| 2 | 51 | 14 |
| 3 | 133 | 14 |
| 4 | 424 | 14 |
| 5 | 1789 | 14 |
| done | 5000 | 14 |
| 0 | 14 | 17 |
| 1 | 25 | 17 |
| 2 | 52 | 17 |
| 3 | 140 | 17 |
| 4 | 426 | 17 |
| 5 | 1811 | 17 |
| done | 5001 | 17 |
| 0 | 16 | 33 |
| 1 | 33 | 33 |
| 2 | 66 | 33 |
| 3 | 160 | 33 |
| 4 | 466 | 33 |
| 5 | 1859 | 33 |
| done | 5000 | 33 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 67 | 20 |
| 3 | 163 | 20 |
| 4 | 467 | 20 |
| 5 | 1860 | 20 |
| done | 5000 | 20 |
| 0 | 15 | 17 |
| 1 | 30 | 17 |
| 2 | 65 | 15 |
| 3 | 160 | 15 |
| 4 | 471 | 15 |
| 5 | 1896 | 15 |
| done | 5000 | 15 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 69 | 18 |
| 3 | 165 | 18 |
| 4 | 477 | 18 |
| 5 | 1913 | 18 |
| done | 5000 | 18 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 70 | 19 |
| 3 | 170 | 19 |
| 4 | 493 | 19 |
| 5 | 1938 | 19 |
| done | 5000 | 19 |
| 0 | 15 | 18 |
| 1 | 30 | 16 |
| 2 | 66 | 14 |
| 3 | 165 | 14 |
| 4 | 481 | 14 |
| 5 | 1929 | 14 |
| done | 5000 | 14 |
| 0 | 17 | 21 |
| 1 | 32 | 19 |
| 2 | 70 | 17 |
| 3 | 173 | 17 |
| 4 | 490 | 17 |
| 5 | 1919 | 17 |
| done | 5000 | 17 |
| 0 | 14 | 16 |
| 1 | 29 | 16 |
| 2 | 66 | 16 |
| 3 | 164 | 16 |
| 4 | 484 | 16 |
| 5 | 1940 | 16 |
| done | 5000 | 16 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 70 | 19 |
| 3 | 170 | 19 |
| 4 | 499 | 19 |
| 5 | 1955 | 19 |
| done | 5000 | 19 |
| 0 | 18 | 34 |
| 1 | 33 | 34 |
| 2 | 76 | 34 |
| 3 | 194 | 34 |
| 4 | 541 | 20 |
| 5 | 2073 | 20 |
| done | 5000 | 20 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 17 |
| 3 | 175 | 17 |
| 4 | 496 | 17 |
| 5 | 1941 | 17 |
| done | 5000 | 17 |
| 0 | 8 | 8 |
| 1 | 15 | 6 |
| 2 | 19 | 4 |
| 3 | 24 | 4 |
| done | 24 | 4 |
| 0 | 14 | 17 |
| 1 | 25 | 17 |
| 2 | 52 | 17 |
| 3 | 140 | 17 |
| 4 | 426 | 17 |
| 5 | 1811 | 17 |
| done | 5001 | 17 |
| 0 | 18 | 36 |
| 1 | 35 | 36 |
| 2 | 70 | 36 |
| 3 | 166 | 36 |
| 4 | 477 | 36 |
| 5 | 1892 | 36 |
| done | 5000 | 36 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 69 | 18 |
| 3 | 165 | 18 |
| 4 | 477 | 18 |
| 5 | 1913 | 18 |
| done | 5000 | 18 |
| 0 | 6 | 6 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 17 | 21 |
| 1 | 32 | 19 |
| 2 | 70 | 17 |
| 3 | 173 | 17 |
| 4 | 490 | 17 |
| 5 | 1919 | 17 |
| done | 5000 | 17 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 171 | 20 |
| 4 | 504 | 20 |
| 5 | 1999 | 20 |
| done | 5000 | 20 |
| 0 | 17 | 20 |
| 1 | 32 | 20 |
| 2 | 71 | 20 |
| 3 | 171 | 20 |
| 4 | 504 | 20 |
| 5 | 1999 | 20 |
| done | 5000 | 20 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 70 | 19 |
| 3 | 170 | 19 |
| 4 | 499 | 19 |
| 5 | 1955 | 19 |
| done | 5000 | 19 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 6 | 11 |
| 1 | 7 | 11 |
| done | 7 | 11 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 6 | 14 |
| 1 | 8 | 14 |
| 2 | 10 | 6 |
| 3 | 15 | 6 |
| 4 | 21 | 6 |
| 5 | 31 | 6 |
| 6 | 54 | 6 |
| 7 | 110 | 6 |
| 8 | 319 | 6 |
| 9 | 1259 | 6 |
| done | 5001 | 6 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 13 | 15 |
| 1 | 23 | 15 |
| 2 | 50 | 15 |
| 3 | 140 | 15 |
| 4 | 422 | 15 |
| 5 | 1746 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 15 |
| 1 | 23 | 15 |
| 2 | 50 | 15 |
| 3 | 140 | 15 |
| 4 | 422 | 15 |
| 5 | 1746 | 15 |
| done | 5001 | 15 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 14 | 18 |
| 1 | 26 | 18 |
| 2 | 60 | 18 |
| 3 | 162 | 18 |
| 4 | 502 | 18 |
| 5 | 2021 | 18 |
| done | 5001 | 18 |
| 0 | 13 | 15 |
| 1 | 25 | 15 |
| 2 | 57 | 15 |
| 3 | 155 | 15 |
| 4 | 483 | 15 |
| 5 | 1968 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 14 |
| 1 | 28 | 12 |
| 2 | 62 | 12 |
| 3 | 153 | 12 |
| 4 | 465 | 12 |
| 5 | 1893 | 12 |
| done | 5000 | 12 |
| 0 | 14 | 29 |
| 1 | 28 | 29 |
| 2 | 67 | 29 |
| 3 | 168 | 29 |
| 4 | 496 | 15 |
| 5 | 1922 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 62 | 15 |
| 3 | 160 | 15 |
| 4 | 466 | 15 |
| 5 | 1843 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 62 | 12 |
| 3 | 161 | 12 |
| 4 | 467 | 12 |
| 5 | 1843 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 62 | 12 |
| 3 | 161 | 12 |
| 4 | 467 | 12 |
| 5 | 1843 | 12 |
| done | 5000 | 12 |
| 0 | 3 | 3 |
| 1 | 9 | 1 |
| 2 | 13 | 1 |
| done | 13 | 1 |
| 0 | 12 | 14 |
| 1 | 26 | 14 |
| 2 | 61 | 14 |
| 3 | 155 | 14 |
| 4 | 462 | 14 |
| 5 | 1905 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 15 |
| 1 | 29 | 15 |
| 2 | 66 | 15 |
| 3 | 163 | 15 |
| 4 | 494 | 15 |
| 5 | 2005 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 66 | 15 |
| 3 | 169 | 15 |
| 4 | 493 | 15 |
| 5 | 1937 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 31 |
| 1 | 28 | 31 |
| 2 | 63 | 31 |
| 3 | 154 | 31 |
| 4 | 462 | 31 |
| 5 | 1867 | 31 |
| done | 5001 | 31 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 62 | 15 |
| 3 | 160 | 15 |
| 4 | 468 | 15 |
| 5 | 1850 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 44 |
| 1 | 32 | 29 |
| 2 | 96 | 16 |
| 3 | 221 | 16 |
| 4 | 627 | 14 |
| 5 | 2475 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 64 | 13 |
| 3 | 162 | 13 |
| 4 | 465 | 13 |
| 5 | 1870 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 64 | 13 |
| 3 | 162 | 13 |
| 4 | 465 | 13 |
| 5 | 1870 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 16 |
| 1 | 27 | 14 |
| 2 | 63 | 12 |
| 3 | 161 | 12 |
| 4 | 465 | 12 |
| 5 | 1865 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 16 |
| 1 | 27 | 14 |
| 2 | 63 | 12 |
| 3 | 161 | 12 |
| 4 | 465 | 12 |
| 5 | 1865 | 12 |
| done | 5000 | 12 |
| 0 | 16 | 19 |
| 1 | 39 | 17 |
| 2 | 60 | 13 |
| 3 | 141 | 9 |
| 4 | 452 | 9 |
| 5 | 1711 | 9 |
| done | 5000 | 9 |
| 0 | 22 | 31 |
| 1 | 59 | 27 |
| 2 | 121 | 23 |
| 3 | 283 | 21 |
| 4 | 790 | 19 |
| 5 | 2934 | 19 |
| done | 5000 | 19 |
| 0 | 25 | 33 |
| 1 | 64 | 31 |
| 2 | 137 | 27 |
| 3 | 428 | 23 |
| 4 | 1937 | 23 |
| done | 5000 | 23 |
| 0 | 19 | 37 |
| 1 | 42 | 37 |
| 2 | 122 | 37 |
| 3 | 451 | 37 |
| 4 | 1895 | 37 |
| done | 5001 | 37 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 70 | 19 |
| 3 | 170 | 19 |
| 4 | 493 | 19 |
| 5 | 1938 | 19 |
| done | 5000 | 19 |
| 0 | 16 | 19 |
| 1 | 31 | 19 |
| 2 | 70 | 19 |
| 3 | 170 | 19 |
| 4 | 493 | 19 |
| 5 | 1938 | 19 |
| done | 5000 | 19 |
| 0 | 12 | 13 |
| 1 | 28 | 13 |
| 2 | 73 | 13 |
| 3 | 186 | 13 |
| 4 | 554 | 13 |
| 5 | 1272 | 13 |
| 6 | 4386 | 13 |
| done | 5000 | 13 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 12 | 14 |
| 1 | 26 | 14 |
| 2 | 61 | 14 |
| 3 | 155 | 14 |
| 4 | 462 | 14 |
| 5 | 1905 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 14 |
| 1 | 26 | 14 |
| 2 | 61 | 14 |
| 3 | 155 | 14 |
| 4 | 462 | 14 |
| 5 | 1905 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 14 |
| 1 | 26 | 14 |
| 2 | 61 | 14 |
| 3 | 155 | 14 |
| 4 | 462 | 14 |
| 5 | 1905 | 14 |
| done | 5000 | 14 |
15 alts after pruning (14 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 113 | 4 | 117 |
| Fresh | 1 | 10 | 11 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 114 | 15 | 129 |
Merged error: 0.0b
-7.2% (2.8b remaining)
Error of 2.9b against oracle of 0.1b and baseline of 2.7b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 72 |
| 1 | 37 | 72 |
| done | 37 | 72 |
| 690.0ms | 8933× | body | 80 | valid |
| 349.0ms | 793× | body | 1280 | valid |
| 287.0ms | 926× | body | 640 | valid |
| 137.0ms | 612× | body | 320 | valid |
| 46.0ms | 299× | body | 160 | valid |
Loading profile data...