Time bar (total: 3.6s)
| 6.0ms | 256× | body | 80 | valid |
| 6.0ms | 250× | body | 80 | nan |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 122 |
| 1 | 7 | 122 |
| 2 | 11 | 122 |
| 3 | 13 | 122 |
| done | 13 | 122 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.0b | (sqrt (- 1.0 (* x x))) |
| 4× | add-sqr-sqrt sqrt-prod |
| 2× | pow1 *-un-lft-identity sqrt-div add-cube-cbrt |
| 1× | expm1-log1p-u rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log log1p-expm1-u flip-- add-log-exp difference-of-squares |
| 12.0ms | (sqrt (- 1.0 (* x x))) |
| 90.0ms | (sqrt (- 1.0 (* x x))) |
Useful iterations: 2 (203.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 69 | 6613 |
| 1 | 172 | 5106 |
| 2 | 745 | 4799 |
| done | 5000 | 4799 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
Found 2 expressions with local error:
| 0.0b | (sqrt (- 1.0 (* x x))) |
| 3.0b | (log (sqrt (- 1.0 (* x x)))) |
| 8× | add-sqr-sqrt sqrt-prod |
| 7× | log-prod |
| 5× | pow1 *-un-lft-identity add-cube-cbrt |
| 4× | sqrt-div |
| 3× | add-exp-log log-pow |
| 2× | expm1-log1p-u log-div sqrt-pow1 flip3-- add-cbrt-cube pow1/2 log1p-expm1-u flip-- add-log-exp difference-of-squares |
| 1× | rem-sqrt-square rem-log-exp |
| 6.0ms | (sqrt (- 1.0 (* x x))) |
| 4.0ms | (log (sqrt (- 1.0 (* x x)))) |
| 92.0ms | (sqrt (- 1.0 (* x x))) |
| 235.0ms | (log (sqrt (- 1.0 (* x x)))) |
Useful iterations: 2 (374.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 117 | 17022 |
| 1 | 265 | 13388 |
| 2 | 1138 | 12784 |
| done | 5001 | 12784 |
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 262 |
| done | 7 | 262 |
| 358.0ms | 8142× | body | 80 | nan |
| 274.0ms | 8000× | body | 80 | valid |