Date:Wednesday, April 15th, 2020
Commit:a2983cd2 on master
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

prune4.9m (36.8%)

Filtered
108092 candidates to 48135 candidates (44.5%)

end4.1m (30.7%)

sample1.9m (14.1%)

Algorithm
56×intervals
16×halfpoints
Results
25.3s67520×body1280valid
18.1s17402×body2560valid
9.0s42206×body640valid
3.6s92264×body80valid
2.9s21025×body320valid
2.4s65063×body80nan
1.3s1155×body1280nan
1.1s15790×body80overflowed
961.0ms10682×body160valid
728.0ms47337×pre80true
655.0ms932×body640nan
189.0ms450×body320nan
164.0ms492×body5120valid
54.0ms235×body160nan

simplify1.3m (9.7%)

Algorithm
194×egg-herbie

series34.6s (4.3%)

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))))
857.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)))
773.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)))
717.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
448.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow (sqrt x) (* 2 (/ 1.0 n))))

rewrite27.4s (3.4%)

Algorithm
122×rewrite-expression-head
Calls

371 calls:

4.4s
(- (/ 1.0 (sqrt x)) (/ (/ (/ 1.0 (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0)))))
477.0ms
(- (/ (/ 1.0 (sqrt (sqrt x))) (sqrt (sqrt x))) (/ 1.0 (sqrt (+ x 1.0))))
58.0ms
(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) a)
52.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)))
50.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
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.0s (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%)