Details

sample5.0m

Algorithm
56×intervals
16×halfpoints
Results
1.1m67132×body1280valid
41.2s17267×body2560valid
26.0s42290×body640valid
13.7s12984×body10240exit
10.2s94122×body80valid
8.8s20523×body320valid
8.4s62817×body80nan
2.5s10502×body160valid
1.8s47598×pre80true
1.1s680×body1280nan
683.0ms690×body640nan
586.0ms415×body320nan
507.0ms461×body5120valid
50.0ms183×body160nan

prune4.2m

simplify1.7m

series35.4s

Calls

355 calls:

Slowest
635.0ms
(* (cbrt (/ 1/2 (sqrt 2))) (* (/ (fma 2 x (fma 1/60 (pow x 5) (* (* 1/3 (* x x)) x))) (sqrt 2)) (sin y)))
595.0ms
(/ (* (expm1 (* (+ a b) eps)) (/ eps (expm1 (* eps b)))) (expm1 (* eps a)))
491.0ms
(* (cbrt (/ (log1p (- x)) (log1p x))) (cbrt (/ (log1p (- x)) (log1p x))))
474.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
435.0ms
(/ (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1)) (* (* (+ x 1) x) (- x 1)))

rewrite9.0s

Algorithm
115×rewrite-expression-head
Calls

355 calls:

Slowest
474.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
367.0ms
(* (/ (fma 2 x (fma 1/60 (pow x 5) (* (* 1/3 (* x x)) x))) 2) (sin y))
266.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
160.0ms
(cbrt (* (/ (* (* (sin x) (sin x)) (sin x)) (* (* (cos x) (cos x)) (cos x))) (* (* (/ (sin eps) (cos eps)) (/ (sin eps) (cos eps))) (/ (sin eps) (cos eps)))))
117.0ms
(* (- (/ 1 (exp x)) 2) (- (/ 1 (exp x)) 2))
Rules
20217×times-frac
14813×*-un-lft-identity
14283×add-sqr-sqrt
11897×add-cube-cbrt
7541×prod-diff
2380×sqrt-prod
1355×pow1
1160×add-exp-log
1131×div-inv
1104×distribute-rgt-neg-in
1026×add-cbrt-cube
981×distribute-lft-neg-in
933×difference-of-squares
793×distribute-lft-out--
668×distribute-lft-out
556×associate-*l*
549×add-log-exp
545×associate-/l* fma-neg
498×associate-/r*
463×associate-*r*
440×cbrt-prod
436×associate-/r/
373×log-pow
353×log1p-expm1-u
347×expm1-log1p-u insert-posit16
291×log-prod
285×unpow-prod-down
281×div-exp
273×neg-mul-1
269×associate-+l+
240×flip3-- flip--
224×prod-exp
223×swap-sqr
217×cbrt-undiv
208×cbrt-unprod
174×unswap-sqr
173×flip-+ flip3-+
172×pow-prod-down
166×associate-*l/
138×distribute-rgt-in distribute-lft-in
134×pow-prod-up
101×sqrt-div
95×sqr-pow associate--r+
89×sub-neg diff-log
83×frac-times
82×pow-sqr
80×associate-*r/
78×frac-2neg pow-plus clear-num
75×associate-/l/
72×cbrt-div
69×*-commutative
64×pow1/3
63×sqrt-pow1
57×pow1/2
55×fma-def
52×associate-+r+ pow2
42×pow-unpow frac-add
40×div-sub
39×exp-prod
30×1-exp rec-exp
29×tan-quot
28×pow-flip
27×rem-sqrt-square fma-udef
25×difference-of-sqr-1
19×sum-log
18×inv-pow
16×rem-log-exp
14×frac-sub log-div
13×neg-sub0
11×+-commutative
10×expm1-udef
8×associate--l- pow-div
7×expm1-log1p
6×cube-prod pow3 neg-log
5×pow-exp sqrt-unprod pow-to-exp
4×associate--l+ distribute-frac-neg sqr-sin pow-pow distribute-rgt-out-- log1p-udef
3×sin-cos-mult sin-mult rem-cbrt-cube associate--r-
2×exp-diff sin-sum associate-+r- log1p-def log1p-expm1 unpow3 sub-div +.c-commutative hypot-udef tan-sum frac-2neg-c exp-neg associate-+l- hypot-def rem-square-sqrt cos-sum cube-mult expm1-def
1×quot-tan diff-atan cos-mult rem-cube-cbrt cube-unmult rem-exp-log diff-sin diff-cos

localize4.0s

regimes3.8s

Accuracy

Total 29.5b remaining (20.5%)

Threshold costs 3.9b (2.7%)

4.8b82.8%quadp (p42, positive)
4.8b82.8%quad2p (problem 3.2.1, positive)
4.7b82.9%quad2m (problem 3.2.1, negative)
4.7b82.9%quadm (p42, negative)
3.5b0%expq3 (problem 3.4.2)

bsearch2.3s

end1.0ms