Metrics for Herbie run

Date:	Friday, January 19th, 2024
Commit:	4a418bc7 on main
Hostname:	nightly with Racket 8.6
Seed:	2024019
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.7min (19.5%)

Results

46.7s	180101×	body	256	valid
15.3s	67012×	body	256	invalid
9.2s	42527×	body	256	infinite
7.2s	9416×	body	2048	valid
6.9s	10744×	body	1024	valid
4.4s	5573×	body	1024	invalid
3.8s	8344×	body	512	valid
2.6s	630×	body	4096	infinite
2.2s	1958×	body	4096	valid
1.4s	3014×	body	512	invalid
1.3s	618×	body	2048	infinite
1.1s	820×	body	8192	valid
373.0ms	372×	body	1024	infinite
158.0ms	406×	body	512	infinite
75.0ms	193×	body	256	unsamplable
10.0ms	12×	body	8192	exit

Bogosity

localize1.5min (17%)

Compiler: Compiled 35475 to 19076 computations (46.2% saved)

soundness1.4min (15.9%)

Rules

181520×	`fma-def`
140944×	`times-frac`
120262×	`associate-r`
100168×	`associate-l`
87102×	`log-prod`

Stop Event

4×	unsound
5×	saturated
325×	node limit

Compiler

Compiled 36875 to 23377 computations (36.6% saved)

eval54.7s (10.4%)

Compiler: Compiled 2316674 to 1529951 computations (34% saved)

regimes51.4s (9.7%)

Counts

7841 → 753

Calls

152 calls:

4.2s	l
2.5s	F
2.1s	(sin.f64 kx)
1.8s	t
1.7s	Vef

Compiler

Compiled 108449 to 63656 computations (41.3% saved)

simplify40.6s (7.7%)

Algorithm

149×	egg-herbie

Rules

98838×	`fma-def`
77816×	`times-frac`
72322×	`associate-r`
61496×	`associate-l`
54342×	`*-commutative`

Stop Event

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

Counts

61410 → 49458

Compiler

Compiled 11920 to 7973 computations (33.1% saved)

rewrite26.8s (5.1%)

Algorithm

118×	batch-egg-rewrite

Rules

57110×	`log1p-expm1-u`
44826×	`expm1-udef`
41747×	`expm1-log1p-u`
41178×	`prod-diff`
38754×	`log1p-udef`

Stop Event

2×	unsound
116×	node limit

Counts

1193 → 35178

prune22.7s (4.3%)

Counts: 77192 → 2821
Compiler: Compiled 189433 to 137536 computations (27.4% saved)

preprocess16.8s (3.2%)

Algorithm

31×	egg-herbie

Rules

40752×	`fma-def`
16598×	`fma-neg`
15324×	`div-sub`
14446×	`distribute-lft-neg-in`
13254×	`associate-/l*`

Stop Event

4×	saturated
27×	node limit

Compiler

Compiled 49018 to 29819 computations (39.2% saved)

bsearch14.5s (2.7%)

Algorithm

353×	binary-search
90×	left-value

Stop Event

340×	narrow-enough
13×	predicate-same

Results

10.0s	36153×	body	256	valid
1.6s	5550×	body	256	infinite
1.3s	5459×	body	256	invalid
292.0ms	675×	body	1024	valid
181.0ms	261×	body	2048	valid
83.0ms	250×	body	512	valid
78.0ms	98×	body	4096	valid
50.0ms	55×	body	8192	valid
43.0ms	45×	body	512	infinite
19.0ms	41×	body	1024	invalid
8.0ms	30×	body	512	invalid
7.0ms	10×	body	2048	infinite
3.0ms	6×	body	1024	infinite
1.0ms	1×	body	4096	infinite

Compiler

Compiled 100735 to 77463 computations (23.1% saved)

analyze13.9s (2.6%)

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.8%	44.9%	41.8%	1.8%	0%	10.1%	1.3%	10
53.5%	46.1%	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 607 computations (28.2% saved)

series9.4s (1.8%)

Counts

1193 → 26232

Calls

7842 calls:

Time	Variable		Point	Expression
260.0ms	k	@	inf	(pow.f64 (/.f64 (pow.f64 (.f64 2 (.f64 (PI.f64) n)) (/.f64 (-.f64 1 k) 4)) (pow.f64 k 1/4)) 2)
155.0ms	l	@	inf	(pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 (.f64 (sin.f64 kx) (/.f64 l (.f64 Om 1/2)))))))) 3)
145.0ms	k	@	inf	(/.f64 (pow.f64 k m) k)
138.0ms	M	@	0	(-.f64 (.f64 (pow.f64 (/.f64 c0 (.f64 w h)) 2) (pow.f64 (/.f64 d D) 4)) (pow.f64 M 2))
127.0ms	k	@	inf	(pow.f64 (/.f64 k t) 2)

Herbie run

sample1.7min (19.5%)

localize1.5min (17%)

soundness1.4min (15.9%)

eval54.7s (10.4%)

regimes51.4s (9.7%)

simplify40.6s (7.7%)

rewrite26.8s (5.1%)

prune22.7s (4.3%)

preprocess16.8s (3.2%)

bsearch14.5s (2.7%)

analyze13.9s (2.6%)

series9.4s (1.8%)

end23.0ms (0%)

Profiling