Date:	Wednesday, February 22nd, 2023
Commit:	5b1a5e90 on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023053
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.4min (61.9%)

Results

32.0s	36364×	body	2048	valid
28.7s	66653×	body	1024	valid
11.1s	91226×	body	256	valid
8.3s	34715×	body	512	valid
1.3s	2209×	body	4096	valid
1.2s	1495×	body	1024	invalid
817.0ms	5673×	body	256	invalid
396.0ms	2856×	body	256	infinite
377.0ms	714×	body	512	invalid
291.0ms	313×	body	2048	unsamplable
219.0ms	1099×	body	256	unsamplable
179.0ms	435×	body	1024	unsamplable
174.0ms	194×	body	1024	infinite
105.0ms	224×	body	512	infinite
67.0ms	237×	body	512	unsamplable
5.0ms	6×	body	2048	infinite
4.0ms	4×	body	2048	invalid
2.0ms	1×	body	8192	valid

Bogosity

simplify13.8s (10%)

Algorithm

248×	egg-herbie

Rules

73492×	`rational.json-simplify-1`
72612×	`rational.json-simplify-27`
53938×	`rational.json-simplify-41`
51494×	`rational.json-simplify-2`
46504×	`rational.json-simplify-40`

Stop Event

229×	saturated
8×	done
20×	fuel
19×	node limit

Counts

7875 → 7963

Compiler

Compiled 4465 to 3070 computations (31.2% saved)

regimes8.9s (6.4%)

Counts

1396 → 337

Calls

42 calls:

1.8s	x
1.7s	(/.f64 1 n)
1.1s	n
960.0ms	eps
758.0ms	c

Compiler

Compiled 17556 to 10532 computations (40% saved)

bsearch5.2s (3.8%)

Algorithm

136×	binary-search
70×	left-value

Results

1.6s	3186×	body	1024	valid
1.4s	10410×	body	256	valid
1.1s	1398×	body	2048	valid
735.0ms	2364×	body	512	valid
78.0ms	692×	body	256	invalid
67.0ms	367×	body	256	infinite
62.0ms	327×	body	256	unsamplable
1.0ms	3×	body	1024	unsamplable
1.0ms	2×	body	4096	valid

Compiler

Compiled 26807 to 20270 computations (24.4% saved)

eval4.9s (3.5%)

Compiler: Compiled 289926 to 184008 computations (36.5% saved)

localize4.7s (3.4%)

Compiler: Compiled 11741 to 7174 computations (38.9% saved)

analyze4.3s (3.1%)

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)

rewrite3.1s (2.2%)

Algorithm

192×	batch-egg-rewrite

Rules

57578×	`rational.json-simplify-33`
21408×	`rational.json-simplify-1`
18938×	`bool.json-1`
18786×	`rational.json-simplify-29`
16888×	`rational.json-2`

Stop Event

183×	saturated
9×	node limit

Counts

403 → 2424

prune2.5s (1.8%)

Counts: 10589 → 1045
Compiler: Compiled 25619 to 18645 computations (27.2% saved)

soundness2.4s (1.7%)

Algorithm

31×	egg-herbie

Rules

25570×	`rational.json-simplify-27`
22558×	`rational.json-simplify-40`
22150×	`rational.json-simplify-1`
19360×	`rational.json-simplify-2`
16848×	`rational.json-simplify-31`

Stop Event

23×	saturated
8×	node limit

Compiler

Compiled 3378 to 2326 computations (31.1% saved)

end1.9s (1.4%)

Compiler: Compiled 4501 to 2805 computations (37.7% saved)

series964.0ms (0.7%)

Counts

403 → 5423

Calls

1821 calls:

Time	Variable		Point	Expression
127.0ms	n	@	0	(/.f64 (-.f64 (log.f64 (+.f64 1 x)) (log.f64 x)) n)
30.0ms	n	@	0	(*.f64 n (log.f64 n))
18.0ms	x	@	0	(pow.f64 x (/.f64 1 n))
14.0ms	x	@	-inf	(pow.f64 x (/.f64 1 n))
14.0ms	n	@	0	(/.f64 (log.f64 (/.f64 1 x)) n)

preprocess229.0ms (0.2%)

Algorithm

56×	egg-herbie

Rules

3144×	`rational.json-simplify-31`
2472×	`rational.json-simplify-2`
1612×	`rational.json-simplify-27`
1464×	`rational.json-simplify-9`
1256×	`rational.json-simplify-41`

Stop Event

2×	unsound
54×	saturated

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.4min (61.9%)

simplify13.8s (10%)

regimes8.9s (6.4%)

bsearch5.2s (3.8%)

eval4.9s (3.5%)

localize4.7s (3.4%)

analyze4.3s (3.1%)

rewrite3.1s (2.2%)

prune2.5s (1.8%)

soundness2.4s (1.7%)

end1.9s (1.4%)

series964.0ms (0.7%)

preprocess229.0ms (0.2%)

Profiling