Time bar (total: 22.4s)
| 92.0ms | 640× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 4 | 953 |
| 3 | 290 |
| 2 | 96 |
| 1 | 43 |
| 0 | 23 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 15.3b
Found 4 expressions with local error:
| 0.3b | (- (* a c) (* y i)) |
| 5.4b | (* j (- (* a c) (* y i))) |
| 6.1b | (* (- (* z y) (* t a)) x) |
| 7.5b | (* (- (* t i) (* z c)) b) |
| 16× | add-sqr-sqrt |
| 10× | pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt |
| 9× | associate-*r* associate-*l* |
| 6× | add-log-exp |
| 4× | flip3-- associate-*l/ flip-- |
| 3× | sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 2× | distribute-rgt-in distribute-lft-in associate-*r/ |
| 1× | diff-log |
| 12.0ms | (- (* a c) (* y i)) |
| 40.0ms | (* j (- (* a c) (* y i))) |
| 38.0ms | (* (- (* z y) (* t a)) x) |
| 50.0ms | (* (- (* t i) (* z c)) b) |
| 51.0ms | (- (* a c) (* y i)) |
| 130.0ms | (* j (- (* a c) (* y i))) |
| 91.0ms | (* (- (* z y) (* t a)) x) |
| 120.0ms | (* (- (* t i) (* z c)) b) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 2 | 1697 |
| 1 | 417 |
| 0 | 155 |
17 alts after pruning (17 fresh and 0 done)
Merged error: 3.3b
Found 4 expressions with local error:
| 4.8b | (* z (* b c)) |
| 5.4b | (* j (- (* a c) (* y i))) |
| 6.1b | (* (* i b) t) |
| 6.1b | (* (- (* z y) (* t a)) x) |
| 18× | pow1 add-cbrt-cube add-exp-log |
| 14× | add-sqr-sqrt |
| 10× | *-un-lft-identity associate-*r* associate-*l* add-cube-cbrt |
| 8× | pow-prod-down prod-exp cbrt-unprod |
| 4× | *-commutative add-log-exp |
| 2× | distribute-rgt-in sub-neg distribute-lft-in flip3-- associate-*l/ associate-*r/ flip-- unswap-sqr |
| 21.0ms | (* z (* b c)) |
| 46.0ms | (* j (- (* a c) (* y i))) |
| 26.0ms | (* (* i b) t) |
| 29.0ms | (* (- (* z y) (* t a)) x) |
| 30.0ms | (* z (* b c)) |
| 101.0ms | (* j (- (* a c) (* y i))) |
| 36.0ms | (* (* i b) t) |
| 100.0ms | (* (- (* z y) (* t a)) x) |
| Iter | Nodes |
|---|---|
| done | 5002 |
| 2 | 2087 |
| 1 | 449 |
| 0 | 166 |
15 alts after pruning (15 fresh and 0 done)
Merged error: 1.3b
Found 4 expressions with local error:
| 4.7b | (* (* t b) i) |
| 4.8b | (* z (* b c)) |
| 5.4b | (* j (- (* a c) (* y i))) |
| 6.1b | (* (- (* z y) (* t a)) x) |
| 18× | pow1 add-cbrt-cube add-exp-log |
| 14× | add-sqr-sqrt |
| 10× | *-un-lft-identity associate-*r* associate-*l* add-cube-cbrt |
| 8× | pow-prod-down prod-exp cbrt-unprod |
| 4× | *-commutative add-log-exp |
| 2× | distribute-rgt-in sub-neg distribute-lft-in flip3-- associate-*l/ associate-*r/ flip-- unswap-sqr |
| 14.0ms | (* (* t b) i) |
| 13.0ms | (* z (* b c)) |
| 22.0ms | (* j (- (* a c) (* y i))) |
| 43.0ms | (* (- (* z y) (* t a)) x) |
| 40.0ms | (* (* t b) i) |
| 39.0ms | (* z (* b c)) |
| 92.0ms | (* j (- (* a c) (* y i))) |
| 76.0ms | (* (- (* z y) (* t a)) x) |
| Iter | Nodes |
|---|---|
| done | 5002 |
| 2 | 2170 |
| 1 | 451 |
| 0 | 167 |
14 alts after pruning (14 fresh and 0 done)
Merged error: 1.0b
Found 4 expressions with local error:
| 5.4b | (* j (- (* a c) (* y i))) |
| 7.9b | (cbrt (- (* z y) (* t a))) |
| 7.9b | (cbrt (- (* z y) (* t a))) |
| 7.9b | (cbrt (- (* z y) (* t a))) |
| 11× | add-sqr-sqrt |
| 9× | cbrt-prod *-un-lft-identity add-cube-cbrt |
| 6× | pow1 cbrt-div add-cbrt-cube add-exp-log |
| 4× | flip3-- flip-- add-log-exp |
| 3× | pow1/3 associate-*r* associate-*l* |
| 2× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ |
| 1× | pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 22.0ms | (* j (- (* a c) (* y i))) |
| 5.0ms | (cbrt (- (* z y) (* t a))) |
| 8.0ms | (cbrt (- (* z y) (* t a))) |
| 22.0ms | (cbrt (- (* z y) (* t a))) |
| 87.0ms | (* j (- (* a c) (* y i))) |
| 599.0ms | (cbrt (- (* z y) (* t a))) |
| 189.0ms | (cbrt (- (* z y) (* t a))) |
| 174.0ms | (cbrt (- (* z y) (* t a))) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 3 | 4111 |
| 2 | 1032 |
| 1 | 324 |
| 0 | 122 |
14 alts after pruning (13 fresh and 1 done)
Merged error: 1.0b
25.6% (8.8b remaining)
Error of 9.7b against oracle of 0.9b and baseline of 12.7b
| Iters | Range | Point | |
|---|---|---|---|
| 6 | 9.987395553935246e+129 | 7.732541981215885e+130 | 5.591290094756512e+130 |
| 8 | 2.688389705985215e+87 | 2.4236957047850712e+91 | 2.14964047873417e+89 |
| 7 | 1.7666429567617557e+78 | 1.786643972454922e+80 | 1.75607632423488e+80 |
| 6 | 7.779383093140073e-82 | 5.035839767340099e-81 | 2.7009385916040415e-81 |
| 6 | 2.5899978607641402e-214 | 3.74937729789408e-213 | 4.94449747984342e-214 |
| 7 | -8.02664901358222e-204 | -6.165546040097882e-206 | -2.9655230785457264e-204 |
| 7 | -9.587929173420193e-134 | -5.1206540580346406e-135 | -6.651701605731016e-134 |
| 6 | -1.160782512603055e-93 | -2.164323878929727e-94 | -6.544881131462385e-94 |
| 9 | -2.1350173585209676e+77 | -8.592901200170077e+70 | -3.725138153910989e+76 |
| Iter | Nodes |
|---|---|
| done | 161 |
| 3 | 161 |
| 2 | 155 |
| 1 | 145 |
| 0 | 93 |
| 4.0s | 18914× | body | 80 | valid |