| 68× | halfpoints |
Total 8.3b remaining (33.1%)
Threshold costs 8.3b (33.1%)
| 0.9b | 0% | Octave 3.8, jcobi/4 |
| 0.5b | 0% | quadp (p42, positive) |
| 0.4b | 0% | math.sqrt on complex, imaginary part, im greater than 0 branch |
| 0.4b | 0% | quadm (p42, negative) |
| 0.4b | 0% | quad2p (problem 3.2.1, positive) |
| 123× | rewrite-expression-head |
398 calls:
| 463.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))) |
| 319.0ms | (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) |
| 220.0ms | (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 beta alpha) beta)) (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha)) (+.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (real->posit16 1.0))) |
| 214.0ms | (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) |
| 183.0ms | (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) |
| 16694× | p16-times-frac |
| 12643× | *p16-lft-identity-expand p16-*-un-lft-identity |
| 10724× | *p16-rgt-identity-expand |
| 3507× | distribute-lft-out p16-distribute-lft-out |
| 1705× | distribute-rgt-out |
| 1139× | /p16-rgt-identity-expand |
| 1000× | associate-/l* |
| 890× | introduce-quire |
| 849× | +p16-lft-identity-expand +p16-rgt-identity-expand |
| 631× | -p16-rgt-identity-expand |
| 541× | associate-/r/ |
| 539× | distribute-lft-in distribute-rgt-in |
| 514× | associate-/r* |
| 509× | distribute-lft1-in |
| 454× | distribute-lft-out-- |
| 415× | associate-*r* |
| 343× | associate--l+ |
| 281× | insert-quire-fdp-add |
| 243× | associate-*l* |
| 215× | associate-*r/ |
| 196× | insert-quire-fdp-sub |
| 176× | associate-*l/ |
| 174× | distribute-rgt-out-- |
| 170× | p16-flip-- |
| 164× | associate-+l+ |
| 163× | associate-/l/ |
| 143× | associate-+r+ |
| 115× | associate--r+ |
| 108× | difference-of-squares |
| 106× | sub-neg |
| 103× | insert-quire-add |
| 93× | insert-quire-sub |
| 92× | associate-+l- |
| 87× | *-commutative |
| 84× | associate-+r- |
| 70× | +-commutative |
| 67× | associate--l- |
| 64× | associate--r- |
| 23× | difference-of-sqr-1 |
| 1× | remove-double-div.p16 |
398 calls:
| 0.0ms | (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) |
| 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 | (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) |
| 0.0ms | (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) |