Date:	Sunday, May 21st, 2023
Commit:	7039a485 on odyssey-paper
Hostname:	nightly with Racket 8.6
Seed:	2023141
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:simplify` default

Details

sample1.7min (32.5%)

Results

36.9s	36533×	body	2048	valid
34.4s	66611×	body	1024	valid
13.4s	90628×	body	256	valid
11.7s	35262×	body	512	valid
1.6s	1490×	body	1024	invalid
1.6s	2134×	body	4096	valid
842.0ms	5677×	body	256	invalid
443.0ms	2913×	body	256	infinite
423.0ms	718×	body	512	invalid
245.0ms	481×	body	1024	unsamplable
238.0ms	1111×	body	256	unsamplable
195.0ms	309×	body	2048	unsamplable
165.0ms	171×	body	1024	infinite
128.0ms	240×	body	512	infinite
68.0ms	233×	body	512	unsamplable
10.0ms	10×	body	2048	invalid
2.0ms	3×	body	2048	infinite

Bogosity

eval49.0s (15.5%)

Compiler: Compiled 2584262 to 1387006 computations (46.3% saved)

simplify41.8s (13.2%)

Algorithm

368×	egg-herbie

Rules

220646×	`associate-r`
189274×	`associate-l`
184692×	`associate-/l*`
170380×	`associate-/r*`
166382×	`*-commutative`

Stop Event

4×	done
49×	saturated
24×	fuel
319×	node limit

Counts

56327 → 74514

Compiler

Compiled 4494 to 3066 computations (31.8% saved)

rewrite31.0s (9.8%)

Algorithm

312×	batch-egg-rewrite
1×	egg-rewrite-iter-limit
3×	egg-rewrite

Rules

209152×	`add-sqr-sqrt`
205104×	`*-un-lft-identity`
193124×	`add-cube-cbrt`
190074×	`add-cbrt-cube`
129580×	`add-exp-log`

Stop Event

1×	iter limit
315×	node limit

Counts

725 → 44631

prune30.2s (9.6%)

Counts: 90258 → 2466
Compiler: Compiled 62253 to 43077 computations (30.8% saved)

regimes27.2s (8.6%)

Counts

5302 → 393

Calls

43 calls:

6.0s	c
5.9s	x
3.6s	a
2.5s	eps
2.3s	b

Compiler

Compiled 64658 to 35028 computations (45.8% saved)

soundness8.2s (2.6%)

Algorithm

52×	egg-herbie

Rules

30812×	`associate-r`
28394×	`associate-/l*`
25062×	`*-commutative`
24828×	`+-commutative`
24716×	`fma-def`

Stop Event

12×	saturated
40×	node limit

Compiler

Compiled 5215 to 2733 computations (47.6% saved)

bsearch7.4s (2.3%)

Algorithm

187×	binary-search
23×	left-value

Stop Event

179×	narrow-enough
1×	predicate-failed
7×	predicate-same

Results

2.5s	17546×	body	256	valid
1.8s	3349×	body	1024	valid
1.1s	1328×	body	2048	valid
493.0ms	1662×	body	512	valid
367.0ms	2391×	body	256	invalid
283.0ms	273×	body	1024	infinite
176.0ms	739×	body	256	unsamplable
120.0ms	164×	body	512	infinite
98.0ms	400×	body	256	infinite
1.0ms	3×	body	4096	valid
1.0ms	2×	body	512	unsamplable

Compiler

Compiled 37232 to 27247 computations (26.8% saved)

localize6.6s (2.1%)

Compiler: Compiled 14421 to 7191 computations (50.1% saved)

analyze4.9s (1.6%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
11.8%	10.7%	80.2%	9.1%	0%	0%	0%	1
16%	14.2%	74.9%	9.1%	0%	1.8%	0%	2
34.9%	29.6%	55.3%	9.1%	1.6%	4.5%	0%	3
43.8%	35.9%	45.9%	9.1%	2.9%	5.4%	0.9%	4
51.1%	40.9%	39.1%	9.1%	3.5%	6%	1.3%	5
54.8%	43.3%	35.7%	9.1%	4%	6.4%	1.6%	6
57.8%	44.9%	32.7%	9.1%	4.2%	7.2%	1.9%	7
60.1%	46.4%	30.8%	9.1%	4.4%	7.4%	2%	8
62.1%	47.4%	28.9%	9.1%	4.7%	7.8%	2.1%	9
64%	48.4%	27.2%	9.1%	4.9%	8.4%	2.2%	10
66%	49.5%	25.5%	9.1%	5.1%	8.6%	2.3%	11
67.9%	50.6%	23.8%	9.1%	5.3%	8.9%	2.3%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

series3.0s (0.9%)

Counts

725 → 11668

Calls

3567 calls:

Time	Variable		Point	Expression
56.0ms	x	@	-inf	(/.f64 (exp.f64 (log1p.f64 (neg.f64 (cos.f64 x)))) (*.f64 x x))
53.0ms	eps	@	-inf	(-.f64 (/.f64 1 (/.f64 (+.f64 x (-.f64 x eps)) (-.f64 (*.f64 x x) (pow.f64 (-.f64 eps x) 2)))) (+.f64 x (+.f64 eps x)))
53.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (cbrt.f64 (expm1.f64 (*.f64 a x)))) 3)
53.0ms	x	@	inf	(-.f64 (log.f64 (+.f64 1 (expm1.f64 (tan.f64 (+.f64 x eps))))) (tan.f64 x))
49.0ms	N	@	inf	(pow.f64 (atan2.f64 1 (fma.f64 N N (+.f64 N 1))) 3)

end2.3s (0.7%)

Compiler: Compiled 4383 to 2597 computations (40.7% saved)

preprocess2.0s (0.6%)

Algorithm

56×	egg-herbie

Rules

12942×	`fma-def`
8106×	`distribute-lft-in`
7218×	`*-commutative`
7100×	`associate-r`
6966×	`associate-+r+`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.7min (32.5%)

eval49.0s (15.5%)

simplify41.8s (13.2%)

rewrite31.0s (9.8%)

prune30.2s (9.6%)

regimes27.2s (8.6%)

soundness8.2s (2.6%)

bsearch7.4s (2.3%)

localize6.6s (2.1%)

analyze4.9s (1.6%)

series3.0s (0.9%)

end2.3s (0.7%)

preprocess2.0s (0.6%)

Profiling