Metrics for Herbie run

Date:	Wednesday, January 24th, 2024
Commit:	34547557 on faster-timeline-start
Hostname:	nightly with Racket 8.6
Seed:	2024024
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

sample57.5s (26.7%)

Results

17.1s	115875×	256	valid
8.6s	23364×	512	valid
7.0s	16019×	1024	valid
15.1s	12682×	8192	exit
924.0ms	5060×	256	infinite
6.2s	4802×	2048	valid
932.0ms	4773×	256	invalid
1.1s	2327×	1024	invalid
147.0ms	1188×	256	unsamplable
220.0ms	1085×	512	invalid
8.0ms	3×	8192	invalid

Bogosity

soundness30.0s (14%)

Rules

47506×	`fma-def`
41256×	`log1p-expm1-u`
34118×	`expm1-log1p-u`
30804×	`associate-r`
29424×	`fma-neg`

Stop Event

5×	saturated
4×	unsound
107×	node limit

Compiler

Compiled 11608 to 6686 computations (42.4% saved)

localize27.9s (13%)

Compiler: Compiled 8160 to 4131 computations (49.4% saved)

eval20.1s (9.4%)

Compiler: Compiled 898759 to 500072 computations (44.4% saved)

simplify18.0s (8.4%)

Algorithm

87×	egg-herbie

Rules

50630×	`fma-def`
34798×	`log-prod`
30682×	`fma-neg`
30434×	`associate-r`
28724×	`distribute-lft-in`

Stop Event

4×	unsound
4×	done
20×	saturated
16×	fuel
63×	node limit

Counts

26396 → 20277

Compiler

Compiled 1738 to 1191 computations (31.5% saved)

analyze13.2s (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)

regimes13.2s (6.1%)

Counts

3092 → 156

Calls

55 calls:

1.6s	x
1.5s	a
1.2s	b
931.0ms	r
923.0ms	(pow.f64 x 2)

Compiler

Compiled 35634 to 17944 computations (49.6% saved)

rewrite12.7s (5.9%)

Algorithm

67×	batch-egg-rewrite

Rules

37760×	`log1p-expm1-u`
31203×	`expm1-log1p-u`
25150×	`log-prod`
21764×	`expm1-udef`
21456×	`prod-diff`

Stop Event

67×	node limit

Counts

467 → 18197

prune9.4s (4.4%)

Counts: 36241 → 1534
Compiler: Compiled 79699 to 55202 computations (30.7% saved)

preprocess7.4s (3.5%)

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 9451 to 5486 computations (42% saved)

series4.3s (2%)

Counts

467 → 8199

Calls

2157 calls:

Time	Variable		Point	Expression
278.0ms	b	@	-inf	(log.f64 (*.f64 (/.f64 r (cos.f64 (+.f64 b a))) (sin.f64 b)))
174.0ms	a	@	0	(/.f64 (/.f64 (-.f64 (.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a))
132.0ms	x	@	0	(*.f64 (pow.f64 2 1/4) x)
126.0ms	b	@	inf	(log.f64 (*.f64 (/.f64 r (fabs.f64 (cos.f64 (+.f64 a b)))) (sin.f64 b)))
123.0ms	x	@	inf	(pow.f64 (*.f64 (pow.f64 x 4) 4) 1/4)

bsearch1.3s (0.6%)

Algorithm

40×	binary-search
3×	left-value

Stop Event

38×	narrow-enough
2×	predicate-same

Results

579.0ms	3259×	256	valid
553.0ms	1655×	512	valid
26.0ms	152×	256	infinite
3.0ms	6×	1024	valid

Compiler

Compiled 7253 to 5288 computations (27.1% saved)

Herbie run

sample57.5s (26.7%)

soundness30.0s (14%)

localize27.9s (13%)

eval20.1s (9.4%)

simplify18.0s (8.4%)

analyze13.2s (6.2%)

regimes13.2s (6.1%)

rewrite12.7s (5.9%)

prune9.4s (4.4%)

preprocess7.4s (3.5%)

series4.3s (2%)

bsearch1.3s (0.6%)

end2.0ms (0%)

Profiling