Time bar (total: 5.4s)
| 470.0ms | 280× | body | 10240 | exit |
| 54.0ms | 76× | body | 1280 | valid |
| 15.0ms | 42× | body | 640 | valid |
| 10.0ms | 6× | body | 2560 | valid |
| 9.0ms | 182× | body | 80 | nan |
| 7.0ms | 92× | body | 80 | valid |
| 5.0ms | 23× | body | 320 | valid |
| 3.0ms | 17× | body | 160 | valid |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 217 |
| 1 | 11 | 217 |
| 2 | 14 | 217 |
| 3 | 16 | 217 |
| done | 16 | 217 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 33.6b
Found 1 expressions with local error:
| 37.9b | (fmod (cosh c) (log1p a)) |
| 1× | add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt log1p-expm1-u add-log-exp |
| 1.0ms | (fmod (cosh c) (log1p a)) |
| 10.0ms | (fmod (cosh c) (log1p a)) |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 3264 |
| 1 | 21 | 3264 |
| 2 | 26 | 3264 |
| 3 | 32 | 3264 |
| 4 | 40 | 3264 |
| 5 | 59 | 3264 |
| 6 | 89 | 3264 |
| 7 | 158 | 3264 |
| 8 | 364 | 3264 |
| 9 | 1174 | 3264 |
| done | 5002 | 3264 |
6 alts after pruning (5 fresh and 1 done)
Merged error: 33.5b
Found 3 expressions with local error:
| 0.5b | (exp (log (fmod (cosh c) (log1p a)))) |
| 0.7b | (log (fmod (cosh c) (log1p a))) |
| 37.9b | (fmod (cosh c) (log1p a)) |
| 6× | add-sqr-sqrt log-prod *-un-lft-identity add-cube-cbrt |
| 5× | pow1 |
| 4× | exp-prod add-exp-log |
| 3× | expm1-log1p-u add-cbrt-cube exp-sum log1p-expm1-u add-log-exp |
| 2× | log-pow |
| 1× | rem-log-exp rem-exp-log |
| 2.0ms | (exp (log (fmod (cosh c) (log1p a)))) |
| 2.0ms | (log (fmod (cosh c) (log1p a))) |
| 0.0ms | (fmod (cosh c) (log1p a)) |
| 3.0ms | (exp (log (fmod (cosh c) (log1p a)))) |
| 32.0ms | (log (fmod (cosh c) (log1p a))) |
| 5.0ms | (fmod (cosh c) (log1p a)) |
Useful iterations: 0 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 17187 |