Details

sample2.4m (50.9%)

Algorithm
56×intervals
16×halfpoints
Results
31.2s67058×body1280valid
19.4s17165×body2560valid
11.7s42691×body640valid
6.1s12625×body10240exit
5.1s93767×body80valid
3.7s20629×body320valid
3.0s63163×body80nan
1.3s47304×pre80true
1.3s10728×body160valid
422.0ms698×body1280nan
285.0ms658×body640nan
248.0ms474×body5120valid
103.0ms383×body320nan
30.0ms187×body160nan

prune1.8m (37.4%)

simplify10.4s (3.7%)

Algorithm
195×egg-herbie

rewrite7.9s (2.8%)

Algorithm
123×rewrite-expression-head
Calls

387 calls:

545.0ms
(- 1.0 (- (+ (+ 1.0 (/ 0.16666666666666669 (pow n 2))) (* 1.0 (log (/ 1 n)))) (/ 0.5 n)))
309.0ms
(cbrt (- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2))))))
308.0ms
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
190.0ms
(- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2)))))
179.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
13400×times-frac
9253×add-sqr-sqrt
9247×*-un-lft-identity
6351×add-cube-cbrt
1542×add-exp-log
1175×difference-of-squares
1160×sqrt-prod
1041×add-cbrt-cube
1033×associate-/l*
1008×distribute-lft-out--
939×associate-*r*
914×unpow-prod-down
760×pow1
745×add-log-exp
677×cbrt-prod
493×associate-/r*
481×distribute-lft-out
471×associate-*l*
423×div-exp
413×div-inv
409×sqr-pow
367×prod-exp
306×cube-prod
294×associate-/r/
290×flip-- flip3--
289×unswap-sqr
225×distribute-rgt-neg-in
218×cbrt-undiv
195×unpow2
188×cbrt-unprod log-prod
157×associate-*l/
148×flip-+ flip3-+
128×diff-log
125×sub-neg
119×log-pow pow-exp
114×sqrt-pow1
113×pow-prod-down pow-to-exp
110×pow-unpow
107×associate-*r/
88×associate-/l/
84×frac-times
80×pow1/2
78×clear-num frac-2neg
75×exp-prod
73×*-commutative sum-log
64×tan-quot
60×sqrt-div
59×swap-sqr
57×frac-add
56×distribute-rgt-in distribute-lft-in 1-exp
50×pow-prod-up rec-exp
46×unpow3 cube-mult frac-sub
37×+-commutative cbrt-div
32×rem-sqrt-square associate-+r+
28×pow-pow log-div
27×associate--l+
26×associate-+l+
25×div-sub
24×complex-mul-def
22×pow-sqr pow1/3 associate--r+
19×neg-sub0
18×rem-log-exp
16×associate--l- exp-sum
14×rem-cube-cbrt
13×pow-flip neg-log cos-mult
11×inv-pow
10×associate-+l-
9×cube-div difference-cubes
7×sqrt-unprod pow-plus
6×exp-diff un-div-inv *.c-commutative
5×pow2 exp-to-pow
4×rem-exp-log associate--r- difference-of-sqr-1 +.c-commutative complex-add-def sin-mult
2×cos-sum associate-+l+.c associate-+r- exp-neg pow-sub rem-square-sqrt associate-*l*.c tan-sum distribute-rgt-neg-out frac-2neg.c pow-neg sin-sum log-rec
1×sqrt-pow2 diff-atan sin-cos-mult diff-cos unsub-neg sqrt-undiv sub-div rem-cbrt-cube diff-sin

regimes6.7s (2.4%)

Accuracy

Total 25.3b remaining (11.6%)

Threshold costs 5.9b (2.7%)

4.8b82%quadp (p42, positive)
3.6b87.3%quadm (p42, negative)
3.5b0%expq3 (problem 3.4.2)
3.0b88.8%quad2p (problem 3.2.1, positive)
1.5b82.5%2nthrt (problem 3.4.6)

series5.3s (1.9%)

Calls

387 calls:

412.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (/ (* (pow (sin x) 2) (pow (sin eps) 2)) (* (pow (cos eps) 2) (pow (cos x) 2))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
396.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
124.0ms
(- (pow (* (cos eps) (cos x)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3))
117.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
82.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))

localize1.9s (0.7%)

bsearch1.0s (0.4%)

end1.0ms (0.0%)