Date:Thursday, June 11th, 2020
Commit:ff1367c2 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020163
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

sample4.1min (84.0%)

Algorithm
56×intervals
Results
26.7s70139×body1280valid
18.6s17293×body2560valid
9.6s43871×body640valid
2.9s21382×body320valid
2.8s67769×body80valid
1.1s1055×body1280nan
922.0ms10258×body160valid
657.0ms42947×pre80true
625.0ms902×body640nan
286.0ms686×body1280overflowed
191.0ms440×body320nan
172.0ms248×body640invalid
169.0ms456×body5120valid
153.0ms122×body1280invalid
103.0ms2159×body80nan
103.0ms364×body640overflowed
99.0ms155×body2560overflowed
79.0ms186×body320invalid
69.0ms1168×body80invalid
55.0ms243×body160nan
38.0ms193×body320overflowed
21.0ms226×body80overflowed
16.0ms67×body160invalid
13.0ms96×body160overflowed
5.0ms4×body2560invalid
sampling

Space saved by range analysis: 8.839456%

Space saved by search: 26.835928%

Guaranteed chance to sample good point: 74.89701%

prune20.1s (6.8%)

Filtered
11379 candidates to 7350 candidates (35.4%)

simplify10.4s (3.6%)

Algorithm
160×egg-herbie

series7.0s (2.4%)

Calls

326 calls:

1.9s
(/ (- (* (pow (+ x 1.0) (* 2 (/ 1.0 n))) (pow (+ x 1.0) (* 2 (/ 1.0 n)))) (* (pow x (* 2 (/ 1.0 n))) (pow x (* 2 (/ 1.0 n))))) (* (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (+ (pow (+ x 1.0) (* 2 (/ 1.0 n))) (pow x (* 2 (/ 1.0 n))))))
246.0ms
(/ (- (pow (+ x 1.0) (* 2 (/ 1.0 n))) (pow x (* 2 (/ 1.0 n)))) (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))))
194.0ms
(/ (+ 0 (* 4.0 (* a c))) (- (neg b) (* (fabs (cbrt (- (* b b) (* 4.0 (* a c))))) (sqrt (cbrt (- (* b b) (* 4.0 (* a c))))))))
102.0ms
(- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3))
100.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (tan eps)) (cos x)))) (tan x))

regimes3.8s (1.3%)

Accuracy

Total 22.5b remaining (21.1%)

Threshold costs 5.1b (4.8%)

5.3b80%quadm (p42, negative)
3.4b66.8%expq3 (problem 3.4.2)
1.9b80.8%2cos (problem 3.3.5)
1.7b84.3%2nthrt (problem 3.4.6)
1.6b93.5%quadp (p42, positive)

rewrite3.2s (1.1%)

Algorithm
104×rewrite-expression-head
Calls

326 calls:

44.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 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
34.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
32.0ms
(* (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (* (+ (* 1.0 x) (log 1.0)) (+ (* 1.0 x) (log 1.0))) (* (* 1/2 (/ (pow x 2) (pow 1.0 2))) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))) (+ (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
31.0ms
(/ (- (* (pow (+ x 1.0) (* 2 (/ 1.0 n))) (pow (+ x 1.0) (* 2 (/ 1.0 n)))) (* (pow x (* 2 (/ 1.0 n))) (pow x (* 2 (/ 1.0 n))))) (* (+ (pow x (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (+ (pow (+ x 1.0) (* 2 (/ 1.0 n))) (pow x (* 2 (/ 1.0 n))))))
Rules
5600×*-un-lft-identity
5386×times-frac
5163×add-sqr-sqrt
2918×add-cube-cbrt
1683×add-exp-log
1089×sqrt-prod
976×difference-of-squares
930×add-cbrt-cube
783×unpow-prod-down
740×distribute-lft-out
694×associate-*r*
651×distribute-lft-out--
630×pow1
618×prod-exp
617×associate-/l*
611×add-log-exp
457×div-exp
373×associate-*l*
352×associate-/r*
335×sqr-pow
267×associate-/r/
227×unswap-sqr
221×flip-- flip3--
202×pow-exp
199×pow-to-exp
198×flip-+ flip3-+
197×div-inv
186×cbrt-undiv
185×associate-*r/
182×cbrt-unprod
181×cbrt-prod
175×cube-prod
142×associate-*l/
115×distribute-rgt-neg-in unpow2
108×log-prod
106×frac-times
102×associate-/l/ pow-prod-down
101×sub-neg swap-sqr
99×diff-log
73×clear-num frac-2neg
69×*-commutative exp-prod
68×frac-sub
67×log-pow
65×sqrt-div
59×pow-unpow
48×sum-log
41×sqrt-pow1 pow1/2
38×cbrt-div pow1/3
35×distribute-rgt-in distribute-lft-in
33×rem-sqrt-square
30×frac-add
29×difference-cubes div-sub
27×+-commutative
25×1-exp rec-exp
23×pow-prod-up
22×tan-quot
21×pow-sqr
19×log-div
16×associate--l+ cos-mult pow-pow
15×neg-sub0 associate--r+
14×associate-+l+
13×associate--l-
11×rem-log-exp neg-log
9×pow-plus cube-mult unpow3
8×pow2 associate-+l-
7×cube-div exp-to-pow
6×exp-lft-cube exp-diff rem-cube-cbrt
5×associate-+r+ inv-pow pow-flip
4×exp-sum mul-1-neg sqrt-unprod
3×un-div-inv
2×distribute-lft-neg-in exp-neg sqr-cos tan-sum cos-sum associate-+r- neg-mul-1 sin-cos-mult sin-sum unsub-neg distribute-neg-frac sin-mult difference-of-sqr-1
1×rem-square-sqrt diff-cos sqrt-pow2 diff-sin diff-atan rem-cbrt-cube rem-exp-log

bsearch1.2s (0.4%)

localize1.1s (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...