Date:	Friday, April 7th, 2023
Commit:	eea3080f on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023097
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

sample2.2min (38.9%)

Results

46.1s	66166×	body	1024	valid
45.8s	36828×	body	2048	valid
16.7s	90986×	body	256	valid
15.1s	34962×	body	512	valid
2.8s	1529×	body	1024	invalid
1.9s	2225×	body	4096	valid
1.2s	753×	body	512	invalid
1.0s	3126×	body	256	infinite
998.0ms	5742×	body	256	invalid
307.0ms	1096×	body	256	unsamplable
281.0ms	424×	body	1024	unsamplable
221.0ms	338×	body	2048	unsamplable
193.0ms	208×	body	1024	infinite
107.0ms	220×	body	512	infinite
68.0ms	240×	body	512	unsamplable
5.0ms	4×	body	2048	invalid
2.0ms	1×	body	8192	valid
2.0ms	3×	body	2048	infinite

Bogosity

simplify1.1min (19.4%)

Algorithm

337×	egg-herbie

Rules

225366×	`rational_best-simplify-2`
218426×	`rational_best-simplify-43`
213628×	`rational_best-simplify-1`
122408×	`rational_best-simplify-54`
111970×	`rational_best-simplify-53`

Stop Event

143×	saturated
5×	done
23×	fuel
194×	node limit

Counts

26213 → 30740

Compiler

Compiled 4608 to 3101 computations (32.7% saved)

rewrite38.6s (11.3%)

Algorithm

281×	batch-egg-rewrite

Rules

273236×	`rational_best-1`
260264×	`rational_best-2`
242998×	`rational_best-3`
228152×	`rational_best-4`
214850×	`exponential-1`

Stop Event

80×	saturated
201×	node limit

Counts

692 → 16979

eval27.7s (8.1%)

Compiler: Compiled 1045364 to 626132 computations (40.1% saved)

regimes21.7s (6.3%)

Counts

3794 → 359

Calls

43 calls:

4.9s	x
3.6s	c
3.4s	a
2.6s	eps
948.0ms	b_2

Compiler

Compiled 50455 to 25841 computations (48.8% saved)

prune18.1s (5.3%)

Counts: 41445 → 1909
Compiler: Compiled 50827 to 35147 computations (30.8% saved)

localize9.8s (2.9%)

Compiler: Compiled 15139 to 8689 computations (42.6% saved)

bsearch7.2s (2.1%)

Algorithm

173×	binary-search
27×	left-value

Results

2.6s	16257×	body	256	valid
1.6s	3598×	body	1024	valid
825.0ms	571×	body	2048	valid
792.0ms	2630×	body	512	valid
332.0ms	342×	body	256	infinite
294.0ms	1334×	body	256	invalid
234.0ms	659×	body	256	unsamplable
2.0ms	5×	body	1024	unsamplable
0.0ms	1×	body	512	infinite
0.0ms	1×	body	512	unsamplable

Compiler

Compiled 39765 to 29666 computations (25.4% saved)

analyze6.2s (1.8%)

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)

soundness6.0s (1.7%)

Algorithm

33×	egg-herbie

Rules

26898×	`rational_best-simplify-2`
22220×	`rational_best-simplify-1`
14202×	`rational_best-simplify-43`
14130×	`rational_best-simplify-44`
12566×	`rational_best-simplify-53`

Stop Event

9×	saturated
24×	node limit

Compiler

Compiled 3542 to 1984 computations (44% saved)

series3.6s (1%)

Counts

692 → 9206

Calls

3096 calls:

Time	Variable		Point	Expression
236.0ms	x	@	-inf	(/.f64 (exp.f64 (/.f64 (log.f64 (/.f64 1 x)) (neg.f64 n))) (*.f64 x n))
214.0ms	x	@	inf	(-.f64 1 (pow.f64 x (/.f64 1 n)))
214.0ms	x	@	-inf	(-.f64 (.f64 x 4) (.f64 x 3))
202.0ms	x	@	0	(-.f64 1 (pow.f64 x (/.f64 1 n)))
187.0ms	N	@	0	(/.f64 -3 (pow.f64 N 2))

end3.5s (1%)

Compiler: Compiled 4586 to 2607 computations (43.2% saved)

preprocess654.0ms (0.2%)

Algorithm

56×	egg-herbie

Rules

2418×	`rational_best-simplify-55`
2150×	`rational_best-simplify-47`
1978×	`rational_best-simplify-44`
1912×	`rational_best-simplify-1`
1674×	`rational_best-simplify-42`

Stop Event

2×	unsound
52×	saturated
2×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample2.2min (38.9%)

simplify1.1min (19.4%)

rewrite38.6s (11.3%)

eval27.7s (8.1%)

regimes21.7s (6.3%)

prune18.1s (5.3%)

localize9.8s (2.9%)

bsearch7.2s (2.1%)

analyze6.2s (1.8%)

soundness6.0s (1.7%)

series3.6s (1%)

end3.5s (1%)

preprocess654.0ms (0.2%)

Profiling