Metrics for Herbie run

Date:	Monday, December 4th, 2023
Commit:	89f8a4b9 on zane-regimes
Hostname:	nightly with Racket 8.6
Seed:	2023338
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

localize8.0min (32.3%)

Results

Compiler

Compiled 88145 to 47683 computations (45.9% saved)

sample7.3min (29.3%)

Results

2.6min	17135×	body	8192	exit
1.0min	295883×	body	256	valid
55.4s	8184×	body	4096	valid
48.6s	43020×	body	1024	valid
32.0s	13360×	body	2048	valid
27.8s	1579×	body	8192	valid
15.9s	27735×	body	512	valid
7.5s	4044×	body	1024	infinite
6.3s	27141×	body	256	unsamplable
5.6s	27004×	body	256	infinite
4.5s	27998×	body	256	invalid
4.0s	596×	body	4096	infinite
3.3s	851×	body	2048	infinite
2.5s	2237×	body	512	infinite
1.3s	1144×	body	2048	invalid
1.2s	1657×	body	1024	invalid
944.0ms	1165×	body	512	invalid
344.0ms	24×	body	8192	infinite
90.0ms	956×	body	256	precondition
6.0ms	9×	body	512	unsamplable
5.0ms	3×	body	1024	unsamplable

Bogosity

eval2.1min (8.5%)

Compiler: Compiled 6375313 to 3789556 computations (40.6% saved)

regimes1.7min (6.8%)

Counts

19147 → 763

Calls

137 calls:

8.7s	phi2
8.1s	phi1
6.3s	lambda1
6.1s	lambda2
6.0s	(-.f64 lambda1 lambda2)

Compiler

Compiled 551894 to 292493 computations (47% saved)

soundness1.4min (5.8%)

Rules

255472×	`fma-def`
164652×	`associate-r`
133762×	`log-prod`
120326×	`associate-l`
117908×	`fma-neg`

Stop Event

5×	saturated
4×	unsound
389×	node limit

Results

Compiler

Compiled 47296 to 28561 computations (39.6% saved)

preprocess1.1min (4.3%)

Algorithm

51×	egg-herbie

Rules

76366×	`fma-def`
27180×	`div-sub`
26822×	`fma-neg`
24892×	`sub-neg`
22370×	`distribute-lft-in`

Stop Event

8×	saturated
43×	node limit

Compiler

Compiled 40034 to 22383 computations (44.1% saved)

prune51.9s (3.5%)

Counts: 145286 → 6391
Compiler: Compiled 693510 to 486104 computations (29.9% saved)

simplify50.7s (3.4%)

Algorithm

222×	egg-herbie

Rules

135974×	`fma-def`
101470×	`associate-r`
87694×	`log-prod`
83846×	`associate-l`
76734×	`*-commutative`

Stop Event

48×	saturated
6×	done
42×	fuel
174×	node limit

Counts

83538 → 67703

Compiler

Compiled 14991 to 10104 computations (32.6% saved)

analyze35.9s (2.4%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
14.8%	11.8%	67.6%	20.6%	0%	0%	0%	1
22.6%	17.7%	60.4%	21%	0%	0.9%	0%	2
32.7%	24.7%	50.8%	21.2%	0%	3.3%	0%	3
39.8%	29.8%	45%	21.2%	0%	4%	0%	4
45.4%	33.8%	40.6%	21.2%	0%	4.5%	0%	5
48.4%	35.7%	38%	21.2%	0%	5.1%	0%	6
51.8%	37.8%	35.2%	21.2%	0%	5.7%	0.1%	7
53.5%	38.9%	33.8%	21.3%	0%	6%	0.1%	8
56.4%	40.6%	31.4%	21.3%	0%	6.6%	0.2%	9
57.7%	41.4%	30.3%	21.3%	0%	6.8%	0.2%	10
59.8%	42.7%	28.7%	21.3%	0%	7.1%	0.3%	11
61.3%	43.5%	27.5%	21.3%	0%	7.5%	0.3%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

rewrite26.1s (1.7%)

Algorithm

174×	batch-egg-rewrite

Rules

97250×	`log1p-expm1-u`
73473×	`expm1-log1p-u`
62494×	`expm1-udef`
56994×	`log1p-udef`
47406×	`log-prod`

Stop Event

3×	unsound
171×	node limit

Counts

1643 → 49722

bsearch14.6s (1%)

Algorithm

278×	binary-search
52×	left-value

Stop Event

265×	narrow-enough
13×	predicate-same

Results

4.7s	23063×	body	256	valid
4.3s	4209×	body	1024	valid
1.7s	1744×	body	2048	valid
1.3s	2362×	body	512	valid
1.3s	1124×	body	4096	valid
163.0ms	1166×	body	256	invalid
81.0ms	410×	body	256	infinite
20.0ms	45×	body	512	infinite
12.0ms	19×	body	1024	infinite
3.0ms	6×	body	1024	invalid
1.0ms	3×	body	512	invalid
0.0ms	2×	body	256	unsamplable

Compiler

Compiled 84281 to 62538 computations (25.8% saved)

series12.2s (0.8%)

Counts

1643 → 33816

Calls

9282 calls:

Time	Variable		Point	Expression
200.0ms	x	@	-inf	(log.f64 (/.f64 2 x))
199.0ms	lambda2	@	-inf	(-.f64 (exp.f64 (log1p.f64 (hypot.f64 (sin.f64 (.f64 1/2 (-.f64 phi1 phi2))) (.f64 (sqrt.f64 (cos.f64 phi2)) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))))))) 1)
147.0ms	lambda2	@	-inf	(log.f64 (.f64 R (acos.f64 (fma.f64 phi1 (sin.f64 phi2) (.f64 (cos.f64 phi1) (cos.f64 (-.f64 lambda1 lambda2)))))))
90.0ms	x	@	0	(log.f64 (cbrt.f64 (/.f64 -1 (-.f64 x (hypot.f64 1 x)))))
88.0ms	b	@	0	(pow.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))) 3)

Herbie run

localize8.0min (32.3%)

sample7.3min (29.3%)

eval2.1min (8.5%)

regimes1.7min (6.8%)

soundness1.4min (5.8%)

preprocess1.1min (4.3%)

prune51.9s (3.5%)

simplify50.7s (3.4%)

analyze35.9s (2.4%)

rewrite26.1s (1.7%)

bsearch14.6s (1%)

series12.2s (0.8%)

end47.0ms (0%)

Profiling