Time bar (total: 26.7s)
| 78.0ms | 640× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 4 | 1194 |
| 3 | 333 |
| 2 | 110 |
| 1 | 47 |
| 0 | 23 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 15.2b
Found 4 expressions with local error:
| 0.3b | (- (* a c) (* y i)) |
| 4.8b | (fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))) |
| 6.1b | (* (fma (- a) t (* z y)) x) |
| 6.7b | (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)) |
| 8× | add-sqr-sqrt |
| 6× | pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp |
| 4× | expm1-log1p-u log1p-expm1-u |
| 3× | associate-*r* associate-*l* |
| 2× | fma-udef |
| 1× | sub-neg flip3-- fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr |
| 7.0ms | (- (* a c) (* y i)) |
| 0.0ms | (fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))) |
| 9.0ms | (* (fma (- a) t (* z y)) x) |
| 1.0ms | (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)) |
| 67.0ms | (- (* a c) (* y i)) |
| 986.0ms | (fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))) |
| 99.0ms | (* (fma (- a) t (* z y)) x) |
| 350.0ms | (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 3 | 3818 |
| 2 | 738 |
| 1 | 252 |
| 0 | 113 |
17 alts after pruning (17 fresh and 0 done)
Merged error: 10.2b
Found 4 expressions with local error:
| 6.7b | (fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* (cbrt (fma t (- a) (* y z))) x))) |
| 7.9b | (cbrt (fma (- a) t (* z y))) |
| 7.9b | (cbrt (fma (- a) t (* z y))) |
| 7.9b | (cbrt (fma t (- a) (* y z))) |
| 9× | cbrt-prod |
| 7× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 4× | expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp |
| 3× | pow1/3 |
| 1× | fma-udef |
| 1.0ms | (fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* (cbrt (fma t (- a) (* y z))) x))) |
| 1.0ms | (cbrt (fma (- a) t (* z y))) |
| 1.0ms | (cbrt (fma (- a) t (* z y))) |
| 1.0ms | (cbrt (fma t (- a) (* y z))) |
| 447.0ms | (fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* (cbrt (fma t (- a) (* y z))) x))) |
| 300.0ms | (cbrt (fma (- a) t (* z y))) |
| 279.0ms | (cbrt (fma (- a) t (* z y))) |
| 251.0ms | (cbrt (fma t (- a) (* y z))) |
| Iter | Nodes |
|---|---|
| done | 5002 |
| 3 | 1585 |
| 2 | 459 |
| 1 | 201 |
| 0 | 102 |
17 alts after pruning (16 fresh and 1 done)
Merged error: 10.2b
Found 4 expressions with local error:
| 1.2b | (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x)) |
| 4.8b | (fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x)))) |
| 5.2b | (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) |
| 6.7b | (fma b (fma i t (- (* z c))) (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x))) |
| 18× | pow1 add-exp-log |
| 11× | add-cbrt-cube |
| 9× | pow-prod-down prod-exp cbrt-unprod |
| 8× | add-sqr-sqrt |
| 7× | *-un-lft-identity associate-*r* add-cube-cbrt |
| 4× | expm1-log1p-u associate-*l* log1p-expm1-u add-log-exp |
| 3× | cbrt-prod |
| 2× | *-commutative fma-udef |
| 1× | unswap-sqr |
| 101.0ms | (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x)) |
| 1.0ms | (fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x)))) |
| 22.0ms | (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) |
| 0.0ms | (fma b (fma i t (- (* z c))) (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x))) |
| 177.0ms | (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x)) |
| 1.0s | (fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x)))) |
| 355.0ms | (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) |
| 462.0ms | (fma b (fma i t (- (* z c))) (* (* (fma t (- a) (* y z)) (* (cbrt x) (cbrt x))) (cbrt x))) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 1343 |
| 1 | 307 |
| 0 | 133 |
16 alts after pruning (15 fresh and 1 done)
Merged error: 4.0b
Found 4 expressions with local error:
| 6.7b | (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)) |
| 7.2b | (cbrt (fma c a (* (- i) y))) |
| 7.2b | (cbrt (fma c a (* (- i) y))) |
| 7.2b | (cbrt (fma c a (* (- i) y))) |
| 9× | cbrt-prod |
| 7× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 4× | expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp |
| 3× | pow1/3 |
| 1× | fma-udef |
| 0.0ms | (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)) |
| 1.0ms | (cbrt (fma c a (* (- i) y))) |
| 1.0ms | (cbrt (fma c a (* (- i) y))) |
| 1.0ms | (cbrt (fma c a (* (- i) y))) |
| 367.0ms | (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)) |
| 190.0ms | (cbrt (fma c a (* (- i) y))) |
| 215.0ms | (cbrt (fma c a (* (- i) y))) |
| 257.0ms | (cbrt (fma c a (* (- i) y))) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 3 | 1234 |
| 2 | 423 |
| 1 | 188 |
| 0 | 87 |
14 alts after pruning (13 fresh and 1 done)
Merged error: 4.0b
-40.7% (11.7b remaining)
Error of 16.1b against oracle of 4.3b and baseline of 12.7b
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 5.852161082359625e+33 | 1.1647955323424639e+35 | 9.012061759990378e+34 |
| 0 | 5.4503518530079964e-170 | 5.640935087031339e-170 | 5.545643470019667e-170 |
| 6 | 6.381945733701889e-288 | 2.901302588085489e-287 | 6.4373798807684596e-288 |
| 6 | 2.0543626676345605e-303 | 1.1916894274425721e-302 | 9.767323515894153e-303 |
| 9 | -6.833393887297045e-147 | -1.4607410568915955e-153 | -1.4865436217138454e-153 |
| 8 | -4.287199992918998e-69 | -2.4991088122388803e-72 | -4.141239147151521e-69 |
| 10 | -5.213720534660923e+54 | -3.6339803350820565e+44 | -2.5660919695414934e+45 |
| Iter | Nodes |
|---|---|
| done | 134 |
| 3 | 134 |
| 2 | 130 |
| 1 | 113 |
| 0 | 87 |
| 4.3s | 18914× | body | 80 | valid |