Date:	Tuesday, March 14th, 2023
Commit:	32647e2f on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023073
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.7min (37.9%)

Results

1.3min	36600×	body	2048	valid
1.3min	65970×	body	1024	valid
30.0s	91081×	body	256	valid
21.2s	35365×	body	512	valid
4.5s	1467×	body	1024	invalid
1.7s	2151×	body	4096	valid
820.0ms	1123×	body	256	unsamplable
729.0ms	5633×	body	256	invalid
635.0ms	2903×	body	256	infinite
462.0ms	759×	body	512	invalid
379.0ms	275×	body	2048	unsamplable
355.0ms	169×	body	1024	infinite
332.0ms	461×	body	1024	unsamplable
149.0ms	247×	body	512	infinite
64.0ms	233×	body	512	unsamplable
9.0ms	8×	body	2048	invalid
3.0ms	3×	body	2048	infinite
2.0ms	1×	body	8192	valid

Bogosity

simplify1.7min (16.9%)

Algorithm

353×	egg-herbie

Rules

451690×	`rational.json-simplify-35`
334004×	`rational.json-simplify-2`
326386×	`rational.json-simplify-41`
270136×	`rational.json-simplify-51`
263312×	`rational.json-simplify-1`

Stop Event

4×	done
37×	saturated
24×	fuel
316×	node limit

Counts

38205 → 43005

Compiler

Compiled 4161 to 2898 computations (30.4% saved)

eval55.0s (9.4%)

Compiler: Compiled 1230354 to 807693 computations (34.4% saved)

rewrite48.1s (8.2%)

Algorithm

297×	batch-egg-rewrite

Rules

444846×	`rational.json-1`
421582×	`rational.json-2`
407562×	`rational.json-3`
391264×	`rational.json-4`
376286×	`exponential.json-3`

Stop Event

297×	node limit

Counts

710 → 27888

regimes46.9s (8%)

Counts

4413 → 337

Calls

43 calls:

12.0s	c
7.7s	a
6.0s	x
4.6s	(-.f64 (exp.f64 x) 1)
3.1s	n

Compiler

Compiled 56829 to 33373 computations (41.3% saved)

prune29.8s (5.1%)

Counts: 56428 → 2083
Compiler: Compiled 51471 to 36955 computations (28.2% saved)

preprocess27.4s (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)

analyze17.9s (3%)

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)

localize16.2s (2.8%)

Compiler: Compiled 16657 to 10473 computations (37.1% saved)

soundness10.7s (1.8%)

Algorithm

38×	egg-herbie

Rules

51232×	`rational.json-simplify-35`
37024×	`rational.json-simplify-51`
33596×	`rational.json-simplify-2`
28248×	`rational.json-simplify-1`
21898×	`rational.json-simplify-41`

Stop Event

1×	saturated
37×	node limit

Compiler

Compiled 3860 to 2603 computations (32.6% saved)

bsearch7.7s (1.3%)

Algorithm

143×	binary-search
32×	left-value

Results

2.8s	12721×	body	256	valid
1.4s	2409×	body	1024	valid
920.0ms	730×	body	2048	valid
871.0ms	1660×	body	512	valid
277.0ms	89×	body	1024	infinite
277.0ms	641×	body	256	infinite
197.0ms	1099×	body	256	invalid
44.0ms	240×	body	256	unsamplable
28.0ms	61×	body	512	infinite

Compiler

Compiled 29766 to 22217 computations (25.4% saved)

end3.0s (0.5%)

Compiler: Compiled 4166 to 2531 computations (39.2% saved)

series2.7s (0.5%)

Counts

710 → 10289

Calls

3198 calls:

Time	Variable		Point	Expression
173.0ms	x	@	-inf	(/.f64 (exp.f64 (/.f64 (log.f64 (/.f64 1 x)) (neg.f64 n))) (*.f64 x n))
121.0ms	x	@	inf	(/.f64 (sin.f64 x) (-.f64 1 (cos.f64 x)))
105.0ms	x	@	0	(-.f64 1 (exp.f64 (/.f64 (log.f64 x) n)))
99.0ms	eps	@	-inf	(.f64 (+.f64 (exp.f64 (.f64 eps (+.f64 a b))) -1) (/.f64 eps (.f64 (pow.f64 eps 2) (.f64 a b))))
88.0ms	x	@	-inf	(-.f64 (/.f64 (.f64 2 (/.f64 2 (+.f64 1 x))) (.f64 (/.f64 1 (+.f64 1 x)) (*.f64 (+.f64 1 x) 4))) (/.f64 1 x))

Details

sample3.7min (37.9%)

simplify1.7min (16.9%)

eval55.0s (9.4%)

rewrite48.1s (8.2%)

regimes46.9s (8%)

prune29.8s (5.1%)

preprocess27.4s (4.7%)

analyze17.9s (3%)

localize16.2s (2.8%)

soundness10.7s (1.8%)

bsearch7.7s (1.3%)

end3.0s (0.5%)

series2.7s (0.5%)

Profiling