Date:Tuesday, July 14th, 2020
Commit:0946c439 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020196
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.0s (36.6%)

Algorithm
73×intervals
Results
10.9s238108×body80valid
5.9s14058×body1280valid
2.9s3808×body2560valid
2.6s16828×body160valid
2.4s9297×body640valid
2.3s99272×pre80true
1.8s14653×body80invalid
1.1s6623×body320valid
924.0ms200×body5120exit
119.0ms238×body5120valid
110.0ms232×body640invalid
87.0ms111×body1280invalid
85.0ms1707×body80nan
56.0ms188×body320invalid
32.0ms17×body2560invalid
17.0ms92×body160invalid
15.0ms189×body80overflowed
4.0ms100×pre80false

analyze21.3s (21.1%)

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.1s (16.9%)

Filtered
9006 candidates to 6037 candidates (33.0%)

simplify8.7s (8.6%)

Algorithm
178×egg-herbie

regimes6.5s (6.4%)

Accuracy

Total 26.8b remaining (21%)

Threshold costs 4.5b (3.5%)

7.2b65%Compound Interest
4.5b78.2%Kahan p9 Example
3.9b85.7%The quadratic formula (r1)
2.3b23%Complex division, imag part
2.3b24.8%Complex division, real part

series5.2s (5.2%)

Calls

313 calls:

583.0ms
(cbrt (* n (* 100.0 (/ (+ (* i 1.0) (+ (* (log 1.0) n) (* (* i i) (- 0.5 (* 0.5 (log 1.0)))))) i))))
133.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)))) (* (* x1 6.0) 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))))))
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))))
76.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
74.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite3.3s (3.3%)

Algorithm
108×rewrite-expression-head
Calls

313 calls:

65.0ms
(- (* (* (cbrt (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) (cbrt (/ (+ (* 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))) (cbrt (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* 6.0 (* x1 x1)))
55.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)))) (* (* x1 6.0) 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))))))
41.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))))
38.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))
35.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
2424×add-sqr-sqrt
2364×*-un-lft-identity
1734×times-frac
1703×add-exp-log
1515×add-cbrt-cube
1409×add-cube-cbrt
1009×pow1
758×add-log-exp
737×prod-exp
711×cbrt-unprod
537×difference-of-squares
491×associate-*r*
437×pow-prod-down
393×associate-*l*
392×cbrt-prod
342×sqrt-prod
319×distribute-lft-out
280×flip-+ flip3-+
276×associate-*r/
253×div-exp
249×associate-/l*
242×frac-times
233×flip-- flip3--
231×cbrt-undiv
221×distribute-lft-out--
211×unpow-prod-down
208×associate-/r*
179×sum-log
176×associate-/r/
145×sqr-pow
144×associate-*l/
129×sub-neg
127×div-inv
113×frac-sub
98×distribute-rgt-in distribute-lft-in
93×associate-/l/
92×unswap-sqr
89×sqrt-div
84×diff-log
81×cube-prod
74×exp-neg
72×*-commutative
60×neg-sub0
58×clear-num frac-2neg
57×log-prod
56×exp-diff
54×sqrt-pow1
50×+-commutative cbrt-div
38×cube-div
34×swap-sqr unpow2
33×pow1/2 pow1/3 cube-mult
32×unpow3
28×frac-add
27×associate-+l+ associate-+r+
24×pow-unpow
22×exp-prod
21×rem-sqrt-square
18×un-div-inv
17×div-sub
16×distribute-rgt-out--
15×pow-pow
14×pow-exp 1-exp rec-exp
13×pow-prod-up
12×pow-to-exp log-div
11×log-pow
10×associate-+r- rem-cbrt-cube
9×pow-sqr rem-exp-log
8×distribute-rgt-neg-in associate--l+ associate--r+
7×associate--l- pow-flip
6×rem-log-exp inv-pow rem-cube-cbrt
5×neg-log
4×pow2 pow-plus
2×distribute-lft-neg-in neg-mul-1 associate-+l-
1×exp-sum sqrt-undiv rem-square-sqrt distribute-rgt-out sqrt-pow2 sqrt-unprod unsub-neg distribute-rgt1-in sum-cubes

localize1.4s (1.3%)

bsearch615.0ms (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...