Date:	Sunday, March 5th, 2023
Commit:	9578f0c3 on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023064
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

sample41.8min (26.2%)

Results

17.8min	3842459×	body	256	valid
5.7min	302636×	body	1024	valid
4.4min	27925×	body	8192	exit
3.5min	101074×	body	2048	valid
2.5min	446208×	body	256	infinite
1.7min	16337×	body	4096	valid
1.7min	162292×	body	512	valid
1.5min	268133×	body	256	invalid
47.1s	35105×	body	1024	infinite
43.4s	2907×	body	8192	valid
13.9s	18572×	body	512	infinite
13.6s	14968×	body	1024	invalid
12.4s	1906×	body	4096	infinite
10.8s	8204×	body	512	invalid
9.5s	2438×	body	2048	infinite
6.5s	18518×	body	256	unsamplable
1.2s	1175×	body	2048	invalid
1.2s	2926×	body	256	precondition
722.0ms	484×	body	1024	unsamplable
674.0ms	36×	body	8192	infinite
256.0ms	320×	body	2048	unsamplable
75.0ms	256×	body	512	unsamplable
3.0ms	1×	body	8192	invalid
2.0ms	1×	body	4096	invalid

Bogosity

simplify31.8min (19.9%)

Algorithm

6077×

egg-herbie

Rules

8167892×	`rational.json-simplify-35`
6479778×	`rational.json-simplify-2`
5720204×	`rational.json-simplify-41`
4666966×	`rational.json-simplify-51`
4396344×	`rational.json-simplify-1`

Stop Event

2×	unsound
674×	saturated
153×	done
378×	fuel
5401×	node limit

Counts

604148 → 622807

Compiler

Compiled 159400 to 93294 computations (41.5% saved)

regimes27.8min (17.5%)

Counts

85922 → 11168

Calls

1151 calls:

3.5min	x
3.1min	y
2.7min	a
2.7min	z
2.3min	t

Results

Compiler

Compiled 1404106 to 759065 computations (45.9% saved)

eval15.2min (9.5%)

Results

Compiler

Compiled 26365506 to 16110893 computations (38.9% saved)

rewrite10.1min (6.3%)

Algorithm

5010×	batch-egg-rewrite
2×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

7344696×	`bool.json-1`
7181812×	`bool.json-2`
5984000×	`rational.json-1`
5438458×	`rational.json-2`
5216736×	`bool.json-3`

Stop Event

2×	iter limit
5012×	node limit

Counts

11250 → 340348

prune7.5min (4.7%)

Counts

800878 → 30397

Results

Compiler

Compiled 1002230 to 720416 computations (28.1% saved)

bsearch6.2min (3.9%)

Algorithm

705×	left-value
6945×	binary-search

Results

4.3min	776864×	body	256	valid
44.8s	35099×	body	1024	valid
14.0s	23122×	body	512	valid
10.5s	6462×	body	2048	valid
9.0s	2403×	body	4096	valid
7.0s	32197×	body	256	infinite
5.7s	15213×	body	256	invalid
572.0ms	939×	body	1024	invalid
394.0ms	464×	body	1024	infinite
392.0ms	249×	body	2048	infinite
361.0ms	146×	body	4096	infinite
343.0ms	565×	body	512	infinite
152.0ms	590×	body	512	invalid
27.0ms	2×	body	8192	infinite
27.0ms	2×	body	8192	valid
12.0ms	62×	body	256	unsamplable

Compiler

Compiled 1743382 to 1262826 computations (27.6% saved)

localize5.4min (3.4%)

Compiler: Compiled 399114 to 215344 computations (46% saved)

analyze4.8min (3%)

Algorithm

539×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.7%	13.3%	0%	0%	0%	0
2.4%	2.1%	84.7%	13.3%	0%	0%	0%	1
3.6%	3.1%	83%	13.3%	0%	0.6%	0%	2
11.5%	9.8%	74.8%	13.3%	0.3%	1.8%	0%	3
15.9%	13.2%	69.8%	13.3%	1.2%	2.3%	0.2%	4
23.9%	19.7%	62.6%	13.3%	1.6%	2.7%	0.2%	5
28.6%	23.1%	57.7%	13.3%	2.5%	3.1%	0.3%	6
36%	28.4%	50.5%	13.3%	3.5%	3.9%	0.3%	7
40.5%	31.6%	46.4%	13.3%	4%	4.2%	0.4%	8
46%	35.4%	41.5%	13.3%	4.7%	4.6%	0.4%	9
50.6%	38.3%	37.4%	13.3%	5.4%	5%	0.4%	10
54.8%	41.1%	33.9%	13.3%	5.9%	5.3%	0.4%	11
58.2%	43.3%	31%	13.3%	6.4%	5.6%	0.5%	12

Compiler

Compiled 11861 to 8220 computations (30.7% saved)

preprocess3.2min (2%)

Algorithm

1072×

egg-herbie

Rules

1144734×	`rational.json-simplify-41`
526772×	`rational.json-simplify-35`
448520×	`rational.json-simplify-1`
352216×	`rational.json-simplify-51`
328758×	`rational.json-simplify-2`

Stop Event

570×	saturated
97×	unsound
405×	node limit

Compiler

Compiled 11280 to 8090 computations (28.3% saved)

soundness2.7min (1.7%)

Algorithm

694×	egg-herbie

Rules

884434×	`rational.json-simplify-35`
684646×	`rational.json-simplify-2`
662722×	`rational.json-simplify-41`
619084×	`rational.json-simplify-51`
530178×	`rational.json-simplify-1`

Stop Event

41×	saturated
653×	node limit

Compiler

Compiled 82578 to 47345 computations (42.7% saved)

end1.8min (1.1%)

Compiler: Compiled 157039 to 74355 computations (52.7% saved)

series1.1min (0.7%)

Counts

11250 → 263264

Calls

69648 calls:

Time	Variable		Point	Expression
2.4s	y	@	-inf	(*.f64 x (log.f64 y))
2.1s	x.im	@	0	(sin.f64 (+.f64 (.f64 (log.f64 x.re) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))
1.7s	x	@	0	(*.f64 (log.f64 y) x)
1.2s	y	@	-inf	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))
776.0ms	y	@	-inf	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 692910599291889/10000000000000000) 307332350656623/625000000000000)) 11167812716741/40000000000000) (+.f64 (.f64 104698244219447/31250000000000 (/.f64 1 y)) (.f64 6012459259764103/1000000000000000 (/.f64 z y))))

Details

sample41.8min (26.2%)

simplify31.8min (19.9%)

regimes27.8min (17.5%)

eval15.2min (9.5%)

rewrite10.1min (6.3%)

prune7.5min (4.7%)

bsearch6.2min (3.9%)

localize5.4min (3.4%)

analyze4.8min (3%)

preprocess3.2min (2%)

soundness2.7min (1.7%)

end1.8min (1.1%)

series1.1min (0.7%)

Profiling