Date:Wednesday, February 26th, 2020
Commit:2c6cda94 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020057
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.8m (51.5%)

Algorithm
56×intervals
16×halfpoints
Results
24.1s66919×body1280valid
16.5s17080×body2560valid
8.1s41699×body640valid
3.8s12709×body10240exit
2.9s94019×body80valid
2.5s20840×body320valid
1.7s63711×body80nan
918.0ms11142×body160valid
553.0ms47354×pre80true
280.0ms625×body1280nan
216.0ms670×body640nan
125.0ms439×body5120valid
68.0ms367×body320nan
22.0ms198×body160nan

series40.1s (19.4%)

Calls

425 calls:

1.8s
(cbrt (pow (* (cbrt (* (- (exp (* a x)) 1.0) (* (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0))))) (cbrt (- (exp (* a x)) 1.0))) 3))
763.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)))
596.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
543.0ms
(pow (- (/ (- (log 1.0) (+ (* 1.0 (pow x 2)) (* 1/2 (/ (pow x 4) (pow 1.0 2))))) (log (+ 1.0 x))) 1) 3)
527.0ms
(cbrt (* (cbrt (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))) (cbrt (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))))

prune35.1s (17.0%)

Filtered
13241 candidates to 8593 candidates (64.9%)

simplify10.5s (5.1%)

Algorithm
197×egg-herbie

rewrite7.4s (3.6%)

Algorithm
125×rewrite-expression-head
Calls

425 calls:

311.0ms
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
191.0ms
(* (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (- (* 0.25 (+ (/ 1 (* (pow x 2) n)) (/ (log (/ 1 x)) (* x (pow n 2)))))) (/ (/ 0.5 n) x)))
182.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
181.0ms
(- (/ (+ (tan x) (tan eps)) (log (exp (- 1 (/ (* (tan x) (sin eps)) (cos eps)))))) (tan x))
137.0ms
(/ (- (- (log 1.0) (+ (* 1.0 (pow x 2)) (* 1/2 (/ (pow x 4) (pow 1.0 2))))) (log (+ 1.0 x))) (log (+ 1.0 x)))
Rules
5779×*-un-lft-identity
5346×times-frac
5150×add-sqr-sqrt
3303×add-cube-cbrt
2442×sqrt-prod
1316×add-exp-log
1030×add-cbrt-cube
798×add-log-exp
797×pow1
789×associate-*l*
722×difference-of-squares
701×distribute-lft-out--
617×distribute-lft-out
511×unpow-prod-down
475×cbrt-div
449×associate-/l*
410×flip-- associate-*r* flip3--
358×cbrt-prod
347×associate-/r*
308×prod-exp
303×cube-prod
283×frac-times
274×div-exp
264×exp-prod
261×log-pow
252×log-prod
251×associate-*l/
245×flip-+ flip3-+
240×associate-/r/
207×div-inv
204×unswap-sqr
194×pow-unpow
193×cbrt-undiv
192×cbrt-unprod
174×associate-*r/
146×sub-neg
143×diff-log
140×sqr-pow
125×cube-div
99×frac-add
97×associate-/l/
93×pow-prod-down
87×sqrt-div
75×pow-exp
69×frac-2neg clear-num
68×swap-sqr
67×pow-to-exp
66×*-commutative pow1/3
62×sum-log
59×sqrt-pow1
57×unpow2 distribute-rgt-neg-in
53×log-div
46×distribute-rgt-in exp-sum distribute-lft-in
43×pow1/2 rec-exp 1-exp
34×+-commutative associate--l+
33×associate-+r+
30×pow-pow rem-log-exp
27×rem-sqrt-square
25×associate-+l+ pow-flip
24×complex-mul-def associate--r+
23×tan-quot frac-sub
21×unpow3 cube-mult
19×div-sub
16×pow-prod-up exp-diff associate--l- pow-sqr
14×difference-of-sqr-1 neg-sub0
13×rem-cube-cbrt
12×distribute-neg-frac
11×rem-exp-log associate-+l-
10×pow-div neg-log inv-pow
8×pow-plus sin-mult cos-mult
7×pow2
6×rem-cbrt-cube *.c-commutative exp-to-pow
4×un-div-inv sub-div +.c-commutative complex-add-def log-rec
3×sqrt-unprod associate-+r- distribute-rgt-out--
2×associate-+l+.c associate--r- exp-neg distribute-neg-in sqr-cos associate-*l*.c cos-sum tan-sum sin-sum
1×sin-cos-mult difference-cubes pow3 diff-atan diff-cos unsub-neg distribute-rgt-out diff-sin

regimes3.6s (1.8%)

Accuracy

Total 28.6b remaining (12.7%)

Threshold costs 6.9b (3%)

4.3b83.8%quadp (p42, positive)
3.6b86.5%quad2m (problem 3.2.1, negative)
3.6b87%quadm (p42, negative)
3.2b0%expq3 (problem 3.4.2)
1.9b79.4%2nthrt (problem 3.4.6)

localize2.0s (1.0%)

bsearch1.6s (0.8%)

end1.0ms (0.0%)