Date:Tuesday, June 16th, 2020
Commit:4389a0c9 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020168
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

sample2.2min (71.4%)

Algorithm
56×intervals
Results
26.9s70032×body1280valid
18.7s17237×body2560valid
9.8s44461×body640valid
3.2s67583×body80valid
3.0s21155×body320valid
1.2s1125×body1280nan
928.0ms10232×body160valid
666.0ms942×body640nan
660.0ms42965×pre80true
506.0ms2935×body80overflowed
319.0ms2228×body80nan
287.0ms699×body1280overflowed
193.0ms457×body320nan
178.0ms468×body5120valid
174.0ms245×body640invalid
157.0ms123×body1280invalid
113.0ms406×body640overflowed
94.0ms146×body2560overflowed
83.0ms185×body320invalid
70.0ms1227×body80invalid
46.0ms190×body160nan
41.0ms207×body320overflowed
13.0ms54×body160invalid
11.0ms81×body160overflowed
2.0ms2×body2560invalid
sampling

Space saved by range analysis: 26.466343%

Space saved by search: 8.907938%

Guaranteed chance to sample good point: 0%

prune26.1s (14.0%)

Filtered
13630 candidates to 8510 candidates (37.6%)

simplify10.8s (5.8%)

Algorithm
167×egg-herbie

series6.0s (3.2%)

Calls

368 calls:

626.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
317.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
101.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps))))) (tan x))
100.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
76.0ms
(pow (/ (log (- 1.0 x)) (log (+ 1.0 x))) 3)

regimes4.7s (2.5%)

Accuracy

Total 23.8b remaining (22.2%)

Threshold costs 5.4b (5%)

5.7b79.9%quadm (p42, negative)
3.4b0%expq3 (problem 3.4.2)
2.0b81.7%2nthrt (problem 3.4.6)
1.6b84.7%2cos (problem 3.3.5)
1.3b82.7%2tan (problem 3.3.2)

rewrite3.5s (1.9%)

Algorithm
111×rewrite-expression-head
Calls

368 calls:

117.0ms
(* (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))) (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))))
88.0ms
(* (/ 0.5 (pow (cbrt x) 4)) (/ (/ 1 n) (pow (cbrt x) 2)))
74.0ms
(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))
42.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
38.0ms
(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
Rules
8732×times-frac
8696×*-un-lft-identity
6947×add-sqr-sqrt
4265×add-cube-cbrt
1996×sqrt-prod
1325×add-exp-log
1321×distribute-lft-out
1144×cbrt-prod
1010×difference-of-squares
923×distribute-lft-out--
917×add-cbrt-cube
758×pow1
717×associate-*r*
690×add-log-exp
640×associate-/l*
546×unpow-prod-down
430×associate-*l*
420×log-prod
363×associate-/r*
360×div-exp
359×flip-- flip3--
352×div-inv
314×swap-sqr
299×associate-/r/
288×prod-exp
286×unswap-sqr
228×sqr-pow
214×associate-*l/
207×frac-times
179×frac-sub
176×cbrt-undiv
170×flip-+ flip3-+
161×log-pow
159×cube-prod
158×cbrt-unprod
156×associate-*r/
145×associate-/l/
139×distribute-rgt-neg-in
133×sqrt-div
132×cbrt-div
119×sub-neg
116×diff-log
106×pow-prod-down
94×exp-prod
86×pow-exp
84×unpow2
83×pow-to-exp
75×pow1/3
68×clear-num frac-2neg
66×*-commutative
62×sqrt-pow1
61×tan-quot
58×frac-add
53×log-div
50×sum-log
48×pow1/2
43×distribute-rgt-in distribute-lft-in 1-exp rec-exp
41×pow-unpow
38×rem-log-exp
33×rem-sqrt-square pow-prod-up
31×div-sub
28×associate--l+
27×+-commutative associate-+r+
25×pow-sqr
18×difference-cubes pow-plus
17×associate-+l+ associate--r+
16×sin-mult
14×neg-sub0 cos-mult
13×associate--l-
12×pow2 cube-mult unpow3
11×pow-flip exp-diff
10×exp-to-pow neg-log associate-+l-
9×pow-pow rem-exp-log
8×exp-sum inv-pow
6×associate-+r- associate--r- rem-cube-cbrt
5×cube-div exp-lft-cube
4×sqrt-unprod distribute-rgt-neg-out sub0-neg
3×sub-div log-rec un-div-inv difference-of-sqr-1
2×exp-neg tan-sum cos-sum sin-sum unsub-neg rem-cbrt-cube
1×sqr-cos rem-square-sqrt diff-cos sin-cos-mult diff-sin diff-atan pow3 distribute-frac-neg

localize1.3s (0.7%)

bsearch932.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...