Date:Sunday, June 21st, 2020
Commit:b922bf9e on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020173
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 (48.7%)

Algorithm
56×intervals
Results
26.7s69980×body1280valid
18.9s17462×body2560valid
9.5s43498×body640valid
3.0s21507×body320valid
2.9s67888×body80valid
1.3s1207×body1280nan
955.0ms10410×body160valid
658.0ms43091×pre80true
656.0ms922×body640nan
518.0ms3081×body80overflowed
294.0ms691×body1280overflowed
194.0ms461×body320nan
186.0ms261×body640invalid
177.0ms3537×body80nan
162.0ms423×body5120valid
139.0ms108×body1280invalid
116.0ms403×body640overflowed
103.0ms168×body2560overflowed
102.0ms1734×body80invalid
78.0ms191×body320invalid
59.0ms247×body160nan
42.0ms212×body320overflowed
19.0ms80×body160invalid
14.0ms103×body160overflowed
3.0ms3×body2560invalid

prune24.4s (16.6%)

Filtered
13570 candidates to 8534 candidates (37.1%)

analyze19.8s (13.5%)

Algorithm
56×search

simplify11.0s (7.5%)

Algorithm
167×egg-herbie

series5.4s (3.7%)

Calls

367 calls:

148.0ms
(log (+ N 1.0))
112.0ms
(/ (cbrt a) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) c))
106.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
104.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
103.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))

regimes4.8s (3.3%)

Accuracy

Total 24.0b remaining (18%)

Threshold costs 5.1b (3.9%)

3.5b55%expq3 (problem 3.4.2)
3.5b88%quadm (p42, negative)
3.3b88.7%quad2m (problem 3.2.1, negative)
3.3b88.5%quadp (p42, positive)
2.1b77.9%2cos (problem 3.3.5)

bsearch4.4s (3.0%)

rewrite4.1s (2.8%)

Algorithm
111×rewrite-expression-head
Calls

367 calls:

532.0ms
(- (/ (/ (pow 1.0 3) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)) (/ (/ (pow (cos x) 3) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))
60.0ms
(log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))))
51.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
49.0ms
(/ (/ (cbrt a) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) (cbrt a))
34.0ms
(- (/ (neg b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
Rules
10050×times-frac
8294×*-un-lft-identity
7622×add-sqr-sqrt
4807×add-cube-cbrt
1486×sqrt-prod
1316×cbrt-prod
1264×add-exp-log
1230×difference-of-squares
1122×distribute-lft-out--
897×add-cbrt-cube
739×associate-/l*
732×add-log-exp
680×pow1
671×distribute-lft-out
491×unpow-prod-down
428×associate-*r*
425×associate-/r*
386×distribute-rgt-neg-in
365×log-pow
327×div-inv
310×associate-/r/
305×associate-*l*
303×div-exp
300×exp-prod
297×prod-exp
276×flip-- flip3--
225×cube-prod
219×sqr-pow
209×flip-+ flip3-+
175×cbrt-undiv
170×associate-*l/
165×unswap-sqr
151×cbrt-unprod
144×log-prod
132×diff-log
129×sub-neg
115×swap-sqr
107×cbrt-div
106×associate-*r/
104×sqrt-div
95×associate-/l/
84×pow-unpow
79×pow-prod-down
77×frac-times
72×*-commutative
70×pow1/3
69×clear-num frac-2neg
68×pow-to-exp pow-exp
64×frac-add sum-log
52×distribute-lft-neg-in
50×sqrt-pow1 pow1/2 1-exp rec-exp
46×frac-sub
44×distribute-rgt-in distribute-lft-in unpow2
33×+-commutative
31×log-div tan-quot
30×exp-sum div-sub
27×rem-sqrt-square
25×associate--l+
21×associate-+l+
20×pow-prod-up
19×neg-sub0
16×cube-mult pow-sqr pow-pow exp-diff associate--r+ unpow3
15×associate--l-
14×distribute-rgt-out--
13×rem-log-exp associate-+r+
12×neg-log
11×associate-+l-
10×difference-cubes
7×pow2 pow-plus inv-pow cos-mult pow-flip
6×sqrt-unprod rem-exp-log
5×sin-mult
4×neg-mul-1 mul-1-neg sqrt-pow2 exp-to-pow sub-div
3×sin-cos-mult un-div-inv
2×exp-neg tan-sum cos-sum associate-+r- rem-square-sqrt sin-sum unsub-neg difference-of-sqr-1
1×sqrt-undiv diff-cos diff-sin diff-atan distribute-frac-neg distribute-neg-frac rem-cube-cbrt

localize1.4s (0.9%)

end1.0ms (0.0%)

Profiling

Loading profile data...