Date:	Thursday, March 5th, 2020
Commit:	a3b4d238 on findroot
Hostname:	warfa with Racket 7.5
Seed:	2020065
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.9%)

Algorithm

56×	intervals
16×	halfpoints

Results

22.9s	67318×	body	1280	valid
17.7s	17257×	body	2560	valid
7.9s	42561×	body	640	valid
4.0s	12995×	body	10240	exit
2.8s	92261×	body	80	valid
2.4s	20958×	body	320	valid
1.8s	64473×	body	80	nan
1.4s	2324×	body	1280	nan
799.0ms	10680×	body	160	valid
782.0ms	1942×	body	640	nan
567.0ms	47368×	pre	80	true
252.0ms	943×	body	320	nan
158.0ms	495×	body	5120	valid
70.0ms	483×	body	160	nan

prune37.0s (18.4%)

series33.5s (16.7%)

Calls

385 calls:

863.0ms	(fma (/ (+ (tan x) (tan eps)) (- (pow 1 3) (pow (* (tan x) (tan eps)) 3))) (+ (* 1 1) (+ (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* 1 (* (tan x) (tan eps))))) (- (tan x)))
610.0ms	(* (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (fma x 1.0 (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))) (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (fma x 1.0 (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))))
610.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (* (pow x (/ (/ 1.0 n) 2)) (pow (pow x (/ (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))) 1)) (/ (cbrt (/ 1.0 n)) 2))))
513.0ms	(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
497.0ms	(/ (- x (sin x)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (tan x))))

simplify11.0s (5.5%)

Algorithm

194×	egg-herbie

rewrite3.4s (1.7%)

Algorithm

122×	rewrite-expression-head

Calls

385 calls:

56.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
55.0ms	(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
51.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
51.0ms	(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
34.0ms	(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))

Rules

8787×	`*-un-lft-identity`
8095×	`times-frac`
7727×	`add-sqr-sqrt`
5953×	`add-cube-cbrt`
3316×	`prod-diff`
1671×	`sqrt-prod`
1255×	`add-exp-log`
904×	`distribute-lft-out`
886×	`add-cbrt-cube`
837×	`unpow-prod-down`
729×	`difference-of-squares`
668×	`pow1`
647×	`add-log-exp`
603×	`div-inv`
599×	`distribute-lft-out--`
586×	`cbrt-prod`
519×	`associate-/r*`
472×	`associate-/l*`
434×	`fma-neg`
432×	`associate-/r/`
385×	`associate-r`
378×	`div-exp`
370×	`expm1-log1p-u`
369×	`log1p-expm1-u`
339×	`sqr-pow`
307×	`cube-prod`
300×	`distribute-rgt-neg-in`
285×	`associate-l`
255×	`associate-+l+`
231×	`flip--` `flip3--`
229×	`log-prod`
211×	`prod-exp`
201×	`distribute-lft-neg-in`
198×	`flip-+` `flip3-+`
197×	`cbrt-undiv`
187×	`pow-unpow`
170×	`unswap-sqr`
142×	`log-pow` `associate-*l/`
129×	`swap-sqr`
124×	`cbrt-unprod`
123×	`cbrt-div`
109×	`diff-log`
103×	`fma-def` `unpow2`
101×	`sqrt-div`
95×	`sub-neg`
93×	`pow-exp`
89×	`pow-to-exp`
87×	`exp-sum`
80×	`unpow3` `clear-num` `cube-mult` `frac-2neg`
77×	`exp-prod`
76×	`associate-/l/`
70×	`1-exp` `rec-exp`
69×	`pow1/3`
67×	`tan-quot` `neg-mul-1`
61×	`frac-times`
59×	`pow-prod-down`
55×	`associate-*r/`
42×	`fma-udef`
39×	`sum-log` `sqrt-pow1`
37×	`frac-add`
33×	`*-commutative`
30×	`associate-+r+`
29×	`div-sub`
28×	`pow1/2`
26×	`pow-pow` `rem-sqrt-square` `log-div`
24×	`complex-mul-def`
21×	`difference-of-sqr-1` `pow-flip` `frac-sub`
20×	`neg-sub0`
19×	`inv-pow`
18×	`+-commutative` `rem-log-exp`
15×	`pow-sqr` `pow-prod-up`
13×	`rem-cube-cbrt` `associate--l-` `neg-log`
12×	`associate--l+`
11×	`associate-+l-`
8×	`pow-plus` `sin-mult` `cos-mult` `associate--r+`
7×	`pow2`
6×	`*.c-commutative`
5×	`rem-exp-log` `exp-diff`
4×	`difference-cubes` `associate-+r-` `+.c-commutative` `complex-add-def` `expm1-def` `distribute-rgt-out--`
3×	`cube-div` `distribute-rgt-in` `sin-cos-mult` `sub-div` `distribute-lft-in` `log-rec`
2×	`associate-+l+.c` `rem-cbrt-cube` `cos-sum` `exp-neg` `pow-sub` `associate-l.c` `tan-sum` `frac-2neg.c` `pow-neg` `sin-sum`
1×	`log1p-udef` `diff-atan` `log1p-expm1` `diff-cos` `expm1-log1p` `unsub-neg` `distribute-rgt-out` `sqr-cos` `expm1-udef` `exp-to-pow` `diff-sin`

regimes2.8s (1.4%)

Accuracy

Total 29.7b remaining (14.2%)

Threshold costs 6.6b (3.1%)

4.5b	84.6%	quadm (p42, negative)
4.4b	84.7%	quad2m (problem 3.2.1, negative)
4.0b	85.9%	quadp (p42, positive)
3.3b	0%	expq3 (problem 3.4.2)
3.3b	88.2%	quad2p (problem 3.2.1, positive)

Details

sample1.8m (54.9%)

prune37.0s (18.4%)

series33.5s (16.7%)

simplify11.0s (5.5%)

rewrite3.4s (1.7%)

regimes2.8s (1.4%)

localize1.9s (0.9%)

bsearch1.1s (0.6%)

end1.0ms (0.0%)