Date:Tuesday, March 3rd, 2020
Commit:ee6b458f on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020063
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

sample1.8m (45.2%)

Algorithm
56×intervals
16×halfpoints
Results
22.8s67697×body1280valid
17.4s17413×body2560valid
7.6s42665×body640valid
4.1s13434×body10240exit
2.8s92366×body80valid
2.3s20385×body320valid
1.8s64710×body80nan
1.3s2228×body1280nan
770.0ms10580×body160valid
739.0ms1874×body640nan
556.0ms47427×pre80true
224.0ms948×body320nan
132.0ms424×body5120valid
65.0ms459×body160nan

prune1.1m (27.9%)

Filtered
27247 candidates to 14814 candidates (54.4%)

series39.0s (16.1%)

Calls

394 calls:

876.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)))
585.0ms
(cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
582.0ms
(cbrt (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))))
567.0ms
(cbrt (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))))
527.0ms
(expm1 (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x))))

simplify13.1s (5.4%)

Algorithm
196×egg-herbie

rewrite6.3s (2.6%)

Algorithm
124×rewrite-expression-head
Calls

394 calls:

603.0ms
(+ (- (/ (/ 1.0 (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
205.0ms
(- (/ (/ 1.0 (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ 2.0 x))
135.0ms
(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a)) c)) (cbrt a))
65.0ms
(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) c)) a)
57.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
36197×times-frac
27192×*-un-lft-identity
23462×add-sqr-sqrt
19386×add-cube-cbrt
9440×prod-diff
8026×sqrt-prod
3024×cbrt-prod
3020×associate-+l+
2192×distribute-lft-out
1756×difference-of-squares
1707×distribute-lft-out--
1404×add-exp-log
1289×div-inv
1164×associate-/l*
1024×unpow-prod-down
940×add-cbrt-cube
880×distribute-rgt-neg-in
860×associate-/r/
702×fma-neg
674×add-log-exp
636×pow1
572×sqrt-div
521×associate-*r*
457×log-prod
451×associate-*l*
397×flip-+ flip3-+
387×sqr-pow
380×log1p-expm1-u
379×expm1-log1p-u
376×associate-/r*
372×exp-prod div-exp
348×prod-exp
248×log-pow unswap-sqr
242×distribute-lft-neg-in
238×flip-- flip3--
197×cbrt-undiv
156×cbrt-unprod
131×unpow2
127×diff-log
118×sub-neg
108×fma-def
98×associate-*l/
94×exp-sum
86×cube-prod associate-*r/
82×neg-mul-1
81×pow-exp
80×pow-prod-down
77×pow-to-exp
74×associate-/l/
73×pow-unpow
72×sqrt-pow1
71×clear-num frac-2neg
68×exp-neg
62×exp-diff neg-sub0
59×rec-exp 1-exp
49×*-commutative
48×pow1/3
46×pow1/2
45×frac-times
44×frac-sub
40×log-div
38×tan-quot
34×rem-log-exp
32×div-sub
31×cbrt-div
30×rem-sqrt-square fma-udef
26×pow-pow
25×sum-log
24×un-div-inv complex-mul-def
23×frac-add
19×unpow3 cube-mult
18×swap-sqr
17×pow-sqr pow-prod-up
16×sub-div pow-flip associate-+r+
15×cube-div associate--l- +-commutative
14×associate--l+
13×neg-log
12×distribute-rgt-in distribute-lft-in
9×rem-cube-cbrt associate-+l-
8×inv-pow
7×rem-exp-log
6×*.c-commutative
5×sin-mult distribute-rgt-out-- associate--r+
4×log1p-udef difference-of-sqr-1 +.c-commutative complex-add-def hypot-def expm1-def cos-mult
3×sqrt-undiv sin-cos-mult e-exp-1 sqrt-unprod associate-+r- pow2 unpow-prod-up pow-plus
2×log1p-expm1 pow-sub associate-*l*.c cos-sum tan-sum rem-cbrt-cube associate-+l+.c sin-sum
1×frac-2neg.c diff-atan diff-cos expm1-log1p expm1-udef distribute-frac-neg quot-tan distribute-rgt-neg-out exp-to-pow diff-sin log-rec

regimes3.4s (1.4%)

Accuracy

Total 33.3b remaining (12.4%)

Threshold costs 5.9b (2.2%)

5.4b81%quad2m (problem 3.2.1, negative)
5.3b81.3%quadm (p42, negative)
5.3b80.3%quadp (p42, positive)
4.0b54.9%expq3 (problem 3.4.2)
2.8b88.8%quad2p (problem 3.2.1, positive)

localize2.0s (0.8%)

bsearch1.4s (0.6%)

end1.0ms (0.0%)