Details

prune4.2m (40.9%)

simplify3.7m (35.9%)

sample1.6m (15.3%)

Algorithm
64×intervals
Results
38.6s270120×body80valid
12.2s13870×body1280valid
9.2s16788×body160valid
5.5s3852×body2560valid
5.5s9284×body640valid
4.3s2000×body10240exit
4.0s75681×pre80true
2.9s6743×body320valid
2.2s19461×body80nan
254.0ms237×body5120valid

series26.9s (4.4%)

Calls

275 calls:

Slowest
644.0ms
(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
574.0ms
(/ (fma 100 (exp (* n (posit16->real (real->posit16 (log1p (/ i n)))))) -100) (/ i n))
573.0ms
(* (sqrt 2) (/ a (/ (- (- b) (sqrt (fma (* -4 a) c (* b b)))) (sqrt 2))))
560.0ms
(/ (fma 100 (exp (* n (log1p (/ i n)))) -100) (/ i n))
517.0ms
(sqrt (fma c (* -4 a) (* b b)))

rewrite11.0s (1.8%)

Algorithm
97×rewrite-expression-head
Calls

275 calls:

Slowest
979.0ms
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
950.0ms
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
605.0ms
(exp (+ (+ a (+ b (+ d c))) e))
534.0ms
(* (* (exp a) (* (exp b) (* (exp d) (exp c)))) (exp e))
508.0ms
(+ (- (exp (* x (- -1 eps))) (/ (exp (* x (- -1 eps))) eps)) (+ (/ (exp (- (* x eps) x)) eps) (exp (- (* x eps) x))))
Rules
18359×times-frac
14232×*-un-lft-identity
13438×add-sqr-sqrt
11794×add-cube-cbrt
8864×prod-diff
3478×sqrt-prod
3394×exp-sum
1985×associate-+l+
1758×distribute-rgt-in distribute-lft-in
982×add-exp-log
937×add-cbrt-cube
933×pow1
824×exp-prod
798×div-inv
748×difference-of-squares
662×distribute-lft-out
535×associate-*r*
528×add-log-exp
514×distribute-lft-out--
427×log-pow
382×associate-*l*
370×associate-/r*
351×sub-neg
333×associate-/l*
297×prod-exp
278×expm1-log1p-u
276×log1p-expm1-u
275×insert-posit16
273×cbrt-unprod
271×pow-prod-down
255×distribute-rgt-neg-in
220×fma-neg
174×associate-/r/
166×div-exp
165×distribute-lft-neg-in
141×cbrt-undiv
138×flip-+ flip3-+
111×unswap-sqr
108×sum-log
103×associate-+r+
99×fma-def
80×pow-prod-up
71×sqrt-div *-commutative
66×flip3-- flip--
57×frac-2neg clear-num
55×neg-mul-1
54×fma-udef
51×pow-plus
50×associate-*r/
49×sqrt-pow1 pow1/2
47×associate-/l/
45×cbrt-prod
44×diff-log
42×pow-sqr
39×swap-sqr
37×unpow-prod-down
36×frac-times associate-*l/
34×rem-sqrt-square
23×div-sub
22×pow2
19×+-commutative
18×log-prod
16×pow-flip
15×1-exp rec-exp
14×sqr-pow frac-add
13×pow1/3 hypot-def
10×distribute-frac-neg rem-exp-log
7×neg-sub0 remove-posit16 exp-diff pow-exp pow3 distribute-lft-neg-out pow-to-exp
5×inv-pow
4×cube-prod log1p-expm1 neg-log associate--l- rem-log-exp distribute-rgt-out-- log1p-udef
3×frac-sub pow-unpow associate--l+
2×expm1-udef sqrt-unprod associate--r+ un-div-inv rem-square-sqrt log-div
1×expm1-log1p associate-+r- cbrt-div unpow3 sub-div pow-pow hypot-udef associate-+l- rem-cbrt-cube cube-mult

regimes5.0s (0.8%)

Accuracy

Total 33.4b remaining (19.9%)

Threshold costs 2.7b (1.6%)

13.4b43.4%Compound Interest
6.9b35.6%Complex division, real part
4.7b76.1%Kahan p9 Example
4.5b83.5%The quadratic formula (r2)
1.2b0%Rosa's DopplerBench

localize3.3s (0.5%)

bsearch2.7s (0.4%)

end1.0ms (0.0%)