Time bar (total: 32.5s)
| 10.0ms | 334× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 13 | 9 |
| 2 | 20 | 9 |
| 3 | 30 | 9 |
| 4 | 39 | 9 |
| 5 | 46 | 9 |
| 6 | 57 | 9 |
| 7 | 78 | 9 |
| 8 | 115 | 9 |
| 9 | 171 | 9 |
| 10 | 237 | 9 |
| 11 | 298 | 9 |
| 12 | 375 | 9 |
| 13 | 451 | 9 |
| 14 | 509 | 9 |
| 15 | 567 | 9 |
| 16 | 625 | 9 |
| 17 | 682 | 9 |
| 18 | 739 | 9 |
| 19 | 796 | 9 |
| 20 | 854 | 9 |
| 21 | 912 | 9 |
| 22 | 970 | 9 |
| 23 | 1028 | 9 |
| 24 | 1086 | 9 |
| 25 | 1143 | 9 |
| 26 | 1201 | 9 |
| 27 | 1259 | 9 |
| 28 | 1317 | 9 |
| 29 | 1374 | 9 |
| 30 | 1432 | 9 |
| 31 | 1489 | 9 |
| 32 | 1547 | 9 |
| 33 | 1605 | 9 |
| 34 | 1663 | 9 |
| 35 | 1720 | 9 |
| 36 | 1777 | 9 |
| 37 | 1835 | 9 |
| 38 | 1893 | 9 |
| 39 | 1951 | 9 |
| 40 | 2009 | 9 |
| 41 | 2067 | 9 |
| 42 | 2124 | 9 |
| 43 | 2182 | 9 |
| 44 | 2240 | 9 |
| 45 | 2298 | 9 |
| 46 | 2356 | 9 |
| 47 | 2414 | 9 |
| 48 | 2471 | 9 |
| 49 | 2529 | 9 |
| 50 | 2587 | 9 |
| 51 | 2645 | 9 |
| 52 | 2702 | 9 |
| 53 | 2760 | 9 |
| 54 | 2817 | 9 |
| 55 | 2874 | 9 |
| 56 | 2932 | 9 |
| 57 | 2989 | 9 |
| 58 | 3047 | 9 |
| 59 | 3105 | 9 |
| 60 | 3163 | 9 |
| 61 | 3220 | 9 |
| 62 | 3277 | 9 |
| 63 | 3335 | 9 |
| 64 | 3392 | 9 |
| 65 | 3450 | 9 |
| 66 | 3508 | 9 |
| 67 | 3565 | 9 |
| 68 | 3623 | 9 |
| 69 | 3681 | 9 |
| 70 | 3738 | 9 |
| 71 | 3795 | 9 |
| 72 | 3853 | 9 |
| 73 | 3910 | 9 |
| 74 | 3967 | 9 |
| 75 | 4024 | 9 |
| 76 | 4081 | 9 |
| 77 | 4138 | 9 |
| 78 | 4196 | 9 |
| 79 | 4254 | 9 |
| 80 | 4312 | 9 |
| 81 | 4370 | 9 |
| 82 | 4428 | 9 |
| 83 | 4485 | 9 |
| 84 | 4543 | 9 |
| 85 | 4601 | 9 |
| 86 | 4658 | 9 |
| 87 | 4715 | 9 |
| 88 | 4772 | 9 |
| 89 | 4829 | 9 |
| 90 | 4886 | 9 |
| 91 | 4943 | 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.0b
Found 2 expressions with local error:
| 0.0b | (* (- 1.0 x) z) |
| 0.0b | (+ (* x y) (* (- 1.0 x) z)) |
| 8× | add-sqr-sqrt |
| 6× | *-un-lft-identity |
| 5× | associate-*l* |
| 4× | pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp |
| 3× | associate-*r* |
| 2× | associate-*l/ |
| 1× | +-commutative flip3-- flip3-+ pow-prod-down prod-exp sum-log *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr |
| 7.0ms | (* (- 1.0 x) z) |
| 4.0ms | (+ (* x y) (* (- 1.0 x) z)) |
| 5.0ms | (* (- 1.0 x) z) |
| 9.0ms | (+ (* x y) (* (- 1.0 x) z)) |
Useful iterations: 3 (252.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 73 | 405 |
| 1 | 196 | 384 |
| 2 | 718 | 346 |
| 3 | 2976 | 345 |
| done | 5000 | 345 |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 37 | 2 | 39 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 37 | 3 | 40 |
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (* (- y z) x) (* 1.0 z)) |
| 0.0b | (* (- y z) x) |
| 8× | add-sqr-sqrt |
| 6× | *-un-lft-identity |
| 5× | associate-*l* |
| 4× | pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp |
| 3× | associate-*r* |
| 2× | associate-*l/ |
| 1× | +-commutative flip3-- flip3-+ pow-prod-down prod-exp sum-log *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr |
| 7.0ms | (+ (* (- y z) x) (* 1.0 z)) |
| 10.0ms | (* (- y z) x) |
| 10.0ms | (+ (* (- y z) x) (* 1.0 z)) |
| 8.0ms | (* (- y z) x) |
Useful iterations: 3 (240.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 74 | 399 |
| 1 | 197 | 382 |
| 2 | 699 | 344 |
| 3 | 2788 | 341 |
| done | 5000 | 341 |
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 39 | 0 | 39 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 39 | 3 | 42 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (* (- 1.0 x) z) |
| 0.0b | (+ (* x y) (* (- 1.0 x) z)) |
| 0.2b | (pow (+ (* x y) (* (- 1.0 x) z)) 3) |
| 37.8b | (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) |
| 16× | add-sqr-sqrt |
| 14× | *-un-lft-identity |
| 12× | cbrt-prod add-cube-cbrt |
| 7× | pow1 add-exp-log add-cbrt-cube |
| 6× | unpow-prod-down cube-prod add-log-exp |
| 5× | associate-*l* |
| 4× | cube-div |
| 3× | pow-unpow flip3-+ associate-*r* flip-+ |
| 2× | cube-mult cbrt-div unpow3 associate-*l/ sqr-pow |
| 1× | +-commutative pow-to-exp flip3-- pow-pow pow1/3 pow-prod-down pow-exp prod-exp sum-log *-commutative flip-- rem-cbrt-cube cbrt-unprod distribute-lft-out-- rem-cube-cbrt difference-of-squares unswap-sqr |
| 7.0ms | (* (- 1.0 x) z) |
| 5.0ms | (+ (* x y) (* (- 1.0 x) z)) |
| 5.0ms | (pow (+ (* x y) (* (- 1.0 x) z)) 3) |
| 5.0ms | (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) |
| 5.0ms | (* (- 1.0 x) z) |
| 11.0ms | (+ (* x y) (* (- 1.0 x) z)) |
| 28.0ms | (pow (+ (* x y) (* (- 1.0 x) z)) 3) |
| 9.0ms | (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) |
Useful iterations: done (441.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 132 | 1511 |
| 1 | 348 | 1336 |
| 2 | 1385 | 1163 |
| done | 5000 | 1151 |
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 93 | 0 | 93 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 93 | 3 | 96 |
Merged error: 0.0b
0% (0.0b remaining)
Error of 0.0b against oracle of 0.0b and baseline of 0.0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| done | 11 | 9 |
| 308.0ms | 10234× | body | 80 | valid |
Loading profile data...