Time bar (total: 795.0ms)
| 41.0ms | 284× | body | 80 | nan |
| 36.0ms | 256× | body | 80 | valid |
Useful iterations: 1 (7.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 28 |
| 1 | 31 | 22 |
| 2 | 52 | 22 |
| 3 | 68 | 22 |
| 4 | 88 | 22 |
| 5 | 100 | 22 |
| 6 | 104 | 22 |
| done | 104 | 22 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.5b
Found 4 expressions with local error:
| 0.0b | (log (hypot re im)) |
| 0.3b | (/ (- (* (atan2 im re) (log base)) (* 0.0 (log (hypot re im)))) (fma (log base) (log base) (* 0.0 0.0))) |
| 0.3b | (* (atan2 im re) (log base)) |
| 0.5b | (fma (log base) (log base) (* 0.0 0.0)) |
| 19× | add-sqr-sqrt |
| 17× | add-cube-cbrt *-un-lft-identity |
| 9× | add-exp-log log-prod times-frac |
| 8× | pow1 add-cbrt-cube |
| 4× | expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp |
| 3× | distribute-rgt-in distribute-lft-in associate-*l* associate-/r* associate-/l* |
| 2× | log-pow associate-/l/ |
| 1× | cbrt-undiv flip3-- frac-2neg div-sub div-exp rem-log-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod fma-udef div-inv unswap-sqr |
| 3.0ms | (log (hypot re im)) |
| 31.0ms | (/ (- (* (atan2 im re) (log base)) (* 0.0 (log (hypot re im)))) (fma (log base) (log base) (* 0.0 0.0))) |
| 9.0ms | (* (atan2 im re) (log base)) |
| 0.0ms | (fma (log base) (log base) (* 0.0 0.0)) |
| 410.0ms | (fma (log base) (log base) (* 0.0 0.0)) |