Details

simplify5.1m (42.5%)

sample4.4m (37.3%)

Algorithm
56×intervals
16×halfpoints
Results
50.9s66599×body1280valid
34.7s17327×body2560valid
18.7s41902×body640valid
10.5s12868×body10240exit
8.1s93800×body80valid
6.6s21104×body320valid
5.0s64266×body80nan
1.8s10710×body160valid
1.6s47408×pre80true
564.0ms654×body1280nan
425.0ms674×body640nan
423.0ms510×body5120valid
156.0ms374×body320nan
37.0ms207×body160nan

prune59.8s (8.4%)

series49.8s (7.0%)

Calls

383 calls:

698.0ms
(/ 1.0 (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
632.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
626.0ms
(- (* (+ (tan x) (tan eps)) (/ 1 (- 1 (* (tan x) (tan eps))))) (tan x))
623.0ms
(cbrt (cbrt x))
620.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

rewrite25.2s (3.5%)

Algorithm
124×rewrite-expression-head
Calls

383 calls:

2.8s
(- (+ (- (+ (/ 0.5 n) 1.0) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0)) 1.0)
533.0ms
(/ (/ (/ 1.0 (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
451.0ms
(+ (- (+ (/ 0.5 n) 1.0) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0))
443.0ms
(/ (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (+ (exp x) 1.0) (+ (exp (+ x x)) (* 1.0 1.0))))
372.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
23460×sqrt-prod
20565×*-un-lft-identity
20387×times-frac
10281×add-sqr-sqrt
8676×add-cube-cbrt
6247×distribute-lft-out
1475×add-exp-log
1150×add-cbrt-cube
1003×associate-/l*
1001×associate-*r*
751×pow1
701×sqrt-div
685×add-log-exp
638×associate-*l*
572×unpow-prod-down
549×difference-of-squares
537×associate-/r/
473×distribute-lft-out--
428×pow-unpow
420×associate-/r*
414×div-inv
413×prod-exp
379×cbrt-prod flip-+ flip3-+
303×div-exp
272×cbrt-unprod
252×unswap-sqr
230×flip3-- flip--
224×sqr-pow
210×cbrt-undiv
209×associate-*l/
208×distribute-rgt-neg-in
192×distribute-lft-neg-in
153×cube-prod
151×pow-prod-down
133×associate-*r/
115×cbrt-div
114×log-prod
108×unpow2
105×diff-log
98×associate-/l/
94×*-commutative sub-neg
93×frac-times
78×neg-mul-1 pow-exp
77×frac-2neg clear-num
74×pow-to-exp
69×sum-log
68×frac-add
64×log-pow
58×pow1/3
53×swap-sqr
45×distribute-rgt-in distribute-lft-in
39×tan-quot frac-sub
32×+-commutative div-sub
30×log-div
27×unpow3 cube-mult sqrt-pow1
25×pow1/2 1-exp rec-exp
23×associate--l+
19×rem-sqrt-square
17×pow-pow
16×associate-+l+ associate--r+
15×exp-prod
14×exp-sum
13×complex-mul-def
12×pow-prod-up pow-sqr neg-sub0
11×cube-div
10×rem-log-exp
9×associate--l- pow-flip distribute-frac-neg associate-+l-
8×rem-cube-cbrt
6×exp-diff un-div-inv inv-pow pow-plus
5×sin-cos-mult neg-log pow2
4×associate-+r+ rem-cbrt-cube *.c-commutative
3×sqrt-unprod associate--r- +.c-commutative sin-sum
2×cos-sum difference-cubes rem-exp-log associate-+r- pow3 exp-neg complex-add-def sin-mult cos-mult tan-sum
1×sub0-neg associate-+l+.c diff-atan diff-cos associate-*l*.c distribute-rgt-neg-out frac-2neg.c sqrt-undiv exp-to-pow diff-sin

regimes4.0s (0.6%)

Accuracy

Total 26.9b remaining (20.5%)

Threshold costs 5.8b (4.4%)

6.0b82.2%quadp (p42, positive)
5.5b77.2%quad2m (problem 3.2.1, negative)
5.5b77.2%quadm (p42, negative)
1.7b92.8%quad2p (problem 3.2.1, positive)
1.4b83.8%2nthrt (problem 3.4.6)

localize3.1s (0.4%)

bsearch2.1s (0.3%)

end1.0ms (0.0%)