Date:Monday, June 22nd, 2020
Commit:b6782673 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020174
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

sample1.2min (49.1%)

Algorithm
56×intervals
Results
26.8s69754×body1280valid
18.6s17311×body2560valid
9.3s43824×body640valid
3.0s21386×body320valid
2.8s68045×body80valid
1.2s1110×body1280nan
930.0ms10403×body160valid
672.0ms43058×pre80true
656.0ms911×body640nan
510.0ms2975×body80overflowed
277.0ms671×body1280overflowed
198.0ms455×body320nan
177.0ms3645×body80nan
161.0ms218×body640invalid
157.0ms445×body5120valid
129.0ms107×body1280invalid
114.0ms409×body640overflowed
100.0ms1660×body80invalid
99.0ms154×body2560overflowed
66.0ms160×body320invalid
51.0ms219×body160nan
39.0ms195×body320overflowed
19.0ms78×body160invalid
14.0ms104×body160overflowed
1.0ms1×body2560invalid

prune25.1s (17.4%)

Filtered
13847 candidates to 8481 candidates (38.8%)

analyze19.9s (13.8%)

Algorithm
56×search

simplify10.4s (7.2%)

Algorithm
165×egg-herbie

series5.6s (3.9%)

Calls

350 calls:

630.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)))))
104.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (tan eps)) (cos x)))) (tan x))
101.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
100.0ms
(- (/ (+ (tan x) (tan eps)) (log (exp (- 1 (* (tan x) (tan eps)))))) (tan x))
96.0ms
(- (/ (- (* (* (cos x) (cos eps)) (* (cos x) (cos eps))) (* (* (sin x) (sin eps)) (* (sin x) (sin eps)))) (+ (* (cos x) (cos eps)) (* (sin x) (sin eps)))) (cos x))

regimes4.3s (3.0%)

Accuracy

Total 22.8b remaining (21.6%)

Threshold costs 6.0b (5.6%)

3.3b87.9%quad2m (problem 3.2.1, negative)
3.2b0%expq3 (problem 3.4.2)
2.4b89.1%expax (section 3.5)
2.2b76.8%2cos (problem 3.3.5)
1.8b92.7%quadp (p42, positive)

rewrite3.7s (2.6%)

Algorithm
109×rewrite-expression-head
Calls

350 calls:

113.0ms
(* (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))) (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))))
61.0ms
(* 2.0 (+ (/ 1 (pow x 7)) (+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))))
55.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
49.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
45.0ms
(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
Rules
10497×times-frac
9503×*-un-lft-identity
7529×add-sqr-sqrt
5003×add-cube-cbrt
2173×sqrt-prod
1514×distribute-lft-out
1284×add-exp-log
1183×cbrt-prod
1001×difference-of-squares
929×add-cbrt-cube
864×associate-*r*
834×distribute-lft-out--
775×associate-/l*
700×pow1
645×add-log-exp
631×unpow-prod-down
459×associate-/r*
399×associate-*l*
380×div-inv
351×associate-/r/
344×div-exp
337×swap-sqr
270×prod-exp
257×unswap-sqr
252×flip-- flip3--
248×log-prod
239×sqr-pow
205×cbrt-undiv
181×flip-+ flip3-+
169×cube-prod
162×cbrt-unprod
146×log-pow
140×unpow2
122×associate-*l/
118×associate-/l/
116×distribute-rgt-neg-in
114×sub-neg
113×diff-log
109×associate-*r/
108×cbrt-div
98×pow-prod-down
91×pow-exp
88×pow-to-exp
86×exp-prod
84×sqrt-div
80×clear-num frac-2neg
79×pow1/3
73×frac-times
59×*-commutative
56×frac-sub
54×1-exp rec-exp
51×pow-unpow
48×log-div
46×distribute-rgt-in distribute-lft-in sqrt-pow1
43×sum-log
41×associate--l+
37×exp-sum
33×pow-prod-up
31×pow1/2 pow-sqr
29×associate--r+
27×rem-log-exp frac-add sin-mult
26×cos-mult
24×tan-quot
23×+-commutative div-sub
21×rem-sqrt-square cube-mult unpow3
17×neg-sub0 pow-flip
16×cube-div associate--l-
15×pow-plus inv-pow distribute-rgt-out--
13×pow2 exp-diff
12×neg-log
11×associate-+l-
10×sub-div
9×associate-+l+
7×pow-pow
6×rem-cbrt-cube
5×rem-cube-cbrt
4×associate-+r+ mul-1-neg
3×exp-neg rem-exp-log
2×tan-sum cos-sum sin-cos-mult sin-sum associate--r- unsub-neg un-div-inv difference-of-sqr-1
1×rem-square-sqrt diff-cos exp-to-pow +-inverses sqrt-unprod diff-sin log-rec diff-atan

bsearch3.3s (2.3%)

localize1.2s (0.8%)

end1.0ms (0.0%)

Profiling

Loading profile data...