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

eval1.6min (25.2%)

Compiler: Compiled 4470912 to 2735561 computations (38.8% saved)

sample1.3min (20%)

Results

1.2min	206400×	body	256	valid
2.3s	8627×	body	256	invalid
950.0ms	2008×	body	256	precondition

Bogosity

simplify57.9s (14.8%)

Algorithm

383×	egg-herbie

Rules

330226×	`rational_best_oopsla_all_46_json_45_simplify-89`
268376×	`rational_best_oopsla_all_46_json_45_simplify-24`
263078×	`rational_best_oopsla_all_46_json_45_simplify-49`
261132×	`rational_best_oopsla_all_46_json_45_simplify-74`
238846×	`rational_best_oopsla_all_46_json_45_simplify-10`

Stop Event

1×	done
25×	saturated
24×	fuel
358×	node limit

Counts

49230 → 55668

Compiler

Compiled 5351 to 3834 computations (28.3% saved)

localize44.3s (11.3%)

Compiler: Compiled 45332 to 26572 computations (41.4% saved)

prune35.9s (9.1%)

Counts: 89345 → 2187
Compiler: Compiled 104884 to 75502 computations (28% saved)

rewrite35.7s (9.1%)

Algorithm

333×	batch-egg-rewrite

Rules

331534×	`rational_best_oopsla_all_46_json-1`
331534×	`rational_best_oopsla_all_46_json-2`
331530×	`rational_best_oopsla_all_46_json-3`
331528×	`rational_best_oopsla_all_46_json-4`
259124×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

333×	node limit

Counts

858 → 33862

regimes21.1s (5.4%)

Counts

3770 → 239

Calls

124 calls:

744.0ms	(*.f32 uy 2)
733.0ms	u0
644.0ms	u1
638.0ms	maxCos
614.0ms	ux

Compiler

Compiled 92604 to 54402 computations (41.3% saved)

analyze7.3s (1.9%)

Algorithm

25×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	3.2%	96.8%	0%	0%	0%	0
0.2%	0%	3.2%	96.8%	0%	0%	0%	1
9.3%	0.3%	2.9%	96.8%	0%	0%	0%	2
43.2%	1.4%	1.8%	96.8%	0%	0%	0%	3
48.1%	1.5%	1.6%	96.8%	0%	0%	0%	4
65.1%	2.1%	1.1%	96.8%	0%	0%	0%	5
70.3%	2.2%	0.9%	96.8%	0%	0.1%	0%	6
79.1%	2.4%	0.6%	96.8%	0%	0.1%	0%	7
81.1%	2.5%	0.6%	96.8%	0%	0.1%	0%	8
86.1%	2.6%	0.4%	96.8%	0%	0.1%	0%	9
87.6%	2.7%	0.4%	96.9%	0%	0.1%	0%	10
91.7%	2.8%	0.3%	96.9%	0%	0.1%	0%	11
92.4%	2.8%	0.2%	96.9%	0%	0.1%	0%	12

Compiler

Compiled 1220 to 881 computations (27.8% saved)

series3.7s (0.9%)

Counts

858 → 15343

Calls

4455 calls:

Time	Variable		Expression
184.0ms	s	@	(*.f32 s (+.f32 (neg.f32 (log.f32 s)) (log.f32 (PI.f32))))
100.0ms	alpha	@	(.f32 (PI.f32) (.f32 (+.f32 1 (.f32 (+.f32 (.f32 alpha alpha) -1) (.f32 cosTheta cosTheta))) (log.f32 (.f32 alpha alpha))))
85.0ms	s	@	(.f32 s (log.f32 (-.f32 (/.f32 1 (-.f32 (+.f32 (/.f32 1 (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)) (/.f32 u (+.f32 1 (exp.f32 (.f32 -1 (/.f32 (PI.f32) s)))))) (/.f32 u (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))
83.0ms	u2	@	(.f32 314159265359/50000000000 (.f32 u2 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 u1)) (.f32 (/.f32 u1 (-.f32 1 u1)) (-.f32 (/.f32 1 u1) 1))))))
81.0ms	v	@	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))

soundness3.6s (0.9%)

Algorithm

31×	egg-herbie

Rules

34808×	`rational_best_oopsla_all_46_json_45_simplify-89`
28474×	`rational_best_oopsla_all_46_json_45_simplify-24`
27324×	`rational_best_oopsla_all_46_json_45_simplify-74`
25376×	`rational_best_oopsla_all_46_json_45_simplify-49`
23946×	`rational_best_oopsla_all_46_json_45_simplify-10`

Stop Event

31×	node limit

Compiler

Compiled 5083 to 3293 computations (35.2% saved)

end3.1s (0.8%)

Compiler: Compiled 5292 to 3307 computations (37.5% saved)

preprocess2.3s (0.6%)

Algorithm

50×	egg-herbie

Rules

23904×	`rational_best_oopsla_all_46_json_45_simplify-23`
22274×	`rational_best_oopsla_all_46_json_45_simplify-49`
21694×	`rational_best_oopsla_all_46_json_45_simplify-89`
21366×	`rational_best_oopsla_all_46_json_45_simplify-10`
17882×	`rational_best_oopsla_all_46_json_45_simplify-30`

Stop Event

2×	unsound
23×	saturated
25×	node limit

Compiler

Compiled 738 to 544 computations (26.3% saved)

bsearch30.0ms (0%)

Algorithm

40×	left-value
22×	binary-search

Compiler

Compiled 1316 to 1029 computations (21.8% saved)

Details

eval1.6min (25.2%)

sample1.3min (20%)

simplify57.9s (14.8%)

localize44.3s (11.3%)

prune35.9s (9.1%)

rewrite35.7s (9.1%)

regimes21.1s (5.4%)

analyze7.3s (1.9%)

series3.7s (0.9%)

soundness3.6s (0.9%)

end3.1s (0.8%)

preprocess2.3s (0.6%)

bsearch30.0ms (0%)

Profiling