Date:Wednesday, June 10th, 2020
Commit:5ea8c613 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.3min (62.5%)

Algorithm
56×intervals
Results
26.7s69611×body1280valid
18.8s17262×body2560valid
9.6s44439×body640valid
3.5s87091×body80valid
3.1s21756×body320valid
1.3s1205×body1280nan
1.1s26016×body80nan
1.0s10188×body80overflowed
967.0ms10574×body160valid
709.0ms47420×pre80true
658.0ms930×body640nan
299.0ms698×body1280overflowed
200.0ms475×body320nan
161.0ms443×body5120valid
106.0ms164×body2560overflowed
98.0ms360×body640overflowed
59.0ms251×body160nan
31.0ms163×body320overflowed
12.0ms93×body160overflowed
sampling

Space saved by range analysis: 8.839456%

Space saved by search: 14.282722%

Guaranteed chance to sample good point: 58.913643%

prune21.3s (17.0%)

Filtered
12740 candidates to 7434 candidates (41.6%)

simplify10.5s (8.4%)

Algorithm
162×egg-herbie

series5.5s (4.4%)

Calls

344 calls:

628.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (pow (* b eps) 3)) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
142.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
99.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
98.0ms
(- (/ (+ (tan x) (tan eps)) (cbrt (pow (- 1 (* (tan x) (tan eps))) 3))) (tan x))
97.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes4.4s (3.5%)

Accuracy

Total 28.9b remaining (27.3%)

Threshold costs 5.6b (5.3%)

4.5b82.9%quad2p (problem 3.2.1, positive)
4.5b84.6%quadp (p42, positive)
3.5b0%expq3 (problem 3.4.2)
3.5b86.9%quadm (p42, negative)
3.4b87.1%quad2m (problem 3.2.1, negative)

rewrite3.5s (2.8%)

Algorithm
106×rewrite-expression-head
Calls

344 calls:

102.0ms
(/ (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (* 2.0 (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 4))) (/ 1 (pow x 3))))) (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)))
56.0ms
(- (+ (/ 1 (pow x 2)) (/ 1 (pow x 4))) (/ 1 (pow x 3)))
56.0ms
(- (+ (/ 1 (pow x 2)) (/ 1 (pow x 4))) (/ 1 (pow x 3)))
52.0ms
(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (cbrt (pow (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))) 3)))
42.0ms
(/ (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (+ 1.0 (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)))) (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)))
Rules
8245×*-un-lft-identity
6928×times-frac
5406×add-sqr-sqrt
3523×add-cube-cbrt
3461×sqrt-prod
1973×distribute-lft-out
1347×cbrt-prod
1264×add-exp-log
1150×unpow-prod-down
884×add-cbrt-cube
733×difference-of-squares
656×cube-prod
644×associate-*r*
643×add-log-exp
607×distribute-lft-out--
598×pow1
541×associate-/l*
482×associate-*l*
396×sqr-pow
368×associate-/r*
340×prod-exp
285×unswap-sqr
280×log-prod
264×div-exp
259×associate-/r/
225×flip-- flip3--
214×flip-+ flip3-+
211×div-inv
201×sqrt-div
164×cbrt-unprod
160×cbrt-undiv
145×unpow2
130×associate-*r/
121×log-pow
116×sub-neg
113×distribute-rgt-neg-in
111×diff-log
108×pow-exp
106×pow-to-exp
105×associate-/l/
95×frac-times
87×associate-*l/
75×exp-prod
74×*-commutative
72×cube-mult unpow3
69×pow-prod-down
66×frac-add
65×clear-num frac-2neg
52×sum-log
50×associate--l+
48×log-div
44×frac-sub
43×sqrt-pow1 pow1/2 1-exp rec-exp
42×pow1/3
39×distribute-rgt-in distribute-lft-in
30×pow-unpow
29×rem-sqrt-square
28×+-commutative
26×swap-sqr
25×associate--r+
24×cube-div cbrt-div
23×rem-log-exp
22×div-sub
21×tan-quot
19×neg-sub0
17×associate--l-
16×associate-+l+
15×neg-log
13×pow-prod-up
12×exp-sum associate-+l-
11×pow-sqr
10×difference-cubes pow-pow exp-diff
9×associate-+r+
8×inv-pow cos-mult pow-flip
6×associate--r- sin-mult rem-cube-cbrt
5×un-div-inv
4×pow2 pow-plus sqrt-unprod rem-cbrt-cube
3×sum-cubes difference-of-sqr-1
2×distribute-lft-neg-in exp-neg tan-sum cos-sum associate-+r- neg-mul-1 sub-div sin-sum distribute-neg-frac rem-exp-log
1×rem-square-sqrt diff-cos sqrt-pow2 sin-cos-mult exp-to-pow diff-sin diff-atan

localize1.2s (1.0%)

bsearch689.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...