Metrics for Herbie run

Date:	Sunday, November 5th, 2023
Commit:	14fe7950 on main
Hostname:	nightly with Racket 8.6
Seed:	2023309
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

localize11.3s (21.8%)

Compiler: Compiled 6560 to 3405 computations (48.1% saved)

sample11.1s (21.5%)

Results

8.2s	62974×	body	256	valid
1.6s	4175×	body	2048	valid
795.0ms	7155×	body	256	infinite
278.0ms	1788×	body	256	invalid

Bogosity

eval7.7s (15%)

Compiler: Compiled 424186 to 267311 computations (37% saved)

soundness5.2s (10.1%)

Rules

22658×	`fma-def`
15598×	`times-frac`
14444×	`associate-r`
13474×	`fma-neg`
12560×	`log-prod`

Stop Event

1×	unsound
2×	saturated
28×	node limit

Compiler

Compiled 2285 to 1328 computations (41.9% saved)

simplify4.0s (7.7%)

Algorithm

32×	egg-herbie

Rules

21332×	`fma-def`
10924×	`log-prod`
10804×	`times-frac`
10070×	`distribute-lft-in`
9626×	`associate-r`

Stop Event

1×	unsound
9×	saturated
5×	done
4×	fuel
22×	node limit

Counts

6648 → 6064

Compiler

Compiled 954 to 623 computations (34.7% saved)

prune3.3s (6.4%)

Counts: 10690 → 303
Compiler: Compiled 26718 to 17965 computations (32.8% saved)

rewrite2.7s (5.3%)

Algorithm

23×	batch-egg-rewrite

Rules

13417×	`log1p-expm1-u`
12354×	`expm1-log1p-u`
9306×	`log-prod`
7896×	`prod-diff`
6332×	`fma-def`

Stop Event

23×	node limit

Counts

130 → 4177

preprocess2.4s (4.7%)

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 2820 to 1602 computations (43.2% saved)

regimes2.0s (3.8%)

Counts

380 → 67

Calls

23 calls:

333.0ms	a
264.0ms	b
261.0ms	c
168.0ms	y
149.0ms	x

Compiler

Compiled 8213 to 4767 computations (42% saved)

series706.0ms (1.4%)

Counts

130 → 2471

Calls

861 calls:

Time	Variable		Point	Expression
138.0ms	c	@	-inf	(/.f64 (+.f64 0 (.f64 c (.f64 a 4))) (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))
30.0ms	x	@	inf	(log1p.f64 (exp.f64 (fma.f64 x x -1)))
23.0ms	x	@	-inf	(log1p.f64 (exp.f64 (fma.f64 x x -1)))
11.0ms	y	@	0	(/.f64 1 (/.f64 y (*.f64 x z)))
10.0ms	a	@	-inf	(.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 (*.f64 -4 a) c)))) (/.f64 1 a))

analyze652.0ms (1.3%)

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)

bsearch530.0ms (1%)

Algorithm

30×	binary-search

Stop Event

26×	narrow-enough
4×	predicate-same

Results

405.0ms	3107×	body	256	valid
58.0ms	413×	body	256	infinite
11.0ms	79×	body	256	invalid

Compiler

Compiled 7700 to 5380 computations (30.1% saved)

Herbie run

localize11.3s (21.8%)

sample11.1s (21.5%)

eval7.7s (15%)

soundness5.2s (10.1%)

simplify4.0s (7.7%)

prune3.3s (6.4%)

rewrite2.7s (5.3%)

preprocess2.4s (4.7%)

regimes2.0s (3.8%)

series706.0ms (1.4%)

analyze652.0ms (1.3%)

bsearch530.0ms (1%)

end0.0ms (0%)

Profiling