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

simplify32.3min (39.4%)

Algorithm

2902×

egglog

Stop Event

67×	done
199×	fuel

Counts

670500 → 752514

Results

Compiler

Compiled 83850 to 45935 computations (45.2% saved)

regimes9.3min (11.3%)

Counts

36663 → 6745

Calls

492 calls:

1.4min	x
1.4min	y
1.2min	z
1.1min	t
52.3s	a

Results

Compiler

Compiled 636728 to 295081 computations (53.7% saved)

eval8.8min (10.8%)

Compiler: Compiled 27350675 to 13256745 computations (51.5% saved)

sample7.7min (9.4%)

Results

4.8min	2131679×	body	256	valid
1.3min	338911×	body	256	infinite
31.2s	51321×	body	1024	valid
27.1s	136165×	body	256	invalid
13.6s	35552×	body	512	valid
8.3s	10253×	body	2048	valid
4.2s	9219×	body	1024	infinite
2.3s	1627×	body	8192	exit
1.9s	5375×	body	512	infinite
574.0ms	315×	body	4096	valid
325.0ms	717×	body	1024	invalid
165.0ms	584×	body	512	invalid

Bogosity

rewrite7.6min (9.3%)

Algorithm

2633×

batch-egg-rewrite

Rules

542985× egg-rr

Counts

5704 → 542980

prune6.2min (7.6%)

Counts: 919921 → 15638
Compiler: Compiled 499770 to 344648 computations (31% saved)

series4.2min (5.1%)

Counts

5705 → 129043

Calls

38406 calls:

Time	Variable		Point	Expression
969.0ms	x	@	0	(pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 x (log1p.f64 (neg.f64 (/.f64 y x)))) 3) 1/3)) 3)
310.0ms	y	@	-inf	(pow.f64 (cbrt.f64 (/.f64 y (+.f64 (/.f64 (*.f64 x y) 2) 1))) 3)
252.0ms	x	@	0	(*.f64 x (log.f64 y))
251.0ms	y	@	0	(pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 x (log1p.f64 (neg.f64 (/.f64 y x)))) 3) 1/3)) 3)
245.0ms	x	@	0	(/.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 x))

Compiler

Compiled 18396385 to 11293595 computations (38.6% saved)

bsearch2.0min (2.4%)

Algorithm

4492×	binary-search
394×	left-value

Results

1.5min	530110×	body	256	valid
5.8s	8031×	body	1024	valid
5.7s	29302×	body	256	infinite
4.3s	9301×	body	512	valid
1.2s	8525×	body	256	invalid
133.0ms	215×	body	2048	valid
10.0ms	17×	body	1024	infinite
8.0ms	7×	body	4096	valid
7.0ms	19×	body	512	infinite
0.0ms	1×	body	512	invalid

Compiler

Compiled 1199726 to 842496 computations (29.8% saved)

localize1.4min (1.7%)

Compiler: Compiled 154146 to 69266 computations (55.1% saved)

analyze1.1min (1.3%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.7%	0.1%	0%	0.2%	0%	2
5.7%	5.6%	93.3%	0.1%	0.2%	0.7%	0%	3
8.5%	8.3%	89.2%	0.1%	1.2%	1.2%	0%	4
16.6%	16.1%	80.8%	0.1%	1.6%	1.4%	0%	5
21.4%	20.4%	74.8%	0.1%	2.7%	2%	0%	6
30.2%	28.1%	64.9%	0.1%	4%	2.8%	0%	7
35.6%	32.7%	59.4%	0.1%	4.5%	3.3%	0%	8
41.9%	38%	52.7%	0.1%	5.4%	3.7%	0%	9
47.4%	42.3%	46.9%	0.1%	6.4%	4.3%	0%	10
52.3%	46.1%	42%	0.1%	7.1%	4.6%	0%	11
56.4%	49.2%	38.1%	0.1%	7.7%	4.9%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

preprocess52.8s (1.1%)

Algorithm

540×

egglog

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

end29.5s (0.6%)

Compiler: Compiled 76671 to 32484 computations (57.6% saved)

soundness64.0ms (0%)

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

Details

simplify32.3min (39.4%)

regimes9.3min (11.3%)

eval8.8min (10.8%)

sample7.7min (9.4%)

rewrite7.6min (9.3%)

prune6.2min (7.6%)

series4.2min (5.1%)

bsearch2.0min (2.4%)

localize1.4min (1.7%)

analyze1.1min (1.3%)

preprocess52.8s (1.1%)

end29.5s (0.6%)

soundness64.0ms (0%)

Profiling