Details

simplify7.3m (60.8%)

sample3.0m (25.1%)

Algorithm
68×halfpoints
Results

prune49.8s (6.9%)

localize30.9s (4.3%)

regimes15.6s (2.2%)

Accuracy

Total 8.2b remaining (33.7%)

Threshold costs 8.2b (33.7%)

0.9b0%Octave 3.8, jcobi/4
0.6b0%2frac (problem 3.3.1)
0.5b68.6%quad2p (problem 3.2.1, positive)
0.4b0%quad2m (problem 3.2.1, negative)
0.4b0%Jmat.Real.dawson

rewrite4.1s (0.6%)

Algorithm
112×rewrite-expression-head
Calls

375 calls:

Slowest
333.0ms
(/.p16 (-.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))
95.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))))
83.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))
77.0ms
(/.p16 (-.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))
68.0ms
(/.p16 (-.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))
Rules
154×p16-flip--
115×sub-neg
85×+-commutative
81×*-commutative
65×associate-/l/
51×distribute-lft-in distribute-rgt-in
33×associate-*l/
32×difference-of-squares
31×associate-*r/ associate-/l*
25×associate-/r/
22×associate--l+
21×associate-+l+ associate-+r+
20×associate-*l*
16×distribute-lft-out p16-distribute-lft-out
14×associate-/r* associate-*r*
7×p16-times-frac
4×difference-of-sqr-1
3×associate-+r- associate--r+
2×distribute-rgt-out
1×associate--l- associate-+l-

bsearch138.0ms (0.0%)

series27.0ms (0.0%)

Calls

375 calls:

Slowest
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_2 b_2) (*.p16 c a))) b_2)
0.0ms
(*.p16 (-.p16 re im) (+.p16 im re))
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)

end1.0ms (0.0%)