Date:	Thursday, March 16th, 2023
Commit:	32647e2f on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023075
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

regimes17.9min (25.2%)

Counts

34441 → 6921

Calls

486 calls:

2.8min	x
2.8min	y
2.7min	z
2.2min	t
1.9min	a

Results

Compiler

Compiled 460362 to 222427 computations (51.7% saved)

simplify14.5min (20.3%)

Algorithm

2877×

egg-herbie

Rules

3827872×	`rational.json-simplify-35`
3014902×	`rational.json-simplify-2`
2400430×	`rational.json-simplify-51`
2295468×	`rational.json-simplify-41`
1962240×	`rational.json-simplify-1`

Stop Event

1×	unsound
81×	done
356×	saturated
188×	fuel
2520×	node limit

Counts

323805 → 314239

Compiler

Compiled 84746 to 47013 computations (44.5% saved)

sample13.9min (19.5%)

Results

9.2min	2132195×	body	256	valid
2.1min	339063×	body	256	infinite
48.0s	136982×	body	256	invalid
45.6s	51115×	body	1024	valid
25.7s	35090×	body	512	valid
9.6s	10335×	body	2048	valid
7.2s	9243×	body	1024	infinite
4.1s	1568×	body	8192	exit
2.2s	5547×	body	512	infinite
710.0ms	385×	body	4096	valid
209.0ms	693×	body	1024	invalid
190.0ms	577×	body	512	invalid
2.0ms	5×	body	2048	infinite

Bogosity

rewrite6.0min (8.4%)

Algorithm

2338×	batch-egg-rewrite
2×	egg-rewrite-iter-limit
3×	egg-rewrite

Rules

3518490×	`rational.json-1`
3430334×	`rational.json-2`
3294314×	`rational.json-3`
3201762×	`rational.json-4`
3057214×	`exponential.json-3`

Stop Event

2×	iter limit
2341×	node limit

Counts

4759 → 193392

eval4.7min (6.6%)

Compiler: Compiled 7557787 to 3941433 computations (47.8% saved)

bsearch3.5min (4.9%)

Algorithm

4726×	binary-search
391×	left-value

Results

2.8min	558351×	body	256	valid
9.5s	9007×	body	1024	valid
8.1s	27154×	body	256	infinite
3.1s	7923×	body	512	valid
2.2s	7000×	body	256	invalid
847.0ms	372×	body	1024	invalid
494.0ms	564×	body	2048	valid
28.0ms	161×	body	512	invalid
15.0ms	51×	body	512	infinite
7.0ms	19×	body	1024	infinite

Compiler

Compiled 1092136 to 794947 computations (27.2% saved)

prune3.3min (4.7%)

Counts: 364114 → 11743
Compiler: Compiled 263857 to 183082 computations (30.6% saved)

analyze2.0min (2.8%)

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.3min (1.8%)

Compiler: Compiled 110913 to 50169 computations (54.8% saved)

soundness1.2min (1.7%)

Algorithm

281×	egg-herbie

Rules

403280×	`rational.json-simplify-35`
314438×	`rational.json-simplify-41`
302664×	`rational.json-simplify-2`
289904×	`rational.json-simplify-51`
226054×	`rational.json-simplify-1`

Stop Event

29×	saturated
252×	node limit

Compiler

Compiled 26460 to 13089 computations (50.5% saved)

end1.0min (1.4%)

Compiler: Compiled 83072 to 36252 computations (56.4% saved)

series30.2s (0.7%)

Counts

4759 → 130143

Calls

33000 calls:

Time	Variable		Point	Expression
2.4s	y	@	-inf	(*.f64 x (log.f64 y))
1.0s	y	@	0	(.f64 z (.f64 y (*.f64 9 t)))
476.0ms	t	@	inf	(*.f64 (-.f64 t x) (/.f64 z y))
441.0ms	x	@	0	(*.f64 (log.f64 y) x)
416.0ms	b	@	inf	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 y b))

Details

regimes17.9min (25.2%)

simplify14.5min (20.3%)

sample13.9min (19.5%)

rewrite6.0min (8.4%)

eval4.7min (6.6%)

bsearch3.5min (4.9%)

prune3.3min (4.7%)

analyze2.0min (2.8%)

preprocess1.5min (2.1%)

localize1.3min (1.8%)

soundness1.2min (1.7%)

end1.0min (1.4%)

series30.2s (0.7%)

Profiling