Date:Friday, May 29th, 2020
Commit:4c7d9bce 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 (61.8%)

Algorithm
56×intervals
Results
25.2s67902×body1280valid
18.6s17426×body2560valid
9.0s42252×body640valid
3.6s92810×body80valid
2.7s20151×body320valid
2.5s63628×body80nan
1.2s1093×body1280nan
1.1s15854×body80overflowed
940.0ms10671×body160valid
663.0ms47537×pre80true
611.0ms866×body640nan
202.0ms488×body320nan
158.0ms485×body5120valid
52.0ms238×body160nan

prune21.6s (18.0%)

Filtered
7529 candidates to 11947 candidates (-58.7%)

simplify9.1s (7.5%)

Algorithm
165×egg-herbie

series5.7s (4.7%)

Calls

363 calls:

332.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))))))))
267.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)))
120.0ms
(* (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (neg (pow x (/ 1.0 n)))))
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))
94.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes4.0s (3.4%)

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

Algorithm
109×rewrite-expression-head
Calls

363 calls:

303.0ms
(+ (- (/ (/ 1.0 (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
117.0ms
(- (/ (/ 1.0 (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ 2.0 x))
47.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
(* (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))))))))
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
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×diff-log pow-prod-down
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×frac-sub clear-num 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 cube-mult unpow3
33×associate-+r+
32×rem-sqrt-square
30×associate-+l+ tan-quot
29×1-exp rec-exp sin-mult
28×+-commutative cos-mult
26×rem-log-exp
23×associate--l+
22×pow-unpow pow-sqr
21×neg-sub0 div-sub
17×associate--r+
15×associate--l-
14×exp-sum
13×exp-neg exp-diff
12×pow-plus neg-log pow-pow
10×pow2 sub-div un-div-inv
9×associate-+l-
8×rem-cube-cbrt
7×distribute-lft-neg-in
6×cube-div exp-to-pow rem-exp-log
5×distribute-rgt-out--
4×difference-cubes pow-flip difference-of-sqr-1
3×sin-cos-mult inv-pow
2×sqr-cos tan-sum cos-sum associate-+r- sin-sum associate--r- rem-cbrt-cube
1×neg-mul-1 rem-square-sqrt diff-cos sqrt-unprod diff-sin diff-atan sum-cubes

localize1.2s (1.0%)

bsearch544.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...