Details

simplify7.4m (61.7%)

sample3.0m (25.0%)

Algorithm

68×	halfpoints

Results

prune47.8s (6.7%)

localize30.9s (4.3%)

regimes12.7s (1.8%)

Accuracy

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)

rewrite4.2s (0.6%)

Algorithm

112×	rewrite-expression-head

Calls

377 calls:

Slowest

146.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))
108.0ms	(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
79.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))))
79.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)))
69.0ms	(+.p16 (/.p16 (.p16 (/.p16 (-.p16 beta alpha) (+.p16 (.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))

Rules

155×	`p16-flip--`
103×	`sub-neg`
90×	`+-commutative`
77×	`*-commutative`
63×	`associate-/l/`
38×	`distribute-lft-in` `distribute-rgt-in`
33×	`associate-*l/`
30×	`associate-r/` `associate-/l`
26×	`associate-/r/`
25×	`difference-of-squares`
22×	`associate-l`
20×	`associate-+l+`
19×	`associate-+r+` `associate--l+`
18×	`distribute-lft-out` `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+`

bsearch118.0ms (0.0%)

series26.0ms (0.0%)

Calls

377 calls:

Slowest

0.0ms	(/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))
0.0ms	(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.0ms	(*.p16 (+.p16 im im) re)
0.0ms	(-.p16 (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 c a))) b_2)
0.0ms	(*.p16 (-.p16 re im) (+.p16 im re))

end1.0ms (0.0%)