Date:	Wednesday, June 14th, 2023
Commit:	37008fa3 on main
Hostname:	nightly with Racket 8.6
Seed:	2023165
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:simplifygenerate:proofs` default

Details

sample1.4min (30.3%)

Results

30.5s	33284×	body	2048	valid
25.8s	62473×	body	1024	valid
10.7s	86929×	body	256	valid
8.4s	33090×	body	512	valid
1.6s	13028×	body	256	infinite
1.1s	1990×	body	4096	valid
1.0s	1175×	body	1024	invalid
740.0ms	7767×	body	256	unsamplable
622.0ms	5108×	body	256	invalid
302.0ms	559×	body	512	invalid
292.0ms	439×	body	1024	unsamplable
206.0ms	295×	body	2048	unsamplable
179.0ms	168×	body	1024	infinite
100.0ms	201×	body	512	infinite
52.0ms	222×	body	512	unsamplable
7.0ms	6×	body	2048	invalid
3.0ms	5×	body	2048	infinite

Bogosity

localize40.3s (14.9%)

Compiler: Compiled 15489 to 7992 computations (48.4% saved)

soundness37.3s (13.8%)

Rules

167936×	`fma-def`
99768×	`fma-neg`
96660×	`associate-r`
86426×	`log-prod`
83914×	`times-frac`

Stop Event

8×	saturated
243×	node limit

Compiler

Compiled 23740 to 14537 computations (38.8% saved)

eval25.8s (9.5%)

Compiler: Compiled 1360757 to 753119 computations (44.7% saved)

simplify18.9s (7%)

Algorithm

154×	egg-herbie

Rules

99008×	`fma-def`
61378×	`associate-r`
55602×	`times-frac`
55400×	`fma-neg`
54634×	`associate-l`

Stop Event

4×	done
1×	unsound
47×	saturated
24×	fuel
106×	node limit

Counts

35924 → 34708

Compiler

Compiled 6663 to 4222 computations (36.6% saved)

regimes17.7s (6.5%)

Counts

5595 → 513

Calls

43 calls:

3.6s	x
3.2s	eps
2.1s	(/.f64 1 n)
2.0s	n
1.2s	b

Compiler

Compiled 70709 to 35859 computations (49.3% saved)

prune15.0s (5.5%)

Counts: 56530 → 2334
Compiler: Compiled 132647 to 88705 computations (33.1% saved)

rewrite10.9s (4%)

Algorithm

98×	batch-egg-rewrite

Rules

63976×	`pow1`
60650×	`add-exp-log`
60630×	`log1p-expm1-u`
60586×	`expm1-log1p-u`
55482×	`add-log-exp`

Stop Event

98×	node limit

Counts

783 → 24503

bsearch9.5s (3.5%)

Algorithm

252×	binary-search
41×	left-value

Stop Event

250×	narrow-enough
2×	predicate-same

Results

3.8s	21787×	body	256	valid
2.4s	4448×	body	1024	valid
1.1s	3217×	body	512	valid
865.0ms	1288×	body	2048	valid
402.0ms	1243×	body	256	infinite
208.0ms	1682×	body	256	invalid
48.0ms	53×	body	1024	infinite
19.0ms	44×	body	512	infinite
4.0ms	28×	body	256	unsamplable

Compiler

Compiled 60433 to 42620 computations (29.5% saved)

end4.9s (1.8%)

Compiler: Compiled 14174 to 7910 computations (44.2% saved)

series3.5s (1.3%)

Counts

783 → 11393

Calls

3537 calls:

Time	Variable		Point	Expression
480.0ms	x	@	inf	(-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) 2))) (cbrt.f64 x))
66.0ms	x	@	inf	(-.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x eps))) 3) (cos.f64 x))
45.0ms	c	@	inf	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
44.0ms	eps	@	0	(-.f64 (cos.f64 eps) 1)
43.0ms	eps	@	inf	(+.f64 (*.f64 (cos.f64 x) eps) (sin.f64 x))

analyze2.8s (1%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
27.4%	24.9%	66%	9.1%	0%	0%	0%	1
39%	34.7%	54.4%	9.1%	0%	1.8%	0%	2
51%	44.1%	42.4%	9.1%	0%	4.5%	0%	3
58.9%	50.1%	35%	9.1%	0%	5.8%	0%	4
65.5%	55%	29%	9.1%	0%	6.9%	0%	5
67.8%	56.6%	26.9%	9.1%	0%	7.5%	0%	6
70.2%	57.8%	24.6%	9.1%	0%	8.4%	0.1%	7
72.2%	59.3%	22.8%	9.1%	0%	8.7%	0.1%	8
73.5%	60%	21.6%	9.1%	0%	9.1%	0.3%	9
74.7%	60.5%	20.4%	9.1%	0%	9.7%	0.3%	10
76.2%	61.5%	19.2%	9.1%	0%	9.9%	0.4%	11
76.9%	61.8%	18.5%	9.1%	0%	10.2%	0.4%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

preprocess2.1s (0.8%)

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)

Herbie run

Details

sample1.4min (30.3%)

localize40.3s (14.9%)

soundness37.3s (13.8%)

eval25.8s (9.5%)

simplify18.9s (7%)

regimes17.7s (6.5%)

prune15.0s (5.5%)

rewrite10.9s (4%)

bsearch9.5s (3.5%)

end4.9s (1.8%)

series3.5s (1.3%)

analyze2.8s (1%)

preprocess2.1s (0.8%)

Profiling