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

regimes19.2min (26.7%)

Counts

37496 → 7029

Calls

486 calls:

3.7min	x
3.1min	y
2.8min	z
2.0min	t
2.0min	a

Results

Compiler

Compiled 486823 to 233673 computations (52% saved)

simplify14.4min (20%)

Algorithm

2838×

egg-herbie

Rules

3679414×	`rational.json-simplify-35`
2939288×	`rational.json-simplify-2`
2261632×	`rational.json-simplify-51`
2243568×	`rational.json-simplify-41`
1942456×	`rational.json-simplify-1`

Stop Event

89×	done
360×	saturated
180×	fuel
2478×	node limit

Counts

329158 → 321829

Compiler

Compiled 88207 to 48304 computations (45.2% saved)

sample13.7min (19%)

Results

8.8min	2132347×	body	256	valid
2.1min	336938×	body	256	infinite
53.7s	135818×	body	256	invalid
45.5s	50303×	body	1024	valid
19.1s	35650×	body	512	valid
10.9s	10458×	body	2048	valid
10.7s	1576×	body	8192	exit
7.1s	9291×	body	1024	infinite
2.3s	5758×	body	512	infinite
672.0ms	362×	body	4096	valid
600.0ms	719×	body	1024	invalid
133.0ms	591×	body	512	invalid
0.0ms	1×	body	2048	infinite

Bogosity

rewrite6.0min (8.4%)

Algorithm

2299×

batch-egg-rewrite

Rules

3455380×	`rational.json-1`
3362340×	`rational.json-2`
3235084×	`rational.json-3`
3140638×	`rational.json-4`
2990016×	`exponential.json-3`

Stop Event

2299×

node limit

Counts

4748 → 196412

eval4.4min (6.2%)

Compiler: Compiled 7865847 to 4127303 computations (47.5% saved)

bsearch3.4min (4.8%)

Algorithm

4823×	binary-search
374×	left-value

Results

2.5min	568053×	body	256	valid
10.8s	6295×	body	1024	valid
6.5s	27210×	body	256	infinite
2.7s	7056×	body	512	valid
1.9s	9112×	body	256	invalid
421.0ms	452×	body	2048	valid
11.0ms	45×	body	512	invalid
7.0ms	21×	body	512	infinite
3.0ms	8×	body	1024	infinite

Compiler

Compiled 1145825 to 828271 computations (27.7% saved)

prune3.0min (4.2%)

Counts: 373434 → 11899
Compiler: Compiled 276095 to 191819 computations (30.5% saved)

analyze1.9min (2.6%)

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)

preprocess1.5min (2.1%)

Algorithm

540×	egg-herbie

Rules

623962×	`rational.json-simplify-41`
275552×	`rational.json-simplify-35`
237666×	`rational.json-simplify-1`
188782×	`rational.json-simplify-51`
169644×	`rational.json-simplify-2`

Stop Event

56×	unsound
297×	saturated
187×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

localize1.4min (1.9%)

Compiler: Compiled 111426 to 50239 computations (54.9% saved)

soundness1.3min (1.9%)

Algorithm

296×	egg-herbie

Rules

403194×	`rational.json-simplify-35`
315158×	`rational.json-simplify-41`
310062×	`rational.json-simplify-2`
296728×	`rational.json-simplify-51`
234454×	`rational.json-simplify-1`

Stop Event

27×	saturated
269×	node limit

Compiler

Compiled 26422 to 13759 computations (47.9% saved)

end59.8s (1.4%)

Compiler: Compiled 86514 to 36834 computations (57.4% saved)

series35.9s (0.8%)

Counts

4748 → 132476

Calls

33297 calls:

Time	Variable		Point	Expression
6.6s	y	@	0	(*.f64 x (log.f64 y))
1.2s	x	@	0	(*.f64 (/.f64 x (-.f64 z y)) (/.f64 -1 t))
796.0ms	z	@	-inf	(/.f64 1 (-.f64 y (*.f64 z t)))
700.0ms	b	@	-inf	(/.f64 x (+.f64 x (.f64 y (exp.f64 (.f64 2 (.f64 (-.f64 (.f64 2/3 (/.f64 1 t)) (+.f64 5/6 a)) b))))))
655.0ms	y	@	0	(/.f64 (*.f64 y t) z)

Details

regimes19.2min (26.7%)

simplify14.4min (20%)

sample13.7min (19%)

rewrite6.0min (8.4%)

eval4.4min (6.2%)

bsearch3.4min (4.8%)

prune3.0min (4.2%)

analyze1.9min (2.6%)

preprocess1.5min (2.1%)

localize1.4min (1.9%)

soundness1.3min (1.9%)

end59.8s (1.4%)

series35.9s (0.8%)

Profiling