Time bar (total: 12.7s)
| 10.0ms | 327× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 9 | 1228 |
| 8 | 353 |
| 7 | 150 |
| 6 | 113 |
| 5 | 90 |
| 4 | 62 |
| 3 | 36 |
| 2 | 20 |
| 1 | 11 |
| 0 | 7 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 7.3b
Found 2 expressions with local error:
| 0.0b | (fma (- z x) y x) |
| 6.9b | (/ (fma (- z x) y x) z) |
| 10× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 9× | times-frac |
| 4× | add-cbrt-cube add-exp-log |
| 3× | associate-/r* associate-/l* |
| 2× | expm1-log1p-u pow1 log1p-expm1-u add-log-exp |
| 1× | cbrt-undiv clear-num frac-2neg div-exp fma-udef div-inv |
| 0.0ms | (fma (- z x) y x) |
| 6.0ms | (/ (fma (- z x) y x) z) |
| 55.0ms | (fma (- z x) y x) |
| 82.0ms | (/ (fma (- z x) y x) z) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 3 | 1674 |
| 2 | 286 |
| 1 | 117 |
| 0 | 66 |
3 alts after pruning (3 fresh and 0 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ y (fma (/ x z) (- y) (/ x z))) |
| 2.4b | (fma (/ x z) (- y) (/ x z)) |
| 5× | *-un-lft-identity |
| 4× | add-log-exp |
| 3× | add-sqr-sqrt fma-def add-cube-cbrt |
| 2× | expm1-log1p-u pow1 add-cbrt-cube add-exp-log fma-udef log1p-expm1-u |
| 1× | +-commutative associate-+r+ sum-log flip3-+ flip-+ distribute-lft-out |
| 8.0ms | (+ y (fma (/ x z) (- y) (/ x z))) |
| 1.0ms | (fma (/ x z) (- y) (/ x z)) |
| 55.0ms | (+ y (fma (/ x z) (- y) (/ x z))) |
| 73.0ms | (fma (/ x z) (- y) (/ x z)) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 3 | 1878 |
| 2 | 277 |
| 1 | 101 |
| 0 | 44 |
3 alts after pruning (2 fresh and 1 done)
Merged error: 0b
Found 3 expressions with local error:
| 0.0b | (+ (* (- z x) y) x) |
| 0.0b | (* (- z x) y) |
| 6.9b | (/ (+ (* (- z x) y) x) z) |
| 17× | add-sqr-sqrt |
| 15× | *-un-lft-identity |
| 13× | add-cube-cbrt |
| 9× | times-frac |
| 7× | add-cbrt-cube add-exp-log |
| 5× | pow1 associate-*l* add-log-exp |
| 3× | expm1-log1p-u associate-/r* associate-*r* log1p-expm1-u associate-/l* |
| 2× | flip3-+ associate-*l/ flip-+ associate-/l/ |
| 1× | cbrt-undiv +-commutative clear-num sum-log fma-def frac-2neg flip3-- div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- distribute-lft-out-- difference-of-squares unswap-sqr |
| 11.0ms | (+ (* (- z x) y) x) |
| 22.0ms | (* (- z x) y) |
| 33.0ms | (/ (+ (* (- z x) y) x) z) |
| 45.0ms | (+ (* (- z x) y) x) |
| 48.0ms | (* (- z x) y) |
| 56.0ms | (/ (+ (* (- z x) y) x) z) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 924 |
| 1 | 267 |
| 0 | 118 |
3 alts after pruning (1 fresh and 2 done)
Merged error: 0b
Found 4 expressions with local error:
| 2.4b | (fma (/ x z) (- y) (/ x z)) |
| 2.4b | (fma (/ x z) (- y) (/ x z)) |
| 7.8b | (sqrt (fma (/ x z) (- y) (/ x z))) |
| 7.8b | (sqrt (fma (/ x z) (- y) (/ x z))) |
| 8× | add-sqr-sqrt |
| 6× | pow1 *-un-lft-identity add-cube-cbrt sqrt-prod |
| 4× | expm1-log1p-u add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp |
| 2× | rem-sqrt-square sqrt-pow1 pow1/2 fma-udef |
| 0.0ms | (fma (/ x z) (- y) (/ x z)) |
| 0.0ms | (fma (/ x z) (- y) (/ x z)) |
| 1.0ms | (sqrt (fma (/ x z) (- y) (/ x z))) |
| 1.0ms | (sqrt (fma (/ x z) (- y) (/ x z))) |
| 63.0ms | (fma (/ x z) (- y) (/ x z)) |
| 60.0ms | (fma (/ x z) (- y) (/ x z)) |
| 174.0ms | (sqrt (fma (/ x z) (- y) (/ x z))) |
| 202.0ms | (sqrt (fma (/ x z) (- y) (/ x z))) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 3 | 2070 |
| 2 | 381 |
| 1 | 117 |
| 0 | 53 |
3 alts after pruning (0 fresh and 3 done)
Merged error: 0b
0% (0.0b remaining)
Error of 0.0b against oracle of 0.0b and baseline of 0.0b
| Iter | Nodes |
|---|---|
| done | 8 |
| 1 | 8 |
| 0 | 7 |
| 450.0ms | 10107× | body | 80 | valid |