Date:Wednesday, June 10th, 2020
Commit:646ba792 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.4min (69.0%)

Algorithm
56×intervals
Results
26.7s69628×body1280valid
18.5s17357×body2560valid
9.6s44206×body640valid
3.2s21507×body320valid
2.9s67658×body80valid
1.3s1189×body1280nan
951.0ms10344×body160valid
875.0ms10314×body80overflowed
703.0ms965×body640nan
696.0ms43322×pre80true
302.0ms3692×body80invalid
285.0ms684×body1280overflowed
216.0ms483×body320nan
185.0ms270×body640invalid
176.0ms468×body5120valid
149.0ms116×body1280invalid
121.0ms2330×body80nan
115.0ms404×body640overflowed
100.0ms155×body2560overflowed
78.0ms193×body320invalid
52.0ms213×body160nan
37.0ms189×body320overflowed
20.0ms84×body160invalid
13.0ms100×body160overflowed
7.0ms5×body2560invalid
sampling

Space saved by range analysis: 8.839456%

Space saved by search: 23.487325%

Guaranteed chance to sample good point: 72.534161%

prune38.1s (17.9%)

Filtered
15263 candidates to 9375 candidates (38.6%)

simplify11.0s (5.2%)

Algorithm
165×egg-herbie

series5.8s (2.7%)

Calls

365 calls:

320.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
257.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
149.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
98.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
61.0ms
(* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))

rewrite4.8s (2.3%)

Algorithm
109×rewrite-expression-head
Calls

365 calls:

722.0ms
(* (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)) (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)))
54.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))))
46.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
34.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
33.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
14381×times-frac
11947×*-un-lft-identity
9857×add-sqr-sqrt
6408×add-cube-cbrt
2471×cbrt-prod
2002×sqrt-prod
1515×difference-of-squares
1494×distribute-lft-out
1241×distribute-lft-out--
1231×add-exp-log
925×add-cbrt-cube
841×associate-*r*
788×associate-/l*
715×unpow-prod-down
704×add-log-exp
650×pow1
615×associate-*l*
559×swap-sqr
442×associate-/r/
411×associate-/r*
405×div-inv
365×sqr-pow
340×flip-- flip3--
315×div-exp
260×unswap-sqr
247×prod-exp cube-prod
188×cbrt-undiv
178×unpow2
165×flip-+ flip3-+
149×associate-*l/
147×cbrt-unprod
146×log-pow
145×log-prod
138×exp-prod
135×associate-*r/ distribute-rgt-neg-in
118×diff-log
113×sub-neg
104×cbrt-div
91×pow-prod-down
90×frac-times
88×sqrt-div
85×frac-add
79×clear-num frac-2neg
78×pow-to-exp pow-exp
76×associate-/l/
72×tan-quot
71×pow1/3
70×frac-sub
68×*-commutative
66×sum-log
57×pow-unpow
40×distribute-rgt-in distribute-lft-in 1-exp rec-exp
38×sqrt-pow1 pow1/2
34×associate-+l+
30×difference-cubes +-commutative
27×div-sub associate--l+
26×rem-sqrt-square
23×log-div
19×rem-log-exp
18×pow-prod-up
17×associate--r+
16×pow-sqr
14×un-div-inv
13×distribute-rgt-out--
11×neg-sub0 associate-+l- pow-pow
10×associate--l-
9×exp-to-pow cube-mult cos-mult pow-flip unpow3
8×pow-plus inv-pow
7×pow2 associate-+r+ sub-div neg-log exp-diff
6×exp-sum exp-lft-cube sin-mult rem-cube-cbrt
5×rem-exp-log
4×cube-div sqrt-unprod
3×sqr-cos difference-of-sqr-1
2×exp-neg div0 tan-sum cos-sum associate-+r- distribute-rgt-out sin-sum
1×rem-square-sqrt diff-cos sin-cos-mult +-inverses diff-sin log-rec diff-atan

regimes4.2s (2.0%)

Accuracy

Total 23.2b remaining (25.4%)

Threshold costs 5.7b (6.3%)

5.0b79.2%quad2m (problem 3.2.1, negative)
3.2b0%expq3 (problem 3.4.2)
2.2b88.8%2nthrt (problem 3.4.6)
1.9b80.9%2cos (problem 3.3.5)
1.6b93.5%quadm (p42, negative)

localize1.3s (0.6%)

bsearch655.0ms (0.3%)

end0.0ms (0.0%)

Profiling

Loading profile data...