Details

simplify7.9m (63.6%)

sample2.9m (23.6%)

Algorithm
68×halfpoints
Results

prune48.4s (6.5%)

localize28.8s (3.8%)

regimes13.9s (1.9%)

Accuracy

Total 7.7b remaining (33.3%)

Threshold costs 7.7b (33.3%)

0.9b0%Octave 3.8, jcobi/4
0.5b0%2frac (problem 3.3.1)
0.4b0%3frac (problem 3.3.3)
0.4b0%quadm (p42, negative)
0.4b0%Jmat.Real.dawson

rewrite4.5s (0.6%)

Algorithm
113×rewrite-expression-head
Calls

382 calls:

Slowest
179.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))
175.0ms
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
128.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))
122.0ms
(/.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))))
118.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))))
Rules
157×p16-flip--
110×sub-neg
93×+-commutative
81×*-commutative
57×associate-/l/
49×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+ distribute-rgt-out
1×associate--l- associate-+l-

bsearch127.0ms (0.0%)

series33.0ms (0.0%)

Calls

382 calls:

Slowest
6.0ms
(-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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 (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 (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 c a))) b_2)

end1.0ms (0.0%)