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

sample37.8s (36.3%)

Algorithm
73×intervals
Results
11.5s238033×body80valid
6.1s14220×body1280valid
2.9s3769×body2560valid
2.7s16616×body160valid
2.5s9382×body640valid
2.2s99272×pre80true
1.9s14812×body80invalid
1.1s6690×body320valid
917.0ms200×body5120exit
139.0ms285×body640invalid
108.0ms250×body5120valid
100.0ms134×body1280invalid
86.0ms1779×body80nan
52.0ms169×body320invalid
19.0ms102×body160invalid
15.0ms184×body80overflowed
15.0ms8×body2560invalid
4.0ms100×pre80false

analyze21.4s (20.6%)

Algorithm
36×search
2×random
Search
TrueOtherFalseIter
0%60.5%39.5%0
1.4%59.2%39.5%1
5.6%55%39.5%2
11.1%47.4%41.5%3
13.9%43.5%42.6%4
19%38.1%42.8%5
20.7%35.1%44.2%6
24%30.1%45.9%7
26.5%26.9%46.6%8
29.4%22.8%47.8%9
31.8%19.6%48.6%10
33.4%17.3%49.2%11
35.7%14.6%49.7%12
40.6%9%50.4%13
41.2%8.2%50.6%14

prune17.9s (17.2%)

Filtered
9821 candidates to 6576 candidates (33.0%)

simplify10.0s (9.6%)

Algorithm
183×egg-herbie

regimes6.9s (6.7%)

Accuracy

Total 27.0b remaining (20%)

Threshold costs 3.8b (2.8%)

6.5b62.6%Compound Interest
4.6b78.8%Kahan p9 Example
4.4b84.2%The quadratic formula (r1)
2.6b0%Complex division, real part
2.3b0%Complex division, imag part

series4.8s (4.6%)

Calls

314 calls:

97.0ms
(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (pow E (neg (* (+ 1.0 eps) x)))))
88.0ms
(+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
72.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
72.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
72.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite3.4s (3.2%)

Algorithm
113×rewrite-expression-head
Calls

314 calls:

52.0ms
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))
47.0ms
(* (/ 1 (/ (+ t1 u) t1)) (/ (neg v) (+ t1 u)))
42.0ms
(* (/ PI 2.0) (/ (/ 1.0 (+ b a)) (- b a)))
39.0ms
(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* (* x1 6.0) x1))
36.0ms
(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1))))
Rules
2962×*-un-lft-identity
2786×add-sqr-sqrt
2341×times-frac
1796×add-cube-cbrt
1686×add-exp-log
1503×add-cbrt-cube
987×associate-*r*
977×pow1
727×add-log-exp
634×prod-exp
570×cbrt-unprod
566×associate-*l*
410×distribute-lft-out
386×frac-times
352×associate-*r/ flip-+ flip3-+
318×div-exp
316×pow-prod-down
308×difference-of-squares
283×cbrt-prod
269×flip-- flip3--
256×cbrt-undiv
249×associate-*l/
240×frac-sub
225×associate-/l*
219×unpow-prod-down
218×associate-/r/
210×associate-/r*
201×distribute-lft-out--
161×div-inv
160×unswap-sqr
159×sum-log
147×sqrt-prod
136×neg-sub0 exp-neg
117×cube-prod
106×exp-diff
98×distribute-rgt-neg-in
96×sub-neg
95×distribute-lft-neg-in
94×*-commutative
88×associate-/l/
82×diff-log
77×exp-prod
76×swap-sqr
72×sqr-pow
62×sqrt-div
60×distribute-rgt-in distribute-lft-in
56×pow-prod-up
55×clear-num un-div-inv frac-2neg
53×pow1/3
51×cbrt-div
41×+-commutative
37×pow-sqr pow-neg
35×neg-mul-1
34×pow-plus
31×frac-add 1-exp
30×pow-unpow
29×log-prod
28×pow-sub
27×associate-+r+ log-pow
25×rec-exp
24×pow2
23×sqrt-pow1
19×pow-exp pow1/2
18×cube-div
17×pow-to-exp cube-mult pow-pow
16×div-sub unpow3 rem-exp-log
15×rem-sqrt-square
11×associate-+l+ associate-+r-
9×distribute-frac-neg
8×exp-sum associate--l+ associate--r+
7×associate--l- pow-flip
6×inv-pow sum-cubes
5×log-div neg-log distribute-rgt-neg-out rem-cbrt-cube
4×distribute-rgt-out distribute-rgt1-in
3×rem-log-exp rem-cube-cbrt
2×sqrt-pow2 exp-to-pow difference-of-sqr--1
1×distribute-lft-neg-out e-exp-1 pow3 distribute-rgt-out--

localize1.3s (1.3%)

bsearch506.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...