Date:Wednesday, February 26th, 2020
Commit:a943e6d1 on master
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 (52.3%)

Algorithm
56×intervals
16×halfpoints
Results
24.9s67693×body1280valid
16.9s17080×body2560valid
8.5s41933×body640valid
4.0s12987×body10240exit
3.0s92317×body80valid
2.6s20868×body320valid
1.8s64937×body80nan
1.3s2246×body1280nan
953.0ms11151×body160valid
757.0ms1884×body640nan
555.0ms47354×pre80true
235.0ms928×body320nan
127.0ms439×body5120valid
67.0ms477×body160nan

series43.8s (20.7%)

Calls

426 calls:

1.7s
(cbrt (pow (* (cbrt (* (* (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0))) (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))) 3))
1.6s
(log (- (pow (+ x 1.0) (/ 1.0 n)) (pow (sqrt x) (* 2 (/ 1.0 n)))))
1.1s
(* (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))))
758.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)))
609.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))

prune35.9s (17.0%)

simplify10.4s (4.9%)

Algorithm
197×egg-herbie

rewrite4.0s (1.9%)

Algorithm
125×rewrite-expression-head
Calls

426 calls:

161.0ms
(* (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))))
42.0ms
(/ (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (+ 1.0 (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)))) (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)))
35.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
33.0ms
(/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
31.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
5560×*-un-lft-identity
5003×add-sqr-sqrt
4978×times-frac
3070×add-cube-cbrt
1320×sqrt-prod
1278×add-exp-log
1010×add-cbrt-cube
794×add-log-exp
786×pow1
773×difference-of-squares
702×distribute-lft-out--
622×distribute-lft-out
568×associate-*l*
555×unpow-prod-down
475×cbrt-div
451×pow-unpow
420×associate-*r*
416×flip-- flip3--
415×associate-/l*
358×cbrt-prod
329×associate-/r*
307×cube-prod
301×prod-exp
284×log-prod
278×frac-times
272×associate-*l/
268×exp-prod
263×log-pow
249×div-exp
240×associate-/r/
234×flip-+ flip3-+
214×div-inv
207×unswap-sqr
187×cbrt-unprod
181×cbrt-undiv
171×sqr-pow
149×sub-neg
144×diff-log
143×associate-*r/
125×cube-div
96×associate-/l/
93×pow-prod-down
87×sqrt-div
83×frac-add
76×pow-exp
68×pow-to-exp *-commutative swap-sqr
67×frac-2neg clear-num
66×pow1/3
62×exp-sum
58×sum-log
57×log-div distribute-rgt-neg-in
53×unpow2
46×distribute-rgt-in distribute-lft-in
39×sqrt-pow1
38×rec-exp 1-exp
34×associate--l+
33×pow1/2 +-commutative
32×associate-+r+
31×rem-log-exp
29×pow-pow
27×rem-sqrt-square
24×complex-mul-def associate--r+
23×tan-quot associate-+l+ frac-sub
22×unpow3 cube-mult
19×div-sub
18×exp-diff
16×pow-prod-up associate--l- pow-sqr
15×neg-sub0
14×difference-of-sqr-1
13×rem-cube-cbrt
12×rem-exp-log
11×pow-flip
10×associate-+l-
9×neg-log
8×inv-pow 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 pow-sub sqr-cos associate-*l*.c cos-sum tan-sum pow-neg sin-sum
1×sin-cos-mult difference-cubes diff-atan diff-cos unsub-neg cube-unmult distribute-rgt-out diff-sin

regimes3.4s (1.6%)

Accuracy

Total 29.0b 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)
2.2b79.8%2nthrt (problem 3.4.6)

localize2.1s (1.0%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)