Metrics for Herbie run

Date:	Thursday, September 14th, 2023
Commit:	4716b437 on main
Hostname:	nightly with Racket 8.6
Seed:	2023257
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.7min (21.9%)

Results

30.6s	155119×	body	256	valid
18.5s	29510×	body	1024	valid
11.6s	67572×	body	256	invalid
8.8s	8060×	body	8192	exit
7.3s	39086×	body	256	infinite
6.1s	10270×	body	2048	valid
5.5s	13839×	body	512	valid
3.3s	5922×	body	1024	invalid
2.6s	680×	body	4096	infinite
2.2s	2043×	body	4096	valid
1.5s	8073×	body	256	unsamplable
1.3s	631×	body	2048	infinite
1.1s	3088×	body	512	invalid
1.1s	2475×	body	1024	infinite
871.0ms	825×	body	8192	valid
472.0ms	1458×	body	512	infinite
2.0ms	3×	body	2048	invalid

Bogosity

localize1.5min (19.2%)

Compiler: Compiled 39215 to 18156 computations (53.7% saved)

soundness1.1min (14.5%)

Rules

217900×	`fma-def`
174068×	`associate-r`
147954×	`times-frac`
143242×	`associate-l`
120426×	`log-prod`

Stop Event

3×	unsound
6×	saturated
372×	node limit

Compiler

Compiled 39583 to 23671 computations (40.2% saved)

regimes52.9s (11.2%)

Counts

9261 → 781

Calls

152 calls:

3.8s	l
3.5s	NdChar
2.0s	mu
1.9s	(sin.f64 th)
1.8s	F

Compiler

Compiled 137555 to 72960 computations (47% saved)

eval48.3s (10.2%)

Compiler: Compiled 2551257 to 1516496 computations (40.6% saved)

simplify31.3s (6.6%)

Algorithm

183×	egg-herbie

Rules

122902×	`fma-def`
89686×	`associate-r`
80366×	`associate-l`
77260×	`times-frac`
66162×	`*-commutative`

Stop Event

2×	done
37×	saturated
29×	fuel
146×	node limit

Counts

60336 → 45959

Compiler

Compiled 12664 to 7976 computations (37% saved)

prune21.0s (4.4%)

Counts: 72784 → 3160
Compiler: Compiled 229331 to 157113 computations (31.5% saved)

bsearch15.0s (3.2%)

Algorithm

349×	binary-search
114×	left-value

Stop Event

345×	narrow-enough
4×	predicate-same

Results

5.8s	29322×	body	256	valid
3.3s	4384×	body	1024	valid
1.5s	8060×	body	256	invalid
1.5s	6165×	body	256	infinite
1.0s	2304×	body	512	valid
378.0ms	499×	body	4096	valid
338.0ms	495×	body	2048	valid
184.0ms	232×	body	8192	valid
117.0ms	287×	body	1024	infinite
58.0ms	184×	body	1024	invalid
55.0ms	199×	body	512	infinite
16.0ms	74×	body	512	invalid
1.0ms	1×	body	8192	exit
0.0ms	1×	body	2048	infinite

Compiler

Compiled 111213 to 81774 computations (26.5% saved)

rewrite14.4s (3.1%)

Algorithm

121×	batch-egg-rewrite

Rules

84858×	`pow1`
80298×	`add-exp-log`
80232×	`log1p-expm1-u`
80212×	`expm1-log1p-u`
80160×	`add-log-exp`

Stop Event

1×	unsound
120×	node limit

Counts

1309 → 28381

analyze10.3s (2.2%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
23%	22.6%	75.6%	1.8%	0%	0%	0%	1
24.2%	23.3%	73.2%	1.8%	0%	1.6%	0%	2
30.2%	28.2%	65.2%	1.8%	0%	4.8%	0%	3
34%	31.2%	60.6%	1.8%	0%	6.4%	0%	4
36.2%	33.2%	58.5%	1.8%	0%	6.4%	0%	5
40.4%	37%	54.5%	1.8%	0%	6.6%	0%	6
45.4%	41.1%	49.4%	1.8%	0%	7.3%	0.4%	7
47.7%	42.6%	46.7%	1.8%	0%	8.6%	0.4%	8
50.6%	44.9%	43.9%	1.8%	0%	8.9%	0.5%	9
51.7%	45.7%	42.7%	1.8%	0%	9.3%	0.5%	10
53.4%	46.8%	40.9%	1.8%	0%	9.9%	0.6%	11
55.1%	48%	39.1%	1.8%	0%	10.5%	0.6%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

series8.4s (1.8%)

Counts

1309 → 31924

Calls

8826 calls:

Time	Variable		Point	Expression
206.0ms	l	@	-inf	(log.f64 (/.f64 l k))
104.0ms	K	@	inf	(log.f64 (+.f64 (.f64 -2 (cos.f64 (.f64 1/2 K))) 1))
102.0ms	k	@	-inf	(pow.f64 (pow.f64 (/.f64 (pow.f64 (.f64 n (.f64 2 (PI.f64))) (-.f64 1 k)) k) 3/2) 1/3)
88.0ms	n	@	-inf	(/.f64 (pow.f64 (PI.f64) (-.f64 1/2 (.f64 k 1/2))) (/.f64 (sqrt.f64 k) (pow.f64 (.f64 2 n) (-.f64 1/2 (*.f64 k 1/2)))))
81.0ms	Omc	@	0	(/.f64 (.f64 l l) (/.f64 (.f64 t t) (-.f64 1 (/.f64 (.f64 Om Om) (.f64 Omc Omc)))))

preprocess7.9s (1.7%)

Algorithm

31×	egg-herbie

Rules

36464×	`fma-def`
16456×	`fma-neg`
13966×	`div-sub`
13472×	`distribute-lft-neg-in`
12750×	`distribute-lft-in`

Stop Event

5×	saturated
26×	node limit

Compiler

Compiled 30568 to 16616 computations (45.6% saved)

Herbie run

sample1.7min (21.9%)

localize1.5min (19.2%)

soundness1.1min (14.5%)

regimes52.9s (11.2%)

eval48.3s (10.2%)

simplify31.3s (6.6%)

prune21.0s (4.4%)

bsearch15.0s (3.2%)

rewrite14.4s (3.1%)

analyze10.3s (2.2%)

series8.4s (1.8%)

preprocess7.9s (1.7%)

end14.0ms (0%)

Profiling