Metrics for Herbie run

Date:	Saturday, October 14th, 2023
Commit:	3cdd5168 on hamming-cleanup
Hostname:	nightly with Racket 8.6
Seed:	2023287
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

sample1.9min (31.2%)

Results

40.9s	33471×	body	2048	valid
36.2s	62489×	body	1024	valid
15.8s	86689×	body	256	valid
12.5s	32920×	body	512	valid
2.3s	13193×	body	256	infinite
2.2s	1117×	body	1024	invalid
1.8s	2035×	body	4096	valid
1.4s	7502×	body	256	unsamplable
918.0ms	5081×	body	256	invalid
409.0ms	615×	body	512	invalid
312.0ms	293×	body	2048	unsamplable
310.0ms	434×	body	1024	unsamplable
252.0ms	165×	body	1024	infinite
157.0ms	204×	body	512	infinite
109.0ms	246×	body	512	unsamplable
12.0ms	8×	body	2048	invalid
2.0ms	2×	body	2048	infinite

Bogosity

localize59.2s (15.9%)

Compiler: Compiled 14060 to 7097 computations (49.5% saved)

soundness47.7s (12.8%)

Rules

156876×	`fma-def`
109014×	`fma-neg`
85628×	`associate-r`
84730×	`log-prod`
66346×	`associate-l`

Stop Event

2×	saturated
216×	node limit

Compiler

Compiled 21766 to 13274 computations (39% saved)

eval43.0s (11.5%)

Compiler: Compiled 1235425 to 715116 computations (42.1% saved)

simplify24.1s (6.5%)

Algorithm

123×	egg-herbie

Rules

71406×	`fma-def`
52266×	`fma-neg`
49810×	`associate-r`
44922×	`associate-l`
43068×	`times-frac`

Stop Event

4×	done
28×	saturated
24×	fuel
95×	node limit

Counts

34565 → 34744

Compiler

Compiled 4249 to 2922 computations (31.2% saved)

prune20.1s (5.4%)

Counts: 51003 → 2288
Compiler: Compiled 117987 to 80555 computations (31.7% saved)

regimes17.6s (4.7%)

Counts

4131 → 364

Calls

43 calls:

5.4s	x
2.3s	eps
1.3s	a
1.2s	c
1.2s	(/.f64 1 n)

Compiler

Compiled 48883 to 26785 computations (45.2% saved)

rewrite15.4s (4.1%)

Algorithm

95×	batch-egg-rewrite

Rules

58912×	`pow1`
56014×	`add-exp-log`
55986×	`log1p-expm1-u`
55952×	`expm1-log1p-u`
52530×	`add-log-exp`

Stop Event

95×	node limit

Counts

763 → 23956

preprocess14.2s (3.8%)

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 10870 to 6648 computations (38.8% saved)

bsearch6.0s (1.6%)

Algorithm

127×	binary-search
45×	left-value

Stop Event

124×	narrow-enough
3×	predicate-same

Results

2.5s	10892×	body	256	valid
1.3s	2713×	body	1024	valid
795.0ms	806×	body	2048	valid
604.0ms	1364×	body	512	valid
225.0ms	314×	body	256	infinite
125.0ms	865×	body	256	invalid
19.0ms	117×	body	256	unsamplable
7.0ms	7×	body	1024	infinite

Compiler

Compiled 24741 to 18127 computations (26.7% saved)

series5.4s (1.4%)

Counts

763 → 10609

Calls

3504 calls:

Time	Variable		Point	Expression
709.0ms	x	@	inf	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
266.0ms	x	@	0	(/.f64 (-.f64 (pow.f64 (+.f64 1 x) (/.f64 2 n)) (pow.f64 x (/.f64 2 n))) (+.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))))
203.0ms	eps	@	inf	(log1p.f64 (sin.f64 (*.f64 1/2 (+.f64 eps (+.f64 x x)))))
89.0ms	N	@	inf	(log.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1)))
82.0ms	eps	@	-inf	(-.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (+.f64 x eps))))) (cos.f64 x))

analyze3.9s (1.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)

Herbie run

sample1.9min (31.2%)

localize59.2s (15.9%)

soundness47.7s (12.8%)

eval43.0s (11.5%)

simplify24.1s (6.5%)

prune20.1s (5.4%)

regimes17.6s (4.7%)

rewrite15.4s (4.1%)

preprocess14.2s (3.8%)

bsearch6.0s (1.6%)

series5.4s (1.4%)

analyze3.9s (1.1%)

end4.0ms (0%)

Profiling