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

sample8.9min (22.3%)

Results

5.6min	2132399×	body	256	valid
1.5min	340205×	body	256	infinite
33.8s	135625×	body	256	invalid
32.6s	50824×	body	1024	valid
14.9s	35167×	body	512	valid
9.6s	10401×	body	2048	valid
4.4s	9238×	body	1024	infinite
2.5s	1638×	body	8192	exit
2.2s	5564×	body	512	infinite
697.0ms	329×	body	4096	valid
217.0ms	644×	body	1024	invalid
179.0ms	604×	body	512	invalid

Bogosity

regimes8.4min (21%)

Counts

22557 → 5695

Calls

490 calls:

1.2min	y
1.2min	x
1.1min	z
56.0s	t
46.1s	a

Results

Compiler

Compiled 418469 to 175541 computations (58.1% saved)

simplify5.7min (14.2%)

Algorithm

2642×

egg-herbie

Rules

2087984×	`rational_best_oopsla_all_46_json_45_simplify-89`
1791664×	`rational_best_oopsla_all_46_json_45_simplify-49`
1688936×	`rational_best_oopsla_all_46_json_45_simplify-74`
1646344×	`rational_best_oopsla_all_46_json_45_simplify-24`
1584370×	`rational_best_oopsla_all_46_json_45_simplify-72`

Stop Event

74×	done
307×	saturated
195×	fuel
2335×	node limit

Counts

316163 → 294825

Compiler

Compiled 73488 to 38747 computations (47.3% saved)

eval4.8min (12.1%)

Compiler: Compiled 18346941 to 7501750 computations (59.1% saved)

rewrite3.5min (8.7%)

Algorithm

2103×

batch-egg-rewrite

Rules

2399474×	`rational_best_oopsla_all_46_json-1`
2399472×	`rational_best_oopsla_all_46_json-2`
2399350×	`rational_best_oopsla_all_46_json-3`
2399328×	`rational_best_oopsla_all_46_json-4`
1359238×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

2103×

node limit

Counts

4521 → 194241

prune3.0min (7.4%)

Counts: 435039 → 10238
Compiler: Compiled 290245 to 188317 computations (35.1% saved)

bsearch1.8min (4.4%)

Algorithm

3895×	binary-search
290×	left-value

Results

1.4min	461772×	body	256	valid
5.1s	22650×	body	256	infinite
3.4s	4237×	body	1024	valid
2.5s	5646×	body	512	valid
721.0ms	5112×	body	256	invalid
146.0ms	249×	body	2048	valid
89.0ms	60×	body	512	infinite
10.0ms	25×	body	1024	infinite

Compiler

Compiled 1009928 to 718172 computations (28.9% saved)

analyze1.2min (3%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.7%	0.1%	0%	0.2%	0%	2
5.7%	5.6%	93.3%	0.1%	0.2%	0.7%	0%	3
8.5%	8.3%	89.2%	0.1%	1.2%	1.2%	0%	4
16.6%	16.1%	80.8%	0.1%	1.6%	1.4%	0%	5
21.4%	20.4%	74.8%	0.1%	2.7%	2%	0%	6
30.2%	28.1%	64.9%	0.1%	4%	2.8%	0%	7
35.6%	32.7%	59.4%	0.1%	4.5%	3.3%	0%	8
41.9%	38%	52.7%	0.1%	5.4%	3.7%	0%	9
47.4%	42.3%	46.9%	0.1%	6.4%	4.3%	0%	10
52.3%	46.1%	42%	0.1%	7.1%	4.6%	0%	11
56.4%	49.2%	38.1%	0.1%	7.7%	4.9%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize1.1min (2.8%)

Compiler: Compiled 149659 to 63152 computations (57.8% saved)

end28.8s (1.2%)

Compiler: Compiled 72892 to 29963 computations (58.9% saved)

soundness24.8s (1%)

Algorithm

203×	egg-herbie

Rules

175310×	`rational_best_oopsla_all_46_json_45_simplify-89`
152508×	`rational_best_oopsla_all_46_json_45_simplify-49`
141386×	`rational_best_oopsla_all_46_json_45_simplify-74`
134086×	`rational_best_oopsla_all_46_json_45_simplify-24`
128782×	`rational_best_oopsla_all_46_json_45_simplify-72`

Stop Event

2×	saturated
201×	node limit

Compiler

Compiled 18494 to 9464 computations (48.8% saved)

preprocess24.0s (1%)

Algorithm

540×	egg-herbie

Rules

208872×	`rational_best_oopsla_all_46_json_45_simplify-89`
208044×	`rational_best_oopsla_all_46_json_45_simplify-10`
184482×	`rational_best_oopsla_all_46_json_45_simplify-49`
167368×	`rational_best_oopsla_all_46_json_45_simplify-74`
161720×	`rational_best_oopsla_all_46_json_45_simplify-23`

Stop Event

55×	unsound
253×	saturated
232×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

series20.7s (0.9%)

Counts

4521 → 121652

Calls

32445 calls:

Time	Variable		Point	Expression
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))
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))))
145.0ms	y	@	0	(+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (neg.f64 x)))
117.0ms	z	@	inf	(.f64 y (.f64 (sqrt.f64 z) (/.f64 1 (+.f64 (*.f64 y (sqrt.f64 z)) x))))

Details

sample8.9min (22.3%)

regimes8.4min (21%)

simplify5.7min (14.2%)

eval4.8min (12.1%)

rewrite3.5min (8.7%)

prune3.0min (7.4%)

bsearch1.8min (4.4%)

analyze1.2min (3%)

localize1.1min (2.8%)

end28.8s (1.2%)

soundness24.8s (1%)

preprocess24.0s (1%)

series20.7s (0.9%)

Profiling