| 68× | halfpoints |
Total -1836.1b remaining (-7702%)
Threshold costs -1836.1b (-7702%)
| -60.6b | -∞% | Jmat.Real.dawson |
| -62.3b | -∞% | quad2m (problem 3.2.1, negative) |
| -62.4b | -∞% | quadm (p42, negative) |
| -62.5b | -∞% | quadp (p42, positive) |
| -62.5b | -∞% | Octave 3.8, jcobi/4 |
| 112× | rewrite-expression-head |
376 calls:
| 369.0ms | (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 d3) (*.p16 d1 (+.p16 (real->posit16 5) (real->posit16 32))))) |
| 263.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)) |
| 116.0ms | (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) |
| 115.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))) |
| 90.0ms | (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) |
| 160× | p16-flip-- |
| 116× | sub-neg |
| 85× | +-commutative |
| 81× | *-commutative |
| 56× | distribute-lft-in distribute-rgt-in associate-/l/ |
| 41× | associate-/r/ |
| 30× | associate-*r/ |
| 29× | difference-of-squares |
| 28× | associate-*l/ associate-/l* |
| 26× | associate-+l+ associate-+r+ |
| 22× | associate-*l* |
| 19× | distribute-lft-out associate-/r* p16-distribute-lft-out |
| 18× | associate--l+ |
| 12× | associate-*r* |
| 5× | p16-times-frac |
| 4× | difference-of-sqr-1 associate-+r- associate--r+ |
| 3× | distribute-rgt-out |
| 2× | associate-+l- |
| 1× | associate--l- |
376 calls:
| 1.0ms | (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) |
| 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)))) |
| 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)) |