Date:Thursday, June 4th, 2020
Commit:630fd560 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020156
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune5.3m (62.1%)

Filtered
17207 candidates to 22174 candidates (-28.9%)

sample1.5m (17.3%)

Algorithm
71×intervals
Results
15.5s284626×body80valid
5.5s12103×body1280valid
3.3s3833×body2560valid
2.3s100595×pre80true
2.2s7757×body640valid
1.0s5979×body320valid
940.0ms200×body5120exit
872.0ms22573×body80nan
802.0ms8297×body160valid
111.0ms212×body5120valid
11.0ms131×body80overflowed
4.0ms100×pre80false

bsearch57.6s (11.3%)

simplify27.2s (5.3%)

Algorithm
182×egg-herbie

rewrite7.6s (1.5%)

Algorithm
114×rewrite-expression-head
Calls

330 calls:

196.0ms
(* (sqrt (- (* (+ 1.0 (/ 1.0 eps)) (pow E (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))) (sqrt (- (* (+ 1.0 (/ 1.0 eps)) (pow E (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))))
182.0ms
(* (sqrt (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))) (sqrt (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))))
152.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)))))))
81.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 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))) 6.0)))
76.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
Rules
25789×frac-times
16116×frac-sub
14121×sqrt-div
11892×associate-*l/
9301×neg-sub0
9134×associate-*r/
8367×flip-- flip3--
7248×flip-+ flip3-+
6232×exp-neg
6156×pow-neg
5685×times-frac
5226×add-sqr-sqrt
4676×exp-diff
4617×pow-sub
4491×*-un-lft-identity
3100×un-div-inv
2859×add-cube-cbrt
2077×add-exp-log
1507×add-cbrt-cube
1071×unpow-prod-down
991×associate-*r*
936×sqrt-prod
892×pow1
816×difference-of-squares
749×add-log-exp
662×prod-exp
605×associate-*l*
601×div-exp
578×cbrt-div
516×cube-prod
495×distribute-lft-out
468×cbrt-unprod
462×associate-/r*
394×associate-/r/
364×sqr-pow
355×distribute-lft-out--
344×cbrt-undiv
338×div-inv
312×frac-add
298×associate-/l*
245×swap-sqr
231×pow-prod-down
209×unswap-sqr
186×cbrt-prod
165×unpow2
154×sum-log
139×sqrt-pow1
119×sub-neg
99×pow1/2
93×associate-/l/
92×*-commutative
89×diff-log
86×pow-exp
81×distribute-rgt-in distribute-lft-in
79×pow-to-exp
70×distribute-rgt-neg-in
68×log-prod
63×1-exp rec-exp
57×clear-num frac-2neg
51×pow-prod-up
42×pow-unpow
40×+-commutative
35×pow-sqr exp-prod
34×distribute-lft-neg-in
31×rem-sqrt-square associate-+r+
30×cube-div
29×log-pow
24×associate-+l+ div-sub
21×pow-plus
20×cube-mult unpow3
19×pow2
15×pow-pow associate--r+
14×neg-mul-1
13×log-div
12×sqrt-unprod pow1/3
11×neg-log rem-cube-cbrt
10×associate--l+ distribute-rgt-out--
9×difference-cubes pow-flip
8×rem-cbrt-cube rem-exp-log
7×rem-log-exp inv-pow associate-+l-
6×associate--l- rem-square-sqrt unpow1/2
5×distribute-rgt-out
4×distribute-lft-neg-out distribute-frac-neg
3×associate-+r- distribute-lft1-in
2×exp-sum unsub-neg
1×sqrt-pow2 +-inverses associate--r- sum-cubes

regimes5.9s (1.2%)

Accuracy

Total 24.2b remaining (25.3%)

Threshold costs 2.1b (2.2%)

6.4b69.9%Kahan p9 Example
4.5b61.6%Compound Interest
3.6b86.5%The quadratic formula (r1)
2.6b0%Complex division, real part
1.6b37.7%Complex division, imag part

series4.8s (0.9%)

Calls

330 calls:

98.0ms
(cbrt (pow (pow (atan (sqrt (/ (- 1.0 x) (+ x 1.0)))) (sqrt 3)) (sqrt 3)))
74.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
74.0ms
(+ (* 9.0 (pow x 4.0)) (neg (pow y 4)))
73.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
72.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))

localize1.5s (0.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...