Time bar (total: 2.0min)
| 41.0ms | 256× | body | 80 | valid |
Useful iterations: 7 (1.8s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 51 |
| 1 | 19 | 51 |
| 2 | 33 | 51 |
| 3 | 80 | 51 |
| 4 | 237 | 51 |
| 5 | 603 | 51 |
| 6 | 1418 | 51 |
| 7 | 3672 | 43 |
| done | 5000 | 43 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Merged error: 0.0b
Found 4 expressions with local error:
| 3.1b | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 3.1b | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 3.1b | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 3.1b | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 12× | add-sqr-sqrt *-un-lft-identity add-log-exp |
| 4× | pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out-- difference-of-squares |
| 7.0ms | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 10.0ms | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 7.0ms | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 7.0ms | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 3.0ms | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 3.0ms | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 3.0ms | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
| 3.0ms | (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 11 |
| 1 | 24 | 10 |
| 2 | 29 | 10 |
| 3 | 38 | 10 |
| 4 | 44 | 10 |
| 5 | 48 | 10 |
| 6 | 52 | 10 |
| 7 | 68 | 10 |
| 8 | 71 | 10 |
| 9 | 76 | 10 |
| 10 | 83 | 10 |
| 11 | 102 | 10 |
| 12 | 123 | 10 |
| 13 | 136 | 10 |
| 14 | 141 | 10 |
| 15 | 143 | 10 |
| done | 143 | 10 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 36 | 10 |
| 3 | 44 | 10 |
| 4 | 48 | 10 |
| 5 | 52 | 10 |
| 6 | 68 | 10 |
| 7 | 73 | 10 |
| 8 | 78 | 10 |
| 9 | 85 | 10 |
| 10 | 103 | 10 |
| 11 | 124 | 10 |
| 12 | 140 | 10 |
| 13 | 145 | 10 |
| done | 145 | 10 |
| 0 | 10 | 21 |
| 1 | 24 | 21 |
| 2 | 32 | 21 |
| 3 | 38 | 21 |
| done | 38 | 21 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 10 | 29 |
| 1 | 25 | 29 |
| 2 | 47 | 11 |
| 3 | 112 | 11 |
| 4 | 399 | 11 |
| 5 | 1574 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 11 | 13 |
| 1 | 40 | 13 |
| 2 | 100 | 13 |
| 3 | 406 | 13 |
| 4 | 2479 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 33 | 21 |
| 2 | 79 | 21 |
| 3 | 210 | 21 |
| 4 | 451 | 21 |
| 5 | 694 | 21 |
| 6 | 1229 | 19 |
| 7 | 1893 | 19 |
| 8 | 2673 | 19 |
| 9 | 3249 | 19 |
| 10 | 3520 | 19 |
| 11 | 3535 | 19 |
| 12 | 3539 | 19 |
| done | 3539 | 19 |
| 0 | 8 | 8 |
| 1 | 22 | 8 |
| 2 | 31 | 8 |
| 3 | 33 | 8 |
| done | 33 | 8 |
| 0 | 10 | 19 |
| 1 | 31 | 19 |
| 2 | 66 | 19 |
| 3 | 198 | 19 |
| 4 | 531 | 17 |
| 5 | 1089 | 17 |
| 6 | 2262 | 17 |
| 7 | 4071 | 17 |
| done | 5001 | 17 |
| 0 | 8 | 9 |
| 1 | 21 | 9 |
| 2 | 24 | 9 |
| done | 24 | 9 |
| 0 | 10 | 11 |
| 1 | 23 | 11 |
| 2 | 26 | 11 |
| done | 26 | 11 |
| 0 | 10 | 11 |
| 1 | 24 | 11 |
| 2 | 28 | 11 |
| done | 28 | 11 |
| 0 | 8 | 9 |
| 1 | 22 | 9 |
| 2 | 30 | 9 |
| 3 | 36 | 9 |
| done | 36 | 9 |
| 0 | 8 | 8 |
| 1 | 22 | 8 |
| 2 | 31 | 8 |
| 3 | 33 | 8 |
| done | 33 | 8 |
| 0 | 10 | 11 |
| 1 | 24 | 10 |
| 2 | 29 | 10 |
| 3 | 38 | 10 |
| 4 | 44 | 10 |
| 5 | 48 | 10 |
| 6 | 52 | 10 |
| 7 | 68 | 10 |
| 8 | 71 | 10 |
| 9 | 76 | 10 |
| 10 | 83 | 10 |
| 11 | 102 | 10 |
| 12 | 123 | 10 |
| 13 | 136 | 10 |
| 14 | 141 | 10 |
| 15 | 143 | 10 |
| done | 143 | 10 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 36 | 10 |
| 3 | 44 | 10 |
| 4 | 48 | 10 |
| 5 | 52 | 10 |
| 6 | 68 | 10 |
| 7 | 73 | 10 |
| 8 | 78 | 10 |
| 9 | 85 | 10 |
| 10 | 103 | 10 |
| 11 | 124 | 10 |
| 12 | 140 | 10 |
| 13 | 145 | 10 |
| done | 145 | 10 |
| 0 | 10 | 21 |
| 1 | 24 | 21 |
| 2 | 32 | 21 |
| 3 | 38 | 21 |
| done | 38 | 21 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 10 | 29 |
| 1 | 25 | 29 |
| 2 | 47 | 11 |
| 3 | 112 | 11 |
| 4 | 399 | 11 |
| 5 | 1574 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 11 | 13 |
| 1 | 40 | 13 |
| 2 | 100 | 13 |
| 3 | 406 | 13 |
| 4 | 2479 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 33 | 21 |
| 2 | 79 | 21 |
| 3 | 210 | 21 |
| 4 | 451 | 21 |
| 5 | 694 | 21 |
| 6 | 1229 | 19 |
| 7 | 1893 | 19 |
| 8 | 2673 | 19 |
| 9 | 3249 | 19 |
| 10 | 3520 | 19 |
| 11 | 3535 | 19 |
| 12 | 3539 | 19 |
| done | 3539 | 19 |
| 0 | 8 | 8 |
| 1 | 22 | 8 |
| 2 | 31 | 8 |
| 3 | 33 | 8 |
| done | 33 | 8 |
| 0 | 10 | 19 |
| 1 | 31 | 19 |
| 2 | 66 | 19 |
| 3 | 198 | 19 |
| 4 | 531 | 17 |
| 5 | 1089 | 17 |
| 6 | 2262 | 17 |
| 7 | 4071 | 17 |
| done | 5001 | 17 |
| 0 | 8 | 9 |
| 1 | 21 | 9 |
| 2 | 24 | 9 |
| done | 24 | 9 |
| 0 | 10 | 11 |
| 1 | 23 | 11 |
| 2 | 26 | 11 |
| done | 26 | 11 |
| 0 | 10 | 11 |
| 1 | 24 | 11 |
| 2 | 28 | 11 |
| done | 28 | 11 |
| 0 | 8 | 9 |
| 1 | 22 | 9 |
| 2 | 30 | 9 |
| 3 | 36 | 9 |
| done | 36 | 9 |
| 0 | 8 | 8 |
| 1 | 22 | 8 |
| 2 | 31 | 8 |
| 3 | 33 | 8 |
| done | 33 | 8 |
| 0 | 10 | 11 |
| 1 | 24 | 10 |
| 2 | 29 | 10 |
| 3 | 38 | 10 |
| 4 | 44 | 10 |
| 5 | 48 | 10 |
| 6 | 52 | 10 |
| 7 | 68 | 10 |
| 8 | 71 | 10 |
| 9 | 76 | 10 |
| 10 | 83 | 10 |
| 11 | 102 | 10 |
| 12 | 123 | 10 |
| 13 | 136 | 10 |
| 14 | 141 | 10 |
| 15 | 143 | 10 |
| done | 143 | 10 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 36 | 10 |
| 3 | 44 | 10 |
| 4 | 48 | 10 |
| 5 | 52 | 10 |
| 6 | 68 | 10 |
| 7 | 73 | 10 |
| 8 | 78 | 10 |
| 9 | 85 | 10 |
| 10 | 103 | 10 |
| 11 | 124 | 10 |
| 12 | 140 | 10 |
| 13 | 145 | 10 |
| done | 145 | 10 |
| 0 | 10 | 21 |
| 1 | 24 | 21 |
| 2 | 32 | 21 |
| 3 | 38 | 21 |
| done | 38 | 21 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 10 | 29 |
| 1 | 25 | 29 |
| 2 | 47 | 11 |
| 3 | 112 | 11 |
| 4 | 399 | 11 |
| 5 | 1574 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 11 | 13 |
| 1 | 40 | 13 |
| 2 | 100 | 13 |
| 3 | 406 | 13 |
| 4 | 2479 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 33 | 21 |
| 2 | 79 | 21 |
| 3 | 210 | 21 |
| 4 | 451 | 21 |
| 5 | 694 | 21 |
| 6 | 1229 | 19 |
| 7 | 1893 | 19 |
| 8 | 2673 | 19 |
| 9 | 3249 | 19 |
| 10 | 3520 | 19 |
| 11 | 3535 | 19 |
| 12 | 3539 | 19 |
| done | 3539 | 19 |
| 0 | 8 | 8 |
| 1 | 22 | 8 |
| 2 | 31 | 8 |
| 3 | 33 | 8 |
| done | 33 | 8 |
| 0 | 10 | 19 |
| 1 | 31 | 19 |
| 2 | 66 | 19 |
| 3 | 198 | 19 |
| 4 | 531 | 17 |
| 5 | 1089 | 17 |
| 6 | 2262 | 17 |
| 7 | 4071 | 17 |
| done | 5001 | 17 |
| 0 | 8 | 9 |
| 1 | 21 | 9 |
| 2 | 24 | 9 |
| done | 24 | 9 |
| 0 | 10 | 11 |
| 1 | 23 | 11 |
| 2 | 26 | 11 |
| done | 26 | 11 |
| 0 | 10 | 11 |
| 1 | 24 | 11 |
| 2 | 28 | 11 |
| done | 28 | 11 |
| 0 | 8 | 9 |
| 1 | 22 | 9 |
| 2 | 30 | 9 |
| 3 | 36 | 9 |
| done | 36 | 9 |
| 0 | 8 | 8 |
| 1 | 22 | 8 |
| 2 | 31 | 8 |
| 3 | 33 | 8 |
| done | 33 | 8 |
| 0 | 10 | 11 |
| 1 | 24 | 10 |
| 2 | 29 | 10 |
| 3 | 38 | 10 |
| 4 | 44 | 10 |
| 5 | 48 | 10 |
| 6 | 52 | 10 |
| 7 | 68 | 10 |
| 8 | 71 | 10 |
| 9 | 76 | 10 |
| 10 | 83 | 10 |
| 11 | 102 | 10 |
| 12 | 123 | 10 |
| 13 | 136 | 10 |
| 14 | 141 | 10 |
| 15 | 143 | 10 |
| done | 143 | 10 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 36 | 10 |
| 3 | 44 | 10 |
| 4 | 48 | 10 |
| 5 | 52 | 10 |
| 6 | 68 | 10 |
| 7 | 73 | 10 |
| 8 | 78 | 10 |
| 9 | 85 | 10 |
| 10 | 103 | 10 |
| 11 | 124 | 10 |
| 12 | 140 | 10 |
| 13 | 145 | 10 |
| done | 145 | 10 |
| 0 | 10 | 21 |
| 1 | 24 | 21 |
| 2 | 32 | 21 |
| 3 | 38 | 21 |
| done | 38 | 21 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 10 | 29 |
| 1 | 25 | 29 |
| 2 | 47 | 11 |
| 3 | 112 | 11 |
| 4 | 399 | 11 |
| 5 | 1574 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 9 | 10 |
| 1 | 23 | 10 |
| 2 | 31 | 10 |
| 3 | 37 | 10 |
| done | 37 | 10 |
| 0 | 11 | 13 |
| 1 | 40 | 13 |
| 2 | 100 | 13 |
| 3 | 406 | 13 |
| 4 | 2479 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 33 | 21 |
| 2 | 79 | 21 |
| 3 | 210 | 21 |
| 4 | 451 | 21 |
| 5 | 694 | 21 |
| 6 | 1229 | 19 |
| 7 | 1893 | 19 |
| 8 | 2673 | 19 |
| 9 | 3249 | 19 |
| 10 | 3520 | 19 |
| 11 | 3535 | 19 |
| 12 | 3539 | 19 |
| done | 3539 | 19 |
| 0 | 8 | 8 |
| 1 | 22 | 8 |
| 2 | 31 | 8 |
| 3 | 33 | 8 |
| done | 33 | 8 |
| 0 | 10 | 19 |
| 1 | 31 | 19 |
| 2 | 66 | 19 |
| 3 | 198 | 19 |
| 4 | 531 | 17 |
| 5 | 1089 | 17 |
| 6 | 2262 | 17 |
| 7 | 4071 | 17 |
| done | 5001 | 17 |
| 0 | 8 | 9 |
| 1 | 21 | 9 |
| 2 | 24 | 9 |
| done | 24 | 9 |
| 0 | 10 | 11 |
| 1 | 23 | 11 |
| 2 | 26 | 11 |
| done | 26 | 11 |
| 0 | 10 | 11 |
| 1 | 24 | 11 |
| 2 | 28 | 11 |
| done | 28 | 11 |
| 0 | 8 | 9 |
| 1 | 22 | 9 |
| 2 | 30 | 9 |
| 3 | 36 | 9 |
| done | 36 | 9 |
| 0 | 8 | 8 |
| 1 | 22 | 8 |
| 2 | 31 | 8 |
| 3 | 33 | 8 |
| done | 33 | 8 |
| 0 | 11 | 15 |
| 1 | 32 | 13 |
| 2 | 87 | 11 |
| 3 | 163 | 11 |
| 4 | 314 | 11 |
| 5 | 595 | 11 |
| 6 | 1447 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 15 |
| 1 | 27 | 15 |
| 2 | 63 | 11 |
| 3 | 134 | 11 |
| 4 | 281 | 11 |
| 5 | 781 | 9 |
| 6 | 4009 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 15 |
| 1 | 27 | 15 |
| 2 | 63 | 11 |
| 3 | 134 | 11 |
| 4 | 281 | 11 |
| 5 | 781 | 9 |
| 6 | 4009 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 15 |
| 1 | 32 | 13 |
| 2 | 87 | 11 |
| 3 | 163 | 11 |
| 4 | 314 | 11 |
| 5 | 595 | 11 |
| 6 | 1447 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 15 |
| 1 | 27 | 15 |
| 2 | 63 | 11 |
| 3 | 134 | 11 |
| 4 | 281 | 11 |
| 5 | 781 | 9 |
| 6 | 4009 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 15 |
| 1 | 27 | 15 |
| 2 | 63 | 11 |
| 3 | 134 | 11 |
| 4 | 281 | 11 |
| 5 | 781 | 9 |
| 6 | 4009 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 15 |
| 1 | 32 | 13 |
| 2 | 87 | 11 |
| 3 | 163 | 11 |
| 4 | 314 | 11 |
| 5 | 595 | 11 |
| 6 | 1447 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 15 |
| 1 | 27 | 15 |
| 2 | 63 | 11 |
| 3 | 134 | 11 |
| 4 | 281 | 11 |
| 5 | 781 | 9 |
| 6 | 4009 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 15 |
| 1 | 27 | 15 |
| 2 | 63 | 11 |
| 3 | 134 | 11 |
| 4 | 281 | 11 |
| 5 | 781 | 9 |
| 6 | 4009 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 15 |
| 1 | 32 | 13 |
| 2 | 87 | 11 |
| 3 | 163 | 11 |
| 4 | 314 | 11 |
| 5 | 595 | 11 |
| 6 | 1447 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 15 |
| 1 | 27 | 15 |
| 2 | 63 | 11 |
| 3 | 134 | 11 |
| 4 | 281 | 11 |
| 5 | 781 | 9 |
| 6 | 4009 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 15 |
| 1 | 27 | 15 |
| 2 | 63 | 11 |
| 3 | 134 | 11 |
| 4 | 281 | 11 |
| 5 | 781 | 9 |
| 6 | 4009 | 9 |
| done | 5000 | 9 |
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 68 | 0 | 68 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 68 | 1 | 69 |
Merged error: 0.0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 43 |
| 1 | 18 | 43 |
| done | 18 | 43 |
| 1.1s | 8000× | body | 80 | valid |
Loading profile data...