Date:Friday, July 3rd, 2020
Commit:8652dc03 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020185
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

sample36.9s (35.7%)

Algorithm
73×intervals
Results
11.0s238160×body80valid
6.1s14164×body1280valid
3.0s3904×body2560valid
2.7s16732×body160valid
2.4s9201×body640valid
2.2s99273×pre80true
1.9s14931×body80invalid
1.1s6592×body320valid
963.0ms200×body5120exit
128.0ms262×body640invalid
108.0ms139×body1280invalid
90.0ms207×body5120valid
84.0ms1690×body80nan
64.0ms193×body320invalid
29.0ms15×body2560invalid
19.0ms103×body160invalid
15.0ms199×body80overflowed
4.0ms100×pre80false

analyze21.8s (21.2%)

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

prune18.0s (17.5%)

Filtered
8921 candidates to 5998 candidates (32.8%)

simplify9.1s (8.9%)

Algorithm
179×egg-herbie

regimes6.4s (6.2%)

Accuracy

Total 25.0b remaining (18%)

Threshold costs 4.5b (3.2%)

6.4b66.5%Compound Interest
5.0b82.3%The quadratic formula (r1)
4.7b76.8%Kahan p9 Example
2.1b28.6%Complex division, real part
1.3b0%Rosa's DopplerBench

series5.3s (5.1%)

Calls

310 calls:

184.0ms
(+ (+ x1 (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0))))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0)))))
139.0ms
(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0)))
128.0ms
(+ x1 (+ (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* 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)))) (* 6.0 (* x1 x1)))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0))))))
127.0ms
(+ (+ x1 (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* 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)) (* x1 4.0)))) (* x1 (* x1 6.0))))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0)))))
91.0ms
(+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))

rewrite3.6s (3.5%)

Algorithm
109×rewrite-expression-head
Calls

310 calls:

192.0ms
(/ (* 2.0 t) (+ 1.0 t))
58.0ms
(+ x1 (+ (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* 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)))) (* 6.0 (* x1 x1)))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0))))))
54.0ms
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))
52.0ms
(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0))))
50.0ms
(- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* x1 (* (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)) (- (* x1 x1) 1.0)))) (* x1 (* x1 6.0)))
Rules
2577×*-un-lft-identity
2493×add-sqr-sqrt
1748×times-frac
1686×add-exp-log
1408×add-cube-cbrt
1401×add-cbrt-cube
896×pow1
778×add-log-exp
717×prod-exp
611×cbrt-unprod
501×sqrt-prod
485×associate-*r*
422×associate-*l*
383×distribute-lft-out
374×cbrt-prod
348×difference-of-squares
336×pow-prod-down
321×associate-*r/
298×flip-+ flip3-+
286×div-exp
252×frac-times
244×distribute-lft-out--
225×cbrt-undiv
214×flip-- flip3--
199×sum-log
198×associate-/l*
193×associate-/r*
181×unpow-prod-down
173×associate-/r/
146×associate-*l/
133×sub-neg
129×distribute-rgt-in distribute-lft-in
122×div-inv
119×cube-prod
115×unswap-sqr
111×frac-sub
107×cbrt-div
100×sqrt-div
82×diff-log
75×swap-sqr
74×exp-neg
69×*-commutative
63×frac-add
58×neg-sub0 sqr-pow
56×exp-diff
54×associate-/l/
53×pow1/3
48×+-commutative
46×clear-num frac-2neg
45×rem-sqrt-square sqrt-pow1 pow1/2
34×associate-+l+
29×associate-+r+
27×1-exp rec-exp
23×log-prod
21×un-div-inv pow-prod-up
20×cube-mult exp-prod
19×unpow3
18×associate--l+
17×div-sub
15×pow-sqr log-pow
14×pow-plus
13×associate-+r-
12×cube-div pow-to-exp pow-exp pow-unpow
10×pow2 associate--r+
8×rem-cbrt-cube
7×associate--l-
6×pow-pow pow-flip
5×distribute-rgt-neg-in
4×log-div neg-log rem-exp-log
3×rem-log-exp inv-pow rem-cube-cbrt
2×distribute-lft-neg-in neg-mul-1 distribute-rgt-out
1×rem-square-sqrt sqrt-pow2 sqrt-unprod unsub-neg pow3 distribute-rgt1-in

localize1.3s (1.3%)

bsearch713.0ms (0.7%)

end1.0ms (0.0%)

Profiling

Loading profile data...