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

Details

sample1.2min (48.7%)

Algorithm
56×intervals
Results
26.5s69616×body1280valid
18.5s17162×body2560valid
9.3s44059×body640valid
3.0s21555×body320valid
2.8s67990×body80valid
1.2s1078×body1280nan
929.0ms10339×body160valid
655.0ms917×body640nan
652.0ms43001×pre80true
506.0ms2976×body80overflowed
277.0ms650×body1280overflowed
219.0ms501×body320nan
188.0ms256×body640invalid
188.0ms447×body5120valid
166.0ms3404×body80nan
116.0ms392×body640overflowed
114.0ms94×body1280invalid
111.0ms163×body2560overflowed
103.0ms1701×body80invalid
73.0ms176×body320invalid
61.0ms252×body160nan
41.0ms194×body320overflowed
19.0ms75×body160invalid
13.0ms96×body160overflowed
2.0ms1×body2560invalid

prune23.5s (16.3%)

Filtered
13188 candidates to 8589 candidates (34.9%)

analyze19.5s (13.5%)

Algorithm
56×search

simplify10.5s (7.3%)

Algorithm
167×egg-herbie

series6.5s (4.5%)

Calls

366 calls:

577.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (* b (+ (+ (* (* 1/2 (pow eps 2)) b) (* (* 1/6 (pow eps 3)) (pow b 2))) eps))))
336.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (/ (* (pow (sin x) 2) (* (tan eps) (tan eps))) (pow (cos x) 2)))) (+ 1 (* (tan x) (tan eps)))) (tan x))
321.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
249.0ms
(/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps))))
147.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))

bsearch4.8s (3.3%)

regimes4.2s (2.9%)

Accuracy

Total 20.0b remaining (19.4%)

Threshold costs 5.2b (5%)

3.4b67.9%expq3 (problem 3.4.2)
2.5b90.5%quad2p (problem 3.2.1, positive)
2.0b81.2%2nthrt (problem 3.4.6)
1.8b92.8%quad2m (problem 3.2.1, negative)
1.6b84%2cos (problem 3.3.5)

rewrite3.8s (2.6%)

Algorithm
111×rewrite-expression-head
Calls

366 calls:

78.0ms
(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 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))))
66.0ms
(* (+ (sqrt (exp x)) (sqrt 1.0)) (/ (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0)))))
58.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))))
47.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
46.0ms
(/ (/ (cbrt a) (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) c)) (cbrt a))
Rules
7670×times-frac
7087×*-un-lft-identity
7020×add-sqr-sqrt
3965×add-cube-cbrt
1671×sqrt-prod
1351×difference-of-squares
1213×cbrt-prod
1156×add-exp-log
907×associate-*r*
896×add-cbrt-cube
882×distribute-lft-out--
839×unpow-prod-down
734×add-log-exp
707×pow1
705×distribute-lft-out
647×associate-/l*
350×associate-*l*
346×sqr-pow
344×associate-/r*
310×cube-prod
297×flip-- flip3--
289×log-prod
268×prod-exp
241×div-inv
235×div-exp
230×unswap-sqr
210×associate-/r/
192×swap-sqr
181×frac-sub
172×associate-*l/
170×frac-times
165×cbrt-undiv
162×cbrt-unprod
151×associate-*r/
150×log-pow
141×unpow2
137×flip-+ flip3-+
128×diff-log exp-prod
123×sub-neg
122×associate-/l/
105×pow-unpow
91×pow-prod-down
83×sqrt-div
71×pow-exp
70×pow-to-exp *-commutative
68×tan-quot
66×sum-log
65×clear-num frac-2neg
64×sqrt-pow1
57×distribute-rgt-neg-in
54×pow1/2
51×pow1/3
46×exp-sum
45×cbrt-div
43×distribute-rgt-in distribute-lft-in
42×rem-sqrt-square
39×log-div
30×associate--l+
27×+-commutative
26×frac-add
25×rem-log-exp div-sub pow-pow
21×pow-prod-up
19×1-exp rec-exp pow-sqr
18×associate--r+
16×neg-sub0
15×associate-+l+ exp-diff
13×associate--l- difference-cubes
12×exp-to-pow
11×pow-plus neg-log distribute-rgt-out-- rem-exp-log
10×pow2 associate-+l-
9×cube-mult unpow3
8×sin-mult
7×associate-+r+
6×cube-div inv-pow pow-flip rem-cube-cbrt
5×cos-mult difference-of-sqr-1
4×sqrt-unprod
3×sub-div un-div-inv
2×distribute-lft-neg-in exp-neg tan-sum cos-sum associate-+r- neg-mul-1 sqrt-pow2 sin-sum distribute-neg-frac
1×exp-lft-cube rem-square-sqrt diff-cos sin-cos-mult +-inverses associate--r- diff-sin log-rec diff-atan rem-cbrt-cube

localize1.2s (0.8%)

end1.0ms (0.0%)

Profiling

Loading profile data...