Date:Thursday, July 2nd, 2020
Commit:47d1d61e on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020184
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 (57.8%)

Algorithm
56×intervals
Results
27.0s69952×body1280valid
18.7s17223×body2560valid
9.4s43664×body640valid
3.1s21456×body320valid
3.0s68008×body80valid
1.3s1171×body1280nan
981.0ms10393×body160valid
668.0ms43013×pre80true
648.0ms905×body640nan
533.0ms3134×body80overflowed
289.0ms647×body1280overflowed
209.0ms463×body320nan
188.0ms263×body640invalid
183.0ms3690×body80nan
177.0ms472×body5120valid
145.0ms117×body1280invalid
113.0ms1820×body80invalid
111.0ms378×body640overflowed
104.0ms159×body2560overflowed
88.0ms196×body320invalid
48.0ms211×body160nan
37.0ms178×body320overflowed
26.0ms88×body160invalid
15.0ms103×body160overflowed
1.0ms1×body2560invalid

prune18.6s (14.9%)

Filtered
10022 candidates to 6632 candidates (33.8%)

analyze10.2s (8.2%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14

simplify9.2s (7.4%)

Algorithm
165×egg-herbie

series5.4s (4.3%)

Calls

348 calls:

620.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* b eps) (* (* b b) (+ (* b (* (pow eps 3) 1/6)) (* eps (* eps 1/2)))))))
317.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (* (tan x) (* (tan eps) (tan eps)))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
103.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
99.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
84.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (* (pow (* (cbrt x) (exp (log (cbrt x)))) (/ 1.0 n)) (pow (cbrt x) (/ 1.0 n))))

regimes4.3s (3.5%)

Accuracy

Total 23.4b remaining (28%)

Threshold costs 4.9b (5.9%)

4.8b83.3%quad2p (problem 3.2.1, positive)
4.4b84.2%quadp (p42, positive)
2.9b0%expq3 (problem 3.4.2)
1.7b84.7%2nthrt (problem 3.4.6)
1.3b0%2sin (example 3.3)

rewrite2.9s (2.3%)

Algorithm
109×rewrite-expression-head
Calls

348 calls:

49.0ms
(/ (* 1.0 (- (/ 1.0 x) (/ 1.0 (+ 1.0 x)))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
38.0ms
(* (+ 1.0 x) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
38.0ms
(* (sqrt (/ 1.0 (+ (sqrt (+ 1.0 x)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ 1.0 x)) (sqrt x)))))
37.0ms
(* (+ 1.0 x) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
37.0ms
(/ (* 1.0 1.0) (* x (* (+ 1.0 x) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))))
Rules
4137×*-un-lft-identity
3470×add-sqr-sqrt
3346×times-frac
2213×add-cube-cbrt
1455×sqrt-prod
1079×add-exp-log
865×add-cbrt-cube
678×distribute-lft-out
665×pow1
612×add-log-exp
505×difference-of-squares
451×cbrt-prod
359×associate-*l*
351×associate-*r*
347×distribute-lft-out--
324×associate-/l*
318×associate-/r*
292×unpow-prod-down
243×prod-exp
234×div-exp
224×flip-+ flip3-+
220×associate-*r/
217×associate-/r/
213×flip-- flip3--
183×div-inv
166×cbrt-unprod
152×cbrt-undiv
147×cube-prod
137×log-prod
122×unswap-sqr
116×frac-times
115×swap-sqr
101×sub-neg
99×cbrt-div
97×log-pow
93×pow-prod-down
91×sqr-pow
89×sqrt-div
85×diff-log
74×pow1/3
72×tan-quot
69×associate-*l/
68×exp-prod
66×frac-add clear-num frac-2neg
64×*-commutative
62×associate-/l/
61×distribute-rgt-in distribute-lft-in
56×pow-unpow sum-log
42×sqrt-pow1 pow1/2
34×pow-exp
33×log-div
32×pow-to-exp +-commutative
31×pow-pow
30×1-exp
29×rem-sqrt-square
25×associate-+r+ div-sub
24×rec-exp
23×frac-sub associate--l+
22×pow-prod-up
18×pow-sqr
15×rem-log-exp
14×distribute-rgt-neg-in cube-mult unpow3
12×exp-sum associate-+l+
10×unpow2
9×pow2 pow-plus exp-diff associate--r+
7×associate--l-
6×distribute-lft-neg-in
5×cube-div neg-sub0 sin-sum pow-flip rem-cube-cbrt rem-exp-log
4×inv-pow distribute-frac-neg associate-+l-
3×cos-sum rem-cbrt-cube
2×exp-neg tan-sum neg-mul-1 rem-square-sqrt sqrt-unprod associate--r- neg-log sqr-cos-a un-div-inv distribute-rgt-neg-out sin-mult
1×associate-+r- diff-cos distribute-rgt-out sin-cos-mult diff-sin diff-atan cos-mult

localize1.2s (1.0%)

bsearch664.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...