| 68× | halfpoints |
Total -1833.6b remaining (-6966.9%)
Threshold costs -1833.6b (-6966.9%)
| -60.7b | -∞% | Jmat.Real.dawson |
| -62.0b | -∞% | math.sqrt on complex, imaginary part, im greater than 0 branch |
| -62.0b | -∞% | quad2m (problem 3.2.1, negative) |
| -62.3b | -∞% | quad2p (problem 3.2.1, positive) |
| -62.4b | -∞% | quadm (p42, negative) |
| 112× | rewrite-expression-head |
377 calls:
| 102.0ms | (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) |
| 87.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)))) |
| 71.0ms | (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) |
| 70.0ms | (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i)) |
| 68.0ms | (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) |
| 155× | p16-flip-- |
| 103× | sub-neg |
| 90× | +-commutative |
| 77× | *-commutative |
| 63× | associate-/l/ |
| 36× | distribute-lft-in distribute-rgt-in |
| 34× | associate-*l/ |
| 30× | associate-/l* |
| 29× | associate-*r/ |
| 26× | associate-/r/ |
| 25× | difference-of-squares |
| 22× | associate-*l* |
| 20× | associate-+l+ |
| 19× | associate--l+ |
| 17× | distribute-lft-out associate-+r+ p16-distribute-lft-out |
| 13× | associate-/r* associate-*r* |
| 7× | p16-times-frac |
| 4× | difference-of-sqr-1 associate-+r- distribute-rgt-out |
| 2× | associate--l- associate-+l- |
| 1× | unsub-neg associate--r+ |
377 calls:
| 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 (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 im im) re) |