Date:	Thursday, March 16th, 2023
Commit:	32647e2f on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023075
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

sample3.8min (38.2%)

Results

1.5min	37155×	body	2048	valid
1.4min	66365×	body	1024	valid
24.7s	90659×	body	256	valid
15.3s	34763×	body	512	valid
3.6s	1581×	body	1024	invalid
2.3s	2225×	body	4096	valid
1.5s	303×	body	2048	unsamplable
938.0ms	191×	body	1024	infinite
925.0ms	5807×	body	256	invalid
871.0ms	763×	body	512	invalid
698.0ms	1072×	body	256	unsamplable
475.0ms	3094×	body	256	infinite
262.0ms	420×	body	1024	unsamplable
208.0ms	232×	body	512	infinite
58.0ms	210×	body	512	unsamplable
3.0ms	5×	body	2048	infinite
2.0ms	2×	body	2048	invalid
2.0ms	1×	body	8192	valid

Bogosity

simplify2.0min (19.9%)

Algorithm

347×	egg-herbie

Rules

472902×	`rational.json-simplify-35`
350628×	`rational.json-simplify-2`
337958×	`rational.json-simplify-41`
299132×	`rational.json-simplify-51`
257428×	`rational.json-simplify-1`

Stop Event

3×	done
36×	saturated
25×	fuel
311×	node limit

Counts

34982 → 38002

Compiler

Compiled 4236 to 2909 computations (31.3% saved)

regimes60.0s (10%)

Counts

4497 → 351

Calls

43 calls:

22.8s	a
7.3s	c
5.0s	x
3.8s	b
2.4s	eps

Compiler

Compiled 54480 to 32156 computations (41% saved)

rewrite43.8s (7.3%)

Algorithm

291×	batch-egg-rewrite

Rules

431012×	`rational.json-1`
414466×	`rational.json-2`
404616×	`rational.json-3`
390520×	`rational.json-4`
370246×	`exponential.json-3`

Stop Event

291×	node limit

Counts

675 → 25139

eval39.9s (6.7%)

Compiler: Compiled 1098304 to 738947 computations (32.7% saved)

preprocess28.3s (4.7%)

Algorithm

56×	egg-herbie

Rules

135118×	`rational.json-simplify-41`
31224×	`rational.json-simplify-1`
24268×	`rational.json-simplify-35`
12984×	`rational.json-simplify-2`
12568×	`rational.json-simplify-51`

Stop Event

2×	unsound
33×	saturated
21×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

prune23.7s (4%)

Counts: 50614 → 1886
Compiler: Compiled 41792 to 30698 computations (26.5% saved)

localize18.5s (3.1%)

Compiler: Compiled 15134 to 9151 computations (39.5% saved)

bsearch17.2s (2.9%)

Algorithm

155×	binary-search
31×	left-value

Results

9.8s	14670×	body	256	valid
2.9s	3170×	body	1024	valid
2.5s	859×	body	2048	valid
802.0ms	1829×	body	512	valid
381.0ms	2113×	body	256	invalid
92.0ms	509×	body	256	infinite
4.0ms	20×	body	256	unsamplable

Compiler

Compiled 32392 to 24265 computations (25.1% saved)

analyze6.5s (1.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)

soundness5.9s (1%)

Algorithm

32×	egg-herbie

Rules

40726×	`rational.json-simplify-35`
31774×	`rational.json-simplify-2`
30730×	`rational.json-simplify-51`
22970×	`rational.json-simplify-1`
19086×	`rational.json-simplify-53`

Stop Event

1×	saturated
31×	node limit

Compiler

Compiled 3577 to 2481 computations (30.6% saved)

end4.6s (0.8%)

Compiler: Compiled 4227 to 2452 computations (42% saved)

series2.3s (0.4%)

Counts

675 → 9815

Calls

3015 calls:

Time	Variable		Point	Expression
462.0ms	n	@	0	(/.f64 n (-.f64 (log.f64 (+.f64 x 1)) (log.f64 x)))
242.0ms	b_2	@	inf	(*.f64 c (/.f64 1/2 b_2))
122.0ms	a	@	inf	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
122.0ms	a	@	-inf	(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
74.0ms	x	@	-inf	(+.f64 (+.f64 (-.f64 -1 (/.f64 (+.f64 (sin.f64 x) 1) 2)) (-.f64 1 (/.f64 (+.f64 (sin.f64 x) 1) 2))) (+.f64 1 (sin.f64 (+.f64 x eps))))

Details

sample3.8min (38.2%)

simplify2.0min (19.9%)

regimes60.0s (10%)

rewrite43.8s (7.3%)

eval39.9s (6.7%)

preprocess28.3s (4.7%)

prune23.7s (4%)

localize18.5s (3.1%)

bsearch17.2s (2.9%)

analyze6.5s (1.1%)

soundness5.9s (1%)

end4.6s (0.8%)

series2.3s (0.4%)

Profiling