Time bar (total: 4.4s)
| 737.0ms | 262× | body | 10240 | exit |
| 256.0ms | 102× | body | 2560 | valid |
| 101.0ms | 532× | body | 80 | nan |
| 94.0ms | 83× | body | 1280 | valid |
| 44.0ms | 1× | body | 5120 | nan |
| 25.0ms | 40× | body | 640 | valid |
| 11.0ms | 24× | body | 320 | valid |
| 2.0ms | 1× | body | 2560 | nan |
| 1.0ms | 4× | body | 160 | valid |
| 1.0ms | 3× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 16 | 10 |
| 2 | 24 | 10 |
| 3 | 44 | 10 |
| 4 | 89 | 10 |
| 5 | 195 | 10 |
| 6 | 633 | 10 |
| 7 | 2582 | 10 |
| done | 5000 | 10 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 61.7b
Found 2 expressions with local error:
| 1.2b | (acos (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 60.3b | (fmod (cosh a) (* a a)) |
| 2× | pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube log1p-expm1-u add-log-exp |
| 1× | acos-asin |
| 3.0ms | (acos (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 1.0ms | (fmod (cosh a) (* a a)) |