Details

sample1.9m (48.1%)

Algorithm
56×intervals
16×halfpoints
Results
24.4s66935×body1280valid
16.9s17316×body2560valid
8.3s42685×body640valid
3.9s12537×body10240exit
2.9s93699×body80valid
2.5s20180×body320valid
1.7s64272×body80nan
859.0ms10796×body160valid
534.0ms47290×pre80true
289.0ms634×body1280nan
229.0ms716×body640nan
157.0ms477×body5120valid
73.0ms372×body320nan
24.0ms210×body160nan

prune47.2s (20.0%)

series43.0s (18.2%)

Calls

402 calls:

1.3s
(sqrt (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (/ (+ (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0))) (- (sqrt (exp x)) (sqrt 1.0))))))
1.2s
(cbrt (* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))))
1.1s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
1.1s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
1.0s
(* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))

rewrite15.1s (6.4%)

Algorithm
120×rewrite-expression-head
Calls

402 calls:

1.1s
(/ (* (+ (/ 1.0 (+ x 1.0)) (- (- (/ 2.0 x)) (/ 1.0 (- x 1.0)))) (- (+ (/ 1.0 (- x 1.0)) (/ 1.0 (+ x 1.0))) (/ 2.0 x))) (- (- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))) (/ 2.0 x)))
499.0ms
(- (+ (/ 1.0 (- x 1.0)) (/ 1.0 (+ x 1.0))) (/ 2.0 x))
335.0ms
(/ (/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
271.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
264.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (* (* (cbrt (/ 1.0 (- x 1.0))) (cbrt (/ 1.0 (- x 1.0)))) (cbrt (/ 1.0 (- x 1.0)))))
Rules
24633×times-frac
23358×sqrt-prod
22527×*-un-lft-identity
13225×add-sqr-sqrt
10058×add-cube-cbrt
6091×distribute-lft-out
1851×add-exp-log
1269×associate-/l*
1188×difference-of-squares
1148×add-cbrt-cube
1103×associate-*l*
1008×associate-*r*
885×distribute-lft-out--
830×unpow-prod-down
722×add-log-exp
686×pow1
603×div-exp
572×associate-/r/
509×sqrt-div
497×div-inv
458×prod-exp
401×unswap-sqr
395×sqr-pow
382×cube-prod
373×associate-/r*
358×flip-+
356×flip3-+
298×log-prod
279×cbrt-undiv
248×flip--
246×flip3--
221×cbrt-prod
202×cbrt-unprod
155×unpow2
144×associate-*l/
122×associate-/l/
121×diff-log
119×sub-neg
118×distribute-rgt-neg-in
116×log-pow
108×pow-exp
107×pow-to-exp
105×exp-prod
102×associate-*r/
99×frac-times
94×cbrt-div
93×pow-unpow
92×pow-prod-down
83×1-exp rec-exp
82×frac-add
78×*-commutative frac-sub
73×frac-2neg clear-num
65×sqrt-pow1
54×sum-log
52×pow1/2
49×log-div exp-sum
43×tan-quot
40×unpow3 cube-mult
35×div-sub
34×rem-sqrt-square pow1/3
31×rem-log-exp
28×distribute-rgt-in +-commutative distribute-lft-in
25×associate--l+
24×complex-mul-def associate--r+
20×swap-sqr
19×exp-diff
15×difference-cubes pow-flip
14×pow-pow associate-+l+
12×pow-prod-up neg-sub0
11×rem-exp-log
10×pow-sqr
9×associate--l- inv-pow cos-mult
7×associate-+r+ associate-+l-
6×neg-log rem-cube-cbrt *.c-commutative distribute-neg-frac
5×un-div-inv
4×sqrt-unprod pow2 +.c-commutative complex-add-def pow-plus exp-to-pow
3×associate--r- difference-of-sqr-1 sin-mult
2×cube-div pow-neg associate-+l+.c associate-+r- exp-neg pow-sub sqr-cos associate-*l*.c cos-sum tan-sum sin-sum
1×sub0-neg sin-cos-mult sub-1-cos diff-atan diff-cos rem-square-sqrt distribute-frac-neg rem-cbrt-cube distribute-rgt-neg-out sqrt-undiv diff-sin

simplify10.9s (4.6%)

regimes3.1s (1.3%)

Accuracy

Total 25.3b remaining (10.1%)

Threshold costs 5.8b (2.3%)

4.6b47.5%expq3 (problem 3.4.2)
4.5b83.5%quadm (p42, negative)
3.4b87.4%quad2p (problem 3.2.1, positive)
2.8b89.7%quad2m (problem 3.2.1, negative)
1.8b78.8%2nthrt (problem 3.4.6)

localize2.1s (0.9%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)