Metrics for Herbie run

Date:	Monday, August 28th, 2023
Commit:	5f639494 on main
Hostname:	nightly with Racket 8.6
Seed:	2023240
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

localize12.6s (23.6%)

Compiler: Compiled 6113 to 3116 computations (49% saved)

sample10.8s (20.3%)

Results

8.1s	62969×	body	256	valid
1.4s	4179×	body	2048	valid
872.0ms	7156×	body	256	infinite
365.0ms	1996×	body	256	invalid

Bogosity

eval9.2s (17.3%)

Compiler: Compiled 553026 to 343819 computations (37.8% saved)

soundness5.1s (9.7%)

Rules

36044×	`fma-def`
16622×	`associate-r`
13668×	`fma-neg`
13610×	`times-frac`
10876×	`distribute-rgt-in`

Stop Event

4×	saturated
26×	node limit

Compiler

Compiled 2458 to 1494 computations (39.2% saved)

simplify4.3s (8.1%)

Algorithm

41×	egg-herbie

Rules

35302×	`fma-def`
16056×	`times-frac`
15290×	`associate-r`
11896×	`fma-neg`
11226×	`distribute-lft-in`

Stop Event

15×	saturated
5×	done
4×	fuel
26×	node limit

Counts

7815 → 7356

Compiler

Compiled 862 to 553 computations (35.8% saved)

prune3.5s (6.6%)

Counts: 13171 → 325
Compiler: Compiled 26385 to 17730 computations (32.8% saved)

rewrite2.5s (4.6%)

Algorithm

23×	batch-egg-rewrite

Rules

19552×	`pow1`
18372×	`add-exp-log`
18366×	`log1p-expm1-u`
18362×	`expm1-log1p-u`
18166×	`add-log-exp`

Stop Event

23×	node limit

Counts

147 → 4658

regimes1.9s (3.5%)

Counts

335 → 57

Calls

23 calls:

442.0ms	x
337.0ms	c
266.0ms	b
222.0ms	a
102.0ms	z

Compiler

Compiled 7053 to 4053 computations (42.5% saved)

preprocess1.2s (2.3%)

Algorithm

9×	egg-herbie

Rules

5828×	`div-sub`
5698×	`fma-neg`
5666×	`fma-def`
4786×	`times-frac`
3022×	`associate-/r*`

Stop Event

5×	saturated
4×	node limit

Compiler

Compiled 2185 to 1272 computations (41.8% saved)

series1.0s (2%)

Counts

147 → 3148

Calls

969 calls:

Time	Variable		Point	Expression
122.0ms	a	@	inf	(pow.f64 (.f64 -4 (.f64 c a)) 1/4)
77.0ms	c	@	-inf	(+.f64 b (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (.f64 c -4))) 1/4) 2))
71.0ms	b	@	0	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
39.0ms	a	@	inf	(+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))))
32.0ms	x	@	-inf	(/.f64 (*.f64 (-.f64 z 1) x) y)

analyze606.0ms (1.1%)

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)

bsearch505.0ms (1%)

Algorithm

25×	binary-search

Stop Event

23×	narrow-enough
2×	predicate-same

Results

392.0ms	2950×	body	256	valid
44.0ms	344×	body	256	invalid
23.0ms	202×	body	256	infinite

Compiler

Compiled 8078 to 5634 computations (30.3% saved)

Herbie run

localize12.6s (23.6%)

sample10.8s (20.3%)

eval9.2s (17.3%)

soundness5.1s (9.7%)

simplify4.3s (8.1%)

prune3.5s (6.6%)

rewrite2.5s (4.6%)

regimes1.9s (3.5%)

preprocess1.2s (2.3%)

series1.0s (2%)

analyze606.0ms (1.1%)

bsearch505.0ms (1%)

end0.0ms (0%)

Profiling