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: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 (51.8%)

Algorithm

56×	intervals
16×	halfpoints

Results

24.5s	67693×	body	1280	valid
16.7s	17080×	body	2560	valid
8.1s	41933×	body	640	valid
4.1s	12987×	body	10240	exit
2.8s	92317×	body	80	valid
2.6s	20868×	body	320	valid
1.8s	64937×	body	80	nan
1.3s	2246×	body	1280	nan
884.0ms	11151×	body	160	valid
754.0ms	1884×	body	640	nan
553.0ms	47354×	pre	80	true
230.0ms	928×	body	320	nan
125.0ms	439×	body	5120	valid
72.0ms	477×	body	160	nan

prune42.4s (20.0%)

series38.5s (18.2%)

Calls

399 calls:

1.2s	(fma (pow (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (/ 1.0 n)) (pow (cbrt (sqrt (+ x 1.0))) (/ 1.0 n)) (- (* (pow (sqrt x) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ (/ 1.0 n) 2)))))
1.2s	(fma (pow (sqrt x) (/ (/ 1.0 n) 2)) (- (pow (sqrt x) (/ (/ 1.0 n) 2))) (pow (sqrt x) (* 2 (/ (/ 1.0 n) 2))))
888.0ms	(* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))))
748.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (pow (* eps a) 3) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0)))
506.0ms	(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

simplify10.4s (4.9%)

Algorithm

196×	egg-herbie

rewrite3.9s (1.8%)

Algorithm

124×	rewrite-expression-head

Calls

399 calls:

55.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
54.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
51.0ms	(* (/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt 2.0)) (sin y)))
33.0ms	(* (/ (sqrt (log (exp (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x))
32.0ms	(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))

Rules

9540×	`*-un-lft-identity`
8002×	`add-sqr-sqrt`
7820×	`times-frac`
6289×	`add-cube-cbrt`
3670×	`prod-diff`
3612×	`sqrt-prod`
1245×	`add-exp-log`
1108×	`distribute-lft-out`
929×	`add-cbrt-cube`
827×	`unpow-prod-down`
770×	`associate-l`
733×	`pow1`
700×	`add-log-exp`
649×	`difference-of-squares`
575×	`distribute-lft-out--`
510×	`fma-neg`
482×	`cbrt-prod`
479×	`associate-r`
450×	`associate-/l*`
395×	`associate-+l+`
388×	`div-inv`
387×	`expm1-log1p-u`
385×	`log1p-expm1-u`
341×	`associate-/r/`
323×	`log-pow`
318×	`exp-prod`
314×	`div-exp`
301×	`log-prod`
297×	`flip--` `flip3--`
294×	`associate-/r*`
280×	`prod-exp`
277×	`sqr-pow`
259×	`distribute-rgt-neg-in`
207×	`distribute-rgt-in` `distribute-lft-in`
203×	`unswap-sqr`
195×	`distribute-lft-neg-in`
184×	`flip-+` `flip3-+`
181×	`cbrt-undiv`
164×	`cbrt-div`
158×	`cbrt-unprod`
146×	`cube-prod` `sqrt-div`
134×	`sqrt-pow1`
128×	`sub-neg`
122×	`diff-log`
120×	`exp-sum`
117×	`fma-def`
106×	`associate-*l/`
94×	`frac-times`
91×	`pow1/2` `unpow2`
89×	`associate-*r/`
79×	`swap-sqr`
77×	`pow-prod-down`
70×	`pow-unpow`
65×	`neg-mul-1`
64×	`associate-/l/` `frac-2neg` `clear-num`
59×	`pow-exp`
58×	`1-exp`
57×	`frac-add` `pow-to-exp`
54×	`pow1/3`
52×	`cube-div`
50×	`*-commutative`
49×	`log-div`
46×	`pow-prod-up`
43×	`rec-exp`
39×	`tan-quot`
37×	`sum-log`
29×	`rem-sqrt-square`
27×	`fma-udef` `+-commutative`
26×	`div-sub` `rem-log-exp`
25×	`exp-diff`
24×	`complex-mul-def` `pow-flip` `unpow3`
23×	`neg-sub0`
21×	`difference-of-sqr-1`
19×	`cube-mult`
18×	`pow-sqr`
16×	`associate-+r+`
14×	`pow-pow`
13×	`associate--l-`
12×	`hypot-def`
11×	`rem-exp-log` `pow-plus` `neg-log` `frac-sub`
10×	`pow-div` `inv-pow` `exp-neg` `associate-+l-`
9×	`associate--l+`
6×	`rem-cube-cbrt` `sqrt-unprod` `rem-cbrt-cube` `*.c-commutative`
5×	`pow2` `associate--r+` `unpow-prod-up` `distribute-rgt-out--`
4×	`expm1-def` `associate-+r-` `+.c-commutative` `complex-add-def` `sin-mult`
3×	`un-div-inv` `cos-mult` `exp-to-pow`
2×	`associate-+l+.c` `expm1-udef` `sqrt-pow2` `log1p-udef` `log1p-expm1` `expm1-log1p` `associate-l.c` `cos-sum` `tan-sum` `sin-sum` `log-rec`
1×	`sin-cos-mult` `e-exp-1` `diff-atan` `sub-div` `diff-cos` `pow-sub` `rem-square-sqrt` `sqr-cos` `cube-neg` `diff-sin`

regimes3.5s (1.7%)

Accuracy

Total 31.8b remaining (13.8%)

Threshold costs 6.6b (2.9%)

5.2b	81.8%	quad2m (problem 3.2.1, negative)
5.2b	81.8%	quadm (p42, negative)
4.3b	83.8%	quadp (p42, positive)
3.2b	0%	expq3 (problem 3.4.2)
2.7b	75.7%	2nthrt (problem 3.4.6)

Details

sample1.8m (51.8%)

prune42.4s (20.0%)

series38.5s (18.2%)

simplify10.4s (4.9%)

rewrite3.9s (1.8%)

regimes3.5s (1.7%)

localize2.1s (1.0%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)