Metrics for Herbie run

Date:	Thursday, January 11th, 2024
Commit:	5b086e89 on platforms
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

localize13.7s (22.6%)

Compiler: Compiled 6004 to 3188 computations (46.9% saved)

sample13.1s (21.6%)

Results

9.8s	63004×	body	256	valid
1.7s	4158×	body	2048	valid
891.0ms	7142×	body	256	infinite
576.0ms	1921×	body	256	invalid

Bogosity

eval9.1s (14.9%)

Compiler: Compiled 471513 to 300505 computations (36.3% saved)

soundness6.4s (10.5%)

Rules

28148×	`fma-def`
16360×	`times-frac`
13052×	`associate-r`
9872×	`fma-neg`
9268×	`div-sub`

Stop Event

2×	saturated
27×	node limit

Compiler

Compiled 2666 to 1614 computations (39.5% saved)

simplify4.5s (7.5%)

Algorithm

29×	egg-herbie

Rules

18666×	`fma-def`
10844×	`times-frac`
10082×	`associate-r`
9756×	`log-prod`
8078×	`distribute-lft-in`

Stop Event

10×	saturated
4×	done
5×	fuel
19×	node limit

Counts

7354 → 6225

Compiler

Compiled 1250 to 811 computations (35.1% saved)

rewrite3.9s (6.4%)

Algorithm

19×	batch-egg-rewrite

Rules

10672×	`log1p-expm1-u`
8406×	`expm1-log1p-u`
8220×	`prod-diff`
5704×	`log-prod`
4940×	`unpow-prod-down`

Stop Event

19×	node limit

Counts

129 → 4881

prune3.3s (5.4%)

Counts: 11779 → 275
Compiler: Compiled 21557 to 14531 computations (32.6% saved)

preprocess2.7s (4.5%)

Algorithm

9×	egg-herbie

Rules

7114×	`fma-def`
5092×	`div-sub`
4546×	`fma-neg`
3738×	`times-frac`
3230×	`associate-/r*`

Stop Event

5×	saturated
4×	node limit

Compiler

Compiled 3500 to 2006 computations (42.7% saved)

regimes1.9s (3.1%)

Counts

421 → 81

Calls

26 calls:

340.0ms	x
290.0ms	b
278.0ms	c
232.0ms	a
180.0ms	y

Compiler

Compiled 9093 to 5427 computations (40.3% saved)

bsearch862.0ms (1.4%)

Algorithm

39×	binary-search

Stop Event

36×	narrow-enough
3×	predicate-same

Results

654.0ms	4323×	body	256	valid
67.0ms	557×	body	256	infinite
63.0ms	399×	body	256	invalid

Compiler

Compiled 11714 to 8304 computations (29.1% saved)

analyze703.0ms (1.2%)

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

series554.0ms (0.9%)

Counts

129 → 2473

Calls

789 calls:

Time	Variable		Point	Expression
56.0ms	x	@	inf	(fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y))
17.0ms	a	@	-inf	(.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 -4 a) c)))) (/.f64 1 c))
8.0ms	c	@	-inf	(/.f64 2 (+.f64 (.f64 -2 (/.f64 b c)) (.f64 2 (/.f64 a b))))
6.0ms	c	@	-inf	(+.f64 (neg.f64 b) (pow.f64 (/.f64 1 (sqrt.f64 (fma.f64 b b (.f64 (.f64 -4 a) c)))) -1))
5.0ms	b	@	0	(.f64 c (/.f64 -2 (+.f64 b (+.f64 b (.f64 -2 (/.f64 a (/.f64 b c)))))))

Herbie run

localize13.7s (22.6%)

sample13.1s (21.6%)

eval9.1s (14.9%)

soundness6.4s (10.5%)

simplify4.5s (7.5%)

rewrite3.9s (6.4%)

prune3.3s (5.4%)

preprocess2.7s (4.5%)

regimes1.9s (3.1%)

bsearch862.0ms (1.4%)

analyze703.0ms (1.2%)

series554.0ms (0.9%)

end1.0ms (0%)

Profiling