Date:Monday, June 22nd, 2020
Commit:76059ace 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.3%)

Algorithm
56×intervals
Results
26.6s69754×body1280valid
18.8s17311×body2560valid
9.3s43824×body640valid
3.2s21386×body320valid
2.7s68045×body80valid
1.2s1110×body1280nan
941.0ms10403×body160valid
657.0ms43058×pre80true
640.0ms911×body640nan
487.0ms2975×body80overflowed
290.0ms671×body1280overflowed
191.0ms455×body320nan
176.0ms3645×body80nan
152.0ms445×body5120valid
151.0ms218×body640invalid
126.0ms107×body1280invalid
121.0ms409×body640overflowed
102.0ms154×body2560overflowed
97.0ms1660×body80invalid
68.0ms160×body320invalid
48.0ms219×body160nan
41.0ms195×body320overflowed
18.0ms78×body160invalid
14.0ms104×body160overflowed
1.0ms1×body2560invalid

prune25.0s (17.4%)

Filtered
13847 candidates to 8481 candidates (38.8%)

analyze19.3s (13.5%)

Algorithm
56×search

simplify10.5s (7.3%)

Algorithm
165×egg-herbie

series5.5s (3.8%)

Calls

350 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)))))
102.0ms
(- (/ (+ (tan x) (tan eps)) (log (exp (- 1 (* (tan x) (tan eps)))))) (tan x))
101.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (tan eps)) (cos x)))) (tan x))
98.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
95.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.4s (3.1%)

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.6s (2.5%)

Algorithm
109×rewrite-expression-head
Calls

350 calls:

112.0ms
(* (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))) (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))))
60.0ms
(* 2.0 (+ (/ 1 (pow x 7)) (+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))))
52.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
46.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
44.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.1s (2.2%)

localize1.2s (0.8%)

end1.0ms (0.0%)

Profiling

Loading profile data...