| 69× | halfpoints |
Total 8.3b remaining (32.7%)
Threshold costs 8.3b (32.7%)
| 0.9b | 0% | Octave 3.8, jcobi/4 |
| 0.5b | 0% | quadm (p42, negative) |
| 0.5b | 0% | quadp (p42, positive) |
| 0.4b | 0% | quad2m (problem 3.2.1, negative) |
| 0.4b | 0% | _divideComplex, imaginary part |
| 123× | rewrite-expression-head |
402 calls:
| 161.0ms | (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 0.0) i)))) |
| 148.0ms | (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))) (-.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 0.0) i)))) |
| 106.0ms | (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) |
| 99.0ms | (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 0.0) i))))) |
| 93.0ms | (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))))) |
| 14030× | p16-times-frac |
| 11363× | *p16-lft-identity-expand p16-*-un-lft-identity |
| 6702× | *p16-rgt-identity-expand |
| 2084× | distribute-lft-out-- |
| 1904× | distribute-lft-out p16-distribute-lft-out |
| 1432× | /p16-rgt-identity-expand |
| 935× | associate-/r/ introduce-quire |
| 805× | distribute-rgt-out-- |
| 772× | +p16-lft-identity-expand +p16-rgt-identity-expand |
| 722× | distribute-rgt-out |
| 616× | associate-/r* -p16-rgt-identity-expand |
| 590× | associate-*l* |
| 559× | associate-/l* |
| 444× | associate-*r* |
| 340× | distribute-lft-in distribute-rgt-in |
| 330× | insert-quire-fdp-add |
| 210× | insert-quire-fdp-sub |
| 191× | associate--l+ |
| 190× | associate-*l/ |
| 171× | associate-*r/ |
| 157× | associate-+r+ |
| 153× | p16-flip-- |
| 146× | associate-+l+ |
| 140× | associate--r+ associate-/l/ |
| 137× | difference-of-squares |
| 113× | sub-neg |
| 96× | insert-quire-sub |
| 94× | insert-quire-add |
| 81× | associate-+l- |
| 78× | *-commutative |
| 71× | associate--r- |
| 70× | associate-+r- |
| 67× | associate--l- |
| 66× | +-commutative |
| 46× | distribute-lft1-in |
| 22× | difference-of-sqr-1 |
402 calls:
| 0.0ms | (*.p16 (+.p16 im im) re) |
| 0.0ms | (*.p16 (-.p16 re im) (+.p16 im re)) |
| 0.0ms | (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) |
| 0.0ms | (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) |
| 0.0ms | (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) |