Time bar (total: 10.0s)
| 50.0ms | 96× | body | 2560 | valid |
| 31.0ms | 245× | body | 80 | nan |
| 28.0ms | 79× | body | 1280 | valid |
| 12.0ms | 41× | body | 640 | valid |
| 4.0ms | 21× | body | 320 | valid |
| 2.0ms | 13× | body | 160 | valid |
| 0.0ms | 6× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 6 | 944 |
| 5 | 254 |
| 4 | 155 |
| 3 | 84 |
| 2 | 43 |
| 1 | 20 |
| 0 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.5b
Found 4 expressions with local error:
| 0.0b | (/ (- 1.0 (* (* v 5.0) v)) (- (* v v) 1.0)) |
| 0.0b | (- 1.0 (* (* v 5.0) v)) |
| 0.1b | (* (* v 5.0) v) |
| 0.5b | (acos (/ (- 1.0 (* (* v 5.0) v)) (- (* v v) 1.0))) |
| 20× | add-sqr-sqrt |
| 16× | *-un-lft-identity add-cube-cbrt |
| 12× | times-frac |
| 11× | add-cbrt-cube add-exp-log |
| 9× | pow1 |
| 6× | add-log-exp |
| 4× | expm1-log1p-u associate-/r* log1p-expm1-u difference-of-squares |
| 3× | flip3-- fma-neg associate-*r* prod-diff pow-prod-down prod-exp cbrt-unprod flip-- associate-/l* |
| 2× | associate-/r/ associate-/l/ |
| 1× | acos-asin cbrt-undiv clear-num sub-neg frac-2neg diff-log div-sub div-exp associate-*l* *-commutative div-inv |
| 22.0ms | (/ (- 1.0 (* (* v 5.0) v)) (- (* v v) 1.0)) |
| 5.0ms | (- 1.0 (* (* v 5.0) v)) |
| 29.0ms | (* (* v 5.0) v) |
| 2.0ms | (acos (/ (- 1.0 (* (* v 5.0) v)) (- (* v v) 1.0))) |
| 119.0ms | (/ (- 1.0 (* (* v 5.0) v)) (- (* v v) 1.0)) |
| 91.0ms | (- 1.0 (* (* v 5.0) v)) |
| 48.0ms | (* (* v 5.0) v) |
| 8.0ms | (acos (/ (- 1.0 (* (* v 5.0) v)) (- (* v v) 1.0))) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 2642 |
| 1 | 421 |
| 0 | 166 |
4 alts after pruning (4 fresh and 0 done)
Merged error: 0.5b
Found 4 expressions with local error:
| 0.0b | (fma (- 5.0) (pow v 2) 1.0) |
| 0.0b | (log1p (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0))))) |
| 0.0b | (expm1 (log1p (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0)))))) |
| 0.5b | (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0)))) |
| 5× | expm1-log1p-u |
| 4× | add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt log1p-expm1-u add-log-exp |
| 1× | acos-asin log1p-udef expm1-log1p log1p-expm1 fma-udef expm1-udef |
| 0.0ms | (fma (- 5.0) (pow v 2) 1.0) |
| 0.0ms | (log1p (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0))))) |
| 0.0ms | (expm1 (log1p (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0)))))) |
| 1.0ms | (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0)))) |
| 120.0ms | (fma (- 5.0) (pow v 2) 1.0) |
| 174.0ms | (log1p (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0))))) |
| 330.0ms | (expm1 (log1p (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0)))))) |
| 12.0ms | (acos (/ (fma (- 5.0) (pow v 2) 1.0) (fma v v (- 1.0)))) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 4 | 3815 |
| 3 | 484 |
| 2 | 150 |
| 1 | 81 |
| 0 | 57 |
4 alts after pruning (4 fresh and 0 done)
Merged error: 0.5b