Details

series7.0m (79.2%)

Calls

304 calls:

6.2m
(/ (/ i n) (cbrt (/ (/ (+ (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))))
15.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.1s
(/ (/ (+ (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))
551.0ms
(+ (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (- (pow (/ (cbrt 2.0) (cbrt t)) 3)) (+ 1.0 (/ 1.0 t)))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (* (/ (cbrt 2.0) (cbrt t)) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t)))) (+ 1.0 (/ 1.0 t)))))

prune46.1s (8.7%)

sample32.6s (6.2%)

Algorithm
73×intervals
Results
9.0s294154×body80valid
4.5s13600×body1280valid
2.4s3836×body2560valid
1.7s9624×body640valid
1.7s16884×body160valid
1.3s100608×pre80true
971.0ms2128×body10240exit
699.0ms6915×body320valid
514.0ms19193×body80nan
101.0ms250×body5120valid
2.0ms100×pre80false

rewrite15.0s (2.8%)

Algorithm
107×rewrite-expression-head
Calls

304 calls:

761.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))
600.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
599.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
521.0ms
(+ (+ (+ (+ e d) c) b) a)
512.0ms
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
Rules
17420×times-frac
14614×*-un-lft-identity
11240×add-sqr-sqrt
10071×add-cube-cbrt
5285×prod-diff
2009×distribute-lft-out
1695×add-exp-log
1295×add-cbrt-cube
1189×cbrt-prod
1073×div-inv
728×distribute-rgt-in distribute-lft-in
714×associate-*r*
662×associate-/r/
620×pow1
608×add-log-exp
559×sqrt-prod
522×prod-exp
498×div-exp
448×associate-/l*
423×unpow-prod-down
399×difference-of-squares
376×associate-/r*
361×flip-+ associate-*l* flip3-+
340×cbrt-undiv
330×cbrt-unprod
305×log1p-expm1-u
304×expm1-log1p-u
295×distribute-lft-out--
273×fma-neg
185×distribute-rgt-neg-in
173×sqr-pow
160×distribute-lft-neg-in
150×flip3-- flip--
136×unswap-sqr
122×associate-*r/
114×sum-log
113×swap-sqr
112×pow-prod-down
99×fma-def
95×frac-times
94×cube-prod
90×1-exp
75×sub-neg
67×clear-num frac-2neg
66×associate-/l/
65×associate-*l/
63×diff-log
57×unpow2
56×sqrt-div
55×*-commutative
54×neg-mul-1
49×rec-exp
46×pow-exp
41×pow-to-exp
38×fma-udef
36×div-sub
34×sqrt-pow1
33×pow1/2
29×frac-add unpow3 cube-mult
27×pow-unpow
25×+-commutative
24×pow-prod-up frac-sub associate--r+
23×log-pow exp-prod
22×log-prod
20×pow-sqr
16×rem-sqrt-square pow1/3
14×cbrt-div pow-plus neg-sub0
13×pow2 associate-+r+ pow-pow
11×hypot-udef pow-flip
10×neg-log
9×associate-+l+ log-div
8×associate--l-
6×cube-div inv-pow rem-log-exp
5×rem-cube-cbrt expm1-udef sum-cubes associate-+r-
4×un-div-inv distribute-lft-neg-out expm1-log1p unsub-neg distribute-frac-neg rem-cbrt-cube
3×rem-exp-log hypot-def distribute-rgt-out--
2×exp-diff sqrt-unprod sub-div rem-square-sqrt associate-+l- exp-to-pow
1×log1p-udef exp-neg log1p-expm1 distribute-rgt-out associate--r- associate--l+

simplify11.3s (2.1%)

Algorithm
177×egg-herbie

regimes2.8s (0.5%)

Accuracy

Total 30.4b remaining (10.3%)

Threshold costs 4.8b (1.6%)

11.0b48%Compound Interest
7.3b32.6%Complex division, real part
4.9b82.7%The quadratic formula (r2)
1.4b0%Rosa's DopplerBench
1.0b95.7%The quadratic formula (r1)

localize1.4s (0.3%)

bsearch970.0ms (0.2%)

end1.0ms (0.0%)