Date:Thursday, June 11th, 2020
Commit:929a4bd5 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020163
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.5min (77.1%)

Algorithm
56×intervals
Results
26.9s69798×body1280valid
19.0s17394×body2560valid
9.5s44199×body640valid
3.0s21322×body320valid
2.8s67755×body80valid
1.2s1107×body1280nan
937.0ms10229×body160valid
846.0ms10143×body80overflowed
703.0ms43347×pre80true
619.0ms915×body640nan
304.0ms681×body1280overflowed
190.0ms455×body320nan
179.0ms266×body640invalid
172.0ms471×body5120valid
141.0ms110×body1280invalid
118.0ms400×body640overflowed
109.0ms2175×body80nan
103.0ms157×body2560overflowed
78.0ms184×body320invalid
72.0ms1227×body80invalid
47.0ms211×body160nan
43.0ms204×body320overflowed
25.0ms107×body160invalid
14.0ms98×body160overflowed
5.0ms3×body2560invalid
sampling

Space saved by range analysis: 8.839456%

Space saved by search: 23.972501%

Guaranteed chance to sample good point: 71.28707%

prune19.8s (10.1%)

Filtered
11234 candidates to 7427 candidates (33.9%)

simplify10.4s (5.3%)

Algorithm
162×egg-herbie

series5.7s (2.9%)

Calls

338 calls:

650.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)))))
140.0ms
(cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
117.0ms
(/ (cbrt a) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) c))
104.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
103.0ms
(- (/ (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (* (- 1 (* (tan x) (tan eps))) (* (cos x) (cos eps)))) (tan x))

regimes4.2s (2.2%)

Accuracy

Total 22.5b remaining (21.1%)

Threshold costs 5.9b (5.5%)

4.3b84.1%quadp (p42, positive)
3.3b0%expq3 (problem 3.4.2)
2.8b89.3%quadm (p42, negative)
1.9b80.8%2cos (problem 3.3.5)
1.6b84.5%2nthrt (problem 3.4.6)

rewrite2.9s (1.5%)

Algorithm
106×rewrite-expression-head
Calls

338 calls:

64.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))))
33.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
29.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
28.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)) (* 2.0 a))
26.0ms
(/ (/ a (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) a)
Rules
5331×add-sqr-sqrt
5146×times-frac
4972×*-un-lft-identity
2869×add-cube-cbrt
1107×add-exp-log
1070×difference-of-squares
859×add-cbrt-cube
771×sqrt-prod
698×distribute-lft-out--
684×associate-*r*
646×unpow-prod-down
643×add-log-exp
611×associate-/l*
607×pow1
370×distribute-lft-out
346×associate-/r* sqr-pow
335×associate-*l*
301×cbrt-prod
252×prod-exp unswap-sqr
241×div-exp
227×flip-- flip3--
191×associate-/r/
185×div-inv
168×cbrt-undiv
164×cube-prod
163×flip-+ flip3-+
144×cbrt-unprod
133×log-prod
131×unpow2
122×distribute-rgt-neg-in
113×sub-neg sqrt-div
110×associate-*l/
102×diff-log
87×pow-prod-down
82×associate-*r/
81×associate-/l/
73×pow-exp exp-prod
72×pow-to-exp
70×clear-num frac-2neg
69×sqrt-pow1
67×*-commutative
64×log-pow
61×frac-times
60×cbrt-div
55×sum-log
51×pow1/2 swap-sqr
47×pow1/3
41×frac-add log-div
37×distribute-rgt-in distribute-lft-in
31×+-commutative
30×rem-sqrt-square
29×difference-cubes
28×div-sub
27×1-exp rec-exp
25×pow-unpow
24×pow-prod-up
22×tan-quot
20×frac-sub pow-sqr
18×associate-+l+
16×rem-log-exp associate--l+ cos-mult
15×associate--r+
13×neg-sub0 associate-+l- exp-diff
10×distribute-rgt-out--
9×neg-log cube-mult unpow3
8×associate--l- pow-plus pow-pow
7×cube-div pow2 exp-sum exp-to-pow inv-pow pow-flip
6×exp-lft-cube
5×associate-+r+ rem-cube-cbrt
4×mul-1-neg sqrt-unprod
2×distribute-lft-neg-in exp-neg sqr-cos tan-sum cos-sum associate-+r- neg-mul-1 sin-cos-mult sin-sum unsub-neg distribute-neg-frac sin-mult difference-of-sqr-1 rem-exp-log
1×rem-square-sqrt diff-cos +-inverses diff-sin diff-atan un-div-inv

localize1.2s (0.6%)

bsearch734.0ms (0.4%)

end0.0ms (0.0%)

Profiling

Loading profile data...