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

sample9.0min (41.2%)

Results

2.7min	16915×	body	8192	exit
1.6min	69925×	body	1024	valid
1.2min	8687×	body	4096	valid
1.1min	294724×	body	256	valid
42.4s	14785×	body	2048	valid
34.0s	1657×	body	8192	valid
22.8s	34726×	body	512	valid
11.3s	6233×	body	1024	infinite
7.2s	21333×	body	256	infinite
7.2s	855×	body	4096	infinite
6.0s	1200×	body	2048	infinite
5.2s	16542×	body	256	unsamplable
4.2s	21374×	body	256	invalid
3.9s	3291×	body	512	infinite
1.5s	1159×	body	2048	invalid
1.2s	1682×	body	1024	invalid
679.0ms	43×	body	8192	infinite
551.0ms	1171×	body	512	invalid
97.0ms	906×	body	256	precondition
8.0ms	12×	body	512	unsamplable
3.0ms	2×	body	1024	unsamplable

Bogosity

eval3.6min (16.5%)

Compiler: Compiled 12236644 to 6867016 computations (43.9% saved)

simplify1.8min (8.1%)

Algorithm

709×	egg-herbie

Rules

609192×	`rational_best_oopsla_all_46_json_45_simplify-89`
492764×	`rational_best_oopsla_all_46_json_45_simplify-74`
492192×	`rational_best_oopsla_all_46_json_45_simplify-49`
485624×	`rational_best_oopsla_all_46_json_45_simplify-24`
418472×	`rational_best_oopsla_all_46_json_45_simplify-72`

Stop Event

6×	done
59×	saturated
45×	fuel
650×	node limit

Counts

82389 → 84924

Compiler

Compiled 20048 to 13502 computations (32.7% saved)

regimes1.6min (7.2%)

Counts

9760 → 906

Calls

143 calls:

5.6s	phi2
5.3s	a
5.1s	C
5.0s	y-scale
4.9s	lambda1

Compiler

Compiled 271485 to 160716 computations (40.8% saved)

bsearch1.4min (6.4%)

Algorithm

438×	binary-search
89×	left-value

Results

30.8s	12694×	body	1024	valid
13.8s	31839×	body	256	valid
13.6s	1640×	body	4096	valid
11.5s	2836×	body	2048	valid
7.2s	5247×	body	512	valid
3.1s	144×	body	8192	valid
846.0ms	171×	body	1024	infinite
447.0ms	43×	body	4096	infinite
392.0ms	1392×	body	256	invalid
384.0ms	431×	body	256	infinite
267.0ms	84×	body	512	infinite
83.0ms	21×	body	2048	infinite
15.0ms	1×	body	8192	infinite
5.0ms	6×	body	2048	invalid
4.0ms	6×	body	1024	invalid
3.0ms	8×	body	512	invalid

Compiler

Compiled 158187 to 122659 computations (22.5% saved)

prune1.3min (5.8%)

Counts: 167241 → 4303
Compiler: Compiled 278036 to 191267 computations (31.2% saved)

rewrite1.0min (4.6%)

Algorithm

607×	batch-egg-rewrite

Rules

637974×	`rational_best_oopsla_all_46_json-1`
637966×	`rational_best_oopsla_all_46_json-2`
636468×	`rational_best_oopsla_all_46_json-3`
636466×	`rational_best_oopsla_all_46_json-4`
442230×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

607×	node limit

Counts

1438 → 52220

