Details

series6.9m (79.0%)

Calls

299 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))))
14.8s
(/ (/ (/ (+ (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.2s
(/ (/ (+ (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))
498.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.9s (8.9%)

sample32.5s (6.2%)

Algorithm
73×intervals
Results
9.2s294154×body80valid
4.6s13600×body1280valid
2.4s3836×body2560valid
1.7s9624×body640valid
1.7s16884×body160valid
1.3s100608×pre80true
984.0ms2128×body10240exit
694.0ms6915×body320valid
527.0ms19193×body80nan
98.0ms250×body5120valid
2.0ms100×pre80false

rewrite14.4s (2.7%)

Algorithm
106×rewrite-expression-head
Calls

299 calls:

760.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))
577.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
574.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
529.0ms
(+ (+ (+ (+ e d) c) b) a)
503.0ms
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
Rules
20319×times-frac
16632×*-un-lft-identity
13265×add-sqr-sqrt
11636×add-cube-cbrt
6435×prod-diff
2063×distribute-lft-out
1846×add-exp-log
1315×add-cbrt-cube
1205×div-inv
1177×cbrt-prod
1050×unpow-prod-down
832×sqrt-prod
718×distribute-rgt-in distribute-lft-in
673×associate-*r*
664×associate-/r/
615×div-exp
607×difference-of-squares
606×pow1
599×add-log-exp
577×prod-exp
482×associate-/l*
457×distribute-lft-out--
428×associate-/r*
404×sqr-pow
362×flip-+ flip3-+
360×cbrt-undiv
354×associate-*l*
333×cbrt-unprod
330×cube-prod
300×log1p-expm1-u
299×expm1-log1p-u
298×fma-neg
185×distribute-rgt-neg-in
160×distribute-lft-neg-in
151×flip3-- flip--
132×1-exp
124×unswap-sqr
117×frac-times
114×associate-*r/
113×sum-log swap-sqr
108×pow-prod-down
103×unpow3 cube-mult
96×fma-def
79×associate-*l/
77×associate-/l/
70×sub-neg sqrt-div
66×clear-num frac-2neg
64×rec-exp
62×diff-log
57×unpow2
54×*-commutative neg-mul-1
46×pow-exp
41×pow-to-exp
39×div-sub
38×fma-udef
34×sqrt-pow1
33×pow1/2
29×frac-add
28×frac-sub
27×pow-unpow
24×pow-prod-up +-commutative
23×log-pow exp-prod
22×log-prod
20×pow-sqr
17×rem-sqrt-square
15×pow1/3
14×pow-plus neg-sub0 associate--r+
13×pow2 associate-+r+ pow-pow
12×cbrt-div
11×hypot-udef
10×neg-log
9×associate-+l+ log-div
8×associate--l-
6×distribute-rgt-out-- rem-log-exp
5×rem-cube-cbrt pow-flip expm1-udef sum-cubes associate-+r-
4×cube-div inv-pow distribute-lft-neg-out expm1-log1p unsub-neg distribute-frac-neg hypot-def
3×rem-exp-log un-div-inv sub-div rem-cbrt-cube
2×exp-diff sqrt-unprod rem-square-sqrt associate-+l- associate--l+ exp-to-pow
1×log1p-udef exp-neg log1p-expm1 distribute-rgt-out associate--r-

simplify11.5s (2.2%)

Algorithm
176×egg-herbie

regimes3.1s (0.6%)

Accuracy

Total 30.4b remaining (12.5%)

Threshold costs 4.5b (1.9%)

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

localize1.4s (0.3%)

bsearch953.0ms (0.2%)

end1.0ms (0.0%)