Time bar (total: 1.4s)
| 81.0ms | 1422× | body | 80 | nan |
| 23.0ms | 376× | body | 80 | valid |
| 4.0ms | 2× | body | 1280 | valid |
| 3.0ms | 9× | body | 640 | valid |
| 2.0ms | 8× | body | 320 | valid |
| 1.0ms | 8× | body | 160 | valid |
Useful iterations: 1 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 18 |
| 1 | 31 | 17 |
| 2 | 62 | 17 |
| 3 | 120 | 17 |
| 4 | 310 | 17 |
| 5 | 1057 | 17 |
| done | 5000 | 17 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 2.6b
Found 4 expressions with local error:
| 0.0b | (* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x) |
| 0.0b | (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) |
| 0.1b | (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))) |
| 5.3b | (log (- 1.0 z)) |
| 12× | add-sqr-sqrt |
| 10× | *-un-lft-identity |
| 8× | add-cube-cbrt |
| 7× | pow1 |
| 6× | add-exp-log add-cbrt-cube |
| 5× | log-prod add-log-exp |
| 4× | expm1-log1p-u associate-*l* log1p-expm1-u |
| 3× | exp-prod associate-*r* fma-udef |
| 2× | log-div exp-sum |
| 1× | flip3-- rem-log-exp pow-prod-down prod-exp log-pow *-commutative flip-- cbrt-unprod rem-exp-log distribute-lft-out-- difference-of-squares unswap-sqr |
| 6.0ms | (* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x) |
| 1.0ms | (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) |
| 0.0ms | (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))) |
| 4.0ms | (log (- 1.0 z)) |
| 296.0ms | (* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x) |
| 133.0ms | (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) |
| 185.0ms | (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))) |
| 46.0ms | (log (- 1.0 z)) |
Useful iterations: 1 (32.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 159 | 1277 |
| 1 | 358 | 1230 |