Details

series46.5s (31.0%)

Calls

299 calls:

14.6s
(/ (/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))) (- (* (- (* 1.0 1.0)) (- (* 1.0 1.0))))) (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (* 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))
851.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
481.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))

prune46.1s (30.7%)

sample30.5s (20.3%)

Algorithm
73×intervals
Results
9.6s293801×body80valid
4.6s13435×body1280valid
2.1s3636×body2560valid
1.9s9566×body640valid
1.8s16903×body160valid
1.5s100619×pre80true
716.0ms6687×body320valid
563.0ms19525×body80nan
236.0ms200×body10240exit
161.0ms3084×body80overflowed
90.0ms228×body5120valid
3.0ms100×pre80false

simplify11.4s (7.6%)

Algorithm
175×egg-herbie

rewrite9.5s (6.3%)

Algorithm
105×rewrite-expression-head
Calls

299 calls:

523.0ms
(/ (/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))) (- (* (- (* 1.0 1.0)) (- (* 1.0 1.0))))) (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
346.0ms
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
338.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
293.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
293.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
18778×times-frac
15753×*-un-lft-identity
12647×add-sqr-sqrt
11453×add-cube-cbrt
6435×prod-diff
1895×distribute-lft-out
1796×add-exp-log
1276×add-cbrt-cube
1157×div-inv
947×distribute-rgt-in distribute-lft-in
740×sqrt-prod
614×associate-*r*
613×pow1
603×div-exp
595×associate-/l*
581×associate-/r/
569×add-log-exp
536×prod-exp
489×unpow-prod-down
422×distribute-rgt-neg-in
414×difference-of-squares
399×distribute-lft-neg-in
375×associate-*l*
368×fma-neg
340×cbrt-undiv
332×associate-/r*
327×cbrt-unprod
325×flip-+ flip3-+
300×expm1-log1p-u
299×log1p-expm1-u
274×cbrt-prod
271×distribute-lft-out--
214×sqr-pow
144×flip3-- flip--
137×1-exp
133×neg-mul-1
126×unswap-sqr
121×pow-prod-down
96×frac-times
91×sum-log
88×associate-*r/
84×swap-sqr
78×fma-def associate-*l/
75×sub-neg
69×associate-/l/ clear-num frac-2neg
66×diff-log
64×sqrt-div
58×*-commutative rec-exp
49×log-prod
41×cbrt-div
39×fma-udef
37×div-sub
35×rem-sqrt-square
33×cube-prod
31×unpow2
30×pow-exp
28×pow-to-exp
27×pow1/3
22×pow1/2 log-pow sqrt-pow1
20×cube-mult pow-unpow unpow3 frac-sub
18×+-commutative pow-prod-up
17×pow-plus log-div
14×pow-sqr neg-sub0
13×pow2
12×frac-add associate-+r+
11×associate--l-
10×associate-+l+ distribute-lft-neg-out rem-log-exp pow-pow
9×exp-prod
8×neg-log
7×pow-flip
6×distribute-frac-neg hypot-def
5×inv-pow exp-sum
4×associate-+r-
3×unsub-neg associate--l+
2×cube-div associate-+l- associate--r+
1×exp-diff sqrt-undiv un-div-inv log1p-udef pow3 log1p-expm1 sub-div expm1-log1p hypot-udef distribute-rgt-out distribute-rgt-out-- rem-cbrt-cube expm1-udef

regimes3.4s (2.3%)

Accuracy

Total 40.2b remaining (15.8%)

Threshold costs 2.8b (1.1%)

12.8b38.7%Compound Interest
9.0b29.2%Complex division, imag part
7.6b30.4%Complex division, real part
4.4b84.5%The quadratic formula (r2)
1.2b0%Rosa's DopplerBench

localize1.4s (0.9%)

bsearch1.3s (0.8%)

end1.0ms (0.0%)