Date:	Wednesday, April 1st, 2020
Commit:	71d48594 on master
Hostname:	warfa with Racket 7.5
Seed:	2020092
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 (53.1%)

Algorithm

56×	intervals
16×	halfpoints

Results

22.7s	66688×	body	1280	valid
17.2s	17274×	body	2560	valid
7.7s	42848×	body	640	valid
4.0s	12798×	body	10240	exit
2.7s	92562×	body	80	valid
2.4s	20836×	body	320	valid
1.7s	63959×	body	80	nan
1.2s	2209×	body	1280	nan
813.0ms	10777×	body	160	valid
740.0ms	1860×	body	640	nan
557.0ms	47570×	pre	80	true
214.0ms	874×	body	320	nan
127.0ms	378×	body	5120	valid
74.0ms	476×	body	160	nan

series38.7s (19.3%)

Calls

380 calls:

1.3s	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (pow (* b eps) 3) (fma 1/2 (pow (* b eps) 2) (* eps b)))))
900.0ms	(fma (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ 1.0 n)) (pow (cbrt (+ x 1.0)) (/ 1.0 n)) (- (pow x (/ 1.0 n))))
859.0ms	(fma (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ 1.0 n)) (pow (cbrt (+ x 1.0)) (/ 1.0 n)) (- (pow x (/ 1.0 n))))
858.0ms	(fma (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ 1.0 n)) (pow (cbrt (+ x 1.0)) (/ 1.0 n)) (- (pow x (/ 1.0 n))))
834.0ms	(fma (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ 1.0 n)) (pow (cbrt (+ x 1.0)) (/ 1.0 n)) (- (pow x (/ 1.0 n))))

prune34.6s (17.2%)

Filtered: 18131 candidates to 10011 candidates (55.2%)

simplify11.1s (5.5%)

Algorithm

193×	egg-herbie

rewrite3.9s (1.9%)

Algorithm

121×	rewrite-expression-head

Calls

380 calls:

55.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
48.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
45.0ms	(log (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3)))
34.0ms	(- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))
29.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 x))

Rules

10813×	`*-un-lft-identity`
9577×	`add-sqr-sqrt`
9563×	`times-frac`
7065×	`add-cube-cbrt`
4226×	`prod-diff`
1654×	`sqrt-prod`
1375×	`unpow-prod-down`
1316×	`add-exp-log`
1075×	`difference-of-squares`
955×	`distribute-lft-out--`
954×	`distribute-lft-out`
946×	`cbrt-prod`
943×	`add-cbrt-cube`
794×	`cube-prod`
633×	`add-log-exp`
624×	`pow1`
571×	`associate-/l*`
535×	`associate-r`
527×	`div-inv`
523×	`fma-neg`
474×	`distribute-rgt-neg-in`
457×	`associate-/r*`
445×	`log-prod`
432×	`associate-/r/`
408×	`associate-l`
401×	`sqr-pow`
368×	`log1p-expm1-u`
365×	`expm1-log1p-u`
364×	`div-exp`
299×	`associate-+l+`
284×	`distribute-lft-neg-in`
276×	`prod-exp`
261×	`flip--` `flip3--`
260×	`flip-+` `flip3-+`
206×	`cbrt-undiv`
203×	`unswap-sqr`
152×	`cbrt-unprod`
131×	`log-pow` `unpow2`
125×	`cbrt-div`
122×	`exp-sum`
120×	`exp-prod`
115×	`fma-def`
108×	`diff-log`
106×	`log-div`
105×	`sqrt-div`
101×	`sub-neg`
98×	`associate-*l/`
96×	`unpow3` `cube-mult` `neg-mul-1`
91×	`associate-/l/`
84×	`frac-add`
77×	`frac-2neg` `clear-num`
76×	`distribute-rgt-in` `distribute-lft-in`
71×	`associate-*r/`
67×	`frac-times`
66×	`pow-prod-down`
56×	`pow-to-exp` `pow-exp`
54×	`cube-div`
51×	`*-commutative`
50×	`1-exp` `rec-exp`
42×	`pow1/2` `tan-quot` `sqrt-pow1`
41×	`pow-unpow`
34×	`neg-sub0`
33×	`exp-diff` `sum-cubes` `fma-udef` `pow1/3`
31×	`sum-log`
30×	`swap-sqr`
29×	`div-sub`
28×	`rem-sqrt-square` `rem-log-exp`
24×	`complex-mul-def`
21×	`+-commutative`
18×	`pow-pow` `associate--r-`
17×	`frac-sub`
16×	`associate--l-`
15×	`exp-neg` `associate-+r+` `neg-log`
11×	`pow-flip`
10×	`distribute-rgt-out--`
9×	`pow-prod-up` `rem-exp-log` `associate--l+`
8×	`un-div-inv` `inv-pow`
7×	`difference-cubes` `pow-sqr` `associate-+l-`
6×	`sub-div` `*.c-commutative` `associate--r+`
5×	`rem-cube-cbrt` `log1p-udef` `difference-of-sqr-1` `expm1-log1p` `cos-mult` `expm1-udef`
4×	`expm1-def` `sqrt-unprod` `associate-+r-` `log1p-expm1` `+.c-commutative` `complex-add-def` `hypot-def`
3×	`pow2` `pow-plus` `sin-mult`
2×	`associate-+l+.c` `pow-neg` `pow-sub` `associate-l.c` `tan-sum` `cos-sum` `frac-2neg.c` `distribute-neg-frac` `sin-sum`
1×	`sin-cos-mult` `diff-atan` `diff-cos` `rem-square-sqrt` `diff-sin`

regimes3.1s (1.5%)

Accuracy

Total 28.4b remaining (13.6%)

Threshold costs 6.0b (2.9%)

5.1b	81.8%	quadm (p42, negative)
3.9b	85.8%	quad2m (problem 3.2.1, negative)
3.3b	0%	expq3 (problem 3.4.2)
3.3b	87.6%	quad2p (problem 3.2.1, positive)
1.9b	82.1%	2nthrt (problem 3.4.6)

Details

sample1.8m (53.1%)

series38.7s (19.3%)

prune34.6s (17.2%)

simplify11.1s (5.5%)

rewrite3.9s (1.9%)

regimes3.1s (1.5%)

localize1.8s (0.9%)

bsearch1.0s (0.5%)

end1.0ms (0.0%)