Date:	Monday, March 6th, 2023
Commit:	9578f0c3 on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023065
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

sample5.4min (30.7%)

Results

2.4min	439394×	body	256	valid
1.7min	7866×	body	8192	exit
23.0s	23520×	body	1024	valid
17.8s	12197×	body	512	valid
14.0s	14406×	body	1024	infinite
8.0s	29118×	body	256	infinite
6.0s	6600×	body	512	infinite
1.8s	2654×	body	2048	valid
1.6s	214×	body	2048	infinite
1.6s	1083×	body	4096	valid
1.1s	4680×	body	256	invalid
644.0ms	4259×	body	256	unsamplable

Bogosity

simplify4.2min (23.8%)

Algorithm

658×	egg-herbie

Rules

913748×	`rational.json-simplify-35`
740404×	`rational.json-simplify-2`
624484×	`rational.json-simplify-41`
469204×	`rational.json-simplify-1`
441680×	`rational.json-simplify-51`

Stop Event

68×	saturated
22×	done
35×	fuel
590×	node limit

Counts

55534 → 65478

Results

Compiler

Compiled 10075 to 6423 computations (36.2% saved)

eval2.0min (11.5%)

Compiler: Compiled 3251895 to 1960331 computations (39.7% saved)

regimes1.2min (6.8%)

Counts

5807 → 636

Calls

131 calls:

14.3s	x.im
10.8s	x.re
4.2s	y.re
3.5s	y.im
3.4s	x

Compiler

Compiled 129320 to 82056 computations (36.5% saved)

rewrite1.1min (6.5%)

Algorithm

543×	batch-egg-rewrite
2×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

787332×	`bool.json-1`
775840×	`bool.json-2`
662672×	`rational.json-1`
607092×	`rational.json-2`
578464×	`bool.json-3`

Stop Event

2×	iter limit
545×	node limit

Counts

1230 → 33755

prune1.1min (6.4%)

Counts: 83790 → 2901
Compiler: Compiled 123022 to 90918 computations (26.1% saved)

localize45.3s (4.3%)

Compiler: Compiled 64249 to 37532 computations (41.6% saved)

preprocess36.8s (3.5%)

Algorithm

116×	egg-herbie

Rules

129510×	`rational.json-simplify-41`
41848×	`rational.json-simplify-35`
39264×	`rational.json-simplify-1`
30086×	`rational.json-simplify-51`
29672×	`rational.json-simplify-2`

Stop Event

61×	saturated
14×	unsound
41×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

bsearch17.6s (1.7%)

Algorithm

332×	binary-search
14×	left-value

Results

13.2s	32628×	body	256	valid
941.0ms	958×	body	512	infinite
799.0ms	881×	body	2048	valid
659.0ms	925×	body	1024	valid
424.0ms	921×	body	256	infinite
406.0ms	574×	body	1024	infinite
367.0ms	1376×	body	512	valid
153.0ms	190×	body	4096	valid
24.0ms	20×	body	2048	infinite

Compiler

Compiled 68143 to 47462 computations (30.3% saved)

soundness15.7s (1.5%)

Algorithm

93×	egg-herbie

Rules

97722×	`rational.json-simplify-35`
83452×	`rational.json-simplify-2`
73432×	`rational.json-simplify-41`
70156×	`rational.json-simplify-51`
69132×	`rational.json-simplify-1`

Stop Event

6×	saturated
87×	node limit

Compiler

Compiled 12579 to 7241 computations (42.4% saved)

analyze14.5s (1.4%)

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)

series12.4s (1.2%)

Counts

1230 → 21769

Calls

5994 calls:

Time	Variable		Point	Expression
2.4s	d3	@	inf	(+.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 d1 (-.f64 d4 d1)))
1.2s	beta	@	-inf	(/.f64 (+.f64 alpha beta) (+.f64 beta (+.f64 alpha (*.f64 2 i))))
1.2s	beta	@	inf	(.f64 (.f64 i (/.f64 1 beta)) (/.f64 (+.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (.f64 alpha beta)) (+.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) -1)))
1.2s	x	@	inf	(+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 1 (fabs.f64 x)))
388.0ms	x.im	@	0	(cos.f64 (+.f64 (.f64 (log.f64 x.re) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))

end7.6s (0.7%)

Compiler: Compiled 10409 to 5554 computations (46.6% saved)

Details

sample5.4min (30.7%)

simplify4.2min (23.8%)

eval2.0min (11.5%)

regimes1.2min (6.8%)

rewrite1.1min (6.5%)

prune1.1min (6.4%)

localize45.3s (4.3%)

preprocess36.8s (3.5%)

bsearch17.6s (1.7%)

soundness15.7s (1.5%)

analyze14.5s (1.4%)

series12.4s (1.2%)

end7.6s (0.7%)

Profiling