Metrics for Herbie run

Date:	Friday, November 10th, 2023
Commit:	ec08111b on trig-hamming-cleanup
Hostname:	nightly with Racket 8.6
Seed:	2023314
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.3min (19.8%)

Results

39.1s	269557×	body	256	valid
16.1s	14257×	body	2048	valid
8.1s	19581×	body	1024	valid
5.2s	30973×	body	256	infinite
3.0s	11197×	body	512	valid
2.0s	202×	body	8192	exit
537.0ms	788×	body	4096	valid
375.0ms	2700×	body	256	invalid
139.0ms	987×	body	256	unsamplable
102.0ms	166×	body	1024	infinite
78.0ms	220×	body	512	infinite
20.0ms	13×	body	2048	infinite

Bogosity

eval1.2min (19.1%)

Compiler: Compiled 2855511 to 1947425 computations (31.8% saved)

localize59.1s (15.5%)

Compiler: Compiled 30247 to 17701 computations (41.5% saved)

soundness54.7s (14.4%)

Rules

201950×	`fma-def`
111798×	`times-frac`
90790×	`associate-r`
77472×	`associate-l`
71744×	`distribute-lft-in`

Stop Event

5×	saturated
263×	node limit

Compiler

Compiled 23042 to 14730 computations (36.1% saved)

simplify28.1s (7.4%)

Algorithm

161×	egg-herbie

Rules

102600×	`fma-def`
64608×	`times-frac`
55042×	`associate-r`
48848×	`distribute-lft-in`
47956×	`associate-l`

Stop Event

15×	done
1×	unsound
42×	saturated
27×	fuel
118×	node limit

Counts

50579 → 44903

Compiler

Compiled 9019 to 5700 computations (36.8% saved)

prune22.2s (5.8%)

Counts: 82040 → 1974
Compiler: Compiled 118055 to 82254 computations (30.3% saved)

rewrite17.9s (4.7%)

Algorithm

119×	batch-egg-rewrite

Rules

62634×	`log1p-expm1-u`
52133×	`expm1-log1p-u`
42468×	`prod-diff`
36460×	`expm1-udef`
36334×	`log-prod`

Stop Event

119×	node limit

Counts

889 → 33402

regimes17.3s (4.5%)

Counts

4064 → 531

Calls

94 calls:

2.4s	c
1.8s	b
1.5s	a
1.3s	x
1.3s	d

Compiler

Compiled 67197 to 40291 computations (40% saved)

preprocess14.9s (3.9%)

Algorithm

42×	egg-herbie

Rules

55292×	`fma-def`
23816×	`fma-neg`
17932×	`sub-neg`
17906×	`distribute-lft-in`
17852×	`unsub-neg`

Stop Event

11×	saturated
31×	node limit

Compiler

Compiled 24968 to 14722 computations (41% saved)

bsearch8.9s (2.3%)

Algorithm

245×	binary-search
32×	left-value

Stop Event

224×	narrow-enough
21×	predicate-same

Results

4.9s	22930×	body	256	valid
1.7s	5052×	body	256	infinite
645.0ms	1275×	body	1024	valid
372.0ms	1293×	body	512	valid
191.0ms	239×	body	2048	valid
128.0ms	1329×	body	256	invalid
88.0ms	151×	body	1024	infinite
29.0ms	78×	body	512	infinite
18.0ms	109×	body	256	unsamplable
4.0ms	4×	body	2048	infinite
3.0ms	2×	body	4096	valid

Compiler

Compiled 80347 to 55209 computations (31.3% saved)

analyze6.7s (1.7%)

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
23.5%	12.8%	41.7%	45.5%	0%	0%	0%	1
39.5%	21.5%	33%	45.5%	0%	0%	0%	2
50.3%	26.8%	26.5%	45.5%	0%	1.2%	0%	3
58.5%	31%	22%	45.5%	0%	1.5%	0%	4
71.6%	37.8%	15%	45.6%	0%	1.7%	0%	5
73.1%	38.5%	14.1%	45.6%	0%	1.7%	0%	6
78.3%	40.9%	11.3%	45.6%	0%	2.2%	0%	7
81.8%	42.6%	9.5%	45.7%	0%	2.2%	0%	8
84.7%	43.9%	8%	45.7%	0%	2.5%	0%	9
86.7%	44.7%	6.9%	45.7%	0%	2.7%	0%	10
88.8%	45.6%	5.7%	45.7%	0%	2.8%	0.1%	11
89.7%	46%	5.3%	45.7%	0%	2.9%	0.1%	12

Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series3.1s (0.8%)

Counts

889 → 17177

Calls

4755 calls:

Time	Variable		Point	Expression
122.0ms	a	@	0	(exp.f64 (.f64 (-.f64 (log.f64 (.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
88.0ms	t	@	0	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3)
74.0ms	a	@	-inf	(pow.f64 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) -1)
55.0ms	b	@	inf	(pow.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b c) (.f64 a d))) (hypot.f64 c d)) 2)
55.0ms	a	@	inf	(/.f64 (+.f64 b (exp.f64 (.f64 (-.f64 (log.f64 (.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))) a)

Herbie run

sample1.3min (19.8%)

eval1.2min (19.1%)

localize59.1s (15.5%)

soundness54.7s (14.4%)

simplify28.1s (7.4%)

prune22.2s (5.8%)

rewrite17.9s (4.7%)

regimes17.3s (4.5%)

preprocess14.9s (3.9%)

bsearch8.9s (2.3%)

analyze6.7s (1.7%)

series3.1s (0.8%)

end8.0ms (0%)

Profiling