Metrics for Herbie run

Date:	Thursday, January 11th, 2024
Commit:	0cc17b7d on artem-minus-and-trig-tuning
Hostname:	nightly with Racket 8.6
Seed:	2024011
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

sample8.2min (32%)

Results

2.7min	16767×	body	8192	exit
1.5min	298443×	body	256	valid
1.1min	12198×	body	2048	valid
1.0min	53649×	body	512	valid
36.3s	23063×	body	1024	valid
30.0s	2401×	body	4096	valid
9.4s	6035×	body	512	infinite
9.2s	26035×	body	256	unsamplable
8.0s	27087×	body	256	infinite
7.9s	28319×	body	256	invalid
4.1s	598×	body	2048	infinite
3.3s	823×	body	1024	infinite
2.0s	1581×	body	1024	invalid
1.5s	1829×	body	512	invalid
1.0s	590×	body	2048	invalid
320.0ms	974×	body	256	precondition
233.0ms	17×	body	4096	infinite
81.0ms	3×	body	8192	valid
12.0ms	1×	body	4096	unsamplable
9.0ms	9×	body	512	unsamplable
6.0ms	3×	body	1024	unsamplable

Bogosity

localize7.2min (28.1%)

Results

Compiler

Compiled 82242 to 44263 computations (46.2% saved)

eval2.1min (8.4%)

Compiler: Compiled 6244103 to 3566645 computations (42.9% saved)

soundness1.7min (6.8%)

Rules

252684×	`fma-def`
171340×	`associate-r`
132656×	`log-prod`
126734×	`associate-l`
126548×	`times-frac`

Stop Event

5×	saturated
4×	unsound
407×	node limit

Compiler

Compiled 48114 to 29687 computations (38.3% saved)

regimes1.5min (6%)

Counts

17655 → 819

Calls

137 calls:

7.8s	phi1
7.3s	phi2
6.8s	lambda1
5.5s	(-.f64 lambda1 lambda2)
5.4s	lambda2

Compiler

Compiled 473859 to 249641 computations (47.3% saved)

preprocess1.3min (5.1%)

Algorithm

51×	egg-herbie

Rules

76366×	`fma-def`
27180×	`div-sub`
26822×	`fma-neg`
24892×	`sub-neg`
22370×	`distribute-lft-in`

Stop Event

8×	saturated
43×	node limit

Compiler

Compiled 66276 to 39511 computations (40.4% saved)

analyze57.5s (3.8%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
14.8%	11.8%	67.6%	20.6%	0%	0%	0%	1
22.6%	17.7%	60.4%	21%	0%	0.9%	0%	2
32.7%	24.7%	50.8%	21.2%	0%	3.3%	0%	3
39.8%	29.8%	45%	21.2%	0%	4%	0%	4
45.4%	33.8%	40.6%	21.2%	0%	4.5%	0%	5
48.4%	35.7%	38%	21.2%	0%	5.1%	0%	6
51.8%	37.8%	35.2%	21.2%	0%	5.7%	0.1%	7
53.5%	38.9%	33.8%	21.3%	0%	6%	0.1%	8
56.4%	40.6%	31.4%	21.3%	0%	6.6%	0.2%	9
57.7%	41.4%	30.3%	21.3%	0%	6.8%	0.2%	10
59.8%	42.7%	28.7%	21.3%	0%	7.1%	0.3%	11
61.3%	43.5%	27.5%	21.3%	0%	7.5%	0.3%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

simplify46.2s (3%)

Algorithm

215×	egg-herbie

Rules

126494×	`fma-def`
92896×	`associate-r`
80818×	`log-prod`
80732×	`associate-l`
74840×	`times-frac`

Stop Event

1×	unsound
48×	saturated
8×	done
40×	fuel
166×	node limit

Counts

77396 → 62560

Compiler

Compiled 15540 to 10374 computations (33.2% saved)

prune46.1s (3%)

Counts: 142232 → 5976
Compiler: Compiled 640771 to 450017 computations (29.8% saved)

rewrite24.4s (1.6%)

Algorithm

167×	batch-egg-rewrite

Rules

94695×	`log1p-expm1-u`
71513×	`expm1-log1p-u`
55474×	`expm1-udef`
53944×	`log1p-udef`
48784×	`prod-diff`

Stop Event

3×	unsound
164×	node limit

Counts

1492 → 46138

bsearch21.9s (1.4%)

Algorithm

311×	binary-search
72×	left-value

Stop Event

301×	narrow-enough
10×	predicate-same

Results

8.0s	27551×	body	256	valid
6.1s	6028×	body	512	valid
2.5s	2291×	body	1024	valid
2.4s	1864×	body	2048	valid
884.0ms	3073×	body	256	invalid
264.0ms	282×	body	512	infinite
237.0ms	240×	body	1024	invalid
230.0ms	705×	body	256	infinite
185.0ms	143×	body	2048	invalid
146.0ms	39×	body	1024	infinite
124.0ms	19×	body	2048	infinite
92.0ms	133×	body	512	invalid
13.0ms	5×	body	4096	valid

Compiler

Compiled 91068 to 68234 computations (25.1% saved)

series11.1s (0.7%)

Counts

1492 → 31258

Calls

8583 calls:

Time	Variable		Point	Expression
616.0ms	a	@	0	(pow.f64 (.f64 c (.f64 -4 a)) 3/2)
352.0ms	delta	@	0	(log.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (cos.f64 delta)))
106.0ms	a	@	inf	(log1p.f64 (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))))
99.0ms	phi2	@	-inf	(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 phi1 (cos.f64 (-.f64 lambda2 lambda1))) (cos.f64 phi2)))) 1)
74.0ms	lambda2	@	inf	(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 phi1 (cos.f64 (-.f64 lambda2 lambda1))) (cos.f64 phi2)))) 1)

Herbie run

sample8.2min (32%)

localize7.2min (28.1%)

eval2.1min (8.4%)

soundness1.7min (6.8%)

regimes1.5min (6%)

preprocess1.3min (5.1%)

analyze57.5s (3.8%)

simplify46.2s (3%)

prune46.1s (3%)

rewrite24.4s (1.6%)

bsearch21.9s (1.4%)

series11.1s (0.7%)

end29.0ms (0%)

Profiling