Details

prune48.3s (31.7%)

series39.3s (25.8%)

Calls

314 calls:

3.4s
(fma (sqrt (+ (+ e (+ d c)) b)) (sqrt (+ (+ e (+ d c)) b)) a)
2.3s
(- (/ (pow (+ 1.0 (/ i n)) (* 2 n)) (* (/ i n) (+ (pow (+ 1.0 (/ i n)) n) 1.0))) (/ (/ (* 1.0 1.0) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n)))
2.0s
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
639.0ms
(* (hypot x (pow x 3/2)) (hypot x (pow x 3/2)))

sample32.8s (21.5%)

Algorithm
73×intervals
Results
9.3s293202×body80valid
4.6s13623×body1280valid
2.3s3731×body2560valid
1.8s9476×body640valid
1.8s16892×body160valid
1.3s100635×pre80true
1.0s2229×body10240exit
728.0ms7007×body320valid
538.0ms19337×body80nan
74.0ms255×body5120valid
3.0ms100×pre80false

rewrite14.1s (9.3%)

Algorithm
107×rewrite-expression-head
Calls

314 calls:

743.0ms
(- (/ (pow (+ 1.0 (/ i n)) (* 2 n)) (* (/ i n) (+ (pow (+ 1.0 (/ i n)) n) 1.0))) (/ (/ (* 1.0 1.0) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n)))
611.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
606.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
511.0ms
(+ (+ (+ (+ e d) c) b) a)
499.0ms
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
Rules
19115×times-frac
14953×*-un-lft-identity
12814×add-sqr-sqrt
10997×add-cube-cbrt
8286×prod-diff
2782×unpow-prod-down
1616×add-exp-log
1570×distribute-lft-out
1494×associate-/r/
1415×div-inv
1388×cube-prod
1238×add-cbrt-cube
1049×sqrt-prod
854×associate-*r*
746×sqr-pow
708×flip-+ flip3-+
657×difference-of-squares
590×add-log-exp
580×pow1
541×distribute-rgt-in distribute-lft-in
494×associate-*l*
475×prod-exp
460×div-exp
435×associate-/l*
399×distribute-lft-out--
354×frac-times
346×associate-*r/
329×associate-/r*
317×log1p-expm1-u
314×cbrt-undiv expm1-log1p-u
306×cbrt-unprod
286×fma-neg
264×cbrt-prod
228×unpow3 cube-mult
214×swap-sqr
199×associate-*l/
171×distribute-rgt-neg-in
149×unswap-sqr
145×flip-- distribute-lft-neg-in flip3--
109×sum-log
96×fma-def
95×pow-prod-down 1-exp
82×associate-/l/
72×clear-num frac-2neg
66×pow-unpow
63×sqrt-div
58×sub-neg
55×*-commutative
53×rec-exp
52×diff-log
50×fma-udef
49×neg-mul-1
46×log-prod
37×pow-to-exp pow-exp
32×unpow2
30×cbrt-div
27×rem-sqrt-square sqrt-pow1 pow1/2
26×pow-pow
25×pow1/3
24×+-commutative div-sub
19×frac-sub
17×log-pow
16×exp-prod
14×pow-flip
12×neg-sub0 rem-log-exp
11×pow-prod-up pow-sqr
10×inv-pow pow2 pow-plus log-div
9×associate-+l+ associate-+r+ neg-log
8×hypot-udef hypot-def
7×associate--l-
6×sqrt-undiv distribute-lft-neg-out rem-cbrt-cube
4×un-div-inv frac-add distribute-frac-neg
3×rem-exp-log sqrt-pow2 associate-+r- expm1-log1p unsub-neg expm1-udef
2×cube-div rem-cube-cbrt log1p-udef sqrt-unprod log1p-expm1 rem-square-sqrt distribute-rgt-out-- associate-+l- associate--l+ exp-to-pow associate--r+
1×exp-diff difference-cubes exp-neg sub-div sum-cubes

simplify12.4s (8.1%)

Algorithm
177×egg-herbie

regimes2.9s (1.9%)

Accuracy

Total 36.1b remaining (14.7%)

Threshold costs 2.7b (1.1%)

11.1b55.1%Compound Interest
8.3b30.9%Complex division, imag part
7.1b34.6%Complex division, real part
4.3b84.7%The quadratic formula (r2)
1.4b0%Rosa's DopplerBench

localize1.4s (0.9%)

bsearch1.3s (0.9%)

end1.0ms (0.0%)