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

prune3.0min (52.0%)

Filtered
12974 candidates to 9357 candidates (27.9%)

sample2.1min (36.4%)

Algorithm
72×intervals
Results
11.1s238185×body80valid
5.9s13841×body1280valid
2.6s3667×body2560valid
2.5s9484×body640valid
2.3s99273×pre80true
1.5s11104×body80invalid
1.1s6825×body320valid
876.0ms200×body5120exit
847.0ms8721×body160valid
111.0ms237×body5120valid
79.0ms159×body640invalid
53.0ms999×body80nan
45.0ms60×body1280invalid
45.0ms22×body2560invalid
35.0ms103×body320invalid
8.0ms105×body80overflowed
8.0ms38×body160invalid
4.0ms100×pre80false
sampling

Space saved by range analysis: 36.418501%

Space saved by search: 49.707019%

Guaranteed chance to sample good point: 88.490685%

simplify21.5s (6.3%)

Algorithm
176×egg-herbie

regimes7.5s (2.2%)

Accuracy

Total 26.7b remaining (18.6%)

Threshold costs 3.9b (2.7%)

5.6b71.8%Compound Interest
4.7b83.5%The quadratic formula (r2)
4.6b78.5%Kahan p9 Example
2.9b0%Complex division, imag part
2.4b26.2%Complex division, real part

series4.5s (1.3%)

Calls

304 calls:

77.0ms
(/ (- (* b c) (* a d)) (sqrt (sqrt (+ (* c c) (* d d)))))
75.0ms
(/ (- (* (* (- (* 1.0 1.0) (* (/ 1.0 eps) (/ 1.0 eps))) (exp (neg (* (- 1.0 eps) x)))) (exp (* (+ 1.0 eps) x))) (* (- 1.0 (/ 1.0 eps)) (- (/ 1.0 eps) 1.0))) (* (- 1.0 (/ 1.0 eps)) (exp (* (+ 1.0 eps) x))))
74.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
73.0ms
(+ (* 9.0 (pow x 4.0)) (neg (pow y 4)))
72.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite4.2s (1.2%)

Algorithm
107×rewrite-expression-head
Calls

304 calls:

140.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
64.0ms
(* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))
53.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (neg 6.0))))
47.0ms
(* (cbrt (pow (/ (neg t1) (+ t1 u)) 3)) (/ v (+ t1 u)))
45.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
Rules
6494×frac-times
5755×associate-*l/
4919×times-frac
4213×*-un-lft-identity
4096×add-sqr-sqrt
3471×flip-- flip3--
2808×add-cube-cbrt
2523×flip-+ flip3-+
2437×associate-*r/
2402×frac-sub
1312×add-exp-log
1161×cbrt-prod
1118×add-cbrt-cube
944×unpow-prod-down
781×associate-*r*
755×add-log-exp
704×pow1
469×distribute-lft-out
461×associate-*l*
433×prod-exp
419×difference-of-squares
374×cbrt-div
345×cbrt-unprod
328×sqrt-prod
284×associate-/l*
263×distribute-lft-out--
255×cube-prod
253×associate-/r*
248×div-exp
231×sqr-pow
224×div-inv
203×cbrt-undiv
188×frac-add
170×sum-log pow-prod-down
153×associate-/r/
152×unswap-sqr
147×associate-/l/
142×distribute-rgt-neg-in
140×exp-neg
136×unpow2
117×distribute-lft-neg-in
116×neg-sub0
111×sub-neg
108×exp-diff
98×diff-log
93×swap-sqr
85×sqrt-div
72×*-commutative
70×distribute-rgt-in distribute-lft-in
68×log-pow
65×log-prod
53×clear-num frac-2neg
50×+-commutative
48×pow-exp
47×pow-to-exp
40×sqrt-pow1 pow1/3
39×neg-mul-1 exp-prod
37×un-div-inv
33×associate-+l+
31×pow1/2
30×associate-+r+
28×associate--l+
27×rem-sqrt-square
24×cube-div pow-prod-up
22×div-sub
21×pow-plus cube-mult unpow3
20×log-div
18×pow-sqr
16×associate--r+
15×associate--l- pow2 pow-unpow
9×1-exp rec-exp rem-cbrt-cube
8×rem-log-exp neg-log
6×distribute-frac-neg
5×associate-+r- pow-pow
4×distribute-lft-neg-out exp-sum
3×distribute-rgt-out unsub-neg associate-+l- distribute-rgt-out-- rem-cube-cbrt
2×inv-pow distribute-rgt-neg-out pow-flip rem-exp-log
1×cube-neg sqrt-undiv distribute-lft1-in sub-div pow3

localize1.4s (0.4%)

bsearch865.0ms (0.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...