Time bar (total: 6.8s)
| 46.0ms | 582× | body | 80 | valid |
Useful iterations: 0 (139.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 3047 | 29 |
| 1 | 3047 | 29 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 0 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Merged error: 14.0b
Found 4 expressions with local error:
| 0.3b | (- (* c t) (* i y)) |
| 4.8b | (* j (- (* c t) (* i y))) |
| 5.1b | (* x (- (* y z) (* t a))) |
| 6.8b | (* b (- (* c z) (* i a))) |
| 16× | add-sqr-sqrt |
| 10× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 9× | associate-*r* associate-*l* |
| 7× | sub-neg |
| 6× | distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp |
| 4× | flip3-- flip-- |
| 3× | pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 1× | diff-log |
| 3.0ms | (- (* c t) (* i y)) |
| 6.0ms | (* j (- (* c t) (* i y))) |
| 5.0ms | (* x (- (* y z) (* t a))) |
| 6.0ms | (* b (- (* c z) (* i a))) |
| 9.0ms | (- (* c t) (* i y)) |
| 21.0ms | (* j (- (* c t) (* i y))) |
| 17.0ms | (* x (- (* y z) (* t a))) |
| 17.0ms | (* b (- (* c z) (* i a))) |
Useful iterations: 0 (24.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5014 | 1007 |
18 alts after pruning (18 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 78 | 18 | 96 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 79 | 18 | 97 |
Merged error: 5.3b
Found 4 expressions with local error:
| 3.8b | (* a (* x (neg t))) |
| 4.8b | (* j (- (* c t) (* i y))) |
| 5.3b | (* z (* x y)) |
| 6.8b | (* b (- (* c z) (* i a))) |
| 18× | pow1 add-exp-log add-cbrt-cube |
| 14× | add-sqr-sqrt |
| 12× | associate-*l* |
| 10× | add-cube-cbrt *-un-lft-identity |
| 8× | associate-*r* pow-prod-down prod-exp cbrt-unprod |
| 4× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp |
| 2× | flip3-- distribute-rgt-neg-out flip-- unswap-sqr |
| 5.0ms | (* a (* x (neg t))) |
| 5.0ms | (* j (- (* c t) (* i y))) |
| 4.0ms | (* z (* x y)) |
| 6.0ms | (* b (- (* c z) (* i a))) |
| 6.0ms | (* a (* x (neg t))) |
| 18.0ms | (* j (- (* c t) (* i y))) |
| 5.0ms | (* z (* x y)) |
| 20.0ms | (* b (- (* c z) (* i a))) |
Useful iterations: 0 (36.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5019 | 830 |
20 alts after pruning (20 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 93 | 4 | 97 |
| Fresh | 1 | 16 | 17 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 95 | 20 | 115 |
Merged error: 5.0b
Found 4 expressions with local error:
| 4.4b | (* (* a x) (neg t)) |
| 4.8b | (* j (- (* c t) (* i y))) |
| 5.3b | (* z (* x y)) |
| 6.8b | (* b (- (* c z) (* i a))) |
| 18× | pow1 add-exp-log add-cbrt-cube |
| 17× | associate-*r* |
| 16× | add-sqr-sqrt |
| 12× | add-cube-cbrt *-un-lft-identity |
| 10× | associate-*l* |
| 8× | pow-prod-down prod-exp cbrt-unprod |
| 4× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp |
| 3× | distribute-lft-neg-in distribute-rgt-neg-in |
| 2× | flip3-- flip-- unswap-sqr |
| 1× | neg-mul-1 distribute-rgt-neg-out |
| 6.0ms | (* (* a x) (neg t)) |
| 5.0ms | (* j (- (* c t) (* i y))) |
| 4.0ms | (* z (* x y)) |
| 6.0ms | (* b (- (* c z) (* i a))) |
| 6.0ms | (* (* a x) (neg t)) |
| 22.0ms | (* j (- (* c t) (* i y))) |
| 5.0ms | (* z (* x y)) |
| 17.0ms | (* b (- (* c z) (* i a))) |
Useful iterations: 0 (26.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5018 | 875 |
20 alts after pruning (19 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 104 | 0 | 104 |
| Fresh | 0 | 19 | 19 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 104 | 20 | 124 |
Merged error: 5.0b
Found 4 expressions with local error:
| 3.3b | (* (- (* c z) (* i a)) (cbrt b)) |
| 3.7b | (* (* (cbrt b) (cbrt b)) (* (- (* c z) (* i a)) (cbrt b))) |
| 4.8b | (* j (- (* c t) (* i y))) |
| 5.1b | (* x (- (* y z) (* t a))) |
| 22× | pow1 add-exp-log |
| 19× | add-sqr-sqrt |
| 15× | add-cbrt-cube |
| 13× | associate-*r* |
| 11× | add-cube-cbrt *-un-lft-identity pow-prod-down prod-exp cbrt-unprod |
| 10× | associate-*l* |
| 6× | associate-*r/ |
| 4× | cbrt-prod distribute-rgt-in sub-neg flip3-- distribute-lft-in associate-*l/ *-commutative flip-- add-log-exp unswap-sqr |
| 6.0ms | (* (- (* c z) (* i a)) (cbrt b)) |
| 11.0ms | (* (* (cbrt b) (cbrt b)) (* (- (* c z) (* i a)) (cbrt b))) |
| 6.0ms | (* j (- (* c t) (* i y))) |
| 8.0ms | (* x (- (* y z) (* t a))) |
| 38.0ms | (* (- (* c z) (* i a)) (cbrt b)) |
| 24.0ms | (* (* (cbrt b) (cbrt b)) (* (- (* c z) (* i a)) (cbrt b))) |
| 17.0ms | (* j (- (* c t) (* i y))) |
| 18.0ms | (* x (- (* y z) (* t a))) |
Useful iterations: 0 (57.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4990 | 1170 |
| 1 | 4990 | 1170 |
16 alts after pruning (15 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 106 | 2 | 108 |
| Fresh | 5 | 13 | 18 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 112 | 16 | 128 |
Merged error: 5.0b
15.9% (7.5b remaining)
Error of 11.1b against oracle of 3.6b and baseline of 12.5b
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 2.6387590603295454e-88 | 2.2064752681977023e-85 | 5.816939084249134e-86 |
| 9 | 7.882759406173012e-153 | 1.4113252112894058e-144 | 1.1074263913215436e-149 |
| 9 | 2.4572779670549876e-231 | 5.010482890726514e-226 | 1.4036298199190605e-230 |
| 5 | -5.51747924574213e-185 | -2.103989489648792e-185 | -3.3254042420924105e-185 |
| 8 | -7.119282593087494e-102 | -1.7722703510126344e-105 | -1.3041904052875267e-103 |
| 6 | -1.1445354022105097e+21 | -2.641260362468764e+20 | -5.453043286825491e+20 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 139 | 281 |
| 1 | 139 | 281 |
| 1.5s | 18925× | body | 80 | valid |
Loading profile data...