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

sample3.2min (34.6%)

Results

1.2min	36329×	body	2048	valid
1.2min	66415×	body	1024	valid
21.4s	91170×	body	256	valid
18.7s	35138×	body	512	valid
2.5s	2114×	body	4096	valid
2.2s	5966×	body	256	invalid
1.7s	1526×	body	1024	invalid
1.0s	1059×	body	256	unsamplable
632.0ms	2944×	body	256	infinite
601.0ms	228×	body	512	infinite
447.0ms	812×	body	512	invalid
384.0ms	444×	body	1024	unsamplable
179.0ms	271×	body	2048	unsamplable
163.0ms	184×	body	1024	infinite
62.0ms	222×	body	512	unsamplable
9.0ms	8×	body	2048	invalid
4.0ms	2×	body	8192	valid
2.0ms	2×	body	2048	infinite

Bogosity

simplify1.8min (19.6%)

Algorithm

328×	egg-herbie

Rules

418030×	`rational.json-simplify-35`
321760×	`rational.json-simplify-2`
281434×	`rational.json-simplify-41`
256234×	`rational.json-simplify-51`
239040×	`rational.json-simplify-1`

Stop Event

38×	saturated
6×	done
22×	fuel
290×	node limit

Counts

33472 → 38246

Compiler

Compiled 4034 to 2810 computations (30.3% saved)

eval54.7s (9.9%)

Compiler: Compiled 1152849 to 741386 computations (35.7% saved)

rewrite47.6s (8.6%)

Algorithm

272×	batch-egg-rewrite

Rules

410930×	`rational.json-1`
391768×	`rational.json-2`
379510×	`rational.json-3`
364828×	`rational.json-4`
343370×	`exponential.json-3`

Stop Event

272×	node limit

Counts

625 → 24536

regimes45.3s (8.2%)

Counts

3562 → 330

Calls

43 calls:

20.2s	c
7.4s	a
5.6s	x
2.9s	eps
1.4s	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))

Compiler

Compiled 45830 to 27535 computations (39.9% saved)

prune29.2s (5.3%)

Counts: 51684 → 1810
Compiler: Compiled 42049 to 30570 computations (27.3% saved)

preprocess27.9s (5%)

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)

analyze16.0s (2.9%)

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)

localize13.9s (2.5%)

Compiler: Compiled 14131 to 8107 computations (42.6% saved)

bsearch8.6s (1.5%)

Algorithm

155×	binary-search
20×	left-value

Results

4.3s	15261×	body	256	valid
1.5s	2754×	body	1024	valid
949.0ms	702×	body	2048	valid
680.0ms	1621×	body	512	valid
325.0ms	1569×	body	256	invalid
95.0ms	508×	body	256	unsamplable
59.0ms	62×	body	1024	infinite
39.0ms	243×	body	256	infinite
11.0ms	23×	body	512	infinite
1.0ms	2×	body	512	unsamplable

Compiler

Compiled 32310 to 24553 computations (24% saved)

soundness6.3s (1.1%)

Algorithm

35×	egg-herbie

Rules

45662×	`rational.json-simplify-35`
36462×	`rational.json-simplify-2`
36378×	`rational.json-simplify-51`
28162×	`rational.json-simplify-1`
25138×	`rational.json-simplify-41`

Stop Event

1×	saturated
34×	node limit

Compiler

Compiled 4276 to 2918 computations (31.8% saved)

end2.8s (0.5%)

Compiler: Compiled 4071 to 2457 computations (39.6% saved)

series2.0s (0.4%)

Counts

625 → 8908

Calls

2820 calls:

Time	Variable		Point	Expression
386.0ms	x	@	0	(pow.f64 (cos.f64 x) 2)
121.0ms	n	@	0	(/.f64 (-.f64 (log.f64 (+.f64 1 x)) (log.f64 x)) n)
114.0ms	a	@	0	(.f64 a (.f64 1/2 (/.f64 c b_2)))
85.0ms	x	@	inf	(-.f64 (+.f64 1 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 x))
75.0ms	a	@	-inf	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 b (.f64 (pow.f64 eps 2) a)))

Details

sample3.2min (34.6%)

simplify1.8min (19.6%)

eval54.7s (9.9%)

rewrite47.6s (8.6%)

regimes45.3s (8.2%)

prune29.2s (5.3%)

preprocess27.9s (5%)

analyze16.0s (2.9%)

localize13.9s (2.5%)

bsearch8.6s (1.5%)

soundness6.3s (1.1%)

end2.8s (0.5%)

series2.0s (0.4%)

Profiling