Date:	Saturday, March 18th, 2023
Commit:	b6070fe6 on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023077
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

regimes16.1min (22.3%)

Counts

25538 → 5987

Calls

489 calls:

2.7min	x
2.6min	y
2.3min	z
2.0min	t
1.6min	a

Results

Compiler

Compiled 463871 to 222575 computations (52% saved)

sample15.0min (20.8%)

Results

9.3min	2132822×	body	256	valid
2.7min	337812×	body	256	infinite
59.0s	135809×	body	256	invalid
57.7s	50604×	body	1024	valid
23.9s	34993×	body	512	valid
16.5s	10385×	body	2048	valid
6.7s	8960×	body	1024	infinite
3.6s	1562×	body	8192	exit
3.0s	5655×	body	512	infinite
1.1s	316×	body	4096	valid
360.0ms	747×	body	1024	invalid
272.0ms	584×	body	512	invalid

Bogosity

simplify11.3min (15.6%)

Algorithm

2830×

egg-herbie

Rules

1893470×	`rational.json-simplify-2`
1849224×	`rational.json-simplify-47`
1626618×	`rational.json-simplify-54`
1546656×	`rational.json-simplify-1`
1316850×	`rational.json-simplify-49`

Stop Event

69×	done
521×	saturated
199×	fuel
2309×	node limit

Counts

217438 → 189025

Compiler

Compiled 68946 to 39327 computations (43% saved)

eval9.2min (12.7%)

Compiler: Compiled 17063297 to 8116388 computations (52.4% saved)

rewrite6.4min (8.8%)

Algorithm

2292×

batch-egg-rewrite

Rules

2294264×	`rational.json-5`
2291420×	`rational.json-2`
2291420×	`rational.json-1`
2291408×	`rational.json-3`
2290110×	`rational.json-4`

Stop Event

2292×

node limit

Counts

4974 → 83622

prune3.9min (5.4%)

Counts: 319361 → 11667
Compiler: Compiled 437191 to 265688 computations (39.2% saved)

bsearch3.3min (4.6%)

Algorithm

4173×	binary-search
269×	left-value

Results

2.6min	495563×	body	256	valid
6.9s	6527×	body	1024	valid
5.7s	21401×	body	256	infinite
5.1s	8368×	body	512	valid
2.1s	8963×	body	256	invalid
511.0ms	305×	body	2048	valid
364.0ms	101×	body	512	invalid
11.0ms	22×	body	1024	infinite
7.0ms	21×	body	512	infinite
1.0ms	1×	body	4096	valid

Compiler

Compiled 960579 to 703653 computations (26.7% saved)

localize2.3min (3.2%)

Compiler: Compiled 198373 to 87252 computations (56% saved)

analyze2.1min (2.9%)

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)

end49.7s (1.1%)

Compiler: Compiled 68511 to 31809 computations (53.6% saved)

soundness46.9s (1.1%)

Algorithm

219×	egg-herbie

Rules

136768×	`rational.json-simplify-2`
129532×	`rational.json-simplify-54`
117358×	`rational.json-simplify-47`
114016×	`rational.json-simplify-1`
102880×	`rational.json-simplify-49`

Stop Event

64×	saturated
155×	node limit

Compiler

Compiled 18359 to 9522 computations (48.1% saved)

series42.8s (1%)

Counts

4974 → 133546

Calls

35865 calls:

Time	Variable		Point	Expression
541.0ms	x	@	0	(*.f64 x (log.f64 y))
510.0ms	x	@	0	(*.f64 (log.f64 y) x)
298.0ms	x	@	inf	(/.f64 1 (*.f64 z x))
273.0ms	z	@	0	(pow.f64 (/.f64 y z) y)
260.0ms	a	@	-inf	(log.f64 (pow.f64 t a))

preprocess15.7s (0.4%)

Algorithm

540×	egg-herbie

Rules

33228×	`rational.json-simplify-41`
28076×	`rational.json-simplify-1`
23562×	`rational.json-simplify-2`
15254×	`trig.json-simplify-41`
11738×	`rational.json-simplify-64`

Stop Event

54×	unsound
468×	saturated
18×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes16.1min (22.3%)

sample15.0min (20.8%)

simplify11.3min (15.6%)

eval9.2min (12.7%)

rewrite6.4min (8.8%)

prune3.9min (5.4%)

bsearch3.3min (4.6%)

localize2.3min (3.2%)

analyze2.1min (2.9%)

end49.7s (1.1%)

soundness46.9s (1.1%)

series42.8s (1%)

preprocess15.7s (0.4%)

Profiling