Date:	Thursday, April 30th, 2020
Commit:	79b0ceb2 on master
Hostname:	warfa with Racket 7.5
Seed:	2020121
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 (54.1%)

Algorithm

55×	intervals
16×	halfpoints

Results

22.9s	63400×	body	1280	valid
18.6s	17556×	body	2560	valid
8.1s	41135×	body	640	valid
3.3s	89159×	body	80	valid
2.5s	19473×	body	320	valid
2.1s	59031×	body	80	nan
924.0ms	47382×	pre	80	true
863.0ms	10142×	body	160	valid
464.0ms	11684×	body	80	overflowed
179.0ms	494×	body	5120	valid
45.0ms	42×	body	1280	nan
22.0ms	33×	body	640	nan
8.0ms	20×	body	320	nan
1.0ms	7×	body	160	nan

series35.1s (18.0%)

Calls

371 calls:

1.3s	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (* (pow eps 3) (pow b 3)) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b)))))
934.0ms	(fma (pow (fma (pow (/ 1 x) 1/3) 0.6666666666666666 (- (pow (/ 1 x) -2/3) (* 0.1111111111111111 (log1p (expm1 (pow (/ 1 (pow x 4)) 1/3)))))) (/ 1.0 n)) (pow (cbrt (+ x 1.0)) (/ 1.0 n)) (- (pow x (/ 1.0 n))))
845.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))))
582.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (hypot (sqrt x) (sqrt 1.0))))
517.0ms	(exp (- (log 1.0) (log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))))

prune33.7s (17.3%)

Filtered: 17158 candidates to 9552 candidates (55.7%)

simplify11.1s (5.7%)

Algorithm

192×	egg-herbie

rewrite3.7s (1.9%)

Algorithm

121×	rewrite-expression-head

Calls

371 calls:

141.0ms	(pow (/ 1 x) 1/3)
59.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
50.0ms	(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
47.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
46.0ms	(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

Rules

8946×	`*-un-lft-identity`
8530×	`add-sqr-sqrt`
7808×	`times-frac`
6349×	`add-cube-cbrt`
4070×	`prod-diff`
1878×	`sqrt-prod`
1517×	`unpow-prod-down`
1289×	`add-exp-log`
881×	`cube-prod`
874×	`difference-of-squares`
871×	`add-cbrt-cube`
837×	`cbrt-prod`
761×	`pow1`
727×	`distribute-lft-out`
699×	`associate-r`
628×	`distribute-lft-out--`
602×	`add-log-exp`
543×	`sqr-pow`
488×	`associate-l`
485×	`associate-/l*`
461×	`fma-neg`
456×	`div-inv`
438×	`associate-/r*`
357×	`log1p-expm1-u`
356×	`expm1-log1p-u`
354×	`distribute-rgt-neg-in`
324×	`div-exp`
319×	`associate-/r/`
292×	`unswap-sqr`
284×	`prod-exp`
279×	`log-prod`
270×	`associate-+l+`
239×	`flip-+` `flip3-+`
221×	`distribute-lft-neg-in`
197×	`log-pow`
183×	`flip--` `flip3--`
176×	`unpow2`
175×	`cbrt-undiv`
140×	`cbrt-unprod`
135×	`unpow3` `cube-mult`
134×	`pow-exp`
123×	`cbrt-div`
119×	`associate-*l/`
105×	`diff-log`
103×	`pow-to-exp`
98×	`sub-neg`
96×	`log-div`
94×	`fma-def`
89×	`swap-sqr`
88×	`sqrt-pow1`
85×	`sqrt-div`
76×	`associate-/l/`
75×	`neg-mul-1`
73×	`frac-2neg` `clear-num`
71×	`frac-times`
70×	`pow-prod-down`
67×	`associate-*r/`
64×	`frac-add`
63×	`pow1/2` `pow1/3`
61×	`exp-sum`
55×	`*-commutative` `rec-exp` `1-exp`
51×	`tan-quot`
49×	`pow-unpow`
47×	`pow-prod-up`
39×	`exp-prod`
36×	`associate-+r+` `frac-sub`
34×	`distribute-rgt-in` `distribute-lft-in`
30×	`pow-pow` `rem-log-exp`
28×	`rem-sqrt-square` `fma-udef`
27×	`pow-flip` `sum-log`
24×	`complex-mul-def`
23×	`inv-pow`
21×	`pow-sqr` `div-sub`
19×	`difference-cubes` `neg-sub0`
18×	`associate--r-`
16×	`+-commutative` `associate--l+`
14×	`associate--l-`
13×	`neg-log`
10×	`associate-+l-`
8×	`pow2` `pow-plus` `sin-mult` `cos-mult`
6×	`rem-cube-cbrt` `*.c-commutative` `log-rec`
5×	`exp-diff` `associate--r+`
4×	`cube-div` `unpow1/3` `+.c-commutative` `complex-add-def`
3×	`sqrt-unprod` `sub-div` `hypot-def`
2×	`rem-exp-log` `expm1-def` `pow-neg` `associate-+r-` `exp-neg` `pow-sub` `difference-of-sqr-1` `unsub-neg` `un-div-inv` `associate-l.c` `tan-sum` `cos-sum` `associate-+l+.c` `distribute-neg-frac` `sin-sum`
1×	`sub0-neg` `sin-cos-mult` `rem-cbrt-cube` `sqrt-pow2` `log1p-udef` `frac-2neg.c` `diff-atan` `log1p-expm1` `diff-cos` `expm1-log1p` `hypot-udef` `rem-square-sqrt` `distribute-frac-neg` `distribute-rgt-neg-out` `expm1-udef` `exp-to-pow` `diff-sin`

regimes2.8s (1.4%)

Accuracy

Total 26.2b remaining (14.8%)

Threshold costs 5.0b (2.8%)

5.2b	81.9%	quadm (p42, negative)
5.2b	81.9%	quad2m (problem 3.2.1, negative)
3.9b	85.7%	quadp (p42, positive)
2.6b	0%	expq3 (problem 3.4.2)
2.3b	90.7%	quad2p (problem 3.2.1, positive)

Details

sample1.8m (54.1%)

series35.1s (18.0%)

prune33.7s (17.3%)

simplify11.1s (5.7%)

rewrite3.7s (1.9%)

regimes2.8s (1.4%)

localize2.0s (1.0%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)