Date:Thursday, March 19th, 2020
Commit:2b8af9a1 on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020079
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.6m (50.5%)

Algorithm
56×intervals
12×halfpoints
Results
24.2s67953×body1280valid
17.5s17055×body2560valid
8.1s42554×body640valid
4.2s12972×body10240exit
3.0s92078×body80valid
2.5s20460×body320valid
1.9s65520×body80nan
1.3s2168×body1280nan
868.0ms10886×body160valid
806.0ms1919×body640nan
578.0ms47473×pre80true
254.0ms957×body320nan
145.0ms431×body5120valid
71.0ms480×body160nan

series42.5s (22.0%)

Calls

373 calls:

1.1s
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))
1.0s
(* (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))) (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))))
950.0ms
(cbrt (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))))
950.0ms
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))
918.0ms
(cbrt (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))))

prune32.8s (17.0%)

Filtered
15223 candidates to 9027 candidates (59.3%)

simplify10.4s (5.4%)

Algorithm
182×egg-herbie

rewrite3.4s (1.8%)

Algorithm
118×rewrite-expression-head
Calls

373 calls:

54.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
50.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
48.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
35.0ms
(* 2/3 (/ (pow eps 3) (pow 1.0 3)))
33.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 3)))) (tan x))
Rules
7824×*-un-lft-identity
6970×add-sqr-sqrt
6068×times-frac
5143×add-cube-cbrt
3164×prod-diff
1871×sqrt-prod
1048×add-exp-log
866×distribute-lft-out
824×unpow-prod-down
776×pow1
743×add-cbrt-cube
712×associate-*r*
617×add-log-exp
610×difference-of-squares
484×distribute-lft-out--
453×cbrt-prod
439×fma-neg
431×associate-*l*
371×associate-/l*
366×sqr-pow expm1-log1p-u
365×log1p-expm1-u
352×div-inv
351×unswap-sqr
347×cube-prod
278×associate-/r/
260×associate-/r*
256×associate-+l+
244×distribute-rgt-neg-in
242×prod-exp
217×sqrt-pow1
212×flip-- flip3--
193×log-prod div-exp
192×sqrt-div
189×distribute-lft-neg-in
176×swap-sqr
161×fma-def
158×flip-+ flip3-+
154×pow-exp
144×log-pow
135×pow1/2
128×unpow2
117×pow-to-exp
112×cbrt-undiv
109×cbrt-unprod
97×diff-log
94×pow-prod-down
89×sub-neg
78×pow-prod-up
76×pow1/3
72×unpow3 cube-mult
67×neg-mul-1
65×pow-unpow associate-*l/
62×exp-prod
61×associate-/l/
58×*-commutative
54×frac-2neg clear-num
52×tan-quot
48×associate-*r/
46×fma-udef
45×cbrt-div
42×pow-pow frac-times
38×pow-sqr associate-+r+
37×log-div
34×sum-log
32×rem-sqrt-square
27×1-exp rec-exp
24×distribute-rgt-in neg-sub0 distribute-lft-in
22×+-commutative div-sub
18×cube-div frac-sub rem-log-exp
17×neg-log
16×associate--l-
15×frac-add
14×exp-sum associate--l+
13×associate-+l-
11×pow2 pow-plus
10×sqrt-unprod inv-pow associate--r+ pow-flip
9×rem-cube-cbrt
6×exp-diff
5×difference-cubes exp-neg rem-square-sqrt distribute-rgt-out--
4×un-div-inv cos-mult
3×unpow1/3 associate-+r- sub-div sin-mult
2×rem-exp-log expm1-def sum-cubes associate--r- difference-of-sqr-1 +.c-commutative cos-sum tan-sum frac-2neg.c distribute-neg-frac sin-sum
1×sin-cos-mult log1p-udef diff-atan log1p-expm1 diff-cos rem-cbrt-cube exp-to-pow diff-sin

regimes3.1s (1.6%)

Accuracy

Total 31.9b remaining (15.6%)

Threshold costs 5.4b (2.7%)

5.1b82.2%quadp (p42, positive)
4.9b82.3%quad2m (problem 3.2.1, negative)
4.9b82.4%quadm (p42, negative)
4.8b44%expq3 (problem 3.4.2)
2.9b89.8%quad2p (problem 3.2.1, positive)

localize1.9s (1.0%)

bsearch1.4s (0.7%)

end1.0ms (0.0%)