Date:	Sunday, February 26th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023057
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.6min (30.5%)

Results

35.2s	36763×	body	2048	valid
31.4s	66328×	body	1024	valid
12.3s	90925×	body	256	valid
11.0s	34930×	body	512	valid
1.6s	2218×	body	4096	valid
1.4s	1485×	body	1024	invalid
740.0ms	5660×	body	256	invalid
541.0ms	736×	body	512	invalid
445.0ms	3049×	body	256	infinite
431.0ms	192×	body	1024	infinite
227.0ms	1044×	body	256	unsamplable
199.0ms	453×	body	1024	unsamplable
166.0ms	267×	body	2048	unsamplable
126.0ms	252×	body	512	infinite
66.0ms	227×	body	512	unsamplable
8.0ms	4×	body	8192	valid
6.0ms	5×	body	2048	invalid
4.0ms	5×	body	2048	infinite

Bogosity

eval57.3s (18.1%)

Compiler: Compiled 2889917 to 1658990 computations (42.6% saved)

simplify44.7s (14.1%)

Algorithm

387×	egg-herbie

Rules

225732×	`associate-r`
200732×	`associate-/l*`
192850×	`associate-/r*`
192704×	`associate-l`
182996×	`*-commutative`

Stop Event

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

Counts

59372 → 78994

Compiler

Compiled 4280 to 2854 computations (33.3% saved)

rewrite32.0s (10.1%)

Algorithm

331×	batch-egg-rewrite

Rules

215942×	`add-sqr-sqrt`
211472×	`*-un-lft-identity`
199448×	`add-cube-cbrt`
194828×	`add-cbrt-cube`
132802×	`add-exp-log`

Stop Event

331×	node limit

Counts

765 → 47656

prune30.4s (9.6%)

Counts: 98124 → 2417
Compiler: Compiled 60360 to 42158 computations (30.2% saved)

regimes22.5s (7.1%)

Counts

5554 → 346

Calls

43 calls:

5.4s	x
3.4s	c
3.1s	a
2.7s	eps
1.0s	(/.f64 1 n)

Compiler

Compiled 68972 to 35823 computations (48.1% saved)

soundness8.1s (2.6%)

Algorithm

49×	egg-herbie

Rules

28972×	`associate-r`
28824×	`associate-/l*`
24162×	`fma-def`
23124×	`associate-l`
23086×	`associate-/r*`

Stop Event

11×	saturated
38×	node limit

Compiler

Compiled 4558 to 2386 computations (47.7% saved)

localize7.4s (2.3%)

Compiler: Compiled 15536 to 8455 computations (45.6% saved)

bsearch6.0s (1.9%)

Algorithm

164×	binary-search
9×	left-value

Results

2.4s	14286×	body	256	valid
1.7s	4018×	body	1024	valid
957.0ms	1160×	body	2048	valid
421.0ms	1528×	body	512	valid
130.0ms	1107×	body	256	invalid
19.0ms	109×	body	256	infinite
16.0ms	82×	body	256	unsamplable
3.0ms	7×	body	1024	unsamplable
1.0ms	4×	body	512	unsamplable

Compiler

Compiled 36212 to 25890 computations (28.5% saved)

analyze4.8s (1.5%)

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 (1.1%)

Counts

765 → 11688

Calls

3615 calls:

Time	Variable		Point	Expression
134.0ms	eps	@	inf	(log.f64 (-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x)))
109.0ms	eps	@	0	(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3)
77.0ms	x	@	0	(-.f64 (exp.f64 (log1p.f64 (*.f64 -27/2800 (pow.f64 x 4)))) 1)
62.0ms	x	@	inf	(log1p.f64 (sin.f64 x))
53.0ms	x	@	inf	(log.f64 (tan.f64 (+.f64 x eps)))

end2.2s (0.7%)

Compiler: Compiled 4181 to 2338 computations (44.1% saved)

preprocess1.7s (0.5%)

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

eval57.3s (18.1%)

simplify44.7s (14.1%)

rewrite32.0s (10.1%)

prune30.4s (9.6%)

regimes22.5s (7.1%)

soundness8.1s (2.6%)

localize7.4s (2.3%)

bsearch6.0s (1.9%)

analyze4.8s (1.5%)

series3.5s (1.1%)

end2.2s (0.7%)

preprocess1.7s (0.5%)

Profiling