| 69× | halfpoints |
Total 8.8b remaining (34.2%)
Threshold costs 7.6b (29.7%)
| 1.1b | 0% | Octave 3.8, jcobi/4 |
| 0.5b | 0% | _divideComplex, imaginary part |
| 0.5b | 0% | quadm (p42, negative) |
| 0.5b | 0% | math.sqrt on complex, imaginary part, im greater than 0 branch |
| 0.5b | 0% | quadp (p42, positive) |
| 122× | rewrite-expression-head |
400 calls:
| 269.0ms | (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) |
| 146.0ms | (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) |
| 140.0ms | (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (+.p16 alpha beta)) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 alpha (+.p16 (+.p16 (*.p16 alpha beta) beta) (real->posit16 1.0)))) |
| 134.0ms | (/.p16 (/.p16 (/.p16 (+.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (+.p16 alpha beta)) beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) |
| 112.0ms | (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) |
| 26178× | p16-times-frac |
| 18396× | *p16-lft-identity-expand p16-*-un-lft-identity |
| 15894× | *p16-rgt-identity-expand |
| 5240× | distribute-lft-out p16-distribute-lft-out |
| 2528× | distribute-rgt-out |
| 1222× | /p16-rgt-identity-expand |
| 907× | associate-/l* |
| 860× | introduce-quire |
| 790× | distribute-lft1-in |
| 758× | +p16-lft-identity-expand +p16-rgt-identity-expand |
| 699× | associate-*r* |
| 692× | associate-/r/ |
| 623× | -p16-rgt-identity-expand |
| 540× | associate-*l* |
| 493× | associate-/r* |
| 284× | distribute-lft-out-- |
| 272× | distribute-lft-in distribute-rgt-in |
| 249× | insert-quire-fdp-add |
| 212× | associate--l+ |
| 209× | associate-*l/ |
| 207× | insert-quire-fdp-sub |
| 187× | associate-*r/ |
| 182× | p16-flip-- |
| 153× | associate-/l/ |
| 151× | associate--r+ |
| 121× | difference-of-squares |
| 119× | sub-neg |
| 116× | associate-+l+ |
| 115× | associate-+r+ |
| 102× | insert-quire-sub |
| 101× | distribute-rgt-out-- |
| 83× | *-commutative |
| 79× | insert-quire-add |
| 77× | associate-+r- |
| 73× | associate-+l- associate--l- |
| 72× | associate--r- |
| 61× | +-commutative |
| 28× | difference-of-sqr-1 |
| 2× | sqrt-sqrd.p16 |
| 1× | remove-double-div.p16 |
400 calls:
| 0.0ms | (*.p16 re (+.p16 im im)) |
| 0.0ms | (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) |
| 0.0ms | (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) |
| 0.0ms | (*.p16 (-.p16 re im) (+.p16 im re)) |
| 0.0ms | (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) |