Time bar (total: 12.1s)
| 74.0ms | 666× | body | 80 | valid |
Useful iterations: 1 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 47 | 14 |
| 1 | 110 | 13 |
| 2 | 335 | 13 |
| 3 | 1059 | 13 |
| 4 | 3442 | 13 |
| 5 | 5001 | 13 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 10.7b
Found 4 expressions with local error:
| 0.0b | (- (* c z) (* i a)) |
| 3.8b | (fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a))))) |
| 4.5b | (* x (- (* y z) (* t a))) |
| 4.5b | (* b (- (* c z) (* i a))) |
| 12× | add-sqr-sqrt |
| 8× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 6× | distribute-rgt-in distribute-lft-in associate-*r* associate-*l* add-log-exp |
| 5× | sub-neg prod-diff |
| 4× | expm1-log1p-u associate-*r/ log1p-expm1-u |
| 3× | flip3-- flip-- |
| 2× | pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 1× | fma-neg diff-log fma-udef |
| 3.0ms | (- (* c z) (* i a)) |
| 0.0ms | (fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a))))) |
| 12.0ms | (* x (- (* y z) (* t a))) |
| 10.0ms | (* b (- (* c z) (* i a))) |
| 35.0ms | (- (* c z) (* i a)) |
| 550.0ms | (fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a))))) |
| 68.0ms | (* x (- (* y z) (* t a))) |
| 63.0ms | (* b (- (* c z) (* i a))) |
Useful iterations: 1 (11.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 373 | 645 |
| 1 | 1485 | 568 |
| 2 | 5001 | 568 |
15 alts after pruning (15 fresh and 0 done)
Merged error: 4.0b
Found 4 expressions with local error:
| 3.8b | (fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* x (- (* t a)))) (* b (- (* c z) (* i a))))) |
| 4.1b | (* x (- (* t a))) |
| 4.5b | (* b (- (* c z) (* i a))) |
| 5.8b | (* x (* y z)) |
| 13× | pow1 add-exp-log add-sqr-sqrt add-cbrt-cube |
| 10× | associate-*r* |
| 9× | add-cube-cbrt *-un-lft-identity associate-*l* |
| 5× | pow-prod-down prod-exp cbrt-unprod |
| 4× | expm1-log1p-u log1p-expm1-u add-log-exp |
| 3× | distribute-rgt-in distribute-lft-in *-commutative |
| 2× | sub-neg associate-*r/ prod-diff unswap-sqr |
| 1× | distribute-lft-neg-in neg-mul-1 flip3-- distribute-rgt-neg-in distribute-rgt-neg-out flip-- fma-udef |
| 0.0ms | (fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* x (- (* t a)))) (* b (- (* c z) (* i a))))) |
| 4.0ms | (* x (- (* t a))) |
| 10.0ms | (* b (- (* c z) (* i a))) |
| 6.0ms | (* x (* y z)) |
| 545.0ms | (fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* x (- (* t a)))) (* b (- (* c z) (* i a))))) |
| 29.0ms | (* x (- (* t a))) |
| 67.0ms | (* b (- (* c z) (* i a))) |
| 23.0ms | (* x (* y z)) |
Useful iterations: 2 (49.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 378 | 576 |
| 1 | 1743 | 498 |
| 2 | 5001 | 495 |
13 alts after pruning (13 fresh and 0 done)
Merged error: 3.5b
Found 4 expressions with local error:
| 3.8b | (fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a))))) |
| 4.5b | (* x (fma y z (- (* a t)))) |
| 4.5b | (* b (- (* c z) (* i a))) |
| 52.7b | (fma (- a) t (* a t)) |
| 12× | add-sqr-sqrt |
| 8× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 6× | associate-*r* associate-*l* |
| 4× | distribute-rgt-in expm1-log1p-u distribute-lft-in fma-udef log1p-expm1-u add-log-exp |
| 2× | sub-neg associate-*r/ prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 1× | flip3-- flip-- |
| 0.0ms | (fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a))))) |
| 3.0ms | (* x (fma y z (- (* a t)))) |
| 10.0ms | (* b (- (* c z) (* i a))) |
| 0.0ms | (fma (- a) t (* a t)) |
| 3.4s | (fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a))))) |
| 70.0ms | (* x (fma y z (- (* a t)))) |
| 68.0ms | (* b (- (* c z) (* i a))) |
| 26.0ms | (fma (- a) t (* a t)) |
Useful iterations: 1 (9.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 315 | 624 |
| 1 | 1247 | 538 |
| 2 | 5001 | 538 |
13 alts after pruning (12 fresh and 1 done)
Merged error: 3.5b
Found 4 expressions with local error:
| 2.6b | (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* t a)))) |
| 3.8b | (fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* t a))))) (* b (- (* c z) (* i a))))) |
| 4.5b | (* b (- (* c z) (* i a))) |
| 5.8b | (* x (* y z)) |
| 23× | pow1 add-exp-log |
| 17× | add-cbrt-cube |
| 12× | pow-prod-down prod-exp cbrt-unprod |
| 9× | add-sqr-sqrt |
| 7× | add-cube-cbrt *-un-lft-identity associate-*l* |
| 5× | associate-*r* |
| 4× | expm1-log1p-u log1p-expm1-u add-log-exp |
| 3× | distribute-rgt-in distribute-lft-in *-commutative |
| 2× | sub-neg associate-*r/ prod-diff distribute-rgt-neg-out |
| 1× | flip3-- flip-- fma-udef unswap-sqr |
| 19.0ms | (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* t a)))) |
| 0.0ms | (fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* t a))))) (* b (- (* c z) (* i a))))) |
| 10.0ms | (* b (- (* c z) (* i a))) |
| 10.0ms | (* x (* y z)) |
| 61.0ms | (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* t a)))) |
| 618.0ms | (fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* t a))))) (* b (- (* c z) (* i a))))) |
| 68.0ms | (* b (- (* c z) (* i a))) |
| 24.0ms | (* x (* y z)) |
Useful iterations: 2 (52.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 427 | 793 |
| 1 | 1788 | 636 |
| 2 | 5002 | 597 |
13 alts after pruning (11 fresh and 2 done)
Merged error: 3.5b
2.2% (7.9b remaining)
Error of 12.1b against oracle of 4.2b and baseline of 12.3b
| Iters | Range | Point | |
|---|---|---|---|
| 3 | 6.600737705071838e-196 | 7.941010417730155e-196 | 7.354641105942141e-196 |
| 8 | -4.592511495533277e-224 | -2.642878122848792e-227 | -3.6945330208330025e-225 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 68 | 44 |
| 1 | 74 | 44 |
| 2 | 75 | 44 |
| 3 | 75 | 44 |
| 2.2s | 19212× | body | 80 | valid |