Date:	Wednesday, March 15th, 2023
Commit:	32647e2f on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023074
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.2min (31.2%)

Results

2.2min	439442×	body	256	valid
1.8min	8027×	body	8192	exit
29.3s	23356×	body	1024	valid
15.3s	14758×	body	1024	infinite
9.0s	29630×	body	256	infinite
7.2s	12208×	body	512	valid
4.8s	6845×	body	512	infinite
2.0s	2706×	body	2048	valid
1.7s	4875×	body	256	invalid
759.0ms	1136×	body	4096	valid
616.0ms	4227×	body	256	unsamplable
528.0ms	219×	body	2048	infinite

Bogosity

simplify3.3min (19.6%)

Algorithm

696×	egg-herbie

Rules

876052×	`rational.json-simplify-35`
746838×	`rational.json-simplify-2`
508528×	`rational.json-simplify-41`
492916×	`rational.json-simplify-51`
465430×	`rational.json-simplify-1`

Stop Event

70×	saturated
20×	done
38×	fuel
626×	node limit

Counts

68353 → 83156

Compiler

Compiled 11115 to 7371 computations (33.7% saved)

eval1.9min (11.3%)

Compiler: Compiled 3789004 to 2215906 computations (41.5% saved)

regimes1.4min (8.2%)

Counts

8276 → 698

Calls

134 calls:

9.6s	im
8.0s	x.im
7.9s	y.im
7.7s	re
6.0s	x

Compiler

Compiled 198168 to 133426 computations (32.7% saved)

rewrite1.3min (7.5%)

Algorithm

580×	batch-egg-rewrite

Rules

850486×	`rational.json-1`
834760×	`rational.json-2`
806468×	`rational.json-3`
768542×	`rational.json-4`
718552×	`exponential.json-3`

Stop Event

580×	node limit

Counts

1305 → 45146

prune1.1min (6.5%)

Counts: 107388 → 3231
Compiler: Compiled 138370 to 102448 computations (26% saved)

localize39.9s (4%)

Compiler: Compiled 65158 to 36473 computations (44% saved)

preprocess37.5s (3.7%)

Algorithm

116×	egg-herbie

Rules

129518×	`rational.json-simplify-41`
42094×	`rational.json-simplify-35`
39268×	`rational.json-simplify-1`
31198×	`rational.json-simplify-51`
29846×	`rational.json-simplify-2`

Stop Event

61×	saturated
14×	unsound
41×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

analyze27.6s (2.7%)

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)

soundness20.1s (2%)

Algorithm

99×	egg-herbie

Rules

114998×	`rational.json-simplify-35`
88522×	`rational.json-simplify-2`
88132×	`rational.json-simplify-41`
74772×	`rational.json-simplify-1`
73896×	`rational.json-simplify-51`

Stop Event

5×	saturated
94×	node limit

Compiler

Compiled 14233 to 8740 computations (38.6% saved)

bsearch16.3s (1.6%)

Algorithm

372×	binary-search
17×	left-value

Results

11.9s	39419×	body	256	valid
998.0ms	859×	body	2048	valid
746.0ms	600×	body	1024	infinite
568.0ms	1208×	body	256	infinite
437.0ms	933×	body	1024	valid
300.0ms	421×	body	512	infinite
146.0ms	587×	body	512	valid
124.0ms	250×	body	4096	valid
31.0ms	27×	body	2048	infinite

Compiler

Compiled 76520 to 53989 computations (29.4% saved)

end7.9s (0.8%)

Compiler: Compiled 11249 to 6513 computations (42.1% saved)

series7.6s (0.8%)

Counts

1305 → 23149

Calls

6288 calls:

Time	Variable		Point	Expression
436.0ms	d1	@	inf	(*.f64 d1 (+.f64 (-.f64 d2 d3) (-.f64 d4 d1)))
332.0ms	x	@	0	(+.f64 (/.f64 1/2 x) (fabs.f64 x))
239.0ms	base	@	0	(/.f64 (log.f64 (sqrt.f64 im)) (/.f64 (log.f64 base) (log.f64 im)))
235.0ms	re	@	inf	(.f64 1/2 (.f64 (cos.f64 re) (pow.f64 im 2)))
230.0ms	re	@	-inf	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 1 (exp.f64 im)) (-.f64 -1 (/.f64 -1 (exp.f64 im)))))

Details

sample5.2min (31.2%)

simplify3.3min (19.6%)

eval1.9min (11.3%)

regimes1.4min (8.2%)

rewrite1.3min (7.5%)

prune1.1min (6.5%)

localize39.9s (4%)

preprocess37.5s (3.7%)

analyze27.6s (2.7%)

soundness20.1s (2%)

bsearch16.3s (1.6%)

end7.9s (0.8%)

series7.6s (0.8%)

Profiling