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: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.4s	66919×	body	1280	valid
16.7s	17080×	body	2560	valid
8.3s	41699×	body	640	valid
3.9s	12709×	body	10240	exit
3.0s	94019×	body	80	valid
2.8s	20840×	body	320	valid
1.7s	63711×	body	80	nan
925.0ms	11142×	body	160	valid
550.0ms	47354×	pre	80	true
286.0ms	625×	body	1280	nan
215.0ms	670×	body	640	nan
127.0ms	439×	body	5120	valid
75.0ms	367×	body	320	nan
22.0ms	198×	body	160	nan

prune39.2s (19.0%)

Filtered: 16316 candidates to 9756 candidates (59.8%)

series36.2s (17.5%)

Calls

400 calls:

744.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)))
530.0ms	(/ (- x (sin x)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (tan x))))
512.0ms	(/ (- x (sin x)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (tan x))))
511.0ms	(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
489.0ms	(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

simplify10.2s (4.9%)

Algorithm

196×	egg-herbie

rewrite6.3s (3.0%)

Algorithm

124×	rewrite-expression-head

Calls

400 calls:

229.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
211.0ms	(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
133.0ms	(pow (+ (+ (- (exp x) 2.0) (fma (- 2.0) 1 2.0)) (exp (- x))) 3)
117.0ms	(* (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (fma (- 0.25) (+ (/ 1 (* (pow x 2) n)) (/ (log (/ 1 x)) (* x (pow n 2)))) (/ (/ 0.5 n) x)))
109.0ms	(cbrt (pow (+ (+ (- (exp x) 2.0) (fma (- 2.0) 1 2.0)) (exp (- x))) 3))

Rules

8936×	`*-un-lft-identity`
7289×	`add-sqr-sqrt`
6714×	`times-frac`
5671×	`add-cube-cbrt`
3574×	`prod-diff`
2768×	`sqrt-prod`
1161×	`add-exp-log`
1160×	`distribute-lft-out`
909×	`add-cbrt-cube`
718×	`pow1`
712×	`add-log-exp`
656×	`unpow-prod-down`
594×	`difference-of-squares`
540×	`distribute-lft-out--`
524×	`associate-l`
511×	`fma-neg`
485×	`associate-r`
414×	`cbrt-prod`
404×	`associate-/l*`
388×	`expm1-log1p-u`
386×	`log1p-expm1-u`
368×	`div-inv`
364×	`associate-+l+`
335×	`associate-/r/`
289×	`log-pow`
283×	`exp-prod`
281×	`flip--` `flip3--`
280×	`distribute-rgt-neg-in`
274×	`associate-/r*`
269×	`prod-exp`
268×	`log-prod`
241×	`sqr-pow`
236×	`div-exp`
207×	`unswap-sqr`
195×	`distribute-lft-neg-in`
186×	`flip-+` `flip3-+`
164×	`cbrt-undiv`
157×	`cbrt-unprod`
150×	`cbrt-div`
136×	`cube-prod`
132×	`sqrt-div`
124×	`fma-def`
122×	`diff-log` `sub-neg`
119×	`pow-unpow`
118×	`distribute-rgt-in` `distribute-lft-in`
112×	`sqrt-pow1`
108×	`associate-*l/`
105×	`exp-sum`
95×	`unpow2`
87×	`frac-times`
81×	`associate-*r/`
79×	`pow1/2`
75×	`pow-prod-down`
67×	`pow-exp`
65×	`pow-to-exp` `neg-mul-1` `swap-sqr`
62×	`frac-2neg` `clear-num`
60×	`associate-/l/`
57×	`frac-add`
53×	`*-commutative`
52×	`cube-div`
51×	`log-div`
47×	`pow1/3`
46×	`sum-log`
44×	`pow-prod-up`
39×	`tan-quot`
29×	`rem-sqrt-square` `fma-udef`
28×	`+-commutative` `rec-exp` `1-exp`
26×	`neg-sub0`
25×	`div-sub`
24×	`complex-mul-def`
22×	`exp-diff` `unpow3` `rem-log-exp`
21×	`difference-of-sqr-1`
17×	`cube-mult`
16×	`pow-sqr` `associate-+r+`
15×	`associate--l-`
13×	`pow-pow` `associate-+l-` `associate--l+`
12×	`hypot-def` `neg-log`
11×	`frac-sub`
10×	`rem-exp-log` `exp-neg` `associate--r+` `pow-plus`
7×	`pow-flip`
6×	`sqrt-unprod` `*.c-commutative`
5×	`rem-cube-cbrt` `associate-+r-` `unpow-prod-up` `distribute-rgt-out--` `rem-cbrt-cube`
4×	`expm1-def` `inv-pow` `pow2` `+.c-commutative` `complex-add-def` `sin-mult`
3×	`un-div-inv` `pow-sub` `cos-mult` `exp-to-pow`
2×	`associate-+l+.c` `log1p-udef` `associate--r-` `log1p-expm1` `expm1-log1p` `associate-l.c` `cos-sum` `tan-sum` `expm1-udef` `pow-neg` `sin-sum`
1×	`sin-cos-mult` `e-exp-1` `diff-atan` `sub-div` `diff-cos` `unsub-neg` `rem-square-sqrt` `sqr-cos` `diff-sin`

regimes3.1s (1.5%)

Accuracy

Total 27.9b remaining (12.4%)

Threshold costs 6.6b (2.9%)

5.2b	81.8%	quad2m (problem 3.2.1, negative)
5.2b	81.8%	quadm (p42, negative)
3.2b	0%	expq3 (problem 3.4.2)
1.9b	91.3%	expax (section 3.5)
1.8b	81%	2nthrt (problem 3.4.6)

Details

sample1.8m (52.4%)

prune39.2s (19.0%)

series36.2s (17.5%)

simplify10.2s (4.9%)

rewrite6.3s (3.0%)

regimes3.1s (1.5%)

localize2.0s (1.0%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)