Date:	Wednesday, March 15th, 2023
Commit:	32647e2f on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023074
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.8min (24.1%)

Results

51.9s	190435×	body	256	valid
30.8s	34186×	body	1024	valid
21.6s	84258×	body	256	invalid
10.0s	11037×	body	2048	valid
9.6s	28980×	body	256	infinite
8.3s	16115×	body	512	valid
7.3s	4402×	body	1024	infinite
6.5s	982×	body	4096	infinite
5.1s	2919×	body	4096	valid
4.9s	6124×	body	1024	invalid
3.6s	967×	body	2048	infinite
2.4s	1244×	body	8192	valid
1.6s	3201×	body	512	invalid
1.0s	2597×	body	512	infinite
66.0ms	277×	body	256	unsamplable
10.0ms	12×	body	8192	exit
1.0ms	1×	body	2048	invalid

Bogosity

regimes1.9min (16.9%)

Counts

8562 → 933

Calls

152 calls:

11.3s	l
7.6s	x
6.7s	t
5.4s	Vef
5.2s	M

Compiler

Compiled 149514 to 83628 computations (44.1% saved)

simplify1.9min (16.7%)

Algorithm

493×	egg-herbie

Rules

591360×	`rational.json-simplify-35`
458642×	`rational.json-simplify-2`
393514×	`rational.json-simplify-51`
341460×	`rational.json-simplify-41`
314880×	`rational.json-simplify-1`

Stop Event

3×	done
1×	unsound
35×	saturated
28×	fuel
457×	node limit

Counts

66790 → 71634

Compiler

Compiled 16242 to 10328 computations (36.4% saved)

eval1.4min (12%)

Compiler: Compiled 3024484 to 1918417 computations (36.6% saved)

rewrite46.9s (6.8%)

Algorithm

431×	batch-egg-rewrite

Rules

654542×	`rational.json-1`
639062×	`rational.json-2`
626728×	`rational.json-3`
609464×	`rational.json-4`
561240×	`exponential.json-3`

Stop Event

431×	node limit

Counts

1176 → 38093

bsearch46.1s (6.7%)

Algorithm

594×	binary-search
54×	left-value

Results

14.6s	59285×	body	256	valid
10.3s	8978×	body	1024	valid
4.6s	162×	body	4096	infinite
4.0s	12901×	body	256	invalid
2.7s	3890×	body	512	valid
2.6s	6961×	body	256	infinite
1.9s	1354×	body	2048	valid
1.8s	567×	body	4096	valid
749.0ms	241×	body	2048	infinite
353.0ms	243×	body	1024	infinite
275.0ms	164×	body	512	infinite
220.0ms	440×	body	1024	invalid
49.0ms	191×	body	512	invalid
24.0ms	22×	body	8192	valid

Compiler

Compiled 186425 to 141347 computations (24.2% saved)

prune41.5s (6%)

Counts: 91341 → 2662
Compiler: Compiled 96691 to 68257 computations (29.4% saved)

localize21.4s (3.1%)

Compiler: Compiled 40369 to 21178 computations (47.5% saved)

soundness15.7s (2.3%)

Algorithm

98×	egg-herbie

Rules

133854×	`rational.json-simplify-35`
97236×	`rational.json-simplify-51`
89236×	`rational.json-simplify-2`
71532×	`rational.json-simplify-1`
66918×	`rational.json-simplify-41`

Stop Event

98×	node limit

Compiler

Compiled 16252 to 9351 computations (42.5% saved)

analyze14.9s (2.2%)

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)

end8.8s (1.3%)

Compiler: Compiled 16145 to 8897 computations (44.9% saved)

series7.7s (1.1%)

Counts

1176 → 28666

Calls

8763 calls:

Time	Variable		Point	Expression
580.0ms	n	@	0	(/.f64 (pow.f64 (.f64 2 (PI.f64)) (.f64 1/2 (-.f64 1 k))) (/.f64 (sqrt.f64 k) (pow.f64 n (*.f64 1/2 (-.f64 1 k)))))
197.0ms	V	@	inf	(sqrt.f64 (/.f64 (/.f64 A V) l))
194.0ms	p	@	-inf	(+.f64 1 (/.f64 x (+.f64 (*.f64 2 (/.f64 (pow.f64 p 2) x)) x)))
177.0ms	M	@	-inf	(.f64 (cos.f64 M) (exp.f64 (.f64 -1/4 (pow.f64 n 2))))
150.0ms	l	@	-inf	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

preprocess5.2s (0.8%)

Algorithm

62×	egg-herbie

Rules

39644×	`rational.json-simplify-41`
33936×	`rational.json-simplify-35`
27602×	`rational.json-simplify-51`
24264×	`rational.json-simplify-2`
23912×	`rational.json-simplify-1`

Stop Event

7×	unsound
24×	saturated
31×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Details

sample2.8min (24.1%)

regimes1.9min (16.9%)

simplify1.9min (16.7%)

eval1.4min (12%)

rewrite46.9s (6.8%)

bsearch46.1s (6.7%)

prune41.5s (6%)

localize21.4s (3.1%)

soundness15.7s (2.3%)

analyze14.9s (2.2%)

end8.8s (1.3%)

series7.7s (1.1%)

preprocess5.2s (0.8%)

Profiling