Metrics for Herbie run

Date:	Sunday, October 1st, 2023
Commit:	89d2ba58 on better-profiles
Hostname:	nightly with Racket 8.6
Seed:	2023274
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

sample2.1min (32.6%)

Results

43.1s	33612×	body	2048	valid
40.0s	62381×	body	1024	valid
17.2s	86651×	body	256	valid
12.6s	32937×	body	512	valid
2.2s	13164×	body	256	infinite
2.1s	2086×	body	4096	valid
1.7s	1199×	body	1024	invalid
1.3s	7403×	body	256	unsamplable
946.0ms	5134×	body	256	invalid
564.0ms	597×	body	512	invalid
379.0ms	313×	body	2048	unsamplable
315.0ms	453×	body	1024	unsamplable
178.0ms	143×	body	1024	infinite
166.0ms	190×	body	512	infinite
96.0ms	225×	body	512	unsamplable
14.0ms	2×	body	8192	valid
14.0ms	8×	body	2048	invalid
1.0ms	2×	body	2048	infinite

Bogosity

localize1.1min (16.7%)

Compiler: Compiled 13773 to 6974 computations (49.4% saved)

soundness49.4s (13%)

Rules

168966×	`fma-def`
118340×	`fma-neg`
90318×	`log-prod`
80334×	`times-frac`
71834×	`associate-r`

Stop Event

2×	saturated
237×	node limit

Compiler

Compiled 21208 to 13335 computations (37.1% saved)

eval36.1s (9.5%)

Compiler: Compiled 1287140 to 769460 computations (40.2% saved)

simplify24.2s (6.4%)

Algorithm

126×	egg-herbie

Rules

75248×	`fma-def`
57912×	`fma-neg`
46590×	`associate-r`
44964×	`log-prod`
43450×	`times-frac`

Stop Event

6×	done
28×	saturated
22×	fuel
98×	node limit

Counts

34320 → 35431

Compiler

Compiled 4522 to 2996 computations (33.7% saved)

prune21.5s (5.7%)

Counts: 50982 → 2223
Compiler: Compiled 118434 to 80946 computations (31.7% saved)

regimes18.4s (4.9%)

Counts

4629 → 390

Calls

43 calls:

4.9s	x
3.0s	eps
2.1s	(/.f64 1 n)
1.3s	a
1.2s	c

Compiler

Compiled 55140 to 30278 computations (45.1% saved)

rewrite16.4s (4.3%)

Algorithm

98×	batch-egg-rewrite

Rules

62532×	`pow1`
59380×	`add-exp-log`
59348×	`log1p-expm1-u`
59310×	`expm1-log1p-u`
54224×	`add-log-exp`

Stop Event

98×	node limit

Counts

738 → 22737

preprocess9.9s (2.6%)

Algorithm

28×	egg-herbie

Rules

42740×	`fma-def`
13078×	`fma-neg`
9294×	`associate-/r*`
9220×	`div-sub`
9054×	`distribute-rgt-in`

Stop Event

13×	saturated
15×	node limit

Compiler

Compiled 10295 to 6058 computations (41.2% saved)

bsearch6.9s (1.8%)

Algorithm

154×	binary-search
37×	left-value

Stop Event

151×	narrow-enough
3×	predicate-same

Results

2.5s	13716×	body	256	valid
2.1s	3633×	body	1024	valid
755.0ms	1573×	body	512	valid
650.0ms	717×	body	2048	valid
241.0ms	1614×	body	256	invalid
113.0ms	509×	body	256	infinite
40.0ms	43×	body	1024	infinite
26.0ms	144×	body	256	unsamplable
20.0ms	32×	body	512	infinite
3.0ms	3×	body	1024	unsamplable
0.0ms	1×	body	4096	valid

Compiler

Compiled 33086 to 23619 computations (28.6% saved)

series4.8s (1.3%)

Counts

738 → 11583

Calls

3609 calls:

Time	Variable		Point	Expression
126.0ms	c	@	0	(-.f64 (exp.f64 (log1p.f64 (/.f64 a (/.f64 a (*.f64 1/2 (/.f64 c b_2)))))) 1)
84.0ms	x	@	inf	(log1p.f64 (neg.f64 (cos.f64 x)))
80.0ms	N	@	0	(*.f64 (pow.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) 1/4) (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
79.0ms	a	@	0	(pow.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) 3)
68.0ms	b	@	inf	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)

analyze4.6s (1.2%)

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)

Herbie run

sample2.1min (32.6%)

localize1.1min (16.7%)

soundness49.4s (13%)

eval36.1s (9.5%)

simplify24.2s (6.4%)

prune21.5s (5.7%)

regimes18.4s (4.9%)

rewrite16.4s (4.3%)

preprocess9.9s (2.6%)

bsearch6.9s (1.8%)

series4.8s (1.3%)

analyze4.6s (1.2%)

end5.0ms (0%)

Profiling