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

sample1.5min (28.5%)

Results

27.1s	112893×	body	256	valid
25.1s	28045×	body	1024	valid
16.2s	3171×	body	8192	exit
8.5s	14299×	body	512	valid
5.1s	4862×	body	1024	invalid
2.3s	1627×	body	2048	valid
1.4s	3258×	body	256	infinite
1.0s	2424×	body	512	invalid
812.0ms	2896×	body	256	invalid
208.0ms	206×	body	1024	infinite
136.0ms	237×	body	512	infinite
63.0ms	180×	body	256	unsamplable
8.0ms	3×	body	4096	invalid
4.0ms	1×	body	8192	invalid
4.0ms	3×	body	2048	invalid

Bogosity

simplify54.1s (17.4%)

Algorithm

210×	egg-herbie

Rules

148624×	`rational.json-simplify-2`
130624×	`rational.json-simplify-47`
129138×	`rational.json-simplify-1`
120210×	`rational.json-simplify-54`
100090×	`rational.json-simplify-41`

Stop Event

6×	done
32×	saturated
13×	fuel
178×	node limit

Counts

14426 → 13669

Compiler

Compiled 1232 to 872 computations (29.2% saved)

eval38.2s (12.3%)

Compiler: Compiled 1184085 to 534920 computations (54.8% saved)

prune28.0s (9%)

Counts: 23531 → 1106
Compiler: Compiled 50857 to 25782 computations (49.3% saved)

rewrite27.1s (8.7%)

Algorithm

172×	batch-egg-rewrite

Rules

172666×	`rational.json-5`
172626×	`rational.json-2`
172626×	`rational.json-1`
172612×	`rational.json-3`
172544×	`rational.json-4`

Stop Event

172×	node limit

Counts

386 → 7235

analyze22.6s (7.2%)

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)

localize18.8s (6%)

Compiler: Compiled 12939 to 6422 computations (50.4% saved)

soundness15.4s (4.9%)

Algorithm

21×	egg-herbie

Rules

14124×	`rational.json-simplify-1`
13400×	`rational.json-simplify-47`
12070×	`rational.json-simplify-54`
11560×	`rational.json-simplify-2`
11050×	`rational.json-simplify-111`

Stop Event

3×	saturated
18×	node limit

Compiler

Compiled 1909 to 1306 computations (31.6% saved)

regimes8.6s (2.8%)

Counts

1319 → 101

Calls

51 calls:

1.3s	x
862.0ms	a
679.0ms	b
448.0ms	r
432.0ms	z

Compiler

Compiled 43459 to 13751 computations (68.4% saved)

preprocess3.7s (1.2%)

Algorithm

38×	egg-herbie

Rules

9708×	`rational.json-simplify-1`
8368×	`rational.json-simplify-41`
4712×	`rational.json-simplify-64`
4134×	`trig.json-simplify-41`
4028×	`rational.json-simplify-2`

Stop Event

3×	unsound
29×	saturated
6×	node limit

Compiler

Compiled 214 to 157 computations (26.6% saved)

series2.7s (0.9%)

Counts

386 → 7172

Calls

1992 calls:

Time	Variable		Point	Expression
310.0ms	w	@	-inf	(pow.f64 (pow.f64 l (exp.f64 (+.f64 w w))) (exp.f64 (neg.f64 w)))
151.0ms	l	@	inf	(pow.f64 l (exp.f64 w))
120.0ms	x	@	inf	(*.f64 (fmod.f64 (exp.f64 x) 1) (-.f64 1 x))
117.0ms	x	@	0	(/.f64 (/.f64 1 (/.f64 (-.f64 x lo) hi)) (*.f64 (/.f64 (-.f64 x lo) hi) (/.f64 (-.f64 x lo) hi)))
117.0ms	l	@	-inf	(pow.f64 (pow.f64 l (exp.f64 (+.f64 w w))) (exp.f64 (neg.f64 w)))

bsearch1.8s (0.6%)

Algorithm

32×	binary-search
3×	left-value

Results

930.0ms	3590×	body	256	valid
317.0ms	369×	body	1024	valid
99.0ms	182×	body	512	valid
69.0ms	53×	body	2048	valid
35.0ms	143×	body	256	infinite
23.0ms	187×	body	256	invalid

Compiler

Compiled 4778 to 3634 computations (23.9% saved)

end1.5s (0.5%)

Compiler: Compiled 1326 to 803 computations (39.4% saved)

Details

sample1.5min (28.5%)

simplify54.1s (17.4%)

eval38.2s (12.3%)

prune28.0s (9%)

rewrite27.1s (8.7%)

analyze22.6s (7.2%)

localize18.8s (6%)

soundness15.4s (4.9%)

regimes8.6s (2.8%)

preprocess3.7s (1.2%)

series2.7s (0.9%)

bsearch1.8s (0.6%)

end1.5s (0.5%)

Profiling