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

sample1.6min (32.3%)

Results

30.3s	27910×	body	1024	valid
26.3s	113186×	body	256	valid
15.7s	3238×	body	8192	exit
8.8s	4878×	body	1024	invalid
5.4s	1567×	body	2048	valid
4.3s	14201×	body	512	valid
912.0ms	3366×	body	256	infinite
773.0ms	2436×	body	512	invalid
459.0ms	2859×	body	256	invalid
173.0ms	162×	body	256	unsamplable
100.0ms	226×	body	1024	infinite
61.0ms	213×	body	512	infinite
4.0ms	3×	body	4096	invalid
3.0ms	5×	body	2048	invalid

Bogosity

simplify56.8s (19.6%)

Algorithm

182×	egg-herbie

Rules

218046×	`rational.json-simplify-35`
167020×	`rational.json-simplify-41`
167008×	`rational.json-simplify-2`
132086×	`rational.json-simplify-51`
118476×	`rational.json-simplify-1`

Stop Event

24×	saturated
8×	done
11×	fuel
158×	node limit

Counts

22045 → 23000

Compiler

Compiled 1215 to 778 computations (36% saved)

prune31.0s (10.7%)

Counts: 28248 → 1189
Compiler: Compiled 32448 to 21727 computations (33% saved)

eval24.7s (8.5%)

Compiler: Compiled 589498 to 297257 computations (49.6% saved)

analyze23.6s (8.2%)

Algorithm

19×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	72.3%	27.7%	0%	0%	0%	0
9.1%	6.6%	65.7%	27.7%	0%	0%	0%	1
10.9%	7.9%	64.4%	27.7%	0%	0%	0%	2
32.8%	23.7%	48.6%	27.7%	0%	0%	0%	3
42.8%	30.9%	41.4%	27.7%	0%	0%	0%	4
48.9%	34.9%	36.5%	27.7%	0%	1%	0%	5
53.3%	37.5%	32.9%	27.7%	0.5%	1.2%	0.3%	6
58.9%	41%	28.7%	27.7%	0.6%	1.7%	0.3%	7
62.4%	43.1%	26%	27.7%	0.9%	1.8%	0.5%	8
65.8%	45.2%	23.5%	27.7%	0.9%	2.2%	0.5%	9
69.2%	47.3%	21%	27.7%	1.1%	2.3%	0.6%	10
71.3%	48.5%	19.5%	27.7%	1.3%	2.5%	0.6%	11
73.2%	49.6%	18.2%	27.7%	1.4%	2.5%	0.6%	12

Compiler

Compiled 288 to 205 computations (28.8% saved)

rewrite21.0s (7.2%)

Algorithm

144×	batch-egg-rewrite

Rules

222038×	`rational.json-1`
216866×	`rational.json-2`
208366×	`rational.json-3`
201760×	`rational.json-4`
182776×	`exponential.json-3`

Stop Event

144×	node limit

Counts

337 → 14738

localize10.5s (3.6%)

Compiler: Compiled 6302 to 2860 computations (54.6% saved)

regimes8.9s (3.1%)

Counts

1694 → 111

Calls

49 calls:

1.9s	a
1.9s	r
1.7s	b
424.0ms	x
300.0ms	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))

Compiler

Compiled 21018 to 10401 computations (50.5% saved)

preprocess8.0s (2.8%)

Algorithm

38×	egg-herbie

Rules

43976×	`rational.json-simplify-41`
19650×	`rational.json-simplify-1`
17096×	`rational.json-simplify-35`
11334×	`rational.json-simplify-2`
7642×	`rational.json-simplify-51`

Stop Event

3×	unsound
21×	saturated
14×	node limit

Compiler

Compiled 214 to 157 computations (26.6% saved)

soundness6.5s (2.3%)

Algorithm

29×	egg-herbie

Rules

35312×	`rational.json-simplify-35`
30734×	`rational.json-simplify-2`
30248×	`rational.json-simplify-41`
29388×	`rational.json-simplify-1`
26184×	`rational.json-simplify-51`

Stop Event

1×	saturated
28×	node limit

Compiler

Compiled 1459 to 833 computations (42.9% saved)

bsearch2.7s (0.9%)

Algorithm

44×	binary-search
3×	left-value

Results

1.3s	1130×	body	1024	valid
659.0ms	4067×	body	256	valid
338.0ms	545×	body	512	valid
221.0ms	767×	body	256	invalid
62.0ms	83×	body	2048	valid
8.0ms	51×	body	256	infinite
4.0ms	6×	body	1024	infinite
2.0ms	8×	body	512	infinite

Compiler

Compiled 8188 to 6074 computations (25.8% saved)

series1.2s (0.4%)

Counts

337 → 7288

Calls

1944 calls:

Time	Variable		Point	Expression
111.0ms	lo	@	-inf	(+.f64 (neg.f64 (/.f64 (-.f64 x lo) lo)) (*.f64 hi (-.f64 (/.f64 1 lo) (/.f64 x (pow.f64 lo 2)))))
76.0ms	r	@	0	(*.f64 (/.f64 (sin.f64 a) r) (neg.f64 b))
59.0ms	x	@	inf	(+.f64 -1 (-.f64 1 (/.f64 (fmod.f64 (exp.f64 x) 1) (neg.f64 (exp.f64 x)))))
43.0ms	w	@	-inf	(log.f64 (pow.f64 l w))
40.0ms	x	@	-inf	(*.f64 x (pow.f64 s 2))

end920.0ms (0.3%)

Compiler: Compiled 1250 to 622 computations (50.2% saved)

Details

sample1.6min (32.3%)

simplify56.8s (19.6%)

prune31.0s (10.7%)

eval24.7s (8.5%)

analyze23.6s (8.2%)

rewrite21.0s (7.2%)

localize10.5s (3.6%)

regimes8.9s (3.1%)

preprocess8.0s (2.8%)

soundness6.5s (2.3%)

bsearch2.7s (0.9%)

series1.2s (0.4%)

end920.0ms (0.3%)

Profiling