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

sample1.7min (31.4%)

Results

26.3s	113249×	body	256	valid
25.7s	3211×	body	8192	exit
25.3s	27998×	body	1024	valid
9.5s	5049×	body	1024	invalid
8.8s	14000×	body	512	valid
1.7s	1617×	body	2048	valid
994.0ms	3360×	body	256	infinite
723.0ms	2408×	body	512	invalid
655.0ms	2911×	body	256	invalid
282.0ms	242×	body	1024	infinite
70.0ms	239×	body	512	infinite
26.0ms	154×	body	256	unsamplable
5.0ms	8×	body	2048	invalid

Bogosity

simplify1.3min (24.8%)

Algorithm

191×	egg-herbie

Rules

234222×	`rational.json-simplify-35`
188254×	`rational.json-simplify-2`
179700×	`rational.json-simplify-41`
158106×	`rational.json-simplify-51`
135278×	`rational.json-simplify-1`

Stop Event

24×	saturated
7×	done
12×	fuel
167×	node limit

Counts

22844 → 23648

Compiler

Compiled 1328 to 853 computations (35.8% saved)

eval33.5s (10.4%)

Compiler: Compiled 681465 to 338045 computations (50.4% saved)

rewrite24.7s (7.7%)

Algorithm

153×	batch-egg-rewrite

Rules

231252×	`rational.json-1`
223580×	`rational.json-2`
217770×	`rational.json-3`
210604×	`rational.json-4`
190826×	`exponential.json-3`

Stop Event

153×	node limit

Counts

359 → 15152

prune23.8s (7.4%)

Counts: 30347 → 1213
Compiler: Compiled 32503 to 21970 computations (32.4% saved)

analyze23.2s (7.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)

preprocess8.4s (2.6%)

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)

regimes8.2s (2.5%)

Counts

1900 → 120

Calls

49 calls:

1.4s	b
1.2s	a
1.1s	r
952.0ms	(sqrt.f64 (.f64 2 (.f64 x x)))
811.0ms	x

Compiler

Compiled 22418 to 11492 computations (48.7% saved)

localize7.3s (2.3%)

Compiler: Compiled 6942 to 3194 computations (54% saved)

soundness4.8s (1.5%)

Algorithm

24×	egg-herbie

Rules

29258×	`rational.json-simplify-35`
25894×	`rational.json-simplify-51`
25670×	`rational.json-simplify-41`
25156×	`rational.json-simplify-2`
22348×	`rational.json-simplify-1`

Stop Event

1×	saturated
23×	node limit

Compiler

Compiled 1214 to 786 computations (35.3% saved)

series2.5s (0.8%)

Counts

359 → 7673

Calls

2094 calls:

Time	Variable		Point	Expression
505.0ms	w	@	-inf	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (+.f64 (log.f64 l) (.f64 (log.f64 l) (+.f64 w (*.f64 (pow.f64 w 2) 1/2))))))
222.0ms	r	@	0	(*.f64 (sin.f64 b) r)
161.0ms	c	@	-inf	(pow.f64 (*.f64 c x) 2)
121.0ms	l	@	-inf	(pow.f64 l (exp.f64 w))
108.0ms	b	@	0	(/.f64 1 (cos.f64 (+.f64 b a)))

bsearch2.3s (0.7%)

Algorithm

46×	binary-search
1×	left-value

Results

971.0ms	1043×	body	1024	valid
788.0ms	3780×	body	256	valid
279.0ms	508×	body	512	valid
38.0ms	235×	body	256	infinite
36.0ms	51×	body	2048	valid
16.0ms	199×	body	256	invalid
14.0ms	32×	body	1024	infinite
13.0ms	46×	body	512	infinite

Compiler

Compiled 7473 to 5411 computations (27.6% saved)

end2.1s (0.7%)

Compiler: Compiled 1387 to 678 computations (51.1% saved)

Details

sample1.7min (31.4%)

simplify1.3min (24.8%)

eval33.5s (10.4%)

rewrite24.7s (7.7%)

prune23.8s (7.4%)

analyze23.2s (7.2%)

preprocess8.4s (2.6%)

regimes8.2s (2.5%)

localize7.3s (2.3%)

soundness4.8s (1.5%)

series2.5s (0.8%)

bsearch2.3s (0.7%)

end2.1s (0.7%)

Profiling