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

sample3.2min (32%)

Results

1.4min	438944×	body	256	valid
1.1min	7941×	body	8192	exit
14.9s	23905×	body	1024	valid
8.8s	14740×	body	1024	infinite
6.1s	28915×	body	256	infinite
5.7s	12233×	body	512	valid
2.8s	6644×	body	512	infinite
1.8s	2675×	body	2048	valid
1.2s	4773×	body	256	invalid
674.0ms	4212×	body	256	unsamplable
586.0ms	1091×	body	4096	valid
313.0ms	240×	body	2048	infinite

Bogosity

eval2.1min (20.8%)

Compiler: Compiled 6208953 to 3588522 computations (42.2% saved)

simplify1.4min (13.7%)

Algorithm

605×	egg-herbie

Rules

505134×	`rational_best_oopsla_all_46_json_45_simplify-89`
411282×	`rational_best_oopsla_all_46_json_45_simplify-49`
404146×	`rational_best_oopsla_all_46_json_45_simplify-74`
394868×	`rational_best_oopsla_all_46_json_45_simplify-24`
332860×	`rational_best_oopsla_all_46_json_45_simplify-72`

Stop Event

63×	saturated
22×	done
36×	fuel
542×	node limit

Counts

65120 → 71259

Compiler

Compiled 9307 to 5987 computations (35.7% saved)

rewrite51.6s (8.6%)

Algorithm

489×	batch-egg-rewrite

Rules

537150×	`rational_best_oopsla_all_46_json-1`
537148×	`rational_best_oopsla_all_46_json-2`
537126×	`rational_best_oopsla_all_46_json-3`
535456×	`rational_best_oopsla_all_46_json-4`
329926×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

489×	node limit

Counts

1115 → 45440

prune45.9s (7.6%)

Counts: 110273 → 2444
Compiler: Compiled 135115 to 100568 computations (25.6% saved)

localize37.2s (6.2%)

Compiler: Compiled 83317 to 48860 computations (41.4% saved)

regimes23.8s (3.9%)

Counts

3435 → 536

Calls

132 calls:

2.2s	y.im
1.9s	y.re
1.9s	x.im
1.5s	x.re
1.3s	re

Compiler

Compiled 92985 to 60423 computations (35% saved)

soundness9.4s (1.6%)

Algorithm

74×	egg-herbie

Rules

73226×	`rational_best_oopsla_all_46_json_45_simplify-89`
58840×	`rational_best_oopsla_all_46_json_45_simplify-74`
55226×	`rational_best_oopsla_all_46_json_45_simplify-24`
54338×	`rational_best_oopsla_all_46_json_45_simplify-23`
49474×	`rational_best_oopsla_all_46_json_45_simplify-49`

Stop Event

1×	saturated
73×	node limit

Compiler

Compiled 9522 to 5831 computations (38.8% saved)

bsearch9.2s (1.5%)

Algorithm

270×	binary-search
11×	left-value

Results

6.2s	26474×	body	256	valid
554.0ms	459×	body	1024	infinite
487.0ms	709×	body	2048	valid
450.0ms	879×	body	1024	valid
296.0ms	572×	body	512	valid
167.0ms	829×	body	256	infinite
126.0ms	263×	body	512	infinite
65.0ms	134×	body	4096	valid
4.0ms	3×	body	2048	infinite

Compiler

Compiled 55583 to 37177 computations (33.1% saved)

analyze9.1s (1.5%)

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
7%	6%	80.3%	13.7%	0%	0%	0%	1
13.1%	11%	73.3%	13.7%	0%	1.7%	0.2%	2
23.6%	19.2%	62%	13.7%	0.5%	4.3%	0.3%	3
29.2%	23.2%	56.3%	13.7%	1.9%	4.5%	0.4%	4
41.4%	32.6%	46.2%	13.7%	2.4%	4.6%	0.4%	5
46.7%	36.2%	41.3%	13.7%	3.5%	4.9%	0.4%	6
54.8%	41.1%	33.8%	13.7%	5.2%	5.8%	0.4%	7
58.6%	43.6%	30.7%	13.7%	5.7%	5.9%	0.4%	8
63.7%	46.7%	26.6%	13.7%	6.7%	5.9%	0.4%	9
67.5%	48.8%	23.5%	13.7%	7.2%	6.4%	0.4%	10
70.8%	50.6%	20.9%	13.7%	7.9%	6.4%	0.4%	11
73.3%	52.2%	19%	13.7%	8.3%	6.4%	0.4%	12

Compiler

Compiled 1558 to 994 computations (36.2% saved)

preprocess5.4s (0.9%)

Algorithm

116×	egg-herbie

Rules

47022×	`rational_best_oopsla_all_46_json_45_simplify-89`
45586×	`rational_best_oopsla_all_46_json_45_simplify-10`
38210×	`rational_best_oopsla_all_46_json_45_simplify-74`
37374×	`rational_best_oopsla_all_46_json_45_simplify-72`
36756×	`rational_best_oopsla_all_46_json_45_simplify-49`

Stop Event

55×	saturated
14×	unsound
47×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

end5.2s (0.9%)

Compiler: Compiled 9677 to 5423 computations (44% saved)

series5.2s (0.9%)

Counts

1115 → 19622

Calls

5397 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)))
150.0ms	alpha	@	inf	(/.f64 beta (+.f64 (+.f64 alpha beta) (+.f64 2 (+.f64 i i))))
108.0ms	x.re	@	0	(sin.f64 (+.f64 (.f64 (log.f64 (neg.f64 x.im)) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))
108.0ms	d3	@	0	(*.f64 d1 (-.f64 d2 (neg.f64 d3)))
106.0ms	x.im	@	0	(sin.f64 (+.f64 (.f64 (log.f64 x.im) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))

Details

sample3.2min (32%)

eval2.1min (20.8%)

simplify1.4min (13.7%)

rewrite51.6s (8.6%)

prune45.9s (7.6%)

localize37.2s (6.2%)

regimes23.8s (3.9%)

soundness9.4s (1.6%)

bsearch9.2s (1.5%)

analyze9.1s (1.5%)

preprocess5.4s (0.9%)

end5.2s (0.9%)

series5.2s (0.9%)

Profiling