Date:Wednesday, March 4th, 2020
Commit:96d2f482 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020064
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 (54.6%)

Algorithm
56×intervals
16×halfpoints
Results
23.3s67788×body1280valid
18.3s17617×body2560valid
7.7s42406×body640valid
4.1s13149×body10240exit
2.8s92166×body80valid
2.3s20656×body320valid
1.8s63844×body80nan
1.3s2225×body1280nan
789.0ms10522×body160valid
745.0ms1878×body640nan
577.0ms47483×pre80true
223.0ms923×body320nan
128.0ms480×body5120valid
68.0ms461×body160nan

prune38.0s (18.9%)

Filtered
16633 candidates to 9629 candidates (57.9%)

series33.0s (16.4%)

Calls

369 calls:

1.0s
(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
835.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)))
725.0ms
(fma (- (pow (sqrt (cbrt x)) (* 2 (/ 1.0 n)))) (pow (fabs (cbrt x)) (* 2 (/ 1.0 n))) (pow (sqrt (sqrt (+ x 1.0))) (* 2 (* 2 (/ 1.0 n)))))
713.0ms
(- (pow (sqrt (+ x 1.0)) (* 2 (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
713.0ms
(- (pow (sqrt (+ x 1.0)) (* 2 (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))

simplify11.0s (5.5%)

Algorithm
193×egg-herbie

rewrite3.6s (1.8%)

Algorithm
121×rewrite-expression-head
Calls

369 calls:

79.0ms
(/ (- (* (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (* (exp (- x)) (exp (- x)))) (- (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (exp (- x))))
52.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
46.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
44.0ms
(+ (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (exp (- x)))
44.0ms
(* (/ (sqrt 1.0) (/ (+ x 1.0) (- 0 (* 1.0 1.0)))) (/ (sqrt 1.0) (* x 1.0)))
Rules
9201×*-un-lft-identity
8432×add-sqr-sqrt
8191×times-frac
6337×add-cube-cbrt
3853×prod-diff
2212×sqrt-prod
1155×add-exp-log
980×unpow-prod-down
879×add-cbrt-cube
873×difference-of-squares
771×distribute-lft-out
711×distribute-lft-out--
673×pow1
608×add-log-exp
527×div-inv
510×associate-*r*
495×associate-/l*
467×associate-/r/
462×associate-/r*
447×fma-neg
423×associate-*l*
385×distribute-rgt-neg-in
355×expm1-log1p-u
354×log1p-expm1-u
318×div-exp
316×sqr-pow
309×distribute-lft-neg-in
295×log-prod
274×cbrt-prod
270×flip-- flip3--
263×sqrt-pow1
248×associate-+l+
207×prod-exp
194×log-pow
193×cbrt-undiv
186×exp-prod
172×unswap-sqr
171×fma-def
161×exp-sum
155×cube-prod
154×sqrt-div
152×flip-+ flip3-+
132×unpow2
128×cbrt-unprod
121×pow1/2
105×diff-log
103×neg-mul-1
99×associate-/l/
98×associate-*l/
93×sub-neg
82×swap-sqr
79×frac-2neg clear-num
78×associate-*r/
77×pow-exp
76×pow-to-exp
72×frac-times
67×frac-sub
62×distribute-rgt-in pow-prod-down distribute-lft-in
60×neg-sub0
57×pow-prod-up
56×pow-unpow
52×cbrt-div
49×exp-diff
46×exp-neg 1-exp
45×rec-exp
44×rem-sqrt-square
41×pow1/3
38×tan-quot
37×*-commutative
33×fma-udef
31×pow-pow log-div
28×div-sub
25×frac-add
24×complex-mul-def sum-log
23×pow-sqr
20×rem-log-exp
17×associate--l-
16×pow-flip +-commutative neg-log
14×inv-pow
13×unpow3 cube-mult
12×associate-+r+
9×rem-cube-cbrt distribute-rgt-out-- associate--l+
8×sum-cubes sqrt-unprod
7×difference-cubes un-div-inv associate-+l-
6×hypot-def *.c-commutative
5×pow2 pow-plus
4×rem-exp-log +.c-commutative complex-add-def cos-mult associate--r+
3×cube-div sqrt-pow2 associate-+r- difference-of-sqr-1 rem-square-sqrt sin-mult
2×associate-+l+.c expm1-def sub-div pow-sub associate-*l*.c cos-sum tan-sum expm1-udef pow-neg exp-to-pow sin-sum
1×sin-cos-mult log1p-udef diff-atan log1p-expm1 distribute-neg-in diff-cos expm1-log1p unsub-neg rem-cbrt-cube frac-2neg.c diff-sin

regimes2.9s (1.4%)

Accuracy

Total 25.8b remaining (12.1%)

Threshold costs 5.7b (2.7%)

4.5b84.2%quadm (p42, negative)
3.4b88%quad2m (problem 3.2.1, negative)
3.4b0%expq3 (problem 3.4.2)
3.3b87.8%quad2p (problem 3.2.1, positive)
1.8b83.3%2nthrt (problem 3.4.6)

localize1.9s (0.9%)

bsearch907.0ms (0.5%)

end1.0ms (0.0%)