Details

sample5.0m (43.6%)

Algorithm
56×intervals
16×halfpoints
Results
1.1m66560×body1280valid
35.7s16921×body2560valid
28.5s42914×body640valid
14.5s12495×body10240exit
11.5s93760×body80valid
8.2s20587×body320valid
7.2s63444×body80nan
3.9s10821×body160valid
2.1s47318×pre80true
736.0ms684×body1280nan
545.0ms663×body640nan
498.0ms404×body5120valid
170.0ms358×body320nan
91.0ms190×body160nan

prune3.0m (26.6%)

simplify2.4m (21.3%)

series39.8s (5.8%)

Calls

325 calls:

1.1s
(cbrt (fma 1/3 x (* (pow x 5) 2/945)))
897.0ms
(cbrt (fma 1/3 x (* (pow x 5) 2/945)))
878.0ms
(cbrt (fma 1/3 x (* (pow x 5) 2/945)))
819.0ms
(cbrt (fma 1/3 x (* (pow x 5) 2/945)))
807.0ms
(cbrt (fma 1/3 x (* (pow x 5) 2/945)))

rewrite8.0s (1.2%)

Algorithm
113×rewrite-expression-head
Calls

325 calls:

380.0ms
(- (* b_2 b_2) (* a c))
265.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
208.0ms
(* (sqrt (/ 1 (+ (sqrt (+ 1 x)) (sqrt x)))) (sqrt (/ 1 (+ (sqrt (+ 1 x)) (sqrt x)))))
166.0ms
(- (/ (/ (sin x) (cos x)) (- 1 (/ (* (sin x) (/ (sin eps) (cos eps))) (cos x)))) (/ (sin x) (cos x)))
133.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
Rules
9478×*-un-lft-identity
8837×times-frac
8739×add-sqr-sqrt
6637×add-cube-cbrt
4471×prod-diff
2025×sqrt-prod
1186×pow1
1075×add-exp-log
949×add-cbrt-cube
895×difference-of-squares
781×unpow-prod-down
769×distribute-lft-out
667×associate-*r*
609×div-inv
590×distribute-lft-out--
498×add-log-exp
463×associate-*l*
438×fma-neg
399×cbrt-prod
357×associate-/r/
346×associate-/r*
324×log1p-expm1-u
322×expm1-log1p-u
318×insert-posit16
290×associate-/l*
265×pow-prod-up
264×sqr-pow
247×associate-+l+
245×prod-exp
240×div-exp
229×pow-prod-down
221×cbrt-unprod
187×cbrt-undiv
167×flip3-- flip--
163×unswap-sqr
153×flip-+ flip3-+
152×distribute-rgt-out
138×swap-sqr
131×log-prod
124×distribute-rgt-neg-in
115×pow-sqr
105×distribute-lft-neg-in
102×fma-def
87×pow-plus
83×sqrt-div
79×pow1/3
72×sqrt-pow1
70×frac-2neg clear-num diff-log
65×pow-unpow
64×sub-neg
63×pow2
61×exp-sum exp-prod
59×*-commutative
53×cbrt-div
46×frac-times
41×associate-*r/
40×pow1/2 associate-/l/ associate-*l/
35×neg-mul-1
34×log-pow
32×tan-quot
31×pow-flip
25×1-exp rec-exp
24×sum-log
23×inv-pow
21×rem-sqrt-square
19×cube-unmult div-sub frac-add
17×+-commutative
16×fma-udef
14×expm1-udef
12×pow-exp distribute-rgt1-in distribute-lft1-in pow-to-exp
10×expm1-log1p frac-sub log-div
9×difference-of-sqr-1 rem-log-exp
7×neg-sub0 distribute-rgt-in associate--r+ distribute-lft-in
6×associate--l-
5×exp-diff neg-log pow-pow log1p-udef
4×quot-tan log1p-expm1 un-div-inv log1p-def sin-mult count-2
3×associate--l+ sqr-sin distribute-rgt-out--
2×sin-sum pow3 sqrt-unprod +.c-commutative pow-div tan-sum exp-neg rem-exp-log associate-+l- hypot-def rem-square-sqrt cos-sum
1×diff-atan sqrt-undiv associate-+r+ frac-2neg.c sin-cos-mult sub-div hypot-1-def diff-sin diff-cos expm1-def

regimes4.1s (0.6%)

Accuracy

Total 23.4b remaining (16.9%)

Threshold costs 3.8b (2.7%)

5.1b81.4%quadm (p42, negative)
5.1b81.6%quad2m (problem 3.2.1, negative)
4.2b84.6%quad2p (problem 3.2.1, positive)
3.8b-19.5%expq3 (problem 3.4.2)
1.4b88.3%2nthrt (problem 3.4.6)

localize3.9s (0.6%)

bsearch2.4s (0.4%)

end1.0ms (0.0%)