Details

simplify5.1m (44.2%)

sample4.3m (37.8%)

Algorithm
56×intervals
16×halfpoints
Results
49.6s66710×body1280valid
33.2s17577×body2560valid
19.7s42801×body640valid
11.1s12718×body10240exit
9.5s94377×body80valid
6.6s20173×body320valid
5.5s62982×body80nan
2.1s10324×body160valid
1.6s47457×pre80true
669.0ms652×body1280nan
516.0ms667×body640nan
429.0ms452×body5120valid
118.0ms349×body320nan
35.0ms179×body160nan

series50.4s (7.3%)

Calls

402 calls:

1.1s
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
762.0ms
(/ (* 1.0 (/ (- (+ x 1.0) x) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
738.0ms
(* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))
552.0ms
(- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n))))
546.0ms
(log (exp (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n))))))

prune45.2s (6.6%)

rewrite19.1s (2.8%)

Algorithm
122×rewrite-expression-head
Calls

402 calls:

342.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
315.0ms
(/ (- 0 (/ c (/ (+ (sqrt (- (* b_2 b_2) (* a c))) b_2) a))) a)
297.0ms
(* (- (exp (* a eps)) 1.0) (+ (* (* b b) (+ (* (* 1/6 (pow eps 3)) b) (* 1/2 (* eps eps)))) (* eps b)))
247.0ms
(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
238.0ms
(log (exp (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n))))))
Rules
3794×*-un-lft-identity
3753×add-sqr-sqrt
2979×times-frac
2233×add-cube-cbrt
1254×add-exp-log
1020×add-cbrt-cube
727×pow1
694×sqrt-prod
683×add-log-exp
629×difference-of-squares
515×associate-*l*
438×distribute-lft-out--
413×associate-/l*
393×associate-*r*
377×distribute-lft-out
337×associate-/r*
308×prod-exp
298×cbrt-prod
294×unpow-prod-down
242×pow-unpow
236×div-exp
235×log-prod
221×flip3-- flip--
208×log-pow
202×cbrt-unprod
189×exp-prod
184×cbrt-undiv
176×flip-+ flip3-+
175×associate-/r/
168×div-inv
159×unswap-sqr
150×sqr-pow
129×associate-*l/
110×sub-neg
106×sqrt-div
105×diff-log
101×pow-prod-down
90×associate-*r/
87×cube-prod
76×frac-2neg *-commutative clear-num sqrt-pow1
72×cbrt-div
70×associate-/l/ distribute-rgt-neg-in
59×pow1/3
57×frac-times
56×pow1/2
49×exp-sum
48×swap-sqr
46×sum-log
42×pow-to-exp pow-exp
38×distribute-rgt-in distribute-lft-in
37×rem-sqrt-square log-div
36×div-sub
32×tan-quot
31×frac-add
30×distribute-lft-neg-in neg-mul-1
27×unpow2
26×+-commutative frac-sub
24×associate--l+
22×rem-log-exp
21×1-exp
20×rec-exp
17×pow-pow unpow3 pow-prod-up cube-mult
16×associate--r+
15×exp-diff
13×associate-+l+ pow-sqr complex-mul-def
12×neg-sub0
10×distribute-frac-neg
9×associate--l-
8×rem-exp-log pow-flip
6×cube-div neg-log
5×rem-cube-cbrt inv-pow pow-plus associate-+l- pow2
4×sub0-neg sqrt-unprod associate-+r+ rem-cbrt-cube *.c-commutative exp-to-pow
3×difference-cubes +.c-commutative
2×cos-sum un-div-inv pow3 exp-neg complex-add-def sin-mult tan-sum frac-2neg.c sin-sum
1×associate-+l+.c distribute-lft-neg-out diff-atan sin-cos-mult diff-cos rem-square-sqrt associate-*l*.c quot-tan cos-mult diff-sin

regimes4.2s (0.6%)

Accuracy

Total 23.0b remaining (14.3%)

Threshold costs 6.8b (4.2%)

4.7b82.8%quadp (p42, positive)
3.7b86.5%quadm (p42, negative)
3.4b60%expq3 (problem 3.4.2)
2.1b77.3%2nthrt (problem 3.4.6)
1.3b94.8%quad2m (problem 3.2.1, negative)

localize3.1s (0.4%)

bsearch2.2s (0.3%)

end1.0ms (0.0%)