Metrics for Herbie run

Date:	Saturday, October 14th, 2023
Commit:	3cdd5168 on hamming-cleanup
Hostname:	nightly with Racket 8.6
Seed:	2023287
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

sample12.0s (22.1%)

Results

5.0s	20556×	body	256	valid
2.8s	4362×	body	2048	valid
1.2s	1461×	body	4096	valid
1.2s	2647×	body	1024	valid
644.0ms	2680×	body	256	infinite
621.0ms	4042×	body	256	invalid
420.0ms	1318×	body	512	valid

Bogosity

eval7.9s (14.5%)

Compiler: Compiled 268788 to 153523 computations (42.9% saved)

localize6.4s (11.8%)

Compiler: Compiled 3052 to 1275 computations (58.2% saved)

soundness6.3s (11.5%)

Rules

25846×	`fma-def`
22254×	`fma-neg`
15328×	`log-prod`
14042×	`associate-r`
13948×	`times-frac`

Stop Event

29×	node limit

Compiler

Compiled 2755 to 1296 computations (53% saved)

regimes4.8s (8.8%)

Counts

519 → 60

Calls

8 calls:

1.4s	c
1.1s	a
795.0ms	b_2
464.0ms	b
291.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 5796 to 3182 computations (45.1% saved)

simplify4.5s (8.2%)

Algorithm

20×	egg-herbie

Rules

12956×	`fma-def`
11002×	`times-frac`
10538×	`associate-l`
10446×	`associate-r`
7634×	`fma-neg`

Stop Event

4×	saturated
4×	fuel
16×	node limit

Counts

7611 → 8560

Compiler

Compiled 594 to 394 computations (33.7% saved)

prune3.9s (7.1%)

Counts: 9387 → 485
Compiler: Compiled 25169 to 17215 computations (31.6% saved)

rewrite2.7s (5%)

Algorithm

16×	batch-egg-rewrite

Rules

10746×	`add-sqr-sqrt`
10466×	`pow1`
10412×	`*-un-lft-identity`
9952×	`add-exp-log`
9952×	`log1p-expm1-u`

Stop Event

16×	node limit

Counts

165 → 4421

series2.1s (3.8%)

Counts

165 → 3190

Calls

1293 calls:

Time	Variable		Point	Expression
102.0ms	c	@	0	(log.f64 (/.f64 (*.f64 -1/2 c) b_2))
91.0ms	c	@	-inf	(log.f64 (/.f64 (*.f64 -1/2 c) b_2))
65.0ms	a	@	0	(log1p.f64 (.f64 -1 (/.f64 (.f64 (/.f64 a b) c) a)))
62.0ms	a	@	inf	(cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 b_2 (sqrt.f64 (*.f64 c (neg.f64 a))))) a))
46.0ms	a	@	-inf	(/.f64 (-.f64 (.f64 b b) (.f64 -4 (.f64 a c))) (-.f64 (neg.f64 b) (sqrt.f64 (.f64 -4 (*.f64 a c)))))

preprocess1.7s (3.2%)

Algorithm

4×	egg-herbie

Rules

7256×	`fma-def`
4892×	`fma-neg`
4678×	`div-sub`
3816×	`times-frac`
3452×	`associate-/r*`

Stop Event

4×	node limit

Compiler

Compiled 2482 to 1040 computations (58.1% saved)

bsearch1.3s (2.3%)

Algorithm

33×	binary-search

Stop Event

30×	narrow-enough
3×	predicate-same

Results

677.0ms	3147×	body	256	valid
140.0ms	865×	body	256	invalid
128.0ms	264×	body	1024	valid
92.0ms	162×	body	2048	valid
74.0ms	205×	body	512	valid
13.0ms	62×	body	256	infinite

Compiler

Compiled 5846 to 4272 computations (26.9% saved)

analyze838.0ms (1.5%)

Algorithm

4×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
25%	25%	74.9%	0.1%	0%	0%	0%	4
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	5
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	6
41.3%	39%	55.4%	0.1%	0%	5.5%	0%	7
49.8%	46.8%	47.2%	0.1%	0%	5.9%	0%	8
53.7%	49.1%	42.3%	0.1%	0%	8.4%	0%	9
59.2%	51.9%	35.8%	0.1%	0%	12.2%	0%	10
66.9%	57.7%	28.6%	0.1%	0%	13.5%	0%	11
70.9%	59.7%	24.5%	0.1%	0%	15.7%	0%	12

Compiler

Compiled 76 to 52 computations (31.6% saved)

Herbie run

sample12.0s (22.1%)

eval7.9s (14.5%)

localize6.4s (11.8%)

soundness6.3s (11.5%)

regimes4.8s (8.8%)

simplify4.5s (8.2%)

prune3.9s (7.1%)

rewrite2.7s (5%)

series2.1s (3.8%)

preprocess1.7s (3.2%)

bsearch1.3s (2.3%)

analyze838.0ms (1.5%)

end0.0ms (0%)

Profiling