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

sample2.4min (51.2%)

Results

1.0min	439059×	body	256	valid
49.1s	7823×	body	8192	exit
11.8s	23555×	body	1024	valid
7.2s	14907×	body	1024	infinite
4.8s	29321×	body	256	infinite
3.8s	12534×	body	512	valid
1.9s	6657×	body	512	infinite
1.4s	2625×	body	2048	valid
883.0ms	4695×	body	256	invalid
548.0ms	4100×	body	256	unsamplable
502.0ms	1075×	body	4096	valid
216.0ms	208×	body	2048	infinite

Bogosity

simplify35.0s (12.4%)

Algorithm

485×	egg-herbie

Rules

188374×	`rational.json-simplify-31`
170548×	`rational.json-simplify-1`
170472×	`rational.json-simplify-33`
156900×	`rational.json-simplify-2`
138436×	`rational.json-simplify-27`

Stop Event

426×	saturated
34×	done
24×	fuel
59×	node limit

Counts

15455 → 20313

Compiler

Compiled 8125 to 5318 computations (34.5% saved)

eval29.5s (10.5%)

Compiler: Compiled 1609334 to 1126375 computations (30% saved)

localize20.1s (7.1%)

Compiler: Compiled 52602 to 33467 computations (36.4% saved)

regimes12.2s (4.3%)

Counts

2425 → 516

Calls

128 calls:

1000.0ms	beta
999.0ms	alpha
796.0ms	x.re
675.0ms	x
672.0ms	y.im

Compiler

Compiled 52267 to 35841 computations (31.4% saved)

prune7.5s (2.7%)

Counts: 27643 → 1785
Compiler: Compiled 80510 to 62979 computations (21.8% saved)

bsearch7.3s (2.6%)

Algorithm

273×	binary-search
14×	left-value

Results

4.5s	29089×	body	256	valid
658.0ms	1245×	body	2048	valid
426.0ms	1061×	body	1024	valid
414.0ms	644×	body	1024	infinite
305.0ms	1456×	body	256	infinite
194.0ms	484×	body	512	infinite
158.0ms	627×	body	512	valid
148.0ms	314×	body	4096	valid
27.0ms	23×	body	2048	infinite

Compiler

Compiled 60075 to 41522 computations (30.9% saved)

rewrite6.7s (2.4%)

Algorithm

369×	batch-egg-rewrite

Rules

136306×	`rational.json-simplify-33`
64496×	`rational.json-simplify-1`
46382×	`rational.json-simplify-2`
45786×	`bool.json-1`
45324×	`rational.json-simplify-31`

Stop Event

355×	saturated
14×	node limit

Counts

743 → 2808

analyze6.7s (2.4%)

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
7%	6%	80.3%	13.7%	0%	0%	0%	1
13.1%	11%	73.3%	13.7%	0%	1.7%	0.2%	2
23.6%	19.2%	62%	13.7%	0.5%	4.3%	0.3%	3
29.2%	23.2%	56.3%	13.7%	1.9%	4.5%	0.4%	4
41.4%	32.6%	46.2%	13.7%	2.4%	4.6%	0.4%	5
46.7%	36.2%	41.3%	13.7%	3.5%	4.9%	0.4%	6
54.8%	41.1%	33.8%	13.7%	5.2%	5.8%	0.4%	7
58.6%	43.6%	30.7%	13.7%	5.7%	5.9%	0.4%	8
63.7%	46.7%	26.6%	13.7%	6.7%	5.9%	0.4%	9
67.5%	48.8%	23.5%	13.7%	7.2%	6.4%	0.4%	10
70.8%	50.6%	20.9%	13.7%	7.9%	6.4%	0.4%	11
73.3%	52.2%	19%	13.7%	8.3%	6.4%	0.4%	12

Compiler

Compiled 1558 to 994 computations (36.2% saved)

end4.0s (1.4%)

Compiler: Compiled 8420 to 4926 computations (41.5% saved)

series3.9s (1.4%)

Counts

743 → 12589

Calls

3588 calls:

Time	Variable		Point	Expression
281.0ms	x.im	@	0	(sin.f64 (+.f64 (.f64 (log.f64 x.im) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))
105.0ms	x	@	inf	(log.f32 (+.f32 (fabs.f32 x) 1))
93.0ms	alpha	@	inf	(+.f64 (/.f64 (-.f64 (-.f64 beta alpha) (.f64 2 i)) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) 2)) 1)
56.0ms	y.re	@	0	(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
50.0ms	x.re	@	-inf	(cos.f64 (+.f64 (.f64 (log.f64 x.re) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))

soundness3.5s (1.2%)

Algorithm

62×	egg-herbie

Rules

43814×	`rational.json-simplify-33`
38572×	`rational.json-simplify-1`
23164×	`rational.json-simplify-31`
22644×	`rational.json-simplify-2`
21700×	`rational.json-simplify-27`

Stop Event

51×	saturated
11×	node limit

Compiler

Compiled 8514 to 5088 computations (40.2% saved)

preprocess1.1s (0.4%)

Algorithm

116×	egg-herbie

Rules

13146×	`rational.json-simplify-33`
12260×	`rational.json-simplify-31`
10122×	`rational.json-simplify-1`
9632×	`rational.json-simplify-29`
9184×	`rational.json-simplify-2`

Stop Event

100×	saturated
13×	unsound
3×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Details

sample2.4min (51.2%)

simplify35.0s (12.4%)

eval29.5s (10.5%)

localize20.1s (7.1%)

regimes12.2s (4.3%)

prune7.5s (2.7%)

bsearch7.3s (2.6%)

rewrite6.7s (2.4%)

analyze6.7s (2.4%)

end4.0s (1.4%)

series3.9s (1.4%)

soundness3.5s (1.2%)

preprocess1.1s (0.4%)

Profiling