Details

series1.2m (43.0%)

Calls

284 calls:

44.0s
(/ (/ (/ (+ (pow (pow (+ 1.0 (/ i n)) (* 2 n)) 3) (pow (- (* 1.0 1.0)) 3)) (fma (- (* 1.0 1.0)) (- (- (* 1.0 1.0)) (pow (+ 1.0 (/ i n)) (* 2 n))) (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))))) (+ (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))
513.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))
486.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)))))

prune38.9s (23.3%)

sample31.0s (18.5%)

Algorithm
73×intervals
Results
9.3s294972×body80valid
4.7s13707×body1280valid
2.3s3824×body2560valid
1.8s9576×body640valid
1.7s16855×body160valid
1.4s100664×pre80true
1.0s2188×body10240exit
715.0ms6848×body320valid
544.0ms19492×body80nan
72.0ms213×body5120valid
3.0ms100×pre80false

simplify10.7s (6.4%)

Algorithm
173×egg-herbie

rewrite8.9s (5.3%)

Algorithm
103×rewrite-expression-head
Calls

284 calls:

653.0ms
(/ (/ (/ (+ (pow (pow (+ 1.0 (/ i n)) (* 2 n)) 3) (pow (- (* 1.0 1.0)) 3)) (fma (- (* 1.0 1.0)) (- (- (* 1.0 1.0)) (pow (+ 1.0 (/ i n)) (* 2 n))) (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
368.0ms
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
333.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
287.0ms
(+ (+ (+ (+ e d) c) b) a)
284.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
17551×times-frac
14958×*-un-lft-identity
11247×add-sqr-sqrt
9792×add-cube-cbrt
4934×prod-diff
2205×distribute-lft-out
1787×unpow-prod-down
1781×add-exp-log
1192×add-cbrt-cube
1189×cube-prod
945×div-inv
792×associate-*r*
725×distribute-rgt-in distribute-lft-in
643×pow1
631×prod-exp
581×difference-of-squares
574×add-log-exp
548×cbrt-prod
507×div-exp
424×associate-*l*
420×associate-/l*
403×sqrt-prod
392×distribute-lft-out--
349×sqr-pow
339×cbrt-unprod
337×associate-/r/
284×log1p-expm1-u expm1-log1p-u
273×cbrt-undiv
270×fma-neg
262×associate-/r*
247×frac-times
224×flip-+ flip3-+
199×associate-*r/
188×flip3-- flip--
168×associate-*l/ sum-cubes
154×pow-prod-down 1-exp
138×distribute-rgt-neg-in
128×cbrt-div
126×unswap-sqr
120×distribute-lft-neg-in
118×sum-log
102×frac-sub
99×fma-def
97×unpow3 cube-mult
96×rec-exp
91×swap-sqr
88×un-div-inv
84×exp-neg
73×neg-sub0
68×*-commutative
63×exp-diff sub-neg
56×diff-log
54×sqrt-div associate-/l/ pow-exp
51×clear-num frac-2neg
46×fma-udef
40×neg-mul-1
38×log-prod
33×pow-to-exp
31×pow-unpow
30×unpow2
29×div-sub
24×pow1/3
23×+-commutative
22×cube-div
18×sqrt-pow1
17×pow1/2 pow-pow
16×pow-prod-up log-div
15×rem-sqrt-square associate-+r+ pow-plus
14×rem-cube-cbrt frac-add
13×log-pow associate--r+
12×pow-sqr
11×pow2
10×pow-flip
9×associate-+l+
8×inv-pow rem-log-exp
7×neg-log
6×associate--l- rem-cbrt-cube
5×distribute-lft-neg-out
4×hypot-def
3×associate-+r- unsub-neg distribute-frac-neg associate-+l-
2×distribute-rgt-out-- cube-neg associate--l+
1×pow3 distribute-rgt-out associate--r-

regimes3.0s (1.8%)

Accuracy

Total 42.4b remaining (13.8%)

Threshold costs 3.2b (1%)

11.9b45.2%Compound Interest
8.8b28.1%Complex division, imag part
7.4b34.6%Complex division, real part
5.6b80.4%The quadratic formula (r2)
4.4b85%The quadratic formula (r1)

bsearch1.6s (0.9%)

localize1.3s (0.8%)

end1.0ms (0.0%)