Date:	Wednesday, April 29th, 2020
Commit:	293eb8dd on gh-actions
Hostname:	warfa with Racket 7.5
Seed:	2020120
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.9m (55.9%)

Algorithm

56×	intervals
16×	halfpoints

Results

25.4s	68088×	body	1280	valid
18.0s	17027×	body	2560	valid
8.9s	42485×	body	640	valid
3.6s	92236×	body	80	valid
2.8s	20482×	body	320	valid
2.4s	65466×	body	80	nan
1.3s	1187×	body	1280	nan
1.0s	15556×	body	80	overflowed
962.0ms	10610×	body	160	valid
715.0ms	47267×	pre	80	true
687.0ms	967×	body	640	nan
196.0ms	471×	body	320	nan
158.0ms	443×	body	5120	valid
45.0ms	215×	body	160	nan

series35.7s (17.5%)

Calls

367 calls:

1.3s	(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
1.1s	(pow (exp (* (cbrt (log (fma 1/6 (pow x 3) x))) (cbrt (log (fma 1/6 (pow x 3) x))))) (cbrt (log (fma 1/6 (pow x 3) x))))
839.0ms	(fma (* (cbrt (pow (+ x 1.0) (/ 1.0 n))) (cbrt (pow (+ x 1.0) (/ 1.0 n)))) (cbrt (pow (+ x 1.0) (/ 1.0 n))) (- (* (pow (cbrt x) (/ 1.0 n)) (pow (* (cbrt x) (cbrt x)) (/ 1.0 n)))))
725.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)))
668.0ms	(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))

prune33.8s (16.6%)

Filtered: 16611 candidates to 9676 candidates (58.3%)

simplify10.7s (5.2%)

Algorithm

191×	egg-herbie

rewrite3.5s (1.7%)

Algorithm

119×	rewrite-expression-head

Calls

367 calls:

50.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
49.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
48.0ms	(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
39.0ms	(* 2/3 (/ (pow eps 3) (pow 1.0 3)))
38.0ms	(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))

Rules

9757×	`*-un-lft-identity`
8892×	`times-frac`
8763×	`add-sqr-sqrt`
6515×	`add-cube-cbrt`
3767×	`prod-diff`
2088×	`sqrt-prod`
1182×	`add-exp-log`
1032×	`unpow-prod-down`
889×	`distribute-lft-out`
864×	`add-cbrt-cube`
823×	`difference-of-squares`
770×	`distribute-lft-out--`
750×	`associate-r`
698×	`pow1`
614×	`add-log-exp`
613×	`associate-/l*`
460×	`fma-neg`
435×	`div-inv`
416×	`sqr-pow`
406×	`log-prod`
400×	`associate-/r/` `distribute-rgt-neg-in`
379×	`associate-/r*`
376×	`associate-l`
354×	`log1p-expm1-u` `expm1-log1p-u`
305×	`cbrt-prod`
300×	`unswap-sqr`
283×	`div-exp`
272×	`exp-sum`
267×	`prod-exp`
263×	`distribute-lft-neg-in`
256×	`associate-+l+`
242×	`flip--` `flip3--`
174×	`cbrt-undiv`
169×	`unpow2`
163×	`sqrt-div`
150×	`flip-+` `flip3-+`
135×	`cbrt-unprod`
134×	`cube-prod`
129×	`swap-sqr`
115×	`pow-exp`
108×	`pow-to-exp` `log-pow`
107×	`diff-log`
95×	`sub-neg` `sqrt-pow1`
89×	`fma-def` `neg-mul-1`
86×	`pow-prod-down`
79×	`pow1/2`
72×	`tan-quot`
71×	`frac-2neg` `clear-num`
64×	`associate-/l/`
58×	`associate-*r/`
52×	`associate-*l/`
50×	`*-commutative`
45×	`frac-times`
43×	`log-div`
38×	`fma-udef` `unpow3` `cube-mult`
36×	`pow1/3`
34×	`exp-prod`
33×	`rem-sqrt-square` `1-exp`
32×	`pow-prod-up` `rec-exp`
28×	`sum-log`
26×	`pow-unpow`
25×	`unpow-prod-up`
24×	`complex-mul-def`
22×	`pow-sqr`
20×	`neg-sub0`
19×	`div-sub`
18×	`associate--l-` `+-commutative`
15×	`rem-log-exp`
14×	`neg-log` `associate--l+`
13×	`pow-pow` `pow-flip`
12×	`associate-+r+` `hypot-def`
11×	`exp-diff` `distribute-rgt-in` `distribute-lft-in` `inv-pow` `frac-add` `associate--r+`
10×	`frac-sub`
9×	`cbrt-div` `associate-+l-`
8×	`rem-cube-cbrt` `pow-plus`
7×	`rem-exp-log` `sqrt-unprod` `pow2`
6×	`cube-div` `pow-sub` `*.c-commutative`
5×	`sin-mult`
4×	`+.c-commutative` `complex-add-def` `rem-square-sqrt`
3×	`difference-of-sqr-1` `cos-mult` `distribute-rgt-out--` `exp-to-pow`
2×	`associate-+l+.c` `expm1-def` `e-exp-1` `pow-neg` `un-div-inv` `associate-+r-` `associate--r-` `exp-neg` `sub-div` `expm1-log1p` `associate-l.c` `cos-sum` `tan-sum` `expm1-udef` `distribute-neg-frac` `rem-cbrt-cube` `sin-sum`
1×	`sin-cos-mult` `log1p-udef` `diff-atan` `log1p-expm1` `diff-cos` `diff-sin`

regimes3.0s (1.5%)

Accuracy

Total 24.7b remaining (11.3%)

Threshold costs 5.9b (2.7%)

5.0b	83.3%	quadm (p42, negative)
3.6b	86.6%	quad2m (problem 3.2.1, negative)
3.4b	0%	expq3 (problem 3.4.2)
2.5b	90.5%	quad2p (problem 3.2.1, positive)
1.7b	83.6%	2nthrt (problem 3.4.6)

Details

sample1.9m (55.9%)

series35.7s (17.5%)

prune33.8s (16.6%)

simplify10.7s (5.2%)

rewrite3.5s (1.7%)

regimes3.0s (1.5%)

localize2.0s (1.0%)

bsearch1.3s (0.7%)

end1.0ms (0.0%)