Date:Friday, May 29th, 2020
Commit:30d0df99 on master
Hostname:warfa with Racket 7.5
Seed:2020150
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.2m (62.2%)

Algorithm
56×intervals
Results
25.1s67902×body1280valid
18.3s17426×body2560valid
8.9s42252×body640valid
3.7s92810×body80valid
2.7s20151×body320valid
2.7s63628×body80nan
1.2s1093×body1280nan
1.1s15854×body80overflowed
919.0ms10671×body160valid
658.0ms47537×pre80true
620.0ms866×body640nan
204.0ms488×body320nan
159.0ms485×body5120valid
55.0ms238×body160nan

prune21.3s (17.8%)

Filtered
11947 candidates to 7529 candidates (37.0%)

simplify9.1s (7.6%)

Algorithm
165×egg-herbie

series5.6s (4.7%)

Calls

363 calls:

348.0ms
(* (cbrt (log (* (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (neg (pow x (/ 1.0 n))))))) (cbrt (log (* (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (neg (pow x (/ 1.0 n))))))))
253.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
125.0ms
(* (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (neg (pow x (/ 1.0 n)))))
94.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
92.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.0s (3.3%)

Accuracy

Total 16.8b remaining (21.8%)

Threshold costs 9.1b (11.8%)

3.2b0%expq3 (problem 3.4.2)
1.9b79.9%2cos (problem 3.3.5)
1.5b86.6%2nthrt (problem 3.4.6)
1.1b95.6%quadp (p42, positive)
0.9b96.1%quad2p (problem 3.2.1, positive)

rewrite3.5s (2.9%)

Algorithm
109×rewrite-expression-head
Calls

363 calls:

137.0ms
(+ (- (/ (/ 1.0 (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
118.0ms
(- (/ (/ 1.0 (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ 2.0 x))
55.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)))))
46.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
43.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
Rules
6322×*-un-lft-identity
5112×times-frac
4556×add-sqr-sqrt
2829×add-cube-cbrt
2279×sqrt-prod
1376×distribute-lft-out
1314×add-exp-log
964×add-cbrt-cube
919×associate-*r*
749×pow1
693×unpow-prod-down
682×add-log-exp
565×difference-of-squares
450×distribute-lft-out--
414×associate-/l*
408×associate-*l*
376×prod-exp
316×cbrt-prod
307×associate-/r*
295×unswap-sqr
292×associate-/r/
291×sqr-pow
270×div-exp
238×flip-- flip3--
231×div-inv
227×cube-prod
211×associate-*l/
210×flip-+ flip3-+
209×log-prod
200×cbrt-unprod
186×swap-sqr
182×exp-prod
173×cbrt-undiv
171×log-pow
135×unpow2
130×sub-neg
119×pow-prod-down diff-log
113×associate-*r/
108×sqrt-div
91×pow-exp
89×pow-to-exp
87×associate-/l/ frac-times
80×distribute-rgt-neg-in
76×cbrt-div
72×*-commutative
68×pow-prod-up
62×clear-num frac-sub frac-2neg
60×pow1/3
51×log-div
48×distribute-rgt-in distribute-lft-in sqrt-pow1
44×sum-log
38×pow1/2
37×frac-add unpow3 cube-mult
33×associate-+r+
32×rem-sqrt-square
30×tan-quot associate-+l+
29×rec-exp sin-mult 1-exp
28×+-commutative cos-mult
26×rem-log-exp
23×associate--l+
22×pow-unpow pow-sqr
21×div-sub neg-sub0
17×associate--r+
15×associate--l-
14×exp-sum
13×exp-diff exp-neg
12×neg-log pow-pow pow-plus
10×un-div-inv sub-div pow2
9×associate-+l-
8×rem-cube-cbrt
7×distribute-lft-neg-in
6×cube-div rem-exp-log exp-to-pow
5×distribute-rgt-out--
4×difference-cubes difference-of-sqr-1 pow-flip
3×inv-pow sin-cos-mult
2×associate-+r- associate--r- cos-sum sqr-cos tan-sum rem-cbrt-cube sin-sum
1×sqrt-unprod diff-atan diff-cos rem-square-sqrt neg-mul-1 sum-cubes diff-sin

localize1.2s (1.0%)

bsearch544.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...