Date:	Tuesday, January 10th, 2023
Commit:	020cb5bb on oflatt-egglog-ctx
Hostname:	nightly with Racket 8.6
Seed:	2023010
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

simplify2.1min (37.9%)

Algorithm

208×

egglog

Stop Event

3×	done
14×	fuel

Counts

48844 → 55879

Compiler

Compiled 2343 to 1497 computations (36.1% saved)

sample49.2s (14.6%)

Results

15.7s	27943×	body	1024	valid
14.4s	113187×	body	256	valid
8.3s	3225×	body	8192	exit
4.7s	14097×	body	512	valid
2.4s	4994×	body	1024	invalid
1.4s	1637×	body	2048	valid
685.0ms	2437×	body	512	invalid
655.0ms	3388×	body	256	infinite
378.0ms	2879×	body	256	invalid
109.0ms	208×	body	1024	infinite
85.0ms	240×	body	512	infinite
35.0ms	150×	body	256	unsamplable
3.0ms	1×	body	8192	invalid
1.0ms	2×	body	2048	invalid

Bogosity

eval40.1s (11.9%)

Compiler: Compiled 2016188 to 1000386 computations (50.4% saved)

rewrite31.5s (9.4%)

Algorithm

191×	batch-egg-rewrite

Rules

41475× egg-rr

Counts

433 → 41469

prune29.0s (8.6%)

Counts: 70517 → 1744
Compiler: Compiled 50648 to 33540 computations (33.8% saved)

series19.9s (5.9%)

Counts

433 → 7358

Calls

2259 calls:

Time	Variable		Point	Expression
171.0ms	l	@	0	(/.f64 (cbrt.f64 (/.f64 1 (/.f64 (/.f64 1 l) l))) (cbrt.f64 (/.f64 1 l)))
147.0ms	l	@	0	(pow.f64 (pow.f64 (exp.f64 (cbrt.f64 (log.f64 l))) (exp.f64 w)) (cbrt.f64 (pow.f64 (log.f64 l) 2)))
102.0ms	x	@	inf	(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
81.0ms	x	@	0	(pow.f64 (*.f64 (+.f64 x x) x) -1/2)
56.0ms	w	@	inf	(pow.f64 (exp.f64 (exp.f64 w)) (log.f64 l))

Compiler

Compiled 1297460 to 837130 computations (35.5% saved)

regimes14.5s (4.3%)

Counts

3794 → 203

Calls

50 calls:

1.9s	x
1.4s	a
1.3s	y
953.0ms	z
757.0ms	b

Compiler

Compiled 51285 to 25536 computations (50.2% saved)

analyze10.9s (3.3%)

Algorithm

19×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	72.3%	27.7%	0%	0%	0%	0
9.1%	6.6%	65.7%	27.7%	0%	0%	0%	1
10.9%	7.9%	64.4%	27.7%	0%	0%	0%	2
32.8%	23.7%	48.6%	27.7%	0%	0%	0%	3
42.8%	30.9%	41.4%	27.7%	0%	0%	0%	4
48.9%	34.9%	36.5%	27.7%	0%	1%	0%	5
53.3%	37.5%	32.9%	27.7%	0.5%	1.2%	0.3%	6
58.9%	41%	28.7%	27.7%	0.6%	1.7%	0.3%	7
62.4%	43.1%	26%	27.7%	0.9%	1.8%	0.5%	8
65.8%	45.2%	23.5%	27.7%	0.9%	2.2%	0.5%	9
69.2%	47.3%	21%	27.7%	1.1%	2.3%	0.6%	10
71.3%	48.5%	19.5%	27.7%	1.3%	2.5%	0.6%	11
73.2%	49.6%	18.2%	27.7%	1.4%	2.5%	0.6%	12

Compiler

Compiled 288 to 205 computations (28.8% saved)

localize6.4s (1.9%)

Compiler: Compiled 10320 to 5433 computations (47.4% saved)

preprocess3.3s (1%)

Algorithm

36×

egglog

Compiler

Compiled 192 to 143 computations (25.5% saved)

bsearch2.8s (0.8%)

Algorithm

82×	binary-search
14×	left-value

Results

1.2s	8046×	body	256	valid
821.0ms	1392×	body	1024	valid
240.0ms	598×	body	512	valid
160.0ms	1142×	body	256	invalid
100.0ms	78×	body	2048	valid
68.0ms	358×	body	256	infinite
14.0ms	21×	body	1024	infinite
10.0ms	27×	body	512	infinite

Compiler

Compiled 12787 to 9289 computations (27.4% saved)

end1.1s (0.3%)

Compiler: Compiled 2113 to 1064 computations (49.6% saved)

soundness3.0ms (0%)

Compiler: Compiled 27 to 27 computations (0% saved)

Details

simplify2.1min (37.9%)

sample49.2s (14.6%)

eval40.1s (11.9%)

rewrite31.5s (9.4%)

prune29.0s (8.6%)

series19.9s (5.9%)

regimes14.5s (4.3%)

analyze10.9s (3.3%)

localize6.4s (1.9%)

preprocess3.3s (1%)

bsearch2.8s (0.8%)

end1.1s (0.3%)

soundness3.0ms (0%)

Profiling