Time bar (total: 15.9s)
| 10.0ms | 342× | body | 80 | valid |
Useful iterations: 4 (402.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 34 | 9 |
| 3 | 92 | 9 |
| 4 | 190 | 8 |
| 5 | 409 | 8 |
| 6 | 586 | 8 |
| 7 | 695 | 8 |
| 8 | 901 | 8 |
| 9 | 1051 | 8 |
| 10 | 1256 | 8 |
| 11 | 1500 | 8 |
| 12 | 2071 | 8 |
| 13 | 2349 | 8 |
| 14 | 2564 | 8 |
| 15 | 2572 | 8 |
| done | 2572 | 8 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 3.6b
Found 1 expressions with local error:
| 3.4b | (* (fma z (- y 1.0) 1.0) x) |
| 5× | add-sqr-sqrt |
| 3× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube |
| 1× | expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr |
| 15.0ms | (* (fma z (- y 1.0) 1.0) x) |
| 60.0ms | (* (fma z (- y 1.0) 1.0) x) |
Useful iterations: 3 (392.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 266 |
| 1 | 94 | 259 |
| 2 | 300 | 219 |
| 3 | 1108 | 215 |
| done | 5000 | 215 |
9 alts after pruning (8 fresh and 1 done)
Merged error: 3.4b
Found 4 expressions with local error:
| 0.7b | (* (* (cbrt (fma z (- y 1.0) 1.0)) (cbrt (fma z (- y 1.0) 1.0))) (* (cbrt (fma z (- y 1.0) 1.0)) x)) |
| 3.6b | (cbrt (fma z (- y 1.0) 1.0)) |
| 3.6b | (cbrt (fma z (- y 1.0) 1.0)) |
| 3.6b | (cbrt (fma z (- y 1.0) 1.0)) |
| 16× | pow1 add-exp-log |
| 10× | add-cbrt-cube |
| 9× | cbrt-prod |
| 8× | pow-prod-down prod-exp cbrt-unprod |
| 7× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | expm1-log1p-u log1p-expm1-u add-log-exp |
| 3× | pow1/3 |
| 1× | associate-*r* associate-*l* *-commutative |
| 44.0ms | (* (* (cbrt (fma z (- y 1.0) 1.0)) (cbrt (fma z (- y 1.0) 1.0))) (* (cbrt (fma z (- y 1.0) 1.0)) x)) |
| 1.0ms | (cbrt (fma z (- y 1.0) 1.0)) |
| 1.0ms | (cbrt (fma z (- y 1.0) 1.0)) |
| 1.0ms | (cbrt (fma z (- y 1.0) 1.0)) |