Date:	Friday, March 31st, 2023
Commit:	e87598eb on using-ruler-baseline
Hostname:	nightly with Racket 8.6
Seed:	2023090
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

sample29.5min (29.2%)

Results

11.7min	3844091×	body	256	valid
4.0min	29921×	body	8192	exit
3.9min	302242×	body	1024	valid
2.2min	101120×	body	2048	valid
2.0min	447549×	body	256	infinite
1.3min	15986×	body	4096	valid
1.2min	162334×	body	512	valid
1.1min	267420×	body	256	invalid
35.7s	2891×	body	8192	valid
28.1s	35230×	body	1024	infinite
11.9s	1832×	body	4096	infinite
10.4s	18853×	body	512	infinite
10.1s	14938×	body	1024	invalid
9.1s	2456×	body	2048	infinite
6.4s	22709×	body	256	unsamplable
3.9s	8358×	body	512	invalid
1.5s	1173×	body	2048	invalid
1.0s	2914×	body	256	precondition
679.0ms	43×	body	8192	infinite
252.0ms	473×	body	1024	unsamplable
201.0ms	306×	body	2048	unsamplable
118.0ms	255×	body	512	unsamplable
3.0ms	1×	body	8192	invalid
1.0ms	1×	body	4096	invalid

Bogosity

eval16.6min (16.4%)

Compiler: Compiled 54973636 to 28524705 computations (48.1% saved)

simplify12.8min (12.6%)

Algorithm

5709×

egg-herbie

Rules

4602972×	`rational_best_oopsla_all_46_json_45_simplify-89`
3866906×	`rational_best_oopsla_all_46_json_45_simplify-49`
3703830×	`rational_best_oopsla_all_46_json_45_simplify-74`
3643208×	`rational_best_oopsla_all_46_json_45_simplify-24`
3299312×	`rational_best_oopsla_all_46_json_45_simplify-72`

Stop Event

627×	saturated
143×	done
392×	fuel
5082×	node limit

Counts

669672 → 665053

Compiler

Compiled 133943 to 78625 computations (41.3% saved)

regimes12.2min (12.1%)

Counts

49733 → 8889

Calls

1158 calls:

1.4min	x
1.3min	y
1.1min	z
58.0s	t
55.3s	a

Results

Compiler

Compiled 1088956 to 574636 computations (47.2% saved)

rewrite7.8min (7.7%)

Algorithm

4638×

batch-egg-rewrite

Rules

5075966×	`rational_best_oopsla_all_46_json-1`
5075950×	`rational_best_oopsla_all_46_json-2`
5074274×	`rational_best_oopsla_all_46_json-3`
5072564×	`rational_best_oopsla_all_46_json-4`
3188252×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

4638×

node limit

Counts

10552 → 430316

prune7.4min (7.3%)

Counts: 1071650 → 24894
Compiler: Compiled 1010660 to 690868 computations (31.6% saved)

localize4.1min (4%)

Compiler: Compiled 508552 to 265376 computations (47.8% saved)

bsearch3.9min (3.9%)

Algorithm

5433×	binary-search
528×	left-value

Results

2.0min	603799×	body	256	valid
42.3s	27819×	body	1024	valid
13.8s	5364×	body	2048	valid
13.7s	1853×	body	4096	valid
12.9s	17261×	body	512	valid
6.6s	27991×	body	256	infinite
3.1s	144×	body	8192	valid
2.2s	13161×	body	256	invalid
1.9s	1471×	body	1024	infinite
638.0ms	855×	body	512	infinite
447.0ms	43×	body	4096	infinite
287.0ms	418×	body	1024	invalid
260.0ms	713×	body	256	unsamplable
99.0ms	38×	body	2048	infinite
64.0ms	236×	body	512	invalid
15.0ms	1×	body	8192	infinite
5.0ms	6×	body	2048	invalid
2.0ms	3×	body	2048	unsamplable
0.0ms	1×	body	512	unsamplable

Compiler

Compiled 1463861 to 1056284 computations (27.8% saved)

analyze3.1min (3.1%)

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)

soundness1.2min (1.2%)

Algorithm

573×	egg-herbie

Rules

539740×	`rational_best_oopsla_all_46_json_45_simplify-89`
439666×	`rational_best_oopsla_all_46_json_45_simplify-74`
418154×	`rational_best_oopsla_all_46_json_45_simplify-24`
409780×	`rational_best_oopsla_all_46_json_45_simplify-49`
347094×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

11×	saturated
562×	node limit

Compiler

Compiled 70998 to 42671 computations (39.9% saved)

end1.0min (1%)

Compiler: Compiled 133033 to 64616 computations (51.4% saved)

series48.0s (0.8%)

Counts

10552 → 238820

Calls

65712 calls:

Time	Variable		Point	Expression
278.0ms	x.re	@	0	(cos.f64 (+.f64 (.f64 (log.f64 x.im) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))
211.0ms	z	@	0	(.f64 z (+.f64 (.f64 -1/6 (pow.f64 y 3)) (+.f64 (.f64 1/120 (pow.f64 y 5)) (+.f64 y (.f64 -1/5040 (pow.f64 y 7))))))
203.0ms	z	@	-inf	(*.f64 -13888888888889/5000000000000000 (/.f64 z x))
184.0ms	s	@	0	(*.f32 s (+.f32 (neg.f32 (log.f32 s)) (log.f32 (PI.f32))))
171.0ms	x	@	inf	(.f64 (+.f64 (.f64 y (.f64 y 3)) (.f64 x x)) (.f64 (+.f64 (.f64 y (.f64 y 3)) (.f64 x x)) (/.f64 1/3 (pow.f64 y 2))))

preprocess47.6s (0.8%)

Algorithm

1072×

egg-herbie

Rules

402202×	`rational_best_oopsla_all_46_json_45_simplify-89`
390712×	`rational_best_oopsla_all_46_json_45_simplify-10`
340570×	`rational_best_oopsla_all_46_json_45_simplify-49`
325848×	`rational_best_oopsla_all_46_json_45_simplify-74`
314330×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

535×	saturated
96×	unsound
441×	node limit

Compiler

Compiled 11280 to 8090 computations (28.3% saved)

Details

sample29.5min (29.2%)

eval16.6min (16.4%)

simplify12.8min (12.6%)

regimes12.2min (12.1%)

rewrite7.8min (7.7%)

prune7.4min (7.3%)

localize4.1min (4%)

bsearch3.9min (3.9%)

analyze3.1min (3.1%)

soundness1.2min (1.2%)

end1.0min (1%)

series48.0s (0.8%)

preprocess47.6s (0.8%)

Profiling