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

sample23.9s (24.8%)

Results

17.6s	70219×	body	256	valid
3.7s	4085×	body	2048	valid
1.6s	2818×	body	256	infinite
694.0ms	2094×	body	256	invalid

Bogosity

eval21.7s (22.5%)

Compiler: Compiled 663949 to 323155 computations (51.3% saved)

simplify15.0s (15.6%)

Algorithm

75×	egg-herbie

Rules

57454×	`rational.json-simplify-47`
45360×	`rational.json-simplify-2`
41192×	`rational.json-simplify-1`
39410×	`rational.json-simplify-54`
37604×	`rational.json-simplify-111`

Stop Event

3×	done
17×	saturated
6×	fuel
58×	node limit

Counts

4913 → 6093

Compiler

Compiled 2577 to 1604 computations (37.8% saved)

rewrite9.0s (9.4%)

Algorithm

57×	batch-egg-rewrite

Rules

60068×	`rational.json-5`
59970×	`rational.json-3`
59970×	`rational.json-2`
59970×	`rational.json-1`
59954×	`rational.json-4`

Stop Event

57×	node limit

Counts

128 → 2464

prune7.0s (7.2%)

Counts: 10092 → 268
Compiler: Compiled 11892 to 7238 computations (39.1% saved)

regimes5.5s (5.7%)

Counts

477 → 111

Calls

23 calls:

1.3s	c
875.0ms	b
776.0ms	z
676.0ms	a
481.0ms	x

Compiler

Compiled 13074 to 6869 computations (47.5% saved)

localize5.0s (5.2%)

Compiler: Compiled 8664 to 4171 computations (51.9% saved)

bsearch2.4s (2.5%)

Algorithm

62×	binary-search
10×	left-value

Results

1.8s	7920×	body	256	valid
236.0ms	930×	body	256	invalid
54.0ms	318×	body	256	infinite
31.0ms	80×	body	2048	valid

Compiler

Compiled 20522 to 14621 computations (28.8% saved)

analyze2.1s (2.1%)

Algorithm

9×

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%	94.4%	0.1%	0%	5.6%	0%	2
6.3%	5.6%	83.2%	0.1%	0%	11.1%	0%	3
18.3%	15.3%	68%	0.1%	2.8%	13.9%	0%	4
26.7%	21.5%	59%	0.1%	4.2%	15.3%	0%	5
33.8%	26.7%	52.4%	0.1%	4.9%	16%	0%	6
46.4%	35.7%	41.3%	0.1%	5.2%	17.7%	0%	7
52.1%	39.9%	36.8%	0.1%	5.4%	17.9%	0%	8
59.4%	45.1%	30.8%	0.1%	5.6%	18.5%	0%	9
67.1%	50.1%	24.6%	0.1%	5.7%	19.6%	0%	10
72.1%	53.5%	20.7%	0.1%	5.9%	19.8%	0%	11
76.6%	56.1%	17.2%	0.1%	6.4%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

soundness1.9s (2%)

Algorithm

12×	egg-herbie

Rules

6836×	`rational.json-simplify-47`
6024×	`rational.json-simplify-49`
5646×	`rational.json-simplify-54`
5484×	`rational.json-simplify-50`
5006×	`rational.json-simplify-2`

Stop Event

5×	saturated
7×	node limit

Compiler

Compiled 902 to 541 computations (40% saved)

end1.3s (1.3%)

Compiler: Compiled 2497 to 1393 computations (44.2% saved)

series946.0ms (1%)

Counts

128 → 2440

Calls

801 calls:

Time	Variable		Point	Expression
134.0ms	z	@	0	(.f64 (/.f64 (.f64 z x) y) (/.f64 (*.f64 z x) y))
64.0ms	x	@	-inf	(+.f64 x (log.f64 x))
10.0ms	b	@	0	(-.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)
9.0ms	a	@	0	(sqrt.f64 (.f64 c (.f64 a -4)))
8.0ms	x	@	0	(+.f64 x (log.f64 x))

preprocess522.0ms (0.5%)

Algorithm

18×	egg-herbie

Rules

1714×	`rational.json-simplify-104`
1626×	`rational.json-simplify-79`
1536×	`rational.json-simplify-73`
1526×	`rational.json-simplify-80`
1328×	`rational.json-simplify-2`

Stop Event

1×	unsound
16×	saturated
1×	node limit

Compiler

Compiled 169 to 118 computations (30.2% saved)

Details

sample23.9s (24.8%)

eval21.7s (22.5%)

simplify15.0s (15.6%)

rewrite9.0s (9.4%)

prune7.0s (7.2%)

regimes5.5s (5.7%)

localize5.0s (5.2%)

bsearch2.4s (2.5%)

analyze2.1s (2.1%)

soundness1.9s (2%)

end1.3s (1.3%)

series946.0ms (1%)

preprocess522.0ms (0.5%)

Profiling