Date:	Wednesday, May 31st, 2023
Commit:	55347e10 on better-large-numbers
Hostname:	nightly with Racket 8.6
Seed:	2023151
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.7min (31.1%)

Results

37.7s	36604×	body	2048	valid
34.4s	65774×	body	1024	valid
13.0s	91304×	body	256	valid
10.7s	35237×	body	512	valid
1.9s	2247×	body	4096	valid
1.5s	1554×	body	1024	invalid
1.3s	5959×	body	256	invalid
661.0ms	465×	body	1024	unsamplable
601.0ms	3030×	body	256	infinite
418.0ms	716×	body	512	invalid
246.0ms	1102×	body	256	unsamplable
237.0ms	309×	body	2048	unsamplable
206.0ms	178×	body	1024	infinite
117.0ms	239×	body	512	infinite
113.0ms	242×	body	512	unsamplable
6.0ms	5×	body	2048	invalid
4.0ms	6×	body	2048	infinite
4.0ms	2×	body	8192	valid

Bogosity

eval40.3s (12.1%)

Compiler: Compiled 1827951 to 1008735 computations (44.8% saved)

simplify39.9s (12%)

Algorithm

376×	egg-herbie

Rules

256350×	`fma-def`
183028×	`log-prod`
179914×	`fma-neg`
154768×	`unswap-sqr`
140398×	`associate-r`

Stop Event

3×	done
48×	saturated
25×	fuel
328×	node limit

Counts

49147 → 60127

Compiler

Compiled 4755 to 3239 computations (31.9% saved)

soundness36.7s (11%)

Rules

173456×	`fma-def`
154056×	`log-prod`
125706×	`fma-neg`
75138×	`associate-r`
69348×	`times-frac`

Stop Event

9×	saturated
243×	node limit

Compiler

Compiled 25323 to 14787 computations (41.6% saved)

regimes34.3s (10.3%)

Counts

5344 → 405

Calls

43 calls:

8.1s	x
6.7s	c
5.5s	a
3.2s	eps
1.6s	b

Compiler

Compiled 61978 to 35049 computations (43.4% saved)

rewrite29.2s (8.8%)

Algorithm

320×	batch-egg-rewrite

Rules

241278×	`log-prod`
223444×	`pow1`
208776×	`add-exp-log`
208706×	`log1p-expm1-u`
208646×	`expm1-log1p-u`

Stop Event

320×	node limit

Counts

724 → 38383

prune21.1s (6.4%)

Counts: 75344 → 2538
Compiler: Compiled 58289 to 41510 computations (28.8% saved)

bsearch7.5s (2.3%)

Algorithm

189×	binary-search
30×	left-value

Stop Event

185×	narrow-enough
4×	predicate-same

Results

3.3s	19635×	body	256	valid
1.9s	3193×	body	1024	valid
856.0ms	1067×	body	2048	valid
477.0ms	1380×	body	512	valid
282.0ms	1392×	body	256	invalid
124.0ms	399×	body	256	infinite
21.0ms	104×	body	256	unsamplable
6.0ms	7×	body	1024	infinite
2.0ms	5×	body	4096	valid
1.0ms	2×	body	1024	unsamplable
0.0ms	1×	body	512	unsamplable

Compiler

Compiled 40988 to 29636 computations (27.7% saved)

localize6.3s (1.9%)

Compiler: Compiled 13460 to 6914 computations (48.6% saved)

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

724 → 10736

Calls

3405 calls:

Time	Variable		Point	Expression
101.0ms	N	@	0	(pow.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) 1/4)
100.0ms	eps	@	-inf	(log.f64 (/.f64 (+.f64 1 (expm1.f64 (tan.f64 (+.f64 x eps)))) (exp.f64 (tan.f64 x))))
74.0ms	x	@	0	(-.f64 (+.f64 1 (pow.f64 x -1/2)) 1)
64.0ms	n	@	inf	(*.f64 n (log.f64 n))
64.0ms	x	@	0	(cbrt.f64 (cbrt.f64 x))

end2.8s (0.8%)

Compiler: Compiled 4638 to 2707 computations (41.6% saved)

preprocess2.1s (0.6%)

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

eval40.3s (12.1%)

simplify39.9s (12%)

soundness36.7s (11%)

regimes34.3s (10.3%)

rewrite29.2s (8.8%)

prune21.1s (6.4%)

bsearch7.5s (2.3%)

localize6.3s (1.9%)

analyze4.7s (1.4%)

series4.3s (1.3%)

end2.8s (0.8%)

preprocess2.1s (0.6%)

Profiling