Details

prune39.1s (30.3%)

sample33.5s (25.9%)

Algorithm
73×intervals
Results
9.2s295464×body80valid
4.7s13777×body1280valid
2.6s3894×body2560valid
1.8s9405×body640valid
1.8s16819×body160valid
1.3s100570×pre80true
1.0s2234×body10240exit
724.0ms6810×body320valid
556.0ms20042×body80nan
95.0ms242×body5120valid
3.0ms100×pre80false

series27.0s (20.9%)

Calls

287 calls:

1.8s
(/ (/ (+ (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))
702.0ms
(/ (fma (pow (* (cbrt (+ 1.0 (/ i n))) (cbrt (+ 1.0 (/ i n)))) n) (pow (cbrt (+ 1.0 (/ i n))) n) (- 1.0)) (/ i n))
445.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)))))
402.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))

rewrite13.7s (10.6%)

Algorithm
103×rewrite-expression-head
Calls

287 calls:

639.0ms
(+ (+ (+ (+ e d) c) b) a)
599.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
590.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
587.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
583.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
12286×times-frac
10962×*-un-lft-identity
9539×add-sqr-sqrt
8414×add-cube-cbrt
5554×prod-diff
1713×add-exp-log
1572×distribute-rgt-in distribute-lft-in
1271×add-cbrt-cube
1002×distribute-lft-out
935×unpow-prod-down
883×div-inv
684×pow1
615×associate-*r*
574×associate-*l*
565×add-log-exp
557×prod-exp
482×difference-of-squares
480×associate-/r/
464×div-exp
388×cube-prod
363×associate-/l*
348×cbrt-unprod
333×sqr-pow
327×sqrt-prod
313×cbrt-undiv
311×associate-/r*
299×distribute-lft-out--
289×log1p-expm1-u
287×expm1-log1p-u
251×fma-neg
248×flip-+ flip3-+
177×flip-- flip3--
166×distribute-rgt-neg-in
144×pow-prod-down
132×frac-times associate-*r/
127×distribute-lft-neg-in
125×swap-sqr
124×unswap-sqr
117×sum-log
113×cbrt-prod
109×unpow3 cube-mult
102×fma-def
97×sqrt-div
75×sqrt-pow1
72×associate-*l/
68×1-exp
67×pow-exp
66×*-commutative
65×sub-neg
64×clear-num frac-2neg
60×associate-/l/
51×pow1/2
48×log-prod
47×diff-log
43×pow-prod-up
42×neg-mul-1
37×fma-udef
35×pow-to-exp
34×pow-unpow
33×rec-exp
29×div-sub
27×log-pow
26×pow-sqr +-commutative
25×pow-plus
21×frac-sub
18×rem-cube-cbrt pow1/3
16×pow2
15×rem-sqrt-square
14×cube-div associate-+r+
13×exp-prod
12×frac-add neg-sub0 pow-pow log-div
10×pow-flip
9×associate-+l+
8×cbrt-div unpow2
7×associate--l- distribute-lft-neg-out neg-log rem-log-exp
5×hypot-udef associate-+l-
4×sqrt-unprod inv-pow
3×rem-exp-log expm1-log1p rem-square-sqrt distribute-frac-neg distribute-rgt-out-- expm1-udef
2×log1p-udef associate-+r- log1p-expm1 unsub-neg associate--l+ exp-to-pow associate--r+
1×exp-diff un-div-inv pow3 cube-unmult sub-div distribute-rgt-out exp-neg rem-cbrt-cube

simplify10.5s (8.1%)

Algorithm
173×egg-herbie

regimes2.7s (2.1%)

Accuracy

Total 39.5b remaining (15.5%)

Threshold costs 2.4b (0.9%)

11.0b46.2%Compound Interest
8.4b32.2%Complex division, imag part
7.2b38.5%Complex division, real part
4.8b86%The quadratic formula (r2)
4.4b84.7%The quadratic formula (r1)

bsearch1.4s (1.1%)

localize1.3s (1.0%)

end1.0ms (0.0%)