Details

simplify4.9m (42.7%)

sample4.3m (37.4%)

Algorithm
56×intervals
16×halfpoints
Results
48.9s67068×body1280valid
33.8s17482×body2560valid
17.9s42210×body640valid
10.5s13034×body10240exit
9.8s93334×body80valid
5.3s20810×body320valid
4.1s63525×body80nan
2.4s10561×body160valid
2.0s47297×pre80true
502.0ms655×body1280nan
485.0ms650×body640nan
275.0ms411×body5120valid
95.0ms326×body320nan
37.0ms207×body160nan

prune1.0m (8.9%)

series45.9s (6.7%)

Calls

372 calls:

958.0ms
(cbrt (* a (/ c (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
589.0ms
(/ (/ 1.0 (+ (* 1.0 (sqrt (+ x 1.0))) (* (sqrt x) 1.0))) (* (sqrt x) (sqrt (+ x 1.0))))
544.0ms
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2)))
501.0ms
(sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))
491.0ms
(- (tan (+ x eps)) (tan x))

rewrite17.1s (2.5%)

Algorithm
118×rewrite-expression-head
Calls

372 calls:

457.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
423.0ms
(- (* b_2 b_2) (* a c))
419.0ms
(- (sin (+ x eps)) (sin x))
409.0ms
(* b (* b (+ (* (* (* 1/6 eps) (* eps eps)) b) (* (* eps eps) 1/2))))
374.0ms
(* (* b b) (+ (* (* (* 1/6 eps) (* eps eps)) b) (* (* eps eps) 1/2)))
Rules
4156×*-un-lft-identity
3886×add-sqr-sqrt
3723×times-frac
2367×add-cube-cbrt
1512×pow1
1230×add-exp-log
1138×add-cbrt-cube
880×sqrt-prod
610×add-log-exp
603×difference-of-squares
529×associate-*r*
501×associate-*l*
457×distribute-lft-out--
451×distribute-lft-out
371×pow-prod-down
347×associate-/l*
331×prod-exp
329×associate-/r*
309×cbrt-unprod
285×flip3-- flip--
282×log-prod
253×pow-prod-up
236×swap-sqr
212×div-exp
203×associate-/r/ div-inv
181×cbrt-undiv
167×sqrt-div
161×flip-+ flip3-+ associate-*l/
158×cbrt-div
155×unpow-prod-down
148×unswap-sqr
145×cbrt-prod
128×associate-*r/
124×frac-times
113×pow-sqr
106×sqrt-pow1
104×sub-neg
98×log-pow
96×diff-log
91×sqr-pow
87×*-commutative
86×pow-plus
83×distribute-rgt-neg-in
82×associate-/l/
73×distribute-lft-neg-in
66×pow1/3
65×frac-2neg clear-num
60×pow1/2
58×pow2
45×frac-sub distribute-rgt-in distribute-lft-in
42×pow-unpow
37×frac-add
31×sum-log
28×div-sub rem-sqrt-square
27×log-div
24×neg-mul-1
22×exp-prod
21×rem-log-exp +-commutative
16×cube-unmult associate--l+
15×cube-prod
14×tan-quot complex-mul-def
13×1-exp rec-exp
12×associate--r+
8×associate-+l+ neg-sub0 associate--l-
7×pow-exp sub-div pow-to-exp
5×pow-flip sqrt-unprod cos-sum
4×exp-diff distribute-frac-neg pow-pow inv-pow distribute-neg-frac rem-exp-log
3×sin-sum associate-+r+ distribute-rgt-out-- exp-sum *.c-commutative pow3 neg-log +.c-commutative associate-+l-
2×associate-*l*.c sin-mult tan-sum exp-to-pow complex-add-def rem-square-sqrt distribute-neg-in
1×diff-atan cos-mult associate-+r- rem-cube-cbrt sin-cos-mult distribute-rgt-neg-out unpow3 cube-mult frac-2neg.c diff-sin associate-+l+.c rem-cbrt-cube difference-cubes diff-cos unsub-neg

localize5.3s (0.8%)

regimes5.1s (0.7%)

Accuracy

Total 42.5b remaining (21.6%)

Threshold costs 4.2b (2.1%)

13.8b34.4%expax (section 3.5)
5.6b30.7%expq3 (problem 3.4.2)
4.5b82.7%quad2m (problem 3.2.1, negative)
4.4b84.4%quad2p (problem 3.2.1, positive)
4.4b84.4%quadp (p42, positive)

bsearch2.1s (0.3%)

end1.0ms (0.0%)