Time bar (total: 8.2s)
| 52.0ms | 614× | body | 80 | valid |
Useful iterations: 0 (117.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: 11.1b
Found 4 expressions with local error:
| 0.0b | (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) |
| 3.5b | (* x (- (* y z) (* t a))) |
| 5.1b | (* j (- (* c a) (* y i))) |
| 5.9b | (* b (- (* c z) (* t i))) |
| 34× | associate-*r/ |
| 19× | flip3-- flip-- |
| 16× | add-sqr-sqrt |
| 12× | frac-add |
| 11× | sub-neg |
| 10× | pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in add-cbrt-cube |
| 9× | associate-*r* associate-*l* add-log-exp |
| 8× | frac-sub |
| 6× | associate-+l+ |
| 4× | associate-+r+ associate--l+ |
| 3× | pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 2× | sum-log |
| 1× | +-commutative associate-+l- flip3-+ diff-log flip-+ |
| 13.0ms | (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) |
| 9.0ms | (* x (- (* y z) (* t a))) |
| 7.0ms | (* j (- (* c a) (* y i))) |
| 7.0ms | (* b (- (* c z) (* t i))) |
| 269.0ms | (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) |
| 21.0ms | (* x (- (* y z) (* t a))) |
| 21.0ms | (* j (- (* c a) (* y i))) |
| 21.0ms | (* b (- (* c z) (* t i))) |
Useful iterations: 0 (36.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5055 | 3492 |
21 alts after pruning (21 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 98 | 21 | 119 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 99 | 21 | 120 |
Merged error: 4.0b
Found 4 expressions with local error:
| 3.5b | (* x (- (* y z) (* t a))) |
| 5.0b | (* c (* j a)) |
| 5.2b | (* i (* (neg y) j)) |
| 5.9b | (* b (- (* c z) (* t i))) |
| 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-- flip-- unswap-sqr |
| 1× | distribute-lft-neg-out distribute-rgt-neg-out |
| 7.0ms | (* x (- (* y z) (* t a))) |
| 7.0ms | (* c (* j a)) |
| 6.0ms | (* i (* (neg y) j)) |
| 7.0ms | (* b (- (* c z) (* t i))) |
| 21.0ms | (* x (- (* y z) (* t a))) |
| 6.0ms | (* c (* j a)) |
| 7.0ms | (* i (* (neg y) j)) |
| 21.0ms | (* b (- (* c z) (* t i))) |
Useful iterations: 0 (39.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5558 | 831 |
21 alts after pruning (21 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 94 | 3 | 97 |
| Fresh | 2 | 18 | 20 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 97 | 21 | 118 |
Merged error: 3.5b
Found 4 expressions with local error:
| 3.5b | (* x (- (* y z) (* t a))) |
| 4.7b | (* b (* t (neg i))) |
| 5.1b | (* j (- (* c a) (* y i))) |
| 5.6b | (* b (* c z)) |
| 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 |
| 7.0ms | (* x (- (* y z) (* t a))) |
| 6.0ms | (* b (* t (neg i))) |
| 7.0ms | (* j (- (* c a) (* y i))) |
| 6.0ms | (* b (* c z)) |
| 21.0ms | (* x (- (* y z) (* t a))) |
| 7.0ms | (* b (* t (neg i))) |
| 23.0ms | (* j (- (* c a) (* y i))) |
| 7.0ms | (* b (* c z)) |
Useful iterations: 0 (29.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4996 | 830 |
| 1 | 4996 | 830 |
18 alts after pruning (18 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 93 | 4 | 97 |
| Fresh | 6 | 14 | 20 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 100 | 18 | 118 |
Merged error: 1.1b
Found 4 expressions with local error:
| 3.5b | (* x (- (* y z) (* t a))) |
| 4.7b | (* (* b c) z) |
| 4.7b | (* b (* t (neg i))) |
| 5.1b | (* j (- (* c a) (* y i))) |
| 18× | pow1 add-exp-log add-cbrt-cube |
| 14× | add-sqr-sqrt |
| 10× | add-cube-cbrt *-un-lft-identity associate-*r* 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 |
| 2× | flip3-- distribute-rgt-neg-out flip-- unswap-sqr |
| 7.0ms | (* x (- (* y z) (* t a))) |
| 7.0ms | (* (* b c) z) |
| 6.0ms | (* b (* t (neg i))) |
| 7.0ms | (* j (- (* c a) (* y i))) |
| 21.0ms | (* x (- (* y z) (* t a))) |
| 6.0ms | (* (* b c) z) |
| 7.0ms | (* b (* t (neg i))) |
| 21.0ms | (* j (- (* c a) (* y i))) |
Useful iterations: 0 (30.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5292 | 831 |
20 alts after pruning (20 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 90 | 7 | 97 |
| Fresh | 4 | 13 | 17 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 95 | 20 | 115 |
Merged error: 0.5b
3.1% (11.7b remaining)
Error of 12.4b against oracle of 0.7b and baseline of 12.7b
| Iters | Range | Point | |
|---|---|---|---|
| 3 | 3.528964010999325e+276 | 4.6463450523387755e+276 | 3.970854927376422e+276 |
| 9 | 3.5005250443935304e+166 | 2.9086097345228772e+175 | 1.2308472181377851e+173 |
| 5 | 7.565457221248653e+114 | 2.3012943149959497e+115 | 1.0053141711881715e+115 |
| 9 | 6.557756909516507e-24 | 2.6806195047911837e-16 | 1.1651153506956796e-16 |
| 10 | -2.1445575044173838e-299 | 4.6829595612992834e-303 | -2.798889537393456e-301 |
| 7 | -4.605548108195812e-118 | -2.1305666738974316e-120 | -3.0683073124079845e-119 |
| 5 | -3.781390739707417e+23 | -1.5225677411045758e+23 | -3.135386554209243e+23 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 188 | 293 |
| 1 | 188 | 293 |
| 1.7s | 19342× | body | 80 | valid |
Loading profile data...