Metrics for Herbie run

Date:	Thursday, February 1st, 2024
Commit:	93f5a71d on minor-egg-herbie-cleanup
Hostname:	nightly with Racket 8.11.1
Seed:	2024032
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

series2.5min (33%)

Counts

676 → 9011

Calls

3131 calls:

Time	Variable		Point	Expression
2.4min	x	@	inf	(pow.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3) 1/3)
328.0ms	x	@	inf	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
235.0ms	eps	@	inf	(fma.f64 (.f64 (.f64 eps -1/2) x) x eps)
235.0ms	a	@	-inf	(.f64 a (.f64 b eps))
120.0ms	x	@	inf	(cbrt.f64 (pow.f64 (expm1.f64 (*.f64 a x)) 5/2))

Results

sample2.1min (26.8%)

Results

25.0s	141850×	256	precondition
14.5s	95513×	256	valid
27.4s	58404×	1024	valid
42.6s	35949×	2048	valid
9.0s	34789×	512	valid
600.0ms	4972×	256	invalid
935.0ms	4301×	256	infinite
550.0ms	3916×	256	unsamplable
1.5s	1921×	4096	valid
1.1s	1105×	1024	invalid
381.0ms	604×	512	invalid
101.0ms	161×	512	infinite
203.0ms	130×	1024	infinite

Bogosity

localize41.7s (9%)

Compiler: Compiled 15707 to 9112 computations (42% saved)

soundness34.3s (7.4%)

Rules

112212×	`fma-def`
59786×	`times-frac`
52090×	`associate-r`
51102×	`fma-neg`
41216×	`log-prod`

Stop Event

2×	saturated
150×	node limit
1×	unsound

Compiler

Compiled 14314 to 9404 computations (34.3% saved)

eval29.3s (6.3%)

Compiler: Compiled 1313052 to 862833 computations (34.3% saved)

simplify20.2s (4.4%)

Algorithm

121×	egg-herbie

Rules

75290×	`fma-def`
49992×	`times-frac`
41252×	`associate-r`
38860×	`fma-neg`
38088×	`distribute-lft-in`

Stop Event

27×	saturated
91×	node limit
20×	fuel
3×	unsound
7×	done

Counts

34511 → 34048

Compiler

Compiled 3088 to 2187 computations (29.2% saved)

rewrite18.6s (4%)

Algorithm

94×	batch-egg-rewrite

Rules

54379×	`log1p-expm1-u`
42199×	`expm1-log1p-u`
41738×	`prod-diff`
30760×	`expm1-udef`
30102×	`log-prod`

Stop Event

94×	node limit

Counts

676 → 25500

preprocess15.4s (3.3%)

Algorithm

28×	egg-herbie

Rules

34252×	`fma-def`
12020×	`fma-neg`
11952×	`div-sub`
9422×	`sub-neg`
8120×	`distribute-lft-neg-in`

Stop Event

13×	saturated
15×	node limit

Compiler

Compiled 11047 to 6832 computations (38.2% saved)

prune12.2s (2.7%)

Counts: 49086 → 1632
Compiler: Compiled 54498 to 39262 computations (28% saved)

regimes8.6s (1.9%)

Counts

2914 → 261

Calls

42 calls:

1.5s	x
1.2s	a
1.1s	(/.f64 1 n)
960.0ms	b_2
877.0ms	b

Compiler

Compiled 1438 to 1006 computations (30% saved)

bsearch2.7s (0.6%)

Algorithm

66×	binary-search
31×	left-value

Stop Event

2×	predicate-same
64×	narrow-enough

Results

1.1s	6264×	256	valid
288.0ms	1496×	256	invalid
479.0ms	766×	1024	valid
258.0ms	389×	256	infinite
146.0ms	310×	512	valid
234.0ms	250×	2048	valid
21.0ms	122×	256	unsamplable
38.0ms	37×	1024	infinite
19.0ms	32×	512	infinite

Compiler

Compiled 12256 to 9093 computations (25.8% saved)

analyze2.6s (0.6%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	61.1%	38.9%	0%	0%	0%	0
18.1%	11.1%	50%	38.9%	0%	0%	0%	1
25.4%	15.5%	45.6%	38.9%	0%	0%	0%	2
40.7%	23.8%	34.6%	41.6%	0%	0%	0%	3
49.4%	28.8%	29.5%	41.7%	0%	0%	0%	4
56.9%	32.5%	24.6%	42.4%	0%	0.4%	0%	5
59.4%	33.4%	22.8%	43.1%	0%	0.7%	0%	6
63.2%	34.4%	20%	44%	0%	1.4%	0.1%	7
66.4%	35.7%	18.1%	44.5%	0%	1.6%	0.1%	8
68.8%	36.4%	16.5%	44.9%	0%	2%	0.3%	9
70.9%	36.8%	15.1%	45.2%	0%	2.6%	0.3%	10
73.5%	37.8%	13.6%	45.4%	0%	2.8%	0.4%	11
74.7%	38.1%	12.9%	45.6%	0%	3.1%	0.4%	12

Compiler

Compiled 505 to 355 computations (29.7% saved)

Herbie run

series2.5min (33%)

sample2.1min (26.8%)

localize41.7s (9%)

soundness34.3s (7.4%)

eval29.3s (6.3%)

simplify20.2s (4.4%)

rewrite18.6s (4%)

preprocess15.4s (3.3%)

prune12.2s (2.7%)

regimes8.6s (1.9%)

bsearch2.7s (0.6%)

analyze2.6s (0.6%)

end5.0ms (0%)

Profiling