| 68× | halfpoints |
Total 7.7b remaining (33.3%)
Threshold costs 7.7b (33.3%)
| 0.9b | 0% | Octave 3.8, jcobi/4 |
| 0.5b | 0% | 2frac (problem 3.3.1) |
| 0.4b | 0% | 3frac (problem 3.3.3) |
| 0.4b | 0% | quadm (p42, negative) |
| 0.4b | 0% | Jmat.Real.dawson |
| 113× | rewrite-expression-head |
382 calls:
| 430.0ms | (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) |
| 428.0ms | (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) |
| 205.0ms | (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) |
| 119.0ms | (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) |
| 114.0ms | (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) |
| 157× | p16-flip-- |
| 110× | sub-neg |
| 93× | +-commutative |
| 81× | *-commutative |
| 57× | associate-/l/ |
| 48× | distribute-lft-in distribute-rgt-in |
| 40× | associate-/r/ |
| 33× | associate-*r/ associate-/l* |
| 31× | associate-*l/ |
| 29× | difference-of-squares |
| 28× | associate-+r+ |
| 24× | associate-+l+ |
| 20× | associate-*l* |
| 19× | associate--l+ associate-*r* |
| 17× | distribute-lft-out associate-/r* p16-distribute-lft-out |
| 5× | p16-times-frac |
| 4× | difference-of-sqr-1 |
| 3× | associate-+r- associate--r+ |
| 2× | distribute-rgt-out |
| 1× | associate--l- associate-+l- |
382 calls:
| 0.0ms | (-.p16 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2) |
| 0.0ms | (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) |
| 0.0ms | (+.p16 (*.p16 re im) (*.p16 im re)) |
| 0.0ms | (*.p16 (-.p16 re im) (+.p16 im re)) |
| 0.0ms | (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) |