Date:Wednesday, June 10th, 2020
Commit:ecc7ec01 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

sample2.0min (65.7%)

Algorithm
56×intervals
Results
26.8s69486×body1280valid
18.6s17339×body2560valid
9.6s44402×body640valid
3.6s87335×body80valid
3.1s21693×body320valid
1.2s1129×body1280nan
962.0ms10478×body160valid
871.0ms10400×body80overflowed
728.0ms47478×pre80true
666.0ms942×body640nan
310.0ms723×body1280overflowed
217.0ms469×body320nan
165.0ms453×body5120valid
123.0ms2335×body80nan
105.0ms375×body640overflowed
103.0ms155×body2560overflowed
54.0ms221×body160nan
36.0ms176×body320overflowed
10.0ms77×body160overflowed
sampling

Space saved by range analysis: 8.839456%

Space saved by search: 19.712602%

Guaranteed chance to sample good point: 80.931241%

prune35.3s (19.4%)

Filtered
13682 candidates to 8830 candidates (35.5%)

simplify11.0s (6.1%)

Algorithm
162×egg-herbie

series5.8s (3.2%)

Calls

349 calls:

625.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)))))
320.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
148.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
99.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
73.0ms
(- (* (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n))) (pow x (/ 1.0 n)))

rewrite4.4s (2.4%)

Algorithm
106×rewrite-expression-head
Calls

349 calls:

766.0ms
(* (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)) (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)))
53.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
51.0ms
(* (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
39.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
32.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
Rules
13018×times-frac
9887×*-un-lft-identity
8837×add-sqr-sqrt
5851×add-cube-cbrt
2506×cbrt-prod
1331×add-exp-log
1180×difference-of-squares
1069×distribute-lft-out--
998×associate-*r*
936×add-cbrt-cube
862×distribute-lft-out
750×sqrt-prod
704×associate-*l*
687×associate-/l*
651×pow1
646×add-log-exp
580×unpow-prod-down
521×swap-sqr
370×prod-exp
346×associate-/r/
318×unswap-sqr
313×div-inv
303×flip-- flip3--
291×div-exp associate-/r*
268×sqr-pow
184×cbrt-unprod
175×cbrt-undiv
159×associate-*l/
158×unpow2
156×flip-+ flip3-+
141×log-prod
133×log-pow
129×associate-*r/
115×cube-prod
113×exp-prod
107×sub-neg
101×distribute-rgt-neg-in pow-prod-down
99×frac-times
97×diff-log
91×pow-to-exp pow-exp sqrt-div
83×pow-unpow
79×*-commutative
72×tan-quot
62×clear-num frac-2neg
61×associate-/l/
60×sum-log pow1/3
53×distribute-rgt-in cbrt-div distribute-lft-in
50×frac-sub
48×frac-add
44×1-exp rec-exp
41×sqrt-pow1 pow1/2
34×associate-+l+
33×+-commutative
28×associate--l+
27×rem-sqrt-square
24×log-div
21×div-sub
20×associate--r+
19×pow-prod-up
17×pow-sqr
15×rem-log-exp
14×un-div-inv
13×pow-pow
12×neg-sub0 cube-mult unpow3
11×associate-+l-
9×cos-mult
8×cube-div pow2 pow-plus neg-log
7×associate--l- associate-+r+
6×sin-mult rem-cube-cbrt
5×difference-cubes inv-pow pow-flip exp-diff
4×sqrt-unprod
3×sqr-cos sub-div distribute-rgt-out-- difference-of-sqr-1 rem-exp-log
2×exp-sum exp-neg tan-sum cos-sum associate-+r- distribute-rgt-out exp-to-pow sin-sum
1×div0 rem-square-sqrt diff-cos sqrt-pow2 sin-cos-mult diff-sin diff-atan rem-cbrt-cube

regimes4.0s (2.2%)

Accuracy

Total 23.3b remaining (27.5%)

Threshold costs 5.7b (6.7%)

5.1b82.1%quadp (p42, positive)
3.4b0%expq3 (problem 3.4.2)
3.0b89%quad2m (problem 3.2.1, negative)
2.1b80.8%2nthrt (problem 3.4.6)
1.9b80.9%2cos (problem 3.3.5)

localize1.2s (0.6%)

bsearch601.0ms (0.3%)

end0.0ms (0.0%)

Profiling

Loading profile data...