Date:	Wednesday, May 17th, 2023
Commit:	5c5cbfdd on main
Hostname:	nightly with Racket 8.6
Seed:	2023137
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

sample1.8min (28.9%)

Results

38.1s	36585×	body	2048	valid
36.5s	66289×	body	1024	valid
12.6s	91124×	body	256	valid
11.0s	34921×	body	512	valid
2.1s	2248×	body	4096	valid
2.1s	1461×	body	1024	invalid
878.0ms	3035×	body	256	infinite
752.0ms	5621×	body	256	invalid
732.0ms	1119×	body	256	unsamplable
453.0ms	763×	body	512	invalid
281.0ms	205×	body	512	infinite
254.0ms	282×	body	2048	unsamplable
234.0ms	459×	body	1024	unsamplable
186.0ms	165×	body	1024	infinite
76.0ms	204×	body	512	unsamplable
18.0ms	12×	body	2048	invalid
4.0ms	4×	body	2048	infinite
3.0ms	1×	body	8192	valid

Bogosity

eval57.0s (15.4%)

Compiler: Compiled 2757121 to 1522125 computations (44.8% saved)

rewrite48.7s (13.1%)

Algorithm

314×	batch-egg-rewrite

Rules

196608×	`add-sqr-sqrt`
192612×	`*-un-lft-identity`
181532×	`add-cube-cbrt`
177166×	`add-cbrt-cube`
121892×	`add-exp-log`

Stop Event

314×	node limit

Counts

748 → 45688

simplify45.4s (12.2%)

Algorithm

370×	egg-herbie

Rules

199466×	`associate-r`
191086×	`associate-/l*`
179020×	`associate-/r*`
175202×	`associate-l`
172878×	`*-commutative`

Stop Event

5×	done
48×	saturated
23×	fuel
322×	node limit

Counts

56830 → 76040

Compiler

Compiled 4722 to 3168 computations (32.9% saved)

prune35.0s (9.4%)

Counts: 96240 → 2557
Compiler: Compiled 65319 to 45065 computations (31% saved)

regimes30.9s (8.3%)

Counts

5655 → 376

Calls

43 calls:

7.7s	x
5.4s	a
4.2s	c
3.9s	eps
1.5s	b

Compiler

Compiled 69641 to 36220 computations (48% saved)

soundness18.5s (5%)

Rules

58242×	`associate-/r*`
57880×	`associate-/l*`
51038×	`*-commutative`
46568×	`associate-*l/`
45076×	`distribute-lft-in`

Stop Event

12×	saturated
100×	node limit

Compiler

Compiled 14030 to 7354 computations (47.6% saved)

bsearch7.8s (2.1%)

Algorithm

174×	binary-search
25×	left-value

Stop Event

168×	narrow-enough
6×	predicate-same

Results

3.2s	16475×	body	256	valid
1.9s	4146×	body	1024	valid
1.0s	1262×	body	2048	valid
776.0ms	1866×	body	512	valid
124.0ms	982×	body	256	invalid
45.0ms	300×	body	256	infinite
15.0ms	77×	body	256	unsamplable
5.0ms	11×	body	4096	valid

Compiler

Compiled 39954 to 29099 computations (27.2% saved)

localize7.4s (2%)

Compiler: Compiled 14751 to 7716 computations (47.7% saved)

analyze5.1s (1.4%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
11.8%	10.7%	80.2%	9.1%	0%	0%	0%	1
16%	14.2%	74.9%	9.1%	0%	1.8%	0%	2
34.9%	29.6%	55.3%	9.1%	1.6%	4.5%	0%	3
43.8%	35.9%	45.9%	9.1%	2.9%	5.4%	0.9%	4
51.1%	40.9%	39.1%	9.1%	3.5%	6%	1.3%	5
54.8%	43.3%	35.7%	9.1%	4%	6.4%	1.6%	6
57.8%	44.9%	32.7%	9.1%	4.2%	7.2%	1.9%	7
60.1%	46.4%	30.8%	9.1%	4.4%	7.4%	2%	8
62.1%	47.4%	28.9%	9.1%	4.7%	7.8%	2.1%	9
64%	48.4%	27.2%	9.1%	4.9%	8.4%	2.2%	10
66%	49.5%	25.5%	9.1%	5.1%	8.6%	2.3%	11
67.9%	50.6%	23.8%	9.1%	5.3%	8.9%	2.3%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

series3.5s (0.9%)

Counts

748 → 11114

Calls

3477 calls:

Time	Variable		Point	Expression
150.0ms	eps	@	-inf	(log1p.f64 (cos.f64 (+.f64 x eps)))
103.0ms	c	@	inf	(/.f64 1/2 (/.f64 a (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)))
89.0ms	eps	@	0	(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3)
83.0ms	x	@	-inf	(log1p.f64 (cos.f64 (+.f64 x eps)))
72.0ms	a	@	0	(log1p.f64 (.f64 -1/2 (/.f64 (.f64 c (/.f64 a b_2)) a)))

end2.6s (0.7%)

Compiler: Compiled 4688 to 2707 computations (42.3% saved)

preprocess2.1s (0.6%)

Algorithm

56×	egg-herbie

Rules

12942×	`fma-def`
8106×	`distribute-lft-in`
7218×	`*-commutative`
7100×	`associate-r`
6966×	`associate-+r+`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.8min (28.9%)

eval57.0s (15.4%)

rewrite48.7s (13.1%)

simplify45.4s (12.2%)

prune35.0s (9.4%)

regimes30.9s (8.3%)

soundness18.5s (5%)

bsearch7.8s (2.1%)

localize7.4s (2%)

analyze5.1s (1.4%)

series3.5s (0.9%)

end2.6s (0.7%)

preprocess2.1s (0.6%)

Profiling