Metrics for Herbie run

Date:	Saturday, January 27th, 2024
Commit:	72aaa402 on sample-profiles-more
Hostname:	nightly with Racket 8.11.1
Seed:	2024027
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

sample59.5s (27.8%)

Results

19.5s	116172×	256	valid
12.1s	23129×	512	valid
6.2s	16064×	1024	valid
13.9s	12930×	8192	exit
688.0ms	4931×	256	infinite
831.0ms	4864×	256	invalid
4.6s	4824×	2048	valid
982.0ms	2313×	1024	invalid
245.0ms	1274×	512	invalid
200.0ms	1234×	256	unsamplable
2.0ms	1×	8192	invalid

Bogosity

localize32.0s (14.9%)

Compiler: Compiled 8701 to 4230 computations (51.4% saved)

soundness28.2s (13.2%)

Rules

44550×	`fma-def`
34308×	`associate-r`
30960×	`log1p-expm1-u`
28688×	`times-frac`
28396×	`log-prod`

Stop Event

4×	saturated
95×	node limit
4×	unsound

Compiler

Compiled 9036 to 4824 computations (46.6% saved)

eval20.1s (9.4%)

Compiler: Compiled 992713 to 559777 computations (43.6% saved)

simplify18.9s (8.8%)

Algorithm

83×	egg-herbie

Rules

40572×	`fma-def`
34416×	`associate-r`
33364×	`log-prod`
28654×	`associate-l`
27156×	`times-frac`

Stop Event

20×	saturated
59×	node limit
12×	fuel
4×	unsound
8×	done

Counts

25522 → 20846

Compiler

Compiled 1323 to 935 computations (29.3% saved)

rewrite13.4s (6.3%)

Algorithm

63×	batch-egg-rewrite

Rules

34692×	`log1p-expm1-u`
27454×	`expm1-log1p-u`
23082×	`log-prod`
20904×	`expm1-udef`
20468×	`prod-diff`

Stop Event

63×	node limit

Counts

480 → 17484

analyze13.3s (6.2%)

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.4s (3.9%)

Counts: 34450 → 1553
Compiler: Compiled 53017 to 34661 computations (34.6% saved)

regimes7.6s (3.5%)

Counts

2551 → 128

Calls

53 calls:

1.2s	a
1.0s	x
802.0ms	b
781.0ms	r
306.0ms	y

Compiler

Compiled 1532 to 1094 computations (28.6% saved)

preprocess7.0s (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 8081 to 5204 computations (35.6% saved)

series4.9s (2.3%)

Counts

480 → 8038

Calls

2247 calls:

Time	Variable		Point	Expression
185.0ms	z	@	inf	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (tan.f64 (+.f64 y z))))) 3)
169.0ms	y	@	-inf	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))) 3) 3)
162.0ms	y	@	-inf	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (tan.f64 (+.f64 y z))))) 3)
131.0ms	z	@	-inf	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (tan.f64 (+.f64 y z))))) 3)
117.0ms	y	@	0	(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x))) 3)

bsearch937.0ms (0.4%)

Algorithm

5×	left-value
27×	binary-search

Stop Event

1×	predicate-same
26×	narrow-enough

Results

430.0ms	2217×	256	valid
436.0ms	1264×	512	valid
3.0ms	23×	256	infinite

Compiler

Compiled 4536 to 3404 computations (25% saved)

Herbie run

sample59.5s (27.8%)

localize32.0s (14.9%)

soundness28.2s (13.2%)

eval20.1s (9.4%)

simplify18.9s (8.8%)

rewrite13.4s (6.3%)

analyze13.3s (6.2%)

prune8.4s (3.9%)

regimes7.6s (3.5%)

preprocess7.0s (3.3%)

series4.9s (2.3%)

bsearch937.0ms (0.4%)

end2.0ms (0%)

Profiling