Date:Wednesday, April 15th, 2020
Commit:b8df7a50 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020106
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

prune5.2m (39.0%)

Filtered
108092 candidates to 48484 candidates (44.9%)

end3.8m (28.2%)

sample1.9m (14.4%)

Algorithm
56×intervals
16×halfpoints
Results
25.7s67520×body1280valid
18.4s17402×body2560valid
9.2s42206×body640valid
3.8s92264×body80valid
3.0s21025×body320valid
2.7s65063×body80nan
1.3s1155×body1280nan
1.1s15790×body80overflowed
1.0s10682×body160valid
740.0ms47337×pre80true
683.0ms932×body640nan
199.0ms450×body320nan
177.0ms492×body5120valid
53.0ms235×body160nan

simplify1.3m (9.4%)

Algorithm
194×egg-herbie

series35.0s (4.4%)

Calls

371 calls:

1.1s
(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
847.0ms
(fma (fma (fma (tan x) (tan eps) 1) (* (tan x) (tan eps)) 1) (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (- (tan x)))
793.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0)))
729.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
457.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow (sqrt x) (* 2 (/ 1.0 n))))

rewrite30.1s (3.7%)

Algorithm
122×rewrite-expression-head
Calls

371 calls:

4.9s
(- (/ 1.0 (sqrt x)) (/ (/ (/ 1.0 (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))))
492.0ms
(- (/ (/ 1.0 (sqrt (sqrt x))) (sqrt (sqrt x))) (/ 1.0 (sqrt (+ x 1.0))))
61.0ms
(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) a)
56.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
55.0ms
(cbrt (/ (pow (- (pow (exp (* a x)) 3) (pow 1.0 3)) 3) (pow (fma 1.0 (+ (exp (* a x)) 1.0) (exp (+ (* a x) (* a x)))) 3)))
Rules
325467×times-frac
210140×*-un-lft-identity
163417×add-sqr-sqrt
160165×cbrt-prod
159597×add-cube-cbrt
144356×sqrt-prod
92936×prod-diff
24334×distribute-lft-out
7219×div-inv
5819×associate-/r/
5570×sqrt-div
4955×cbrt-div
2912×unpow-prod-down
2906×flip-+ flip3-+
1901×cube-prod
1662×difference-of-squares
1111×add-exp-log
961×sqr-pow
939×distribute-lft-out--
827×associate-/l*
804×add-cbrt-cube
761×fma-neg
609×pow1
599×add-log-exp
446×associate-/r*
440×associate-*r*
384×associate-*l*
377×distribute-rgt-neg-in
357×log1p-expm1-u expm1-log1p-u
297×div-exp
290×unpow3 cube-mult
248×associate-+l+
194×flip-- flip3--
185×prod-exp
174×unswap-sqr
170×cbrt-undiv
161×log-prod
143×swap-sqr
138×distribute-lft-neg-in
121×pow-unpow
103×fma-def
99×unpow2
98×cbrt-unprod
94×pow-exp
93×diff-log
88×pow-to-exp pow1/3
87×sub-neg
75×clear-num frac-2neg
73×associate-*l/
71×associate-/l/
62×log-pow
55×pow-prod-down
49×rec-exp 1-exp
46×neg-mul-1
43×*-commutative tan-quot
40×sqrt-pow1
37×pow-pow
36×pow1/2 associate-*r/
35×frac-times
33×fma-udef
32×difference-cubes
29×log-div
27×exp-prod
26×rem-sqrt-square sum-log
25×div-sub exp-sum
24×pow-prod-up complex-mul-def
22×pow-sqr
21×difference-of-sqr-1
19×frac-sub
18×+-commutative
16×rem-cube-cbrt neg-sub0
15×pow-flip rem-log-exp
14×distribute-rgt-out--
13×cube-div inv-pow
11×distribute-rgt-in distribute-lft-in pow2 pow-plus
10×associate--l- frac-add neg-log associate--l+
8×un-div-inv associate-+l-
7×rem-exp-log sub-div exp-to-pow
6×*.c-commutative
5×associate--r+
4×exp-diff +.c-commutative complex-add-def expm1-def sin-mult
3×cos-mult
2×associate-+l+.c sin-sum log1p-udef exp-neg log1p-expm1 pow-sub expm1-log1p expm1-udef associate-*l*.c cos-sum tan-sum rem-cbrt-cube pow-neg
1×sin-cos-mult sqrt-pow2 sqrt-unprod diff-atan diff-cos rem-square-sqrt frac-2neg.c diff-sin

regimes4.1s (0.5%)

Accuracy

Total 30.9b remaining (13.8%)

Threshold costs 6.2b (2.8%)

4.8b82.8%quadp (p42, positive)
4.8b83.6%quadm (p42, negative)
4.8b83.6%quad2m (problem 3.2.1, negative)
3.2b0%expq3 (problem 3.4.2)
2.7b90%quad2p (problem 3.2.1, positive)

localize1.9s (0.2%)

bsearch1.5s (0.2%)