Date:	Tuesday, April 14th, 2020
Commit:	681051fe on overflow-detection-both-ends
Hostname:	warfa with Racket 7.5
Seed:	2020105
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 (47.5%)

Algorithm

78×

intervals

Results

35.5s	43207×	body	1280	valid
14.2s	2117×	body	5120	exit
12.5s	30737×	body	640	valid
8.6s	204271×	body	80	valid
6.5s	151750×	body	80	nan
5.4s	27717×	body	320	valid
5.2s	41914×	body	80	overflowed
4.5s	186321×	pre	80	true
3.8s	36120×	body	160	valid
919.0ms	2990×	body	2560	valid
578.0ms	3062×	body	2560	nan
410.0ms	2607×	body	1280	nan
362.0ms	16381×	pre	80	false
170.0ms	1300×	body	640	nan
103.0ms	220×	body	5120	valid
65.0ms	690×	body	320	nan
20.0ms	310×	body	160	nan
6.0ms	5×	body	640	overflowed
1.0ms	3×	body	160	overflowed
1.0ms	1×	body	320	overflowed

prune48.5s (20.6%)

Filtered: 19800 candidates to 12596 candidates (63.6%)

series44.3s (18.8%)

Calls

491 calls:

1.4s	(* (cbrt (log1p (* 0.5 (* s c_n)))) (cbrt (log1p (* 0.5 (* s c_n)))))
1.1s	(pow (log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x)) 3)
658.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
474.0ms	(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
465.0ms	(log (* (/ 1 x) (+ 1.0 (sqrt (- 1.0 (* x x))))))

simplify13.6s (5.8%)

Algorithm

226×	egg-herbie

regimes9.5s (4.1%)

Accuracy

Total 35.2b remaining (28.7%)

Threshold costs 5.2b (4.2%)

6.2b	12.1%	Cubic critical, medium range
6.0b	47.7%	Quotient of products
5.8b	58.7%	Cubic critical, narrow range
3.5b	0%	Cubic critical, wide range
3.2b	88.5%	Cubic critical

rewrite4.8s (2.0%)

Algorithm

148×	rewrite-expression-head

Calls

491 calls:

152.0ms	(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
91.0ms	(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
89.0ms	(* (- (/ (/ m v) (/ 1 (- 1.0 m))) 1.0) (- 1.0 m))
64.0ms	(* (/ (/ (+ a b) a) (sqrt a)) (/ (- a b) (sqrt a)))
55.0ms	(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))

Rules

10479×	`times-frac`
9942×	`*-un-lft-identity`
9677×	`add-sqr-sqrt`
7032×	`add-cube-cbrt`
4126×	`prod-diff`
2726×	`add-exp-log`
1731×	`add-cbrt-cube`
1068×	`unpow-prod-down`
975×	`associate--r+`
948×	`difference-of-squares`
932×	`pow1`
896×	`sqrt-prod`
887×	`associate-r`
878×	`div-exp`
841×	`prod-exp`
723×	`add-log-exp`
707×	`distribute-lft-out--`
698×	`distribute-rgt-neg-in`
657×	`distribute-lft-out`
638×	`div-inv`
552×	`associate-/l*`
534×	`associate-/r*`
513×	`distribute-lft-neg-in`
506×	`associate-/r/`
494×	`expm1-log1p-u`
492×	`log1p-expm1-u`
472×	`associate-l`
421×	`cbrt-undiv`
402×	`sqr-pow`
388×	`cbrt-unprod`
382×	`cube-prod`
379×	`cbrt-prod`
309×	`pow-exp`
275×	`fma-neg`
267×	`fma-def`
264×	`flip--`
263×	`flip3--`
224×	`pow-to-exp`
213×	`log-prod`
210×	`flip-+`
209×	`flip3-+`
207×	`distribute-rgt-in` `distribute-lft-in`
186×	`unswap-sqr`
171×	`neg-mul-1`
146×	`pow-prod-down`
116×	`clear-num` `frac-2neg`
106×	`unpow3` `cube-mult`
93×	`associate-*r/`
89×	`*-commutative`
87×	`associate-/l/`
84×	`log-pow` `sub-neg`
83×	`exp-sum`
82×	`sqrt-div`
67×	`diff-log`
66×	`1-exp`
64×	`pow1/3` `rec-exp` `cbrt-div`
61×	`tan-quot`
57×	`cos-sum`
56×	`associate-*l/` `sum-log` `frac-times`
49×	`pow-unpow`
48×	`log-div`
47×	`swap-sqr`
46×	`sqrt-pow1`
45×	`div-sub` `exp-prod`
40×	`pow1/2`
39×	`+-commutative`
37×	`unpow2`
35×	`rem-sqrt-square` `fma-udef`
28×	`neg-sub0`
26×	`rem-log-exp`
23×	`sin-sum` `associate--l+` `pow-pow`
21×	`frac-sub` `associate-+l-`
18×	`neg-log` `sin-diff`
16×	`rem-cube-cbrt` `pow-prod-up` `pow-sqr`
15×	`cube-div` `cos-diff`
13×	`pow-flip` `distribute-rgt-out` `sin-mult`
12×	`acos-asin`
11×	`sin-cos-mult` `frac-add` `distribute-frac-neg`
10×	`pow-plus` `associate--l-` `inv-pow`
9×	`pow2` `associate-+r+`
8×	`associate--r-`
7×	`rem-exp-log`
6×	`acos-neg`
5×	`rem-cbrt-cube`
4×	`exp-diff` `associate-+r-` `expm1-udef`
3×	`associate-+l+` `log1p-udef` `log1p-expm1` `expm1-log1p` `unpow-prod-up` `hypot-def` `asin-acos` `distribute-rgt-neg-out`
2×	`un-div-inv` `distribute-lft1-in` `hypot-udef` `cos-mult`
1×	`e-exp-1` `sqrt-unprod`

Details

sample1.9m (47.5%)

prune48.5s (20.6%)

series44.3s (18.8%)

simplify13.6s (5.8%)

regimes9.5s (4.1%)

rewrite4.8s (2.0%)

localize2.1s (0.9%)

bsearch795.0ms (0.3%)

end1.0ms (0.0%)