Time bar (total: 7.9s)
| 15.0ms | 36× | body | 1280 | valid |
| 11.0ms | 172× | body | 80 | valid |
| 8.0ms | 29× | body | 640 | valid |
| 2.0ms | 10× | body | 320 | valid |
| 1.0ms | 9× | body | 160 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 27 | 9 |
| 3 | 33 | 9 |
| 4 | 39 | 9 |
| 5 | 48 | 9 |
| 6 | 61 | 9 |
| 7 | 87 | 9 |
| 8 | 104 | 9 |
| 9 | 133 | 9 |
| 10 | 171 | 9 |
| 11 | 199 | 9 |
| 12 | 226 | 9 |
| 13 | 249 | 9 |
| 14 | 271 | 9 |
| 15 | 297 | 9 |
| 16 | 320 | 9 |
| 17 | 342 | 9 |
| 18 | 368 | 9 |
| 19 | 391 | 9 |
| 20 | 413 | 9 |
| 21 | 439 | 9 |
| 22 | 462 | 9 |
| 23 | 484 | 9 |
| 24 | 510 | 9 |
| 25 | 533 | 9 |
| 26 | 555 | 9 |
| 27 | 581 | 9 |
| 28 | 604 | 9 |
| 29 | 626 | 9 |
| 30 | 652 | 9 |
| 31 | 675 | 9 |
| 32 | 697 | 9 |
| 33 | 723 | 9 |
| 34 | 746 | 9 |
| 35 | 768 | 9 |
| 36 | 794 | 9 |
| 37 | 817 | 9 |
| 38 | 839 | 9 |
| 39 | 865 | 9 |
| 40 | 888 | 9 |
| 41 | 910 | 9 |
| 42 | 936 | 9 |
| 43 | 959 | 9 |
| 44 | 981 | 9 |
| 45 | 1007 | 9 |
| 46 | 1030 | 9 |
| 47 | 1052 | 9 |
| 48 | 1078 | 9 |
| 49 | 1101 | 9 |
| 50 | 1123 | 9 |
| 51 | 1149 | 9 |
| 52 | 1172 | 9 |
| 53 | 1194 | 9 |
| 54 | 1220 | 9 |
| 55 | 1243 | 9 |
| 56 | 1265 | 9 |
| 57 | 1291 | 9 |
| 58 | 1314 | 9 |
| 59 | 1336 | 9 |
| 60 | 1362 | 9 |
| 61 | 1385 | 9 |
| 62 | 1407 | 9 |
| 63 | 1433 | 9 |
| 64 | 1456 | 9 |
| 65 | 1478 | 9 |
| 66 | 1504 | 9 |
| 67 | 1527 | 9 |
| 68 | 1549 | 9 |
| 69 | 1575 | 9 |
| 70 | 1598 | 9 |
| 71 | 1620 | 9 |
| 72 | 1646 | 9 |
| 73 | 1669 | 9 |
| 74 | 1691 | 9 |
| 75 | 1717 | 9 |
| 76 | 1740 | 9 |
| 77 | 1762 | 9 |
| 78 | 1788 | 9 |
| 79 | 1811 | 9 |
| 80 | 1833 | 9 |
| 81 | 1859 | 9 |
| 82 | 1882 | 9 |
| 83 | 1904 | 9 |
| 84 | 1930 | 9 |
| 85 | 1953 | 9 |
| 86 | 1975 | 9 |
| 87 | 2001 | 9 |
| 88 | 2024 | 9 |
| 89 | 2046 | 9 |
| 90 | 2072 | 9 |
| 91 | 2095 | 9 |
| 92 | 2117 | 9 |
| 93 | 2143 | 9 |
| 94 | 2166 | 9 |
| 95 | 2188 | 9 |
| 96 | 2214 | 9 |
| 97 | 2237 | 9 |
| 98 | 2259 | 9 |
| 99 | 2285 | 9 |
| 100 | 2308 | 9 |
| 101 | 2330 | 9 |
| 102 | 2356 | 9 |
| 103 | 2379 | 9 |
| 104 | 2401 | 9 |
| 105 | 2427 | 9 |
| 106 | 2450 | 9 |
| 107 | 2472 | 9 |
| 108 | 2498 | 9 |
| 109 | 2521 | 9 |
| 110 | 2543 | 9 |
| 111 | 2569 | 9 |
| 112 | 2592 | 9 |
| 113 | 2614 | 9 |
| 114 | 2640 | 9 |
| 115 | 2663 | 9 |
| 116 | 2685 | 9 |
| 117 | 2711 | 9 |
| 118 | 2734 | 9 |
| 119 | 2756 | 9 |
| 120 | 2782 | 9 |
| 121 | 2805 | 9 |
| 122 | 2827 | 9 |
| 123 | 2853 | 9 |
| 124 | 2876 | 9 |
| 125 | 2898 | 9 |
| 126 | 2924 | 9 |
| 127 | 2947 | 9 |
| 128 | 2969 | 9 |
| 129 | 2995 | 9 |
| 130 | 3018 | 9 |
| 131 | 3040 | 9 |
| 132 | 3066 | 9 |
| 133 | 3089 | 9 |
| 134 | 3111 | 9 |
| 135 | 3137 | 9 |
| 136 | 3160 | 9 |
| 137 | 3182 | 9 |
| 138 | 3208 | 9 |
| 139 | 3231 | 9 |
| 140 | 3253 | 9 |
| 141 | 3279 | 9 |
| 142 | 3302 | 9 |
| 143 | 3324 | 9 |
| 144 | 3350 | 9 |
| 145 | 3373 | 9 |
| 146 | 3395 | 9 |
| 147 | 3421 | 9 |
| 148 | 3444 | 9 |
| 149 | 3466 | 9 |
| 150 | 3492 | 9 |
| 151 | 3515 | 9 |
| 152 | 3537 | 9 |
| 153 | 3563 | 9 |
| 154 | 3586 | 9 |
| 155 | 3608 | 9 |
| 156 | 3634 | 9 |
| 157 | 3657 | 9 |
| 158 | 3679 | 9 |
| 159 | 3705 | 9 |
| 160 | 3728 | 9 |
| 161 | 3750 | 9 |
| 162 | 3776 | 9 |
| 163 | 3799 | 9 |
| 164 | 3821 | 9 |
| 165 | 3847 | 9 |
| 166 | 3870 | 9 |
| 167 | 3892 | 9 |
| 168 | 3918 | 9 |
| 169 | 3941 | 9 |
| 170 | 3963 | 9 |
| 171 | 3989 | 9 |
| 172 | 4012 | 9 |
| 173 | 4034 | 9 |
| 174 | 4060 | 9 |
| 175 | 4083 | 9 |
| 176 | 4105 | 9 |
| 177 | 4131 | 9 |
| 178 | 4154 | 9 |
| 179 | 4176 | 9 |
| 180 | 4202 | 9 |
| 181 | 4225 | 9 |
| 182 | 4247 | 9 |
| 183 | 4273 | 9 |
| 184 | 4296 | 9 |
| 185 | 4318 | 9 |
| 186 | 4344 | 9 |
| 187 | 4367 | 9 |
| 188 | 4389 | 9 |
| 189 | 4415 | 9 |
| 190 | 4438 | 9 |
| 191 | 4460 | 9 |
| 192 | 4486 | 9 |
| 193 | 4509 | 9 |
| 194 | 4531 | 9 |
| 195 | 4557 | 9 |
| 196 | 4580 | 9 |
| 197 | 4602 | 9 |
| 198 | 4628 | 9 |
| 199 | 4651 | 9 |
| 200 | 4673 | 9 |
| 201 | 4699 | 9 |
| 202 | 4722 | 9 |
| 203 | 4744 | 9 |
| 204 | 4770 | 9 |
| 205 | 4793 | 9 |
| 206 | 4815 | 9 |
| 207 | 4841 | 9 |
| 208 | 4864 | 9 |
| 209 | 4886 | 9 |
| 210 | 4912 | 9 |
| 211 | 4935 | 9 |
| 212 | 4957 | 9 |
| 213 | 4983 | 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: 0.1b
Found 2 expressions with local error:
| 0.0b | (- (+ x (cos y)) (* z (sin y))) |
| 0.1b | (* z (sin y)) |
| 7× | add-log-exp |
| 6× | add-sqr-sqrt |
| 4× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 3× | associate-*r* associate-*l* |
| 2× | diff-log |
| 1× | sub-neg flip3-- pow-prod-down prod-exp associate--l+ sum-log *-commutative flip-- cbrt-unprod unswap-sqr |
| 7.0ms | (- (+ x (cos y)) (* z (sin y))) |
| 5.0ms | (* z (sin y)) |
| 13.0ms | (- (+ x (cos y)) (* z (sin y))) |
| 8.0ms | (* z (sin y)) |
Useful iterations: 2 (41.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 69 | 365 |
| 1 | 160 | 346 |
| 2 | 479 | 320 |
| 3 | 1497 | 320 |
| done | 5000 | 320 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 33 | 5 | 38 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 33 | 6 | 39 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.4b | (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) |
| 6.3b | (cbrt (* z (sin y))) |
| 6.3b | (cbrt (* z (sin y))) |
| 6.3b | (cbrt (* z (sin y))) |
| 11× | pow1 |
| 10× | add-sqr-sqrt |
| 9× | pow1/3 |
| 8× | add-cube-cbrt *-un-lft-identity |
| 7× | cbrt-prod |
| 6× | add-exp-log |
| 4× | swap-sqr associate-*r* associate-*l* add-cbrt-cube add-log-exp |
| 2× | pow-prod-down pow-sqr pow-prod-up |
| 1× | pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr |
| 6.0ms | (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) |
| 3.0ms | (cbrt (* z (sin y))) |
| 3.0ms | (cbrt (* z (sin y))) |
| 3.0ms | (cbrt (* z (sin y))) |
| 36.0ms | (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) |
| 26.0ms | (cbrt (* z (sin y))) |
| 31.0ms | (cbrt (* z (sin y))) |
| 26.0ms | (cbrt (* z (sin y))) |
Useful iterations: done (513.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 90 | 814 |
| 1 | 200 | 733 |
| 2 | 560 | 633 |
| 3 | 1657 | 560 |
| done | 5000 | 535 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 68 | 2 | 70 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 68 | 8 | 76 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.6b | (* (cbrt z) (cbrt z)) |
| 0.6b | (cbrt (sin y)) |
| 0.6b | (cbrt (sin y)) |
| 6.3b | (cbrt (* z (sin y))) |
| 23× | cbrt-prod |
| 22× | add-sqr-sqrt |
| 14× | add-cube-cbrt *-un-lft-identity |
| 11× | pow1 |
| 9× | pow1/3 |
| 6× | add-exp-log swap-sqr associate-*r* associate-*l* |
| 4× | add-cbrt-cube add-log-exp unswap-sqr |
| 2× | pow-prod-down pow-sqr pow-prod-up |
| 1× | pow2 pow-plus prod-exp *-commutative cbrt-unprod |
| 6.0ms | (* (cbrt z) (cbrt z)) |
| 2.0ms | (cbrt (sin y)) |
| 2.0ms | (cbrt (sin y)) |
| 3.0ms | (cbrt (* z (sin y))) |
| 28.0ms | (* (cbrt z) (cbrt z)) |
| 20.0ms | (cbrt (sin y)) |
| 20.0ms | (cbrt (sin y)) |
| 29.0ms | (cbrt (* z (sin y))) |
Useful iterations: done (489.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 117 | 691 |
| 1 | 235 | 626 |
| 2 | 656 | 548 |
| 3 | 1874 | 491 |
| done | 5000 | 484 |
9 alts after pruning (6 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 81 | 2 | 83 |
| Fresh | 1 | 4 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 82 | 9 | 91 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.5b | (* (cbrt (sin y)) (cbrt (sin y))) |
| 0.6b | (cbrt (sin y)) |
| 0.6b | (cbrt (sin y)) |
| 0.6b | (cbrt (sin y)) |
| 25× | cbrt-prod |
| 23× | add-sqr-sqrt |
| 15× | add-cube-cbrt *-un-lft-identity |
| 11× | pow1 |
| 9× | pow1/3 |
| 6× | add-exp-log swap-sqr associate-*r* associate-*l* |
| 4× | add-cbrt-cube add-log-exp unswap-sqr |
| 2× | pow-prod-down pow-sqr pow-prod-up |
| 1× | pow2 pow-plus prod-exp *-commutative cbrt-unprod |
| 7.0ms | (* (cbrt (sin y)) (cbrt (sin y))) |
| 2.0ms | (cbrt (sin y)) |
| 2.0ms | (cbrt (sin y)) |
| 2.0ms | (cbrt (sin y)) |
| 25.0ms | (* (cbrt (sin y)) (cbrt (sin y))) |
| 20.0ms | (cbrt (sin y)) |
| 23.0ms | (cbrt (sin y)) |
| 20.0ms | (cbrt (sin y)) |
Useful iterations: 3 (165.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 76 | 792 |
| 1 | 164 | 713 |
| 2 | 488 | 581 |
| 3 | 1934 | 515 |
| done | 5000 | 515 |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 82 | 3 | 85 |
| Fresh | 3 | 2 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 1 | 2 | 3 |
| Total | 87 | 7 | 94 |
Merged error: 0b
0% (0.0b remaining)
Error of 0.1b against oracle of 0.0b and baseline of 0.1b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 10 | 9 |
| done | 10 | 9 |
| 430.0ms | 997× | body | 1280 | valid |
| 363.0ms | 5571× | body | 80 | valid |
| 242.0ms | 839× | body | 640 | valid |
| 73.0ms | 380× | body | 320 | valid |
| 30.0ms | 213× | body | 160 | valid |
Loading profile data...