Date:Friday, March 6th, 2020
Commit:4fbe8b6b on better-rr
Hostname:warfa with Racket 7.5
Seed:2020066
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune7.1m (60.4%)

Filtered
151579 candidates to 75735 candidates (50.0%)

sample1.8m (15.5%)

Algorithm
56×intervals
16×halfpoints
Results
23.0s66953×body1280valid
18.1s17638×body2560valid
7.9s42291×body640valid
4.0s12646×body10240exit
2.8s91929×body80valid
2.4s20677×body320valid
1.8s64064×body80nan
1.4s2409×body1280nan
844.0ms11103×body160valid
773.0ms1898×body640nan
569.0ms47425×pre80true
252.0ms998×body320nan
147.0ms464×body5120valid
71.0ms495×body160nan

simplify1.0m (8.6%)

Algorithm
198×egg-herbie

rewrite55.4s (7.8%)

Algorithm
126×rewrite-expression-head
Calls

429 calls:

10.8s
(- (/ (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (/ (* 1.0 x) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))
1.6s
(- (* (/ (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x)))) (/ (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))))) (* (exp (- x)) (exp (- x))))
1.5s
(+ (* (- (* 1 (/ x 2.0)) (* (/ (+ x 1.0) 1.0) 1)) (- (- x 1.0))) (* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- 1.0)))
1.3s
(/ (/ (* (cbrt 1) (* (cbrt 1) a)) (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) c) (cbrt 1))) a)
440.0ms
(/ (- (* (/ 1.0 (sqrt (sqrt x))) (sqrt (sqrt (+ x 1.0)))) (* (sqrt (sqrt x)) (/ 1.0 (sqrt (sqrt (+ x 1.0)))))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x 1.0)))))
Rules
210582×add-sqr-sqrt
172469×*-un-lft-identity
152198×times-frac
134838×associate-*l/
108758×frac-times
104130×associate-/l*
91614×add-cube-cbrt
74629×associate-/r*
74144×frac-sub
56773×associate-*r/
55795×frac-add
40477×sqrt-prod
39409×unswap-sqr
38221×distribute-neg-frac
37115×cbrt-prod
33776×difference-of-squares
26472×clear-num
26415×associate-*l*
23913×associate-*r*
21082×associate-/l/
21021×frac-2neg
20114×distribute-lft-out
19927×flip3-- flip--
17206×distribute-lft-out--
12676×unpow-prod-down
12389×un-div-inv
10701×exp-neg
10481×flip-+ flip3-+
9197×neg-sub0
9181×exp-diff
9101×cube-prod
8421×sqr-pow
5411×sqrt-div
4508×tan-quot
4326×distribute-rgt-neg-in
4067×distribute-lft-neg-in
3347×pow1
3299×associate-/r/
3012×pow-unpow
2888×difference-cubes
2804×*-commutative
2727×log-pow
2409×unpow2
2122×div-inv
1590×add-exp-log
1492×add-cbrt-cube
1269×swap-sqr
854×add-log-exp
473×cbrt-undiv
405×div-exp
392×prod-exp log-prod
362×cbrt-unprod
258×cbrt-div
166×associate-+r+ sub-div
164×diff-log
154×sub-neg
152×pow-prod-down
145×*.c-commutative
142×exp-prod
138×associate-*l*.c
124×neg-mul-1 pow-exp
123×distribute-rgt-out--
116×distribute-rgt-in distribute-lft-in
107×associate--r+
105×pow-to-exp
103×log-div
100×distribute-lft-out.c
94×associate-+l+
89×sum-log
82×pow1/3
72×+-commutative
70×associate--l+
67×cube-div
61×pow-pow
57×sqrt-pow1
52×associate--l-
45×associate-+l-
43×pow-flip
42×pow1/2 rec-exp 1-exp
35×associate-+r-
28×rem-sqrt-square div-sub
27×unpow3 distribute-rgt-out log-rec
25×complex-mul-def
22×cube-mult
19×distribute-rgt-neg-out
17×rem-cube-cbrt exp-sum
16×distribute-neg-in
15×rem-log-exp
14×pow-sqr pow-prod-up
13×neg-log
11×unsub-neg
7×inv-pow associate--r- pow-plus sin-mult cos-mult
6×sin-cos-mult pow2 +.c-commutative rem-cbrt-cube
5×difference-of-sqr-1 remove-double-div
4×cos-sum sqrt-unprod associate-+l+.c distribute-rgt-out.c complex-add-def tan-sum sin-sum
3×rem-exp-log distribute-lft1-in
2×sqrt-pow2 distribute-frac-neg frac-2neg.c
1×distribute-neg-out diff-atan diff-cos +-inverses diff-sin exp-to-pow

series48.1s (6.8%)

Calls

429 calls:

1.6s
(* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))))
1.6s
(- (* (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan eps) (tan x)) 3))) (+ (* 1 1) (+ (* (* (tan eps) (tan x)) (* (tan eps) (tan x))) (* 1 (* (tan eps) (tan x)))))) (tan x))
958.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
790.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
772.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))

regimes3.0s (0.4%)

Accuracy

Total 26.0b remaining (20.9%)

Threshold costs 6.3b (5.1%)

4.3b81.8%quad2p (problem 3.2.1, positive)
4.3b84.9%quadp (p42, positive)
3.3b87.4%quad2m (problem 3.2.1, negative)
2.9b0%expq3 (problem 3.4.2)
1.9b92.2%quadm (p42, negative)

localize2.1s (0.3%)

bsearch1.1s (0.2%)

end1.0ms (0.0%)