Date:	Tuesday, March 31st, 2020
Commit:	2cac45bc on simpler-alts
Hostname:	warfa with Racket 7.5
Seed:	2020091
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 (51.5%)

Algorithm

56×	intervals
16×	halfpoints

Results

23.0s	67459×	body	1280	valid
17.6s	17236×	body	2560	valid
7.8s	42729×	body	640	valid
4.0s	13352×	body	10240	exit
2.7s	92486×	body	80	valid
2.4s	20767×	body	320	valid
1.8s	64571×	body	80	nan
1.4s	2243×	body	1280	nan
780.0ms	10365×	body	160	valid
754.0ms	1858×	body	640	nan
571.0ms	47455×	pre	80	true
227.0ms	901×	body	320	nan
142.0ms	471×	body	5120	valid
72.0ms	491×	body	160	nan

prune40.5s (19.1%)

Filtered: 18289 candidates to 10262 candidates (56.1%)

series40.1s (18.9%)

Calls

385 calls:

1.8s	(pow (sqrt (sqrt (- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))) 3)
901.0ms	(fma (fma (fma (tan x) (tan eps) 1) (* (tan x) (tan eps)) 1) (/ (+ (tan x) (tan eps)) (- (pow 1 3) (pow (* (tan x) (tan eps)) 3))) (- (tan x)))
860.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b))))
684.0ms	(fma (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (- (pow x (/ 1.0 n))))
683.0ms	(log (/ (exp (pow (sqrt (+ x 1.0)) (* 2 (/ 1.0 n)))) (exp (pow x (/ 1.0 n)))))

simplify11.9s (5.6%)

Algorithm

195×	egg-herbie

rewrite3.8s (1.8%)

Algorithm

123×	rewrite-expression-head

Calls

385 calls:

79.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
78.0ms	(* (sqrt (- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))) (sqrt (- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))))
56.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
55.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
54.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

Rules

12255×	`*-un-lft-identity`
12218×	`times-frac`
10981×	`add-sqr-sqrt`
9053×	`add-cube-cbrt`
6546×	`prod-diff`
4347×	`sqrt-prod`
1033×	`distribute-lft-out`
955×	`associate-+l+`
945×	`add-exp-log`
740×	`div-inv`
711×	`cbrt-prod`
704×	`add-cbrt-cube`
681×	`difference-of-squares`
660×	`pow1`
646×	`unpow-prod-down`
641×	`add-log-exp`
613×	`associate-/r/`
593×	`distribute-lft-out--`
507×	`fma-neg`
468×	`associate-r`
373×	`expm1-log1p-u`
370×	`log1p-expm1-u`
348×	`sqrt-div`
298×	`flip-+` `flip3-+`
289×	`associate-l`
283×	`associate-/l*`
273×	`associate-/r*`
252×	`flip--` `flip3--`
235×	`sqr-pow`
198×	`unswap-sqr`
190×	`div-exp`
187×	`log-prod`
177×	`prod-exp`
148×	`cube-prod`
144×	`distribute-rgt-neg-in`
131×	`swap-sqr`
122×	`unpow2`
119×	`distribute-lft-neg-in`
114×	`log-pow`
112×	`diff-log`
109×	`cbrt-undiv`
108×	`sub-neg`
105×	`cbrt-div`
103×	`fma-def`
98×	`pow-unpow`
97×	`cbrt-unprod`
90×	`pow1/3` `associate-*l/`
73×	`pow-exp`
72×	`sqrt-pow1`
69×	`pow-to-exp`
66×	`exp-prod`
61×	`pow-prod-down`
58×	`pow1/2`
57×	`frac-times`
52×	`associate-/l/`
47×	`frac-2neg` `clear-num`
43×	`fma-udef` `*-commutative`
41×	`neg-mul-1` `associate-*r/`
39×	`tan-quot` `exp-sum`
33×	`log-div`
29×	`pow-pow` `frac-sub`
28×	`rem-sqrt-square` `sum-log`
27×	`pow-prod-up`
26×	`rec-exp` `1-exp`
24×	`complex-mul-def`
23×	`frac-add`
22×	`distribute-rgt-in` `div-sub` `distribute-lft-in` `associate--r+`
21×	`pow-sqr`
19×	`rem-log-exp`
18×	`unpow3` `cube-mult`
15×	`+-commutative`
14×	`cube-div`
13×	`neg-sub0`
11×	`rem-cube-cbrt` `associate-+l-`
10×	`associate--l-`
9×	`exp-diff` `pow-plus` `pow2` `neg-log`
7×	`pow-flip`
6×	`*.c-commutative` `associate--l+`
5×	`rem-exp-log` `inv-pow` `associate-+r+` `expm1-udef`
4×	`un-div-inv` `+.c-commutative` `complex-add-def` `cos-mult` `distribute-rgt-out--`
3×	`sin-cos-mult` `log1p-udef` `sqrt-unprod` `log1p-expm1` `difference-of-sqr-1` `expm1-log1p` `rem-square-sqrt` `hypot-def` `rem-cbrt-cube`
2×	`associate-+l+.c` `expm1-def` `sqrt-pow2` `exp-neg` `associate-l.c` `cos-sum` `tan-sum` `distribute-neg-frac` `sin-sum`
1×	`associate--r-` `unpow1/3` `pow-div` `associate-+r-` `diff-atan` `diff-cos` `sin-mult` `frac-2neg.c` `diff-sin` `exp-to-pow`

regimes3.6s (1.7%)

Accuracy

Total 33.0b remaining (14.7%)

Threshold costs 6.0b (2.7%)

5.1b	82%	quad2p (problem 3.2.1, positive)
4.8b	83.2%	quadp (p42, positive)
4.6b	83.6%	quad2m (problem 3.2.1, negative)
4.5b	83.6%	quadm (p42, negative)
3.2b	0%	expq3 (problem 3.4.2)

Details

sample1.8m (51.5%)

prune40.5s (19.1%)

series40.1s (18.9%)

simplify11.9s (5.6%)

rewrite3.8s (1.8%)

regimes3.6s (1.7%)

localize1.9s (0.9%)

bsearch924.0ms (0.4%)

end1.0ms (0.0%)