Time bar (total: 1.4s)
| 39.0ms | 42× | body | 1280 | valid |
| 33.0ms | 36× | body | 10240 | exit |
| 21.0ms | 44× | body | 640 | valid |
| 13.0ms | 113× | body | 80 | valid |
| 12.0ms | 36× | body | 320 | valid |
| 10.0ms | 5× | body | 2560 | valid |
| 4.0ms | 56× | body | 80 | nan |
| 4.0ms | 19× | body | 160 | valid |
| 2.0ms | 8× | body | 320 | nan |
| 2.0ms | 4× | body | 640 | nan |
| 1.0ms | 2× | body | 1280 | nan |
| 1.0ms | 5× | body | 160 | nan |
Useful iterations: 10 (812.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 13 |
| 1 | 20 | 13 |
| 2 | 35 | 12 |
| 3 | 53 | 12 |
| 4 | 77 | 12 |
| 5 | 106 | 12 |
| 6 | 138 | 12 |
| 7 | 176 | 12 |
| 8 | 232 | 12 |
| 9 | 295 | 12 |
| 10 | 459 | 10 |
| 11 | 498 | 10 |
| 12 | 500 | 10 |
| done | 500 | 10 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 11.4b
Found 3 expressions with local error:
| 0.0b | (fma (expm1 z) y 1.0) |
| 0.1b | (/ (log (fma (expm1 z) y 1.0)) t) |
| 4.7b | (log (fma (expm1 z) y 1.0)) |
| 13× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 12× | times-frac |
| 8× | pow1 |
| 6× | add-exp-log |
| 5× | log-pow add-cbrt-cube |
| 4× | associate-/l* |
| 3× | expm1-log1p-u log-prod associate-/r* log1p-expm1-u add-log-exp |
| 1× | cbrt-undiv frac-2neg div-exp rem-log-exp clear-num fma-udef div-inv |
| 0.0ms | (fma (expm1 z) y 1.0) |
| 7.0ms | (/ (log (fma (expm1 z) y 1.0)) t) |
| 1.0ms | (log (fma (expm1 z) y 1.0)) |