Metrics for Herbie run

Date:	Thursday, November 2nd, 2023
Commit:	14fe7950 on main
Hostname:	nightly with Racket 8.6
Seed:	2023306
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

sample11.5s (21%)

Results

8.5s	63041×	body	256	valid
1.7s	4084×	body	2048	valid
872.0ms	7179×	body	256	infinite
299.0ms	1883×	body	256	invalid

Bogosity

eval10.0s (18.3%)

Compiler: Compiled 523976 to 320766 computations (38.8% saved)

localize9.9s (18.1%)

Compiler: Compiled 5602 to 2755 computations (50.8% saved)

soundness7.2s (13.1%)

Rules

25614×	`fma-def`
18666×	`times-frac`
16382×	`associate-r`
16022×	`fma-neg`
12708×	`associate-l`

Stop Event

2×	saturated
36×	node limit

Compiler

Compiled 4078 to 2179 computations (46.6% saved)

simplify4.1s (7.5%)

Algorithm

30×	egg-herbie

Rules

17676×	`fma-def`
12770×	`times-frac`
10538×	`associate-r`
9408×	`log-prod`
8854×	`*-commutative`

Stop Event

9×	saturated
5×	done
4×	fuel
21×	node limit

Counts

7615 → 7203

Compiler

Compiled 1204 to 757 computations (37.1% saved)

prune3.3s (6%)

Counts: 13745 → 295
Compiler: Compiled 23238 to 15594 computations (32.9% saved)

rewrite2.9s (5.3%)

Algorithm

21×	batch-egg-rewrite

Rules

12548×	`log1p-expm1-u`
9440×	`expm1-log1p-u`
7422×	`log-prod`
6486×	`expm1-udef`
5966×	`prod-diff`

Stop Event

21×	node limit

Counts

135 → 4674

preprocess2.1s (3.8%)

Algorithm

9×	egg-herbie

Rules

5836×	`div-sub`
5698×	`fma-neg`
5666×	`fma-def`
4802×	`times-frac`
3040×	`associate-/r*`

Stop Event

5×	saturated
4×	node limit

Compiler

Compiled 3292 to 1796 computations (45.4% saved)

regimes1.9s (3.5%)

Counts

418 → 92

Calls

23 calls:

464.0ms	b
238.0ms	c
228.0ms	x
203.0ms	a
137.0ms	z

Compiler

Compiled 8031 to 4461 computations (44.5% saved)

bsearch876.0ms (1.6%)

Algorithm

50×	binary-search

Stop Event

45×	narrow-enough
5×	predicate-same

Results

666.0ms	5146×	body	256	valid
85.0ms	710×	body	256	infinite
34.0ms	266×	body	256	invalid

Compiler

Compiled 11281 to 8062 computations (28.5% saved)

series583.0ms (1.1%)

Counts

135 → 2941

Calls

846 calls:

Time	Variable		Point	Expression
80.0ms	c	@	0	(-.f64 (exp.f64 (log1p.f64 (/.f64 -1 (/.f64 b c)))) 1)
31.0ms	b	@	0	(sqrt.f64 (fma.f64 c (.f64 a -4) (.f64 b b)))
17.0ms	b	@	0	(-.f64 (exp.f64 (log1p.f64 (/.f64 -1 (/.f64 b c)))) 1)
9.0ms	c	@	inf	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 a 2))
9.0ms	b	@	inf	(pow.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 2) 1/4)

analyze500.0ms (0.9%)

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)

Herbie run

sample11.5s (21%)

eval10.0s (18.3%)

localize9.9s (18.1%)

soundness7.2s (13.1%)

simplify4.1s (7.5%)

prune3.3s (6%)

rewrite2.9s (5.3%)

preprocess2.1s (3.8%)

regimes1.9s (3.5%)

bsearch876.0ms (1.6%)

series583.0ms (1.1%)

analyze500.0ms (0.9%)

end1.0ms (0%)

Profiling