Metrics for Herbie run

Date:	Wednesday, January 31st, 2024
Commit:	92b4fbd0 on sample-profiles-more
Hostname:	nightly with Racket 8.11.1
Seed:	2024031
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

sample50.4s (24%)

Results

15.6s	116084×	256	valid
8.8s	23236×	512	valid
6.1s	15977×	1024	valid
12.4s	13069×	8192	exit
974.0ms	5049×	256	infinite
636.0ms	4944×	256	invalid
4.7s	4774×	2048	valid
826.0ms	2255×	1024	invalid
161.0ms	1259×	256	unsamplable
234.0ms	1156×	512	invalid
5.0ms	2×	8192	invalid
1.0ms	1×	4096	invalid
1.0ms	1×	2048	invalid

Bogosity

soundness30.4s (14.4%)

Rules

52660×	`fma-def`
41879×	`log1p-expm1-u`
34566×	`associate-r`
32871×	`expm1-log1p-u`
29740×	`log-prod`

Stop Event

5×	saturated
105×	node limit
4×	unsound

Compiler

Compiled 9599 to 4897 computations (49% saved)

localize29.6s (14.1%)

Compiler: Compiled 8193 to 4025 computations (50.9% saved)

simplify18.7s (8.9%)

Algorithm

90×	egg-herbie

Rules

46874×	`fma-def`
41482×	`log-prod`
35628×	`associate-r`
31192×	`associate-l`
29424×	`fma-neg`

Stop Event

20×	saturated
66×	node limit
13×	fuel
4×	unsound
7×	done

Counts

28551 → 20865

Compiler

Compiled 1459 to 986 computations (32.4% saved)

regimes15.9s (7.6%)

Counts

2962 → 137

Calls

55 calls:

2.3s	a
1.9s	r
1.7s	b
1.6s	x
1.2s	y

Compiler

Compiled 1690 to 1203 computations (28.8% saved)

eval15.8s (7.5%)

Compiler: Compiled 748328 to 411983 computations (44.9% saved)

rewrite15.1s (7.2%)

Algorithm

70×	batch-egg-rewrite

Rules

42684×	`log1p-expm1-u`
34988×	`expm1-log1p-u`
29212×	`log-prod`
24524×	`prod-diff`
22448×	`expm1-udef`

Stop Event

70×	node limit

Counts

516 → 20104

analyze13.3s (6.3%)

Algorithm

20×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	73.7%	26.3%	0%	0%	0%	0
22.1%	16.3%	57.5%	26.3%	0%	0%	0%	1
44.1%	32.5%	41.2%	26.3%	0%	0%	0%	2
52.6%	38.7%	35%	26.3%	0%	0%	0%	3
61.9%	45.6%	28.1%	26.3%	0%	0%	0%	4
65.2%	47.5%	25.3%	26.3%	0%	0.9%	0%	5
66.8%	48.4%	24%	26.3%	0%	1.1%	0.2%	6
71%	51.1%	20.8%	26.3%	0%	1.6%	0.2%	7
72%	51.6%	20.1%	26.3%	0%	1.8%	0.2%	8
74.2%	53%	18.4%	26.3%	0%	2%	0.2%	9
75.7%	53.9%	17.3%	26.3%	0%	2.2%	0.3%	10
76.4%	54.3%	16.8%	26.3%	0%	2.3%	0.3%	11
77.2%	54.8%	16.2%	26.3%	0%	2.4%	0.3%	12

Compiler

Compiled 295 to 210 computations (28.8% saved)

prune8.2s (3.9%)

Counts: 33651 → 1624
Compiler: Compiled 50883 to 32860 computations (35.4% saved)

preprocess6.9s (3.3%)

Algorithm

20×	egg-herbie

Rules

23976×	`fma-def`
6950×	`fma-neg`
6346×	`distribute-lft-neg-in`
5212×	`div-sub`
4916×	`distribute-rgt-neg-in`

Stop Event

12×	saturated
8×	node limit

Compiler

Compiled 9321 to 5280 computations (43.4% saved)

series4.6s (2.2%)

Counts

516 → 8447

Calls

2247 calls:

Time	Variable		Point	Expression
194.0ms	a	@	-inf	(log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))
167.0ms	b	@	inf	(/.f64 (sin.f64 b) (log1p.f64 (-.f64 (exp.f64 (cos.f64 b)) 1)))
134.0ms	x	@	0	(*.f64 (pow.f64 2 1/4) x)
121.0ms	x	@	0	(sqrt.f64 (.f64 (.f64 x 2) (cbrt.f64 x)))
98.0ms	x	@	0	(.f64 (pow.f64 2 1/8) (.f64 (pow.f64 2 1/4) x))

bsearch1.4s (0.6%)

Algorithm

31×	binary-search
3×	left-value

Stop Event

1×	predicate-same
30×	narrow-enough

Results

516.0ms	2122×	256	valid
780.0ms	1699×	512	valid
0.0ms	3×	256	infinite

Compiler

Compiled 5471 to 4031 computations (26.3% saved)

Herbie run

sample50.4s (24%)

soundness30.4s (14.4%)

localize29.6s (14.1%)

simplify18.7s (8.9%)

regimes15.9s (7.6%)

eval15.8s (7.5%)

rewrite15.1s (7.2%)

analyze13.3s (6.3%)

prune8.2s (3.9%)

preprocess6.9s (3.3%)

series4.6s (2.2%)

bsearch1.4s (0.6%)

end2.0ms (0%)

Profiling