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

sample41.7min (25.8%)

Results

17.7min	3842879×	body	256	valid
6.0min	302265×	body	1024	valid
4.5min	29730×	body	8192	exit
3.4min	101453×	body	2048	valid
2.7min	448214×	body	256	infinite
1.6min	162685×	body	512	valid
1.6min	16424×	body	4096	valid
1.4min	270244×	body	256	invalid
43.3s	2890×	body	8192	valid
40.7s	35242×	body	1024	infinite
18.5s	14982×	body	1024	invalid
14.0s	1863×	body	4096	infinite
11.6s	18796×	body	512	infinite
9.7s	2498×	body	2048	infinite
7.4s	22546×	body	256	unsamplable
4.3s	8205×	body	512	invalid
1.7s	3015×	body	256	precondition
1.5s	303×	body	2048	unsamplable
1.4s	1184×	body	2048	invalid
583.0ms	37×	body	8192	infinite
268.0ms	424×	body	1024	unsamplable
63.0ms	216×	body	512	unsamplable
4.0ms	3×	body	4096	invalid

Bogosity

simplify30.0min (18.5%)

Algorithm

6274×

egg-herbie

Rules

8108286×	`rational.json-simplify-35`
6400968×	`rational.json-simplify-2`
5065174×	`rational.json-simplify-51`
4882174×	`rational.json-simplify-41`
4267470×	`rational.json-simplify-1`

Stop Event

2×	unsound
671×	saturated
140×	done
393×	fuel
5601×	node limit

Counts

710264 → 739897

Compiler

Compiled 157149 to 94147 computations (40.1% saved)

regimes28.2min (17.5%)

Counts

91424 → 11067

Calls

1155 calls:

3.2min	x
2.8min	a
2.8min	z
2.8min	y
2.3min	t

Results

Compiler

Compiled 1612153 to 905591 computations (43.8% saved)

eval15.8min (9.8%)

Compiler: Compiled 29436997 to 17696406 computations (39.9% saved)

rewrite12.3min (7.6%)

Algorithm

5205×	batch-egg-rewrite
3×	egg-rewrite-iter-limit
3×	egg-rewrite

Rules

7816352×	`rational.json-1`
7591640×	`rational.json-2`
7312080×	`rational.json-3`
7060836×	`rational.json-4`
6633206×	`exponential.json-3`

Stop Event

3×	iter limit
5208×	node limit

Counts

11824 → 435353

prune8.8min (5.4%)

Counts: 947580 → 31973
Compiler: Compiled 1079432 to 777984 computations (27.9% saved)

bsearch6.4min (3.9%)

Algorithm

664×	left-value
6817×	binary-search

Results

4.0min	759472×	body	256	valid
47.5s	35419×	body	1024	valid
17.9s	8301×	body	2048	valid
15.9s	3629×	body	4096	valid
14.7s	22827×	body	512	valid
11.2s	36208×	body	256	infinite
10.4s	32715×	body	256	invalid
1.9s	255×	body	8192	valid
1.3s	1077×	body	1024	invalid
1.0s	586×	body	1024	infinite
413.0ms	413×	body	512	infinite
99.0ms	405×	body	512	invalid
87.0ms	56×	body	2048	infinite
5.0ms	4×	body	4096	infinite
4.0ms	20×	body	256	unsamplable
1.0ms	2×	body	2048	invalid
1.0ms	1×	body	8192	exit

Compiler

Compiled 1659109 to 1213787 computations (26.8% saved)

localize5.3min (3.3%)

Compiler: Compiled 413352 to 222535 computations (46.2% saved)

analyze4.3min (2.7%)

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.3min (2.1%)

Algorithm

1072×

egg-herbie

Rules

1144554×	`rational.json-simplify-41`
527860×	`rational.json-simplify-35`
448302×	`rational.json-simplify-1`
351942×	`rational.json-simplify-51`
326802×	`rational.json-simplify-2`

Stop Event

570×	saturated
97×	unsound
405×	node limit

Compiler

Compiled 11280 to 8090 computations (28.3% saved)

soundness2.6min (1.6%)

Algorithm

735×	egg-herbie

Rules

939834×	`rational.json-simplify-35`
704292×	`rational.json-simplify-2`
691184×	`rational.json-simplify-51`
630020×	`rational.json-simplify-41`
546590×	`rational.json-simplify-1`

Stop Event

45×	saturated
690×	node limit

Compiler

Compiled 87059 to 50706 computations (41.8% saved)

end1.9min (1.2%)

Results

Compiler

Compiled 153839 to 75427 computations (51% saved)

series1.2min (0.8%)

Counts

11824 → 274375

Calls

72585 calls:

Time	Variable		Point	Expression
2.4s	y	@	-inf	(*.f64 x (log.f64 y))
1.1s	x	@	0	(log.f32 (/.f32 -1 x))
1.0s	y	@	0	(.f64 z (.f64 y (*.f64 9 t)))
897.0ms	b	@	inf	(+.f64 (pow.f64 b 4) (.f64 4 (+.f64 (.f64 (.f64 a a) (-.f64 1 a)) (.f64 (*.f64 b b) (+.f64 3 a)))))
476.0ms	t	@	inf	(*.f64 (-.f64 t x) (/.f64 z y))

Details

sample41.7min (25.8%)

simplify30.0min (18.5%)

regimes28.2min (17.5%)

eval15.8min (9.8%)

rewrite12.3min (7.6%)

prune8.8min (5.4%)

bsearch6.4min (3.9%)

localize5.3min (3.3%)

analyze4.3min (2.7%)

preprocess3.3min (2.1%)

soundness2.6min (1.6%)

end1.9min (1.2%)

series1.2min (0.8%)

Profiling