Metrics for Herbie run

Date:	Thursday, October 5th, 2023
Commit:	d0ce0259 on arb-support
Hostname:	nightly with Racket 8.6
Seed:	2023278
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

sample3.9min (41.7%)

Results

1.8min	85776×	body	8192	exit
30.7s	63865×	body	1024	valid
21.4s	36989×	body	2048	valid
18.0s	89694×	body	256	invalid
15.7s	59392×	body	256	valid
11.5s	34126×	body	512	valid
10.5s	15880×	body	4096	valid
6.9s	31517×	body	256	precondition
3.0s	9652×	body	256	infinite
2.9s	5283×	body	1024	invalid
2.7s	5064×	body	1024	infinite
1.8s	5653×	body	512	infinite
978.0ms	2572×	body	512	invalid
499.0ms	1945×	body	1024	unsamplable
353.0ms	510×	body	2048	infinite
274.0ms	1003×	body	512	unsamplable
134.0ms	979×	body	256	unsamplable
33.0ms	29×	body	8192	valid
13.0ms	25×	body	2048	invalid
6.0ms	5×	body	8192	infinite
2.0ms	3×	body	4096	infinite

Bogosity

localize1.8min (18.7%)

Compiler: Compiled 14152 to 7004 computations (50.5% saved)

eval47.8s (8.5%)

Compiler: Compiled 1420949 to 811242 computations (42.9% saved)

soundness40.7s (7.2%)

Rules

133216×	`fma-def`
74156×	`log-prod`
67040×	`times-frac`
65816×	`fma-neg`
64408×	`associate-r`

Stop Event

9×	saturated
192×	node limit

Compiler

Compiled 18996 to 11368 computations (40.2% saved)

analyze30.9s (5.5%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	199.9%	-99.9%	0%	0%	0%	1
3.7%	14.3%	371.1%	-285.4%	0%	0%	0%	2
8%	57.1%	656.7%	-613.7%	0%	0%	0%	3
4.2%	57.1%	1313.3%	-1270.4%	0%	0%	0%	4
2.1%	57.1%	2626.6%	-2583.7%	0%	0%	0%	5
1.1%	57.1%	5253.2%	-5210.3%	0%	0%	0%	6
0.5%	57.1%	10506.5%	-10463.6%	0%	0%	0%	7
0.3%	57.1%	21013%	-20970%	0%	0%	0%	8
0.1%	57.1%	42025.9%	-41983%	0%	0%	0%	9
0.1%	57.1%	84051.8%	-84008.9%	0%	0%	0%	10
0%	57.1%	168103.6%	-168060.7%	0%	0%	0%	11
0%	57.1%	336207.2%	-336164.3%	0%	0%	0%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

simplify30.3s (5.4%)

Algorithm

148×	egg-herbie

Rules

96806×	`fma-def`
52394×	`times-frac`
46944×	`associate-r`
46062×	`fma-neg`
45198×	`distribute-lft-in`

Stop Event

3×	done
47×	saturated
25×	fuel
101×	node limit

Counts

35874 → 35227

Compiler

Compiled 3708 to 2560 computations (31% saved)

prune21.3s (3.8%)

Counts: 55812 → 2211
Compiler: Compiled 112397 to 77315 computations (31.2% saved)

rewrite15.9s (2.8%)

Algorithm

92×	batch-egg-rewrite

Rules

55402×	`pow1`
52612×	`add-exp-log`
52574×	`log1p-expm1-u`
52524×	`expm1-log1p-u`
49114×	`add-log-exp`

Stop Event

92×	node limit

Counts

741 → 25301

regimes15.8s (2.8%)

Counts

3964 → 332

Calls

43 calls:

3.9s	x
2.7s	eps
1.9s	a
1.4s	b_2
1.0s	c

Compiler

Compiled 44735 to 25365 computations (43.3% saved)

preprocess8.2s (1.4%)

Algorithm

28×	egg-herbie

Rules

42740×	`fma-def`
13078×	`fma-neg`
9294×	`associate-/r*`
9220×	`div-sub`
9054×	`distribute-rgt-in`

Stop Event

13×	saturated
15×	node limit

Compiler

Compiled 8766 to 5367 computations (38.8% saved)

series6.7s (1.2%)

Counts

741 → 10545

Calls

3417 calls:

Time	Variable		Point	Expression
406.0ms	x	@	-inf	(log.f64 (cbrt.f64 (pow.f64 x (/.f64 1 n))))
189.0ms	x	@	0	(/.f64 (-.f64 (pow.f64 (exp.f64 3) (/.f64 (log1p.f64 x) n)) (pow.f64 (pow.f64 x (/.f64 1 n)) 3)) (fma.f64 (pow.f64 x (/.f64 1 n)) 2 (pow.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) 2)))
155.0ms	a	@	-inf	(-.f64 (neg.f64 b_2) (pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) 2))
147.0ms	x	@	0	(-.f64 (exp.f64 (log1p.f64 (.f64 9/40 (.f64 x x)))) 1)
124.0ms	x	@	0	(cbrt.f64 (sqrt.f64 (*.f64 x 1/3)))

bsearch5.7s (1%)

Algorithm

130×	binary-search
16×	left-value

Stop Event

124×	narrow-enough
6×	predicate-same

Results

2.6s	11632×	body	256	valid
896.0ms	1464×	body	1024	valid
541.0ms	2069×	body	256	invalid
315.0ms	920×	body	512	valid
303.0ms	447×	body	2048	valid
209.0ms	425×	body	1024	infinite
162.0ms	61×	body	8192	exit
105.0ms	206×	body	512	infinite
72.0ms	247×	body	256	infinite
24.0ms	34×	body	2048	infinite
1.0ms	1×	body	4096	valid

Compiler

Compiled 27277 to 19378 computations (29% saved)

Herbie run

sample3.9min (41.7%)

localize1.8min (18.7%)

eval47.8s (8.5%)

soundness40.7s (7.2%)

analyze30.9s (5.5%)

simplify30.3s (5.4%)

prune21.3s (3.8%)

rewrite15.9s (2.8%)

regimes15.8s (2.8%)

preprocess8.2s (1.4%)

series6.7s (1.2%)

bsearch5.7s (1%)

end4.0ms (0%)

Profiling