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

sample4.9min (31.1%)

Results

1.4min	190406×	body	256	valid
1.1min	34271×	body	1024	valid
32.9s	83254×	body	256	invalid
23.8s	10971×	body	2048	valid
23.0s	16139×	body	512	valid
14.4s	6276×	body	1024	invalid
13.8s	29331×	body	256	infinite
7.1s	1004×	body	4096	infinite
6.8s	2909×	body	4096	valid
5.9s	4525×	body	1024	infinite
4.7s	978×	body	2048	infinite
3.8s	3333×	body	512	invalid
3.1s	1240×	body	8192	valid
1.8s	2540×	body	512	infinite
237.0ms	275×	body	256	unsamplable
25.0ms	18×	body	8192	exit

Bogosity

regimes2.3min (14.5%)

Counts

6042 → 839

Calls

152 calls:

12.1s	x
8.4s	l
8.1s	B
6.3s	F
5.0s	Ev

Compiler

Compiled 126674 to 72613 computations (42.7% saved)

simplify2.3min (14.4%)

Algorithm

473×	egg-herbie

Rules

354320×	`rational.json-simplify-47`
332796×	`rational.json-simplify-2`
300570×	`rational.json-simplify-54`
286954×	`rational.json-simplify-1`
240646×	`rational.json-simplify-43`

Stop Event

2×	done
52×	saturated
29×	fuel
421×	node limit

Counts

40066 → 39249

Compiler

Compiled 15907 to 10169 computations (36.1% saved)

eval1.9min (12.1%)

Compiler: Compiled 2929397 to 1834011 computations (37.4% saved)

rewrite1.2min (7.7%)

Algorithm

411×	batch-egg-rewrite

Rules

382712×	`rational.json-1`
382708×	`rational.json-3`
382708×	`rational.json-2`
382632×	`rational.json-4`
382400×	`rational.json-5`

Stop Event

411×	node limit

Counts

1094 → 15628

localize39.8s (4.2%)

Compiler: Compiled 49589 to 27971 computations (43.6% saved)

bsearch39.6s (4.2%)

Algorithm

532×	binary-search
58×	left-value

Results

18.2s	51582×	body	256	valid
9.8s	7909×	body	1024	valid
2.8s	3582×	body	512	valid
2.5s	4723×	body	256	invalid
1.1s	2204×	body	256	infinite
1.1s	875×	body	1024	invalid
460.0ms	490×	body	2048	valid
233.0ms	213×	body	4096	valid
203.0ms	459×	body	512	invalid
184.0ms	56×	body	512	infinite
133.0ms	16×	body	8192	valid
46.0ms	55×	body	1024	infinite
25.0ms	21×	body	2048	infinite

Compiler

Compiled 172665 to 132748 computations (23.1% saved)

prune35.1s (3.7%)

Counts: 58108 → 2231
Compiler: Compiled 97335 to 68289 computations (29.8% saved)

analyze27.3s (2.9%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
3.3%	3.2%	95%	1.8%	0%	0%	0%	1
4.2%	4%	92.6%	1.8%	0%	1.6%	0%	2
6.1%	5.6%	86.9%	1.8%	0.8%	4.8%	0%	3
8.2%	7.4%	83.1%	1.8%	0.8%	6.4%	0.4%	4
12.2%	11.1%	79.3%	1.8%	0.8%	6.4%	0.6%	5
15.1%	13.5%	75.8%	1.8%	1.6%	6.6%	0.7%	6
18.1%	15.7%	70.9%	1.8%	3.2%	7.3%	1.1%	7
21.3%	17.9%	66.4%	1.8%	4.1%	8.6%	1.2%	8
25.9%	21.5%	61.5%	1.8%	5%	8.9%	1.2%	9
28.4%	23%	58.1%	1.8%	6.5%	9.3%	1.3%	10
32.2%	25.7%	54%	1.8%	7.2%	9.9%	1.3%	11
34.4%	26.9%	51.4%	1.8%	8%	10.5%	1.4%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

soundness15.0s (1.6%)

Algorithm

68×	egg-herbie

Rules

46130×	`rational.json-simplify-1`
45316×	`rational.json-simplify-47`
42734×	`rational.json-simplify-2`
34034×	`rational.json-simplify-41`
32658×	`rational.json-simplify-43`

Stop Event

13×	saturated
55×	node limit

Compiler

Compiled 11679 to 7305 computations (37.5% saved)

end12.7s (1.3%)

Compiler: Compiled 15716 to 8848 computations (43.7% saved)

preprocess11.5s (1.2%)

Algorithm

62×	egg-herbie

Rules

19574×	`rational.json-simplify-41`
16354×	`rational.json-simplify-1`
15002×	`rational.json-simplify-2`
9334×	`rational.json-simplify-64`
8096×	`rational.json-simplify-43`

Stop Event

7×	unsound
42×	saturated
13×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

series10.2s (1.1%)

Counts

1094 → 24407

Calls

7458 calls:

Time	Variable		Point	Expression
216.0ms	l	@	0	(/.f64 (.f64 (pow.f64 l 2) (.f64 t 1/6)) (pow.f64 (*.f64 k t) 2))
187.0ms	Ec	@	0	(/.f64 NdChar (-.f64 (+.f64 (/.f64 mu KbT) (+.f64 (/.f64 EDonor KbT) (+.f64 (/.f64 Vef KbT) 2))) (/.f64 Ec KbT)))
185.0ms	t	@	0	(/.f64 (.f64 (pow.f64 k 2) (.f64 (pow.f64 (sin.f64 k) 2) t)) (*.f64 (cos.f64 k) (pow.f64 l 2)))
183.0ms	w	@	0	(/.f64 (.f64 w (.f64 h (pow.f64 (.f64 D M) 2))) (.f64 (pow.f64 d 2) c0))
182.0ms	Omc	@	inf	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))

Details

sample4.9min (31.1%)

regimes2.3min (14.5%)

simplify2.3min (14.4%)

eval1.9min (12.1%)

rewrite1.2min (7.7%)

localize39.8s (4.2%)

bsearch39.6s (4.2%)

prune35.1s (3.7%)

analyze27.3s (2.9%)

soundness15.0s (1.6%)

end12.7s (1.3%)

preprocess11.5s (1.2%)

series10.2s (1.1%)

Profiling