Date:	Thursday, June 1st, 2023
Commit:	e52f6b29 on fix-links
Hostname:	nightly with Racket 8.6
Seed:	2023152
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 (33.3%)

Results

40.6s	36830×	body	2048	valid
34.0s	66308×	body	1024	valid
13.1s	90857×	body	256	valid
10.7s	34968×	body	512	valid
1.8s	2205×	body	4096	valid
1.5s	1534×	body	1024	invalid
730.0ms	5567×	body	256	invalid
577.0ms	475×	body	1024	unsamplable
541.0ms	2942×	body	256	infinite
470.0ms	184×	body	1024	infinite
428.0ms	770×	body	512	invalid
252.0ms	1086×	body	256	unsamplable
249.0ms	317×	body	2048	unsamplable
148.0ms	240×	body	512	infinite
68.0ms	237×	body	512	unsamplable
54.0ms	11×	body	2048	invalid
1.0ms	1×	body	2048	infinite

Bogosity

simplify40.2s (12.7%)

Algorithm

370×	egg-herbie

Rules

244166×	`fma-def`
173670×	`log-prod`
168418×	`fma-neg`
156992×	`unswap-sqr`
139644×	`associate-r`

Stop Event

1×	unsound
48×	saturated
5×	done
23×	fuel
321×	node limit

Counts

50434 → 61733

Compiler

Compiled 4116 to 2872 computations (30.2% saved)

eval38.0s (12%)

Compiler: Compiled 1894741 to 1031454 computations (45.6% saved)

soundness32.5s (10.2%)

Rules

154718×	`fma-def`
137866×	`log-prod`
112814×	`fma-neg`
73778×	`associate-r`
67890×	`prod-diff`

Stop Event

8×	saturated
228×	node limit

Compiler

Compiled 24017 to 15087 computations (37.2% saved)

rewrite29.9s (9.4%)

Algorithm

314×	batch-egg-rewrite

Rules

276982×	`log-prod`
195244×	`pow1`
182932×	`add-exp-log`
182856×	`log1p-expm1-u`
182810×	`expm1-log1p-u`

Stop Event

314×	node limit

Counts

734 → 39464

regimes22.8s (7.2%)

Counts

4588 → 364

Calls

43 calls:

5.4s	x
4.9s	a
3.8s	c
2.5s	eps
959.0ms	b

Compiler

Compiled 51179 to 29274 computations (42.8% saved)

prune20.0s (6.3%)

Counts: 76614 → 2352
Compiler: Compiled 52840 to 37949 computations (28.2% saved)

bsearch7.7s (2.4%)

Algorithm

175×	binary-search
14×	left-value

Stop Event

166×	narrow-enough
3×	predicate-failed
6×	predicate-same

Results

2.6s	17145×	body	256	valid
1.7s	3813×	body	1024	valid
908.0ms	910×	body	2048	valid
521.0ms	517×	body	1024	infinite
460.0ms	1458×	body	512	valid
439.0ms	1924×	body	256	unsamplable
251.0ms	1380×	body	256	invalid
149.0ms	244×	body	512	infinite
143.0ms	702×	body	256	infinite
10.0ms	23×	body	1024	unsamplable
6.0ms	10×	body	2048	unsamplable
5.0ms	19×	body	512	unsamplable
2.0ms	2×	body	4096	valid

Compiler

Compiled 35225 to 25825 computations (26.7% saved)

localize6.6s (2.1%)

Compiler: Compiled 13647 to 7265 computations (46.8% saved)

analyze4.3s (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)

series4.3s (1.3%)

Counts

734 → 10942

Calls

3471 calls:

Time	Variable		Point	Expression
94.0ms	x	@	inf	(log.f64 (tan.f64 (+.f64 x eps)))
64.0ms	eps	@	inf	(log.f64 (+.f64 1 (expm1.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))))
63.0ms	n	@	0	(/.f64 (log1p.f64 (/.f64 1 x)) n)
62.0ms	a	@	-inf	(pow.f64 (cbrt.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 (.f64 a c) -4)))) a)) 3)
62.0ms	x	@	0	(log1p.f64 (sin.f64 (*.f64 1/2 (+.f64 x (+.f64 x eps)))))

end3.0s (0.9%)

Compiler: Compiled 4013 to 2424 computations (39.6% saved)

preprocess2.1s (0.7%)

Algorithm

56×	egg-herbie

Rules

25662×	`fma-def`
8366×	`div-sub`
7144×	`distribute-lft-in`
6960×	`distribute-rgt-in`
6546×	`fma-neg`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.8min (33.3%)

simplify40.2s (12.7%)

eval38.0s (12%)

soundness32.5s (10.2%)

rewrite29.9s (9.4%)

regimes22.8s (7.2%)

prune20.0s (6.3%)

bsearch7.7s (2.4%)

localize6.6s (2.1%)

analyze4.3s (1.4%)

series4.3s (1.3%)

end3.0s (0.9%)

preprocess2.1s (0.7%)

Profiling