| 69× | halfpoints |
Total 8.7b remaining (33.9%)
Threshold costs 8.7b (33.9%)
| 0.9b | 0% | Octave 3.8, jcobi/4 |
| 0.5b | 0% | _divideComplex, imaginary part |
| 0.5b | 0% | quadm (p42, negative) |
| 0.5b | 0% | quad2p (problem 3.2.1, positive) |
| 0.5b | 0% | math.sqrt on complex, imaginary part, im greater than 0 branch |
| 123× | rewrite-expression-head |
400 calls:
| 448.0ms | (/.p16 (quire16->posit16 (quire16-mul-add (quire16-mul-add (posit16->quire16 (+.p16 alpha beta)) beta alpha) (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) |
| 349.0ms | (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) |
| 168.0ms | (/.p16 (/.p16 i (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) i) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) |
| 148.0ms | (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) |
| 136.0ms | (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) |
| 10599× | p16-times-frac |
| 7733× | *p16-lft-identity-expand p16-*-un-lft-identity |
| 6602× | *p16-rgt-identity-expand |
| 1718× | /p16-rgt-identity-expand |
| 1465× | distribute-lft-out p16-distribute-lft-out |
| 1218× | associate-/r/ |
| 975× | associate-/r* |
| 927× | introduce-quire |
| 706× | +p16-lft-identity-expand +p16-rgt-identity-expand |
| 658× | distribute-rgt-out |
| 616× | -p16-rgt-identity-expand |
| 581× | associate-/l* |
| 460× | distribute-lft-out-- |
| 392× | associate-*l* |
| 333× | insert-quire-fdp-add |
| 306× | associate-*r* |
| 218× | associate-*l/ |
| 206× | distribute-lft-in distribute-rgt-in |
| 203× | insert-quire-fdp-sub |
| 189× | distribute-rgt-out-- |
| 172× | associate-*r/ |
| 171× | distribute-lft1-in |
| 170× | p16-flip-- |
| 167× | associate--l+ |
| 150× | associate-/l/ |
| 149× | associate-+l+ |
| 140× | associate-+r+ |
| 136× | associate--r+ |
| 108× | sub-neg |
| 100× | insert-quire-add |
| 95× | insert-quire-sub |
| 88× | difference-of-squares |
| 84× | associate-+l- |
| 79× | *-commutative |
| 74× | associate--r- |
| 67× | associate--l- |
| 63× | associate-+r- +-commutative |
| 22× | difference-of-sqr-1 |
| 1× | sqrt-sqrd.p16 |
400 calls:
| 0.0ms | (*.p16 (+.p16 im im) re) |
| 0.0ms | (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) |
| 0.0ms | (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) |
| 0.0ms | (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) |
| 0.0ms | (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) |