Date:	Tuesday, February 18th, 2020
Commit:	3b7244d2 on master
Hostname:	warfa with Racket 7.5
Seed:	2020049
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 (52.4%)

Algorithm

56×	intervals
16×	halfpoints

Results

24.7s	66652×	body	1280	valid
16.8s	17204×	body	2560	valid
8.7s	42077×	body	640	valid
4.0s	12792×	body	10240	exit
3.1s	93988×	body	80	valid
2.6s	20766×	body	320	valid
1.9s	63578×	body	80	nan
921.0ms	11023×	body	160	valid
570.0ms	47469×	pre	80	true
296.0ms	651×	body	1280	nan
221.0ms	675×	body	640	nan
127.0ms	419×	body	5120	valid
70.0ms	371×	body	320	nan
24.0ms	216×	body	160	nan

prune40.9s (19.7%)

series34.0s (16.3%)

Calls

372 calls:

509.0ms	(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
504.0ms	(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
425.0ms	(/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))
425.0ms	(- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))
416.0ms	(- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))

simplify11.8s (5.7%)

Algorithm

194×	egg-herbie

rewrite6.6s (3.2%)

Algorithm

122×	rewrite-expression-head

Calls

372 calls:

336.0ms	(log (exp (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))))
245.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
145.0ms	(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
139.0ms	(- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))
139.0ms	(- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))

Rules

11739×	`*-un-lft-identity`
10832×	`times-frac`
10270×	`add-sqr-sqrt`
7976×	`add-cube-cbrt`
6551×	`prod-diff`
3246×	`unpow-prod-down`
2945×	`sqrt-prod`
1360×	`cube-prod`
1306×	`add-exp-log`
1106×	`distribute-lft-out`
1029×	`difference-of-squares`
929×	`sqr-pow` `add-cbrt-cube`
811×	`distribute-lft-out--`
694×	`pow1`
660×	`div-inv`
650×	`log-prod`
629×	`add-log-exp`
625×	`distribute-rgt-neg-in`
609×	`associate-/r/`
550×	`fma-neg`
522×	`associate-r`
513×	`associate-/l*`
483×	`distribute-lft-neg-in`
464×	`exp-sum`
393×	`associate-l`
360×	`flip--` `flip3--` `log1p-expm1-u`
357×	`expm1-log1p-u`
343×	`div-exp`
338×	`associate-/r*`
304×	`prod-exp`
286×	`sqrt-div`
270×	`associate-+l+`
266×	`cbrt-prod`
207×	`log-pow`
199×	`unswap-sqr`
192×	`cbrt-undiv`
190×	`unpow3` `cube-mult`
186×	`exp-prod`
166×	`neg-mul-1`
160×	`cbrt-unprod`
150×	`flip-+` `flip3-+`
122×	`sqrt-pow1`
116×	`unpow2`
115×	`fma-def`
108×	`diff-log`
99×	`sub-neg`
94×	`pow-prod-down`
91×	`swap-sqr`
84×	`pow1/2`
72×	`associate-/l/` `frac-2neg` `clear-num`
69×	`pow-exp`
67×	`pow-to-exp`
64×	`pow-unpow`
62×	`1-exp`
61×	`associate-l/` `associate-r/`
53×	`rec-exp`
51×	`log-div`
49×	`*-commutative`
47×	`frac-times`
46×	`pow-prod-up`
44×	`associate-+r+`
42×	`cbrt-div`
40×	`distribute-rgt-in` `distribute-lft-in`
39×	`rem-log-exp`
38×	`tan-quot`
32×	`pow1/3`
31×	`rem-sqrt-square` `fma-udef` `sum-log`
29×	`div-sub`
24×	`complex-mul-def`
23×	`+-commutative`
22×	`neg-sub0`
18×	`pow-sqr` `pow-flip`
16×	`associate--l-` `frac-sub`
14×	`frac-add`
13×	`neg-log`
10×	`inv-pow`
9×	`exp-diff` `pow-pow` `un-div-inv`
8×	`associate--l+`
7×	`sqrt-unprod` `associate-+r-` `associate-+l-`
6×	`cube-div` `rem-cube-cbrt` `*.c-commutative` `difference-of-sqr-1` `associate--r+`
5×	`rem-exp-log` `difference-cubes` `pow-plus`
4×	`pow2` `+.c-commutative` `complex-add-def` `cos-mult` `distribute-rgt-out--` `expm1-udef`
3×	`sin-cos-mult` `log1p-udef` `sub-div` `expm1-log1p` `sin-mult`
2×	`distribute-neg-out` `associate-+l+.c` `expm1-def` `exp-neg` `log1p-expm1` `pow-sub` `unsub-neg` `rem-square-sqrt` `distribute-frac-neg` `associate-l.c` `cos-sum` `tan-sum` `rem-cbrt-cube` `pow-neg` `sin-sum` `log-rec` `mul-1-neg`
1×	`diff-atan` `diff-cos` `log1p-def` `distribute-rgt-neg-out` `frac-2neg.c` `exp-to-pow` `diff-sin`

regimes2.8s (1.4%)

Accuracy

Total 24.5b remaining (11.3%)

Threshold costs 5.7b (2.6%)

4.2b	85.4%	quad2m (problem 3.2.1, negative)
4.1b	85.8%	quadm (p42, negative)
3.2b	0%	expq3 (problem 3.4.2)
1.7b	82.6%	2cos (problem 3.3.5)
1.6b	93.5%	quad2p (problem 3.2.1, positive)

Details

sample1.8m (52.4%)

prune40.9s (19.7%)

series34.0s (16.3%)

simplify11.8s (5.7%)

rewrite6.6s (3.2%)

regimes2.8s (1.4%)

localize1.8s (0.9%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)