Date:Friday, June 12th, 2020
Commit:9c248b13 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020164
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

sample2.2min (65.4%)

Algorithm
56×intervals
Results
26.6s69861×body1280valid
18.7s17356×body2560valid
9.5s44094×body640valid
3.0s21333×body320valid
2.9s67829×body80valid
1.2s1067×body1280nan
935.0ms10200×body160valid
706.0ms42944×pre80true
657.0ms905×body640nan
300.0ms691×body1280overflowed
201.0ms465×body320nan
186.0ms495×body5120valid
176.0ms249×body640invalid
150.0ms116×body1280invalid
114.0ms397×body640overflowed
104.0ms2102×body80nan
92.0ms138×body2560overflowed
75.0ms172×body320invalid
72.0ms1209×body80invalid
59.0ms224×body160nan
38.0ms185×body320overflowed
20.0ms190×body80overflowed
17.0ms120×body160overflowed
13.0ms53×body160invalid
6.0ms5×body2560invalid
sampling

Space saved by range analysis: 8.839456%

Space saved by search: 26.835928%

Guaranteed chance to sample good point: 74.89701%

prune40.1s (20.3%)

Filtered
11984 candidates to 7833 candidates (34.6%)

simplify10.8s (5.4%)

Algorithm
165×egg-herbie

series6.8s (3.5%)

Calls

357 calls:

456.0ms
(cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))))
351.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
346.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 6)))) (+ 1 (* (tan x) (tan eps)))) (tan x))
198.0ms
(* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))))
144.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))

regimes4.9s (2.5%)

Accuracy

Total 25.3b remaining (15.6%)

Threshold costs 5.8b (3.6%)

4.7b83.5%quadm (p42, negative)
4.5b83.2%quad2m (problem 3.2.1, negative)
4.2b51%expq3 (problem 3.4.2)
1.8b83%2nthrt (problem 3.4.6)
1.7b82.8%2cos (problem 3.3.5)

rewrite3.5s (1.7%)

Algorithm
109×rewrite-expression-head
Calls

357 calls:

64.0ms
(/ (+ (* (- (* (* (* (cbrt 1.0) (cbrt (/ 1.0 (+ x 1.0)))) (cbrt 1.0)) x) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 2.0)) (- x 1.0)) (* (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) x) 1.0)) (* (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) x) (- x 1.0)))
56.0ms
(+ (/ 1 (pow x 7)) (+ (/ 1 (pow x 5)) (/ 1 (pow x 3))))
50.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
39.0ms
(* (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))) (* (+ x 1.0) x))
36.0ms
(/ (* (/ 1 (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (/ a (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c))) a)
Rules
4461×*-un-lft-identity
4408×add-sqr-sqrt
3759×times-frac
2709×associate-*l/
2493×add-cube-cbrt
1844×cbrt-div
1163×add-exp-log
981×unpow-prod-down
967×cbrt-prod
878×sqrt-prod
875×frac-times
855×add-cbrt-cube
853×flip-+ flip3-+
752×associate-*r/
726×add-log-exp
708×difference-of-squares
692×associate-*r*
671×pow1
546×frac-add
538×distribute-lft-out--
493×distribute-lft-out
460×flip-- flip3--
445×frac-sub
412×associate-/l*
398×associate-*l*
357×cube-prod
329×sqr-pow
321×associate-/r*
319×associate-/l/
273×div-exp
266×prod-exp
259×unswap-sqr
239×associate-/r/
220×log-prod
199×div-inv
164×cbrt-undiv
150×unpow2
149×cbrt-unprod
137×swap-sqr
133×diff-log
124×sub-neg
106×log-pow
103×sqrt-div
87×pow-prod-down
83×exp-prod
79×pow-exp
77×pow-to-exp
73×sum-log
68×sqrt-pow1 tan-quot
67×clear-num pow1/3 frac-2neg
63×*-commutative
60×distribute-rgt-neg-in
48×pow1/2
47×distribute-rgt-in distribute-lft-in
35×log-div
34×cube-mult unpow3
33×rem-sqrt-square
32×cube-div 1-exp associate--l+ rec-exp
28×+-commutative
27×pow-unpow pow-prod-up
25×associate-+l+ associate-+r+
23×pow-sqr
21×div-sub
20×rem-log-exp
17×pow-pow associate--r+
15×associate--l- neg-sub0
11×neg-log associate-+l-
10×pow-plus
9×pow2 rem-cube-cbrt
8×exp-sum inv-pow cos-mult pow-flip
7×sub-div rem-cbrt-cube
6×distribute-rgt-out-- sin-mult exp-diff
5×difference-of-sqr-1
4×difference-cubes
3×log-rec un-div-inv rem-exp-log
2×distribute-lft-neg-in exp-neg tan-sum cos-sum neg-mul-1 exp-to-pow sin-sum associate--r- distribute-neg-frac
1×associate-+r- rem-square-sqrt diff-cos sin-cos-mult sqrt-unprod diff-sin unsub-neg diff-atan

localize1.3s (0.7%)

bsearch1.1s (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...