Date:	Sunday, April 12th, 2020
Commit:	48b457a7 on overflow-detection-both-ends
Hostname:	warfa with Racket 7.5
Seed:	2020103
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 (57.2%)

Algorithm

56×	intervals
16×	halfpoints

Results

25.8s	67576×	body	1280	valid
18.9s	17477×	body	2560	valid
9.2s	42203×	body	640	valid
3.7s	92321×	body	80	valid
2.9s	20703×	body	320	valid
2.4s	64359×	body	80	nan
1.2s	1098×	body	1280	nan
1.1s	15548×	body	80	overflowed
992.0ms	10865×	body	160	valid
729.0ms	47482×	pre	80	true
661.0ms	925×	body	640	nan
197.0ms	453×	body	320	nan
194.0ms	466×	body	5120	valid
56.0ms	237×	body	160	nan

series35.3s (17.6%)

Calls

348 calls:

1.3s	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (pow (* eps b) 3) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b)))))
1.1s	(pow (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)
1.1s	(pow (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)
1.0s	(fma (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (* (expm1 (log1p (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))))) (cbrt (cbrt (+ x 1.0))))) (- (cbrt x)))
889.0ms	(fma (fma (fma (tan x) (tan eps) 1) (* (tan x) (tan eps)) 1) (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (- (tan x)))

prune30.2s (15.1%)

Filtered: 15351 candidates to 8737 candidates (56.9%)

simplify10.7s (5.3%)

Algorithm

188×	egg-herbie

rewrite3.3s (1.6%)

Algorithm

116×	rewrite-expression-head

Calls

348 calls:

57.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
46.0ms	(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
43.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
35.0ms	(* 2/3 (/ (pow eps 3) (pow 1.0 3)))
28.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))

Rules

8564×	`*-un-lft-identity`
7626×	`add-sqr-sqrt`
7179×	`times-frac`
5759×	`add-cube-cbrt`
3706×	`prod-diff`
1832×	`sqrt-prod`
1167×	`unpow-prod-down`
991×	`add-exp-log`
831×	`distribute-lft-out`
759×	`add-cbrt-cube`
727×	`difference-of-squares`
651×	`associate-r`
628×	`pow1`
606×	`distribute-lft-out--`
578×	`add-log-exp`
503×	`cube-prod`
479×	`associate-/l*`
467×	`sqr-pow`
437×	`fma-neg`
434×	`cbrt-prod`
392×	`div-inv`
374×	`associate-l`
334×	`expm1-log1p-u`
332×	`log1p-expm1-u`
329×	`associate-/r*`
327×	`distribute-rgt-neg-in`
284×	`associate-/r/`
249×	`associate-+l+`
232×	`div-exp` `unswap-sqr`
227×	`log-prod`
212×	`distribute-lft-neg-in`
196×	`flip--` `flip3--`
193×	`prod-exp`
155×	`flip-+` `flip3-+`
145×	`cbrt-undiv`
135×	`unpow2`
123×	`swap-sqr`
115×	`cbrt-unprod`
114×	`distribute-rgt-in` `distribute-lft-in`
113×	`unpow3` `cube-mult`
106×	`sqrt-div`
103×	`diff-log`
99×	`sub-neg`
89×	`log-pow`
87×	`fma-def`
79×	`tan-quot`
78×	`pow-prod-down`
77×	`cbrt-div`
76×	`pow-exp`
73×	`pow-to-exp`
72×	`neg-mul-1`
63×	`associate-/l/` `pow1/3` `frac-2neg` `clear-num`
62×	`associate-*r/`
57×	`associate-*l/`
51×	`log-div` `frac-times`
45×	`*-commutative`
40×	`exp-sum`
38×	`sqrt-pow1`
37×	`pow1/2`
34×	`fma-udef`
32×	`pow-unpow`
28×	`exp-prod`
26×	`rem-sqrt-square`
25×	`sum-log`
24×	`1-exp` `rec-exp` `complex-mul-def`
23×	`div-sub`
21×	`pow-prod-up`
19×	`pow-sqr` `rem-log-exp`
17×	`associate-+r+`
16×	`+-commutative`
15×	`frac-add`
14×	`associate--l-` `neg-sub0`
13×	`associate--l+`
11×	`frac-sub`
10×	`neg-log` `pow-pow`
9×	`difference-cubes` `associate--r+` `pow-plus`
8×	`exp-diff` `inv-pow` `pow2` `pow-flip`
7×	`rem-cube-cbrt` `associate-+l-`
6×	`*.c-commutative`
5×	`cube-div` `distribute-rgt-out--`
4×	`sqrt-unprod` `+.c-commutative` `complex-add-def` `cos-mult`
3×	`sin-cos-mult` `associate-+r-` `sub-div` `expm1-log1p` `rem-exp-log` `sin-mult` `expm1-udef`
2×	`associate-+l+.c` `un-div-inv` `log1p-udef` `associate--r-` `exp-neg` `log1p-expm1` `distribute-rgt-out` `associate-l.c` `cos-sum` `sqr-cos` `tan-sum` `frac-2neg.c` `distribute-neg-frac` `sin-sum`
1×	`expm1-def` `e-exp-1` `diff-atan` `diff-cos` `difference-of-sqr-1` `rem-square-sqrt` `rem-cbrt-cube` `diff-sin`

regimes3.0s (1.5%)

Accuracy

Total 27.5b remaining (12.4%)

Threshold costs 5.3b (2.4%)

5.3b	81.3%	quadm (p42, negative)
5.3b	81.3%	quad2m (problem 3.2.1, negative)
3.1b	0%	expq3 (problem 3.4.2)
2.7b	89.5%	quad2p (problem 3.2.1, positive)
1.9b	92%	quadp (p42, positive)

Details

sample1.9m (57.2%)

series35.3s (17.6%)

prune30.2s (15.1%)

simplify10.7s (5.3%)

rewrite3.3s (1.6%)

regimes3.0s (1.5%)

localize1.7s (0.9%)

bsearch1.4s (0.7%)

end1.0ms (0.0%)