Date:	Friday, June 9th, 2023
Commit:	a0d28dd6 on redesign-report
Hostname:	nightly with Racket 8.6
Seed:	2023160
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

Details

sample1.5min (26.2%)

Results

32.5s	33317×	body	2048	valid
29.3s	62648×	body	1024	valid
11.9s	86510×	body	256	valid
8.7s	32977×	body	512	valid
1.6s	13307×	body	256	infinite
1.3s	2088×	body	4096	valid
964.0ms	1144×	body	1024	invalid
726.0ms	7386×	body	256	unsamplable
647.0ms	5208×	body	256	invalid
256.0ms	571×	body	512	invalid
211.0ms	154×	body	1024	infinite
177.0ms	471×	body	1024	unsamplable
164.0ms	289×	body	2048	unsamplable
88.0ms	164×	body	512	infinite
54.0ms	214×	body	512	unsamplable
8.0ms	7×	body	2048	invalid
1.0ms	3×	body	2048	infinite

Bogosity

localize41.3s (12.1%)

Compiler: Compiled 14552 to 8143 computations (44% saved)

eval39.5s (11.6%)

Compiler: Compiled 1840992 to 1025059 computations (44.3% saved)

simplify38.9s (11.4%)

Algorithm

363×	egg-herbie

Rules

242998×	`fma-def`
163898×	`fma-neg`
163082×	`log-prod`
148100×	`unswap-sqr`
133456×	`associate-r`

Stop Event

5×	done
49×	saturated
23×	fuel
314×	node limit

Counts

49196 → 58975

Compiler

Compiled 5224 to 3590 computations (31.3% saved)

soundness33.1s (9.7%)

Rules

146872×	`fma-def`
122674×	`log-prod`
108832×	`fma-neg`
71740×	`associate-r`
67654×	`times-frac`

Stop Event

8×	saturated
10×	unsound
220×	node limit

Compiler

Compiled 21897 to 13523 computations (38.2% saved)

rewrite28.9s (8.5%)

Algorithm

307×	batch-egg-rewrite

Rules

245284×	`log-prod`
199464×	`pow1`
186958×	`add-exp-log`
186886×	`log1p-expm1-u`
186836×	`expm1-log1p-u`

Stop Event

2×	unsound
305×	node limit

Counts

731 → 37828

regimes25.8s (7.6%)

Counts

5158 → 474

Calls

43 calls:

7.5s	x
3.3s	eps
3.2s	a
2.6s	c
1.7s	(/.f64 1 n)

Compiler

Compiled 54857 to 32574 computations (40.6% saved)

prune19.3s (5.7%)

Counts: 72821 → 2409
Compiler: Compiled 55281 to 39864 computations (27.9% saved)

bsearch11.1s (3.3%)

Algorithm

248×	binary-search
38×	left-value

Stop Event

245×	narrow-enough
3×	predicate-same

Results

3.8s	6506×	body	1024	valid
3.2s	19640×	body	256	valid
1.8s	2319×	body	2048	valid
966.0ms	2558×	body	512	valid
240.0ms	1012×	body	256	infinite
211.0ms	1692×	body	256	invalid
123.0ms	730×	body	256	unsamplable
112.0ms	236×	body	512	infinite
74.0ms	77×	body	1024	infinite
3.0ms	13×	body	512	unsamplable
2.0ms	4×	body	4096	valid
1.0ms	3×	body	1024	unsamplable

Compiler

Compiled 46557 to 34765 computations (25.3% saved)

series4.5s (1.3%)

Counts

731 → 11340

Calls

3519 calls:

Time	Variable		Point	Expression
295.0ms	x	@	inf	(log1p.f64 (tan.f64 (+.f64 x eps)))
73.0ms	x	@	0	(/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
69.0ms	x	@	0	(.f64 (pow.f64 (.f64 1/3 x) 1/4) (sqrt.f64 (*.f64 1/3 x)))
68.0ms	x	@	-inf	(log.f64 (+.f64 1 (expm1.f64 (+.f64 eps (*.f64 eps (pow.f64 (tan.f64 x) 2))))))
61.0ms	N	@	inf	(cbrt.f64 (pow.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) 5/4))

end3.8s (1.1%)

Compiler: Compiled 11348 to 7070 computations (37.7% saved)

analyze2.7s (0.8%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
27.4%	24.9%	66%	9.1%	0%	0%	0%	1
39%	34.7%	54.4%	9.1%	0%	1.8%	0%	2
51%	44.1%	42.4%	9.1%	0%	4.5%	0%	3
58.9%	50.1%	35%	9.1%	0%	5.8%	0%	4
65.5%	55%	29%	9.1%	0%	6.9%	0%	5
67.8%	56.6%	26.9%	9.1%	0%	7.5%	0%	6
70.2%	57.8%	24.6%	9.1%	0%	8.4%	0.1%	7
72.2%	59.3%	22.8%	9.1%	0%	8.7%	0.1%	8
73.5%	60%	21.6%	9.1%	0%	9.1%	0.3%	9
74.7%	60.5%	20.4%	9.1%	0%	9.7%	0.3%	10
76.2%	61.5%	19.2%	9.1%	0%	9.9%	0.4%	11
76.9%	61.8%	18.5%	9.1%	0%	10.2%	0.4%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

preprocess2.1s (0.6%)

Algorithm

56×	egg-herbie

Rules

25662×	`fma-def`
8366×	`div-sub`
7144×	`distribute-lft-in`
6960×	`distribute-rgt-in`
6546×	`fma-neg`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Herbie run

Details

sample1.5min (26.2%)

localize41.3s (12.1%)

eval39.5s (11.6%)

simplify38.9s (11.4%)

soundness33.1s (9.7%)

rewrite28.9s (8.5%)

regimes25.8s (7.6%)

prune19.3s (5.7%)

bsearch11.1s (3.3%)

series4.5s (1.3%)

end3.8s (1.1%)

analyze2.7s (0.8%)

preprocess2.1s (0.6%)

Profiling