analyze48.0s (3.7%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
2.4%	1.9%	77.5%	20.6%	0%	0%	0%	1
5.1%	4%	75%	21%	0%	0%	0%	2
12.7%	9.8%	67.2%	21.2%	0.5%	1.4%	0%	3
20.5%	15.3%	59.4%	21.2%	1.1%	2.6%	0.5%	4
26.8%	19.7%	53.7%	21.2%	1.3%	3.4%	0.7%	5
32.2%	23.1%	48.7%	21.2%	1.7%	4.2%	1.1%	6
35%	24.7%	45.9%	21.2%	2%	4.9%	1.2%	7
37.7%	26.3%	43.5%	21.3%	2.3%	5.3%	1.4%	8
41.6%	28.6%	40.1%	21.3%	2.7%	6%	1.5%	9
43.1%	29.4%	38.8%	21.3%	2.7%	6.3%	1.6%	10
45.8%	31%	36.7%	21.3%	2.8%	6.6%	1.6%	11
48.4%	32.6%	34.7%	21.3%	2.8%	7%	1.7%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

localize45.1s (3.4%)

Compiler: Compiled 114408 to 63605 computations (44.4% saved)

soundness14.8s (1.1%)

Algorithm

107×	egg-herbie

Rules

111666×	`rational_best_oopsla_all_46_json_45_simplify-89`
93050×	`rational_best_oopsla_all_46_json_45_simplify-74`
88604×	`rational_best_oopsla_all_46_json_45_simplify-24`
73116×	`rational_best_oopsla_all_46_json_45_simplify-49`
68376×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

107×	node limit

Compiler

Compiled 15554 to 10554 computations (32.1% saved)

end11.2s (0.9%)

Compiler: Compiled 19838 to 11436 computations (42.4% saved)

series9.1s (0.7%)

Counts

1438 → 30118

Calls

8742 calls:

Time	Variable		Point	Expression
98.0ms	g	@	inf	(cbrt.f64 (.f64 (/.f64 1 (+.f64 a a)) (.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (/.f64 1 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
91.0ms	angle	@	0	(.f64 (pow.f64 a 4) (.f64 4 (-.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2)) (.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))) (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2) (+.f64 (.f64 -1/32400 (/.f64 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)) y-scale)) (/.f64 1 y-scale))) (.f64 y-scale (pow.f64 x-scale 2))))))
82.0ms	A	@	0	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (.f64 (-.f64 (pow.f64 B 2) (.f64 4 (.f64 A C))) F) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))))) (.f64 (sqrt.f64 (.f64 2 (.f64 (.f64 (-.f64 (pow.f64 B 2) (.f64 4 (.f64 A C))) F) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))))) (/.f64 1 (.f64 (/.f64 1 (sqrt.f64 (.f64 2 (.f64 (.f64 (-.f64 (pow.f64 B 2) (.f64 4 (.f64 A C))) F) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2))))))))) (.f64 (sqrt.f64 (.f64 2 (.f64 (.f64 (-.f64 (pow.f64 B 2) (.f64 4 (.f64 A C))) F) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2)))))))) (sqrt.f64 (.f64 2 (.f64 (.f64 (-.f64 (pow.f64 B 2) (.f64 4 (.f64 A C))) F) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2)))))))))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
81.0ms	F	@	0	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (-.f64 (pow.f64 B 2) (.f64 4 (.f64 C A))) F) (.f64 (+.f64 A (+.f64 (-.f64 A C) C)) 2)))) (-.f64 (pow.f64 B 2) (.f64 4 (*.f64 C A))))
74.0ms	x	@	inf	(/.f64 1 (pow.f64 x 2))

preprocess5.1s (0.4%)

Algorithm

102×	egg-herbie

Rules

47412×	`rational_best_oopsla_all_46_json_45_simplify-89`
39656×	`rational_best_oopsla_all_46_json_45_simplify-10`
38830×	`rational_best_oopsla_all_46_json_45_simplify-74`
35710×	`rational_best_oopsla_all_46_json_45_simplify-23`
32674×	`rational_best_oopsla_all_46_json_45_simplify-24`

Stop Event

51×	saturated
6×	unsound
45×	node limit

Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Details

sample9.0min (41.2%)

eval3.6min (16.5%)

simplify1.8min (8.1%)

regimes1.6min (7.2%)

bsearch1.4min (6.4%)

prune1.3min (5.8%)

rewrite1.0min (4.6%)

analyze48.0s (3.7%)

localize45.1s (3.4%)

soundness14.8s (1.1%)

end11.2s (0.9%)

series9.1s (0.7%)

preprocess5.1s (0.4%)

Profiling