Time bar (total: 5.0s)
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 25% | 74.9% | 0.1% | 3 |
| 25% | 74.9% | 0.1% | 4 |
| 25% | 74.9% | 0.1% | 5 |
| 31.2% | 68.6% | 0.1% | 6 |
| 32.8% | 67.1% | 0.1% | 7 |
| 34.3% | 65.5% | 0.1% | 8 |
| 38.2% | 61.2% | 0.5% | 9 |
| 39.6% | 53% | 7.4% | 10 |
| 40.3% | 52.4% | 7.4% | 11 |
| 41.6% | 49.6% | 8.8% | 12 |
| 42% | 39.9% | 18.1% | 13 |
| 42.3% | 39.6% | 18.2% | 14 |
| 18.0ms | 256× | body | 80 | valid |
| 9.0ms | 111× | body | 80 | invalid |
| 2.0ms | 52× | body | 80 | nan |
Useful iterations: 0 (79.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4961 | 13 |
| 1 | 4961 | 13 |
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: 2.1b
Found 4 expressions with local error:
| 0.0b | (+ 1.0 (* 10.0 k)) |
| 0.0b | (+ (+ 1.0 (* 10.0 k)) (* k k)) |
| 0.0b | (* a (pow k m)) |
| 2.1b | (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) |
| 19× | add-exp-log |
| 14× | add-sqr-sqrt |
| 11× | add-cbrt-cube add-log-exp |
| 9× | add-cube-cbrt *-un-lft-identity |
| 7× | associate-*r* |
| 6× | prod-exp |
| 4× | pow1 unpow-prod-down div-exp sum-log |
| 3× | flip3-+ times-frac associate-*l* associate-/r* flip-+ unswap-sqr |
| 2× | cbrt-undiv +-commutative pow-to-exp pow-exp associate-/r/ cbrt-unprod sqr-pow |
| 1× | associate-+l+ frac-2neg clear-num *-commutative div-inv associate-/l* |
| 2.0ms | (+ 1.0 (* 10.0 k)) |
| 4.0ms | (+ (+ 1.0 (* 10.0 k)) (* k k)) |
| 5.0ms | (* a (pow k m)) |
| 8.0ms | (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) |
| 3.0ms | (+ 1.0 (* 10.0 k)) |
| 3.0ms | (+ (+ 1.0 (* 10.0 k)) (* k k)) |
| 14.0ms | (* a (pow k m)) |
| 34.0ms | (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) |
Useful iterations: 0 (44.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4930 | 910 |
| 1 | 4930 | 910 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 82 | 4 | 86 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 84 | 4 | 88 |
Merged error: 2.0b
Found 4 expressions with local error:
| 0.0b | (/ (pow k m) (sqrt (+ 1.0 (* k (+ k 10.0))))) |
| 0.0b | (* (/ a (sqrt (+ 1.0 (* k (+ k 10.0))))) (/ (pow k m) (sqrt (+ 1.0 (* k (+ k 10.0)))))) |
| 16.6b | (sqrt (+ 1.0 (* k (+ k 10.0)))) |
| 16.6b | (sqrt (+ 1.0 (* k (+ k 10.0)))) |
| 146× | add-sqr-sqrt |
| 134× | times-frac |
| 76× | add-cube-cbrt *-un-lft-identity sqrt-prod |
| 48× | associate-*r* |
| 45× | unpow-prod-down |
| 33× | add-exp-log |
| 24× | associate-*l* |
| 21× | unswap-sqr |
| 19× | sqr-pow |
| 18× | add-cbrt-cube |
| 13× | div-exp |
| 10× | sqrt-div |
| 8× | pow1 prod-exp |
| 7× | associate-/l* |
| 6× | associate-/r* associate-/r/ |
| 5× | cbrt-undiv flip3-+ flip-+ |
| 4× | cbrt-unprod add-log-exp |
| 3× | pow-to-exp pow-exp div-inv |
| 2× | rem-sqrt-square sqrt-pow1 pow1/2 |
| 1× | frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative |
| 7.0ms | (/ (pow k m) (sqrt (+ 1.0 (* k (+ k 10.0))))) |
| 32.0ms | (* (/ a (sqrt (+ 1.0 (* k (+ k 10.0))))) (/ (pow k m) (sqrt (+ 1.0 (* k (+ k 10.0)))))) |
| 2.0ms | (sqrt (+ 1.0 (* k (+ k 10.0)))) |
| 2.0ms | (sqrt (+ 1.0 (* k (+ k 10.0)))) |
| 18.0ms | (/ (pow k m) (sqrt (+ 1.0 (* k (+ k 10.0))))) |
| 36.0ms | (* (/ a (sqrt (+ 1.0 (* k (+ k 10.0))))) (/ (pow k m) (sqrt (+ 1.0 (* k (+ k 10.0)))))) |
| 3.0ms | (sqrt (+ 1.0 (* k (+ k 10.0)))) |
| 4.0ms | (sqrt (+ 1.0 (* k (+ k 10.0)))) |
Useful iterations: 0 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4974 | 5164 |
| 1 | 4974 | 5164 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 229 | 1 | 230 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 229 | 5 | 234 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) |
| 0.0b | (pow (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) 3) |
| 4.2b | (/ a (+ 1.0 (* k (+ k 10.0)))) |
| 15.8b | (cbrt (pow (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) 3)) |
| 36× | add-sqr-sqrt |
| 33× | add-exp-log |
| 23× | add-cube-cbrt *-un-lft-identity |
| 21× | times-frac |
| 17× | add-cbrt-cube |
| 15× | associate-*r* |
| 12× | prod-exp |
| 11× | pow-exp |
| 8× | cbrt-prod |
| 7× | unpow-prod-down div-exp associate-*l* |
| 6× | unswap-sqr |
| 5× | pow1 pow-to-exp sqr-pow |
| 4× | associate-/r/ cbrt-unprod add-log-exp |
| 3× | cbrt-undiv pow-unpow associate-*r/ associate-/r* associate-/l* rem-cube-cbrt |
| 2× | cube-div cube-mult flip3-+ unpow3 cube-prod flip-+ div-inv |
| 1× | cbrt-div pow-pow frac-2neg pow1/3 clear-num *-commutative rem-cbrt-cube |
| 9.0ms | (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) |
| 7.0ms | (pow (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) 3) |
| 4.0ms | (/ a (+ 1.0 (* k (+ k 10.0)))) |
| 2.0ms | (cbrt (pow (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) 3)) |
| 29.0ms | (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) |
| 44.0ms | (pow (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) 3) |
| 13.0ms | (/ a (+ 1.0 (* k (+ k 10.0)))) |
| 35.0ms | (cbrt (pow (* (pow k m) (/ a (+ 1.0 (* k (+ k 10.0))))) 3)) |
Useful iterations: 0 (47.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5049 | 2255 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 132 | 0 | 132 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 132 | 5 | 137 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (+ (+ 1.0 (* 10.0 k)) (* k k)) |
| 0.0b | (* a (pow (sqrt k) m)) |
| 0.0b | (* (* a (pow (sqrt k) m)) (pow (sqrt k) m)) |
| 2.1b | (/ (* (* a (pow (sqrt k) m)) (pow (sqrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) |
| 75× | add-exp-log |
| 45× | prod-exp |
| 20× | add-sqr-sqrt associate-*r* add-cbrt-cube |
| 15× | pow-to-exp pow-exp |
| 14× | unpow-prod-down |
| 13× | add-cube-cbrt *-un-lft-identity div-exp |
| 9× | add-log-exp |
| 7× | sqrt-prod cbrt-unprod |
| 4× | pow1 associate-*l* unswap-sqr |
| 3× | cbrt-undiv times-frac associate-/r* sum-log sqr-pow |
| 2× | flip3-+ associate-/r/ *-commutative flip-+ |
| 1× | +-commutative associate-+l+ frac-2neg clear-num div-inv associate-/l* |
| 4.0ms | (+ (+ 1.0 (* 10.0 k)) (* k k)) |
| 6.0ms | (* a (pow (sqrt k) m)) |
| 8.0ms | (* (* a (pow (sqrt k) m)) (pow (sqrt k) m)) |
| 12.0ms | (/ (* (* a (pow (sqrt k) m)) (pow (sqrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) |
| 3.0ms | (+ (+ 1.0 (* 10.0 k)) (* k k)) |
| 25.0ms | (* a (pow (sqrt k) m)) |
| 37.0ms | (* (* a (pow (sqrt k) m)) (pow (sqrt k) m)) |
| 61.0ms | (/ (* (* a (pow (sqrt k) m)) (pow (sqrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) |
Useful iterations: 0 (44.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4961 | 1442 |
| 1 | 4961 | 1442 |
5 alts after pruning (2 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 122 | 0 | 122 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 122 | 5 | 127 |
Merged error: 0.0b
93.3% (0.1b remaining)
Error of 0.2b against oracle of 0.0b and baseline of 2.0b
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 4.924116202663679e+150 | 9.992870151633012e+152 | 7.430325758544677e+150 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 39 | 60 |
| 1 | 39 | 60 |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 25% | 74.9% | 0.1% | 3 |
| 25% | 74.9% | 0.1% | 4 |
| 25% | 74.9% | 0.1% | 5 |
| 31.2% | 68.6% | 0.1% | 6 |
| 32.8% | 67.1% | 0.1% | 7 |
| 34.3% | 65.5% | 0.1% | 8 |
| 38.2% | 61.2% | 0.5% | 9 |
| 39.6% | 53% | 7.4% | 10 |
| 40.3% | 52.4% | 7.4% | 11 |
| 41.6% | 49.6% | 8.8% | 12 |
| 42% | 39.9% | 18.1% | 13 |
| 42.3% | 39.6% | 18.2% | 14 |
| 508.0ms | 8000× | body | 80 | valid |
| 265.0ms | 3290× | body | 80 | invalid |
| 85.0ms | 1952× | body | 80 | nan |
Loading profile data...