Date:	Saturday, March 18th, 2023
Commit:	b6070fe6 on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023077
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

sample49.2min (28.2%)

Results

19.5min	3843995×	body	256	valid
6.8min	300814×	body	1024	valid
5.1min	28545×	body	8192	exit
4.1min	100086×	body	2048	valid
3.6min	446074×	body	256	infinite
2.2min	15942×	body	4096	valid
2.2min	163567×	body	512	valid
1.9min	266971×	body	256	invalid
57.2s	2677×	body	8192	valid
53.3s	34628×	body	1024	infinite
25.3s	15135×	body	1024	invalid
21.7s	1862×	body	4096	infinite
17.0s	2378×	body	2048	infinite
16.9s	18822×	body	512	infinite
7.9s	20446×	body	256	unsamplable
6.4s	8292×	body	512	invalid
2.8s	1163×	body	2048	invalid
1.6s	2846×	body	256	precondition
1.3s	34×	body	8192	infinite
435.0ms	309×	body	2048	unsamplable
383.0ms	460×	body	1024	unsamplable
213.0ms	230×	body	512	unsamplable
8.0ms	3×	body	4096	invalid
4.0ms	1×	body	8192	invalid

Bogosity

eval26.5min (15.2%)

Results

Compiler

Compiled 44615450 to 24501505 computations (45.1% saved)

simplify25.1min (14.4%)

Algorithm

6135×

egg-herbie

Rules

4235292×	`rational.json-simplify-2`
4167390×	`rational.json-simplify-47`
3587170×	`rational.json-simplify-54`
3553506×	`rational.json-simplify-1`
2944004×	`rational.json-simplify-49`

Stop Event

127×	done
982×	saturated
403×	fuel
5153×	node limit

Counts

458874 → 443431

Compiler

Compiled 133408 to 81938 computations (38.6% saved)

regimes24.2min (13.9%)

Counts

60044 → 9388

Calls

1146 calls:

3.1min	x
2.6min	y
2.3min	z
2.0min	t
1.9min	a

Results

Compiler

Compiled 1459968 to 789392 computations (45.9% saved)

rewrite14.0min (8%)

Algorithm

5071×

batch-egg-rewrite

Rules

5019954×	`rational.json-5`
5014784×	`rational.json-1`
5014776×	`rational.json-2`
5014716×	`rational.json-3`
5011912×	`rational.json-4`

Stop Event

5071×

node limit

Counts

11634 → 198756

Results

prune9.5min (5.4%)

Counts

773994 → 30235

Results

Compiler

Compiled 1470735 to 958758 computations (34.8% saved)

localize7.9min (4.5%)

Compiler: Compiled 576608 to 299463 computations (48.1% saved)

bsearch5.7min (3.3%)

Algorithm

506×	left-value
5870×	binary-search

Results

3.6min	657601×	body	256	valid
41.4s	28452×	body	1024	valid
14.3s	19324×	body	512	valid
11.8s	6150×	body	2048	valid
8.2s	26394×	body	256	infinite
7.1s	21840×	body	256	invalid
3.3s	998×	body	4096	valid
2.4s	1005×	body	1024	infinite
1.1s	883×	body	1024	invalid
691.0ms	396×	body	512	infinite
580.0ms	574×	body	512	invalid
513.0ms	65×	body	2048	infinite
493.0ms	32×	body	4096	infinite
154.0ms	17×	body	8192	valid
51.0ms	164×	body	256	unsamplable
1.0ms	1×	body	2048	invalid

Compiler

Compiled 1440605 to 1061220 computations (26.3% saved)

analyze5.6min (3.2%)

Algorithm

539×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.7%	13.3%	0%	0%	0%	0
2.4%	2.1%	84.7%	13.3%	0%	0%	0%	1
3.6%	3.1%	83%	13.3%	0%	0.6%	0%	2
11.5%	9.8%	74.8%	13.3%	0.3%	1.8%	0%	3
15.9%	13.2%	69.8%	13.3%	1.2%	2.3%	0.2%	4
23.9%	19.7%	62.6%	13.3%	1.6%	2.7%	0.2%	5
28.6%	23.1%	57.7%	13.3%	2.5%	3.1%	0.3%	6
36%	28.4%	50.5%	13.3%	3.5%	3.9%	0.3%	7
40.5%	31.6%	46.4%	13.3%	4%	4.2%	0.4%	8
46%	35.4%	41.5%	13.3%	4.7%	4.6%	0.4%	9
50.6%	38.3%	37.4%	13.3%	5.4%	5%	0.4%	10
54.8%	41.1%	33.9%	13.3%	5.9%	5.3%	0.4%	11
58.2%	43.3%	31%	13.3%	6.4%	5.6%	0.5%	12

Compiler

Compiled 11861 to 8220 computations (30.7% saved)

soundness2.4min (1.4%)

Algorithm

622×	egg-herbie

Rules

385632×	`rational.json-simplify-2`
357740×	`rational.json-simplify-1`
349628×	`rational.json-simplify-47`
323278×	`rational.json-simplify-54`
280750×	`rational.json-simplify-41`

Stop Event

171×	saturated
451×	node limit

Compiler

Compiled 66860 to 40388 computations (39.6% saved)

end2.0min (1.1%)

Compiler: Compiled 132565 to 69057 computations (47.9% saved)

series1.5min (0.9%)

Counts

11635 → 259595

Calls

71139 calls:

Time	Variable		Point	Expression
541.0ms	x	@	0	(*.f64 x (log.f64 y))
510.0ms	x	@	0	(*.f64 (log.f64 y) x)
330.0ms	s	@	0	(.f32 s (log.f32 (/.f32 1 (-.f32 1 (.f32 4 u)))))
310.0ms	w	@	-inf	(pow.f64 (pow.f64 l (exp.f64 (+.f64 w w))) (exp.f64 (neg.f64 w)))
298.0ms	x	@	inf	(/.f64 1 (*.f64 z x))

preprocess1.0min (0.6%)

Algorithm

1070×

egg-herbie

Rules

130438×	`rational.json-simplify-41`
119516×	`rational.json-simplify-1`
91886×	`rational.json-simplify-2`
59854×	`rational.json-simplify-64`
58804×	`trig.json-simplify-41`

Stop Event

888×	saturated
94×	unsound
88×	node limit

Compiler

Compiled 11087 to 7961 computations (28.2% saved)

Details

sample49.2min (28.2%)

eval26.5min (15.2%)

simplify25.1min (14.4%)

regimes24.2min (13.9%)

rewrite14.0min (8%)

prune9.5min (5.4%)

localize7.9min (4.5%)

bsearch5.7min (3.3%)

analyze5.6min (3.2%)

soundness2.4min (1.4%)

end2.0min (1.1%)

series1.5min (0.9%)

preprocess1.0min (0.6%)

Profiling