Metrics for Herbie run

Date:	Saturday, December 30th, 2023
Commit:	665878db on main
Hostname:	nightly with Racket 8.6
Seed:	2023364
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

sample1.5min (17.8%)

Results

40.2s	179244×	body	256	valid
12.2s	67264×	body	256	invalid
8.2s	42848×	body	256	infinite
6.3s	12246×	body	1024	valid
6.2s	10109×	body	2048	valid
3.6s	5790×	body	1024	invalid
2.7s	655×	body	4096	infinite
2.3s	6713×	body	512	valid
2.2s	1980×	body	4096	valid
1.4s	648×	body	2048	infinite
1.4s	2940×	body	512	invalid
834.0ms	786×	body	8192	valid
228.0ms	415×	body	1024	infinite
158.0ms	292×	body	512	infinite
48.0ms	215×	body	256	unsamplable
5.0ms	6×	body	8192	exit
3.0ms	4×	body	2048	invalid

Bogosity

localize1.4min (16.9%)

Compiler: Compiled 37897 to 19807 computations (47.7% saved)

soundness1.3min (15.3%)

Rules

181552×	`fma-def`
151110×	`associate-r`
142830×	`times-frac`
108248×	`log-prod`
105642×	`associate-l`

Stop Event

5×	unsound
4×	saturated
341×	node limit

Compiler

Compiled 35579 to 22117 computations (37.8% saved)

eval1.0min (12.2%)

Compiler: Compiled 2859803 to 1817043 computations (36.5% saved)

regimes56.8s (11.4%)

Counts

9465 → 771

Calls

152 calls:

4.8s	l
2.9s	t
2.5s	F
2.2s	k
2.0s	KbT

Compiler

Compiled 140260 to 81631 computations (41.8% saved)

simplify36.4s (7.3%)

Algorithm

151×	egg-herbie

Rules

95212×	`fma-def`
73400×	`associate-r`
71154×	`times-frac`
57642×	`associate-l`
57010×	`*-commutative`

Stop Event

2×	done
31×	saturated
29×	fuel
120×	node limit

Counts

63950 → 52118

Compiler

Compiled 12680 to 8265 computations (34.8% saved)

prune26.5s (5.3%)

Counts: 88500 → 3122
Compiler: Compiled 230656 to 165237 computations (28.4% saved)

rewrite20.1s (4.1%)

Algorithm

120×	batch-egg-rewrite

Rules

57347×	`log1p-expm1-u`
42525×	`expm1-log1p-u`
40996×	`expm1-udef`
36370×	`prod-diff`
35108×	`log1p-udef`

Stop Event

2×	unsound
118×	node limit

Counts

1249 → 35227

preprocess15.4s (3.1%)

Algorithm

31×	egg-herbie

Rules

40752×	`fma-def`
16580×	`fma-neg`
15360×	`div-sub`
14408×	`distribute-lft-neg-in`
13246×	`associate-/l*`

Stop Event

4×	saturated
27×	node limit

Compiler

Compiled 55328 to 33191 computations (40% saved)

bsearch11.6s (2.3%)

Algorithm

341×	binary-search
109×	left-value

Stop Event

336×	narrow-enough
5×	predicate-same

Results

7.4s	33198×	body	256	valid
1.5s	6980×	body	256	infinite
1.1s	5758×	body	256	invalid
357.0ms	992×	body	1024	valid
183.0ms	122×	body	4096	valid
87.0ms	177×	body	2048	valid
85.0ms	201×	body	512	valid
28.0ms	31×	body	8192	valid
17.0ms	49×	body	1024	invalid
12.0ms	50×	body	512	invalid
3.0ms	6×	body	1024	infinite
2.0ms	5×	body	512	infinite

Compiler

Compiled 99373 to 75686 computations (23.8% saved)

analyze10.2s (2.1%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
23%	22.6%	75.6%	1.8%	0%	0%	0%	1
24.2%	23.3%	73.2%	1.8%	0%	1.6%	0%	2
29.6%	27.4%	65.2%	1.8%	0%	5.6%	0%	3
33.6%	30.4%	60.2%	1.8%	0%	7.3%	0.4%	4
35.9%	32.4%	57.9%	1.8%	0%	7.3%	0.6%	5
40.2%	36.2%	53.8%	1.8%	0%	7.5%	0.7%	6
45.3%	40.3%	48.7%	1.8%	0%	8.1%	1.1%	7
47.6%	41.8%	45.9%	1.8%	0%	9.4%	1.2%	8
50.6%	44.1%	43.1%	1.8%	0%	9.7%	1.2%	9
51.7%	44.9%	41.9%	1.8%	0%	10.1%	1.3%	10
53.4%	46%	40.1%	1.8%	0%	10.7%	1.3%	11
55.2%	47.2%	38.3%	1.8%	0%	11.3%	1.4%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

series10.0s (2%)

Counts

1249 → 28723

Calls

8457 calls:

Time	Variable		Point	Expression
160.0ms	l	@	inf	(-.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 1 h) l))) 1)
154.0ms	d	@	-inf	(exp.f64 (.f64 1/6 (+.f64 (log.f64 (.f64 -1/4 (/.f64 (pow.f64 (.f64 D M) 2) (/.f64 l h)))) (.f64 -2 (log.f64 d)))))
107.0ms	t	@	0	(/.f64 (/.f64 1 t) (*.f64 (sqrt.f64 2) (PI.f64)))
99.0ms	J	@	inf	(+.f64 (.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 2 l))) (cos.f64 (/.f64 K 2))) U)
92.0ms	B	@	inf	(.f64 (/.f64 F (sin.f64 B)) (sqrt.f64 (/.f64 1 (+.f64 2 (.f64 2 x)))))

Herbie run

sample1.5min (17.8%)

localize1.4min (16.9%)

soundness1.3min (15.3%)

eval1.0min (12.2%)

regimes56.8s (11.4%)

simplify36.4s (7.3%)

prune26.5s (5.3%)

rewrite20.1s (4.1%)

preprocess15.4s (3.1%)

bsearch11.6s (2.3%)

analyze10.2s (2.1%)

series10.0s (2%)

end14.0ms (0%)

Profiling