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

regimes18.6min (25.8%)

Counts

36747 → 7219

Calls

493 calls:

3.1min	y
3.0min	x
2.6min	z
2.2min	a
2.2min	t

Results

Compiler

Compiled 482948 to 228121 computations (52.8% saved)

simplify15.5min (21.4%)

Algorithm

2818×

egg-herbie

Rules

3937086×	`rational.json-simplify-35`
3087160×	`rational.json-simplify-2`
2781792×	`rational.json-simplify-41`
2248358×	`rational.json-simplify-51`
2038430×	`rational.json-simplify-1`

Stop Event

2×	unsound
85×	done
358×	saturated
184×	fuel
2458×	node limit

Counts

286480 → 274670

Compiler

Compiled 91666 to 49663 computations (45.8% saved)

sample14.1min (19.5%)

Results

9.4min	2132123×	body	256	valid
2.0min	338104×	body	256	infinite
51.4s	136025×	body	256	invalid
48.7s	51143×	body	1024	valid
21.7s	35121×	body	512	valid
15.6s	10372×	body	2048	valid
8.0s	9092×	body	1024	infinite
3.8s	1570×	body	8192	exit
2.3s	5473×	body	512	infinite
639.0ms	361×	body	4096	valid
321.0ms	663×	body	1024	invalid
201.0ms	596×	body	512	invalid
1.0ms	2×	body	2048	infinite

Bogosity

rewrite4.7min (6.5%)

Algorithm

2279×

batch-egg-rewrite

Rules

3337078×	`bool.json-1`
3271436×	`bool.json-2`
2679074×	`rational.json-1`
2442182×	`rational.json-2`
2339916×	`bool.json-3`

Stop Event

2279×

node limit

Counts

4602 → 158784

eval4.4min (6.1%)

Compiler: Compiled 6973533 to 3670115 computations (47.4% saved)

bsearch4.1min (5.7%)

Algorithm

4948×	binary-search
402×	left-value

Results

3.3min	584725×	body	256	valid
14.7s	6784×	body	1024	valid
5.6s	27257×	body	256	infinite
5.1s	7836×	body	512	valid
3.1s	5754×	body	256	invalid
260.0ms	399×	body	2048	valid
108.0ms	95×	body	1024	invalid
15.0ms	89×	body	512	invalid
15.0ms	23×	body	1024	infinite
12.0ms	30×	body	512	infinite

Compiler

Compiled 1201228 to 860510 computations (28.4% saved)

prune2.8min (3.9%)

Counts: 323472 → 11545
Compiler: Compiled 257682 to 178664 computations (30.7% 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)

localize1.8min (2.4%)

Compiler: Compiled 111234 to 50005 computations (55% saved)

preprocess1.5min (2%)

Algorithm

540×	egg-herbie

Rules

623962×	`rational.json-simplify-41`
275548×	`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)

soundness1.3min (1.7%)

Algorithm

286×	egg-herbie

Rules

382376×	`rational.json-simplify-35`
359982×	`rational.json-simplify-41`
302304×	`rational.json-simplify-2`
278774×	`rational.json-simplify-51`
228998×	`rational.json-simplify-1`

Stop Event

25×	saturated
261×	node limit

Compiler

Compiled 28601 to 15121 computations (47.1% saved)

end1.0min (1.4%)

Compiler: Compiled 90255 to 37809 computations (58.1% saved)

series30.5s (0.7%)

Counts

4602 → 127426

Calls

32298 calls:

Time	Variable		Point	Expression
2.4s	y	@	-inf	(*.f64 x (log.f64 y))
1.7s	x	@	0	(*.f64 (log.f64 y) x)
1.2s	y	@	-inf	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))
776.0ms	y	@	-inf	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 692910599291889/10000000000000000) 307332350656623/625000000000000)) 11167812716741/40000000000000) (+.f64 (.f64 104698244219447/31250000000000 (/.f64 1 y)) (.f64 6012459259764103/1000000000000000 (/.f64 z y))))
766.0ms	z	@	inf	(.f64 (.f64 2 (*.f64 t 8)) (/.f64 1 z))

Details

regimes18.6min (25.8%)

simplify15.5min (21.4%)

sample14.1min (19.5%)

rewrite4.7min (6.5%)

eval4.4min (6.1%)

bsearch4.1min (5.7%)

prune2.8min (3.9%)

analyze2.0min (2.8%)

localize1.8min (2.4%)

preprocess1.5min (2%)

soundness1.3min (1.7%)

end1.0min (1.4%)

series30.5s (0.7%)

Profiling