Metrics for Herbie run

Date:	Friday, July 14th, 2023
Commit:	132e0c53 on result-filters
Hostname:	nightly with Racket 8.6
Seed:	2023195
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

sample1.4min (33.6%)

Results

29.8s	33091×	body	2048	valid
25.2s	62522×	body	1024	valid
11.1s	87083×	body	256	valid
8.7s	32927×	body	512	valid
1.8s	13037×	body	256	infinite
1.3s	1220×	body	1024	invalid
1.2s	2157×	body	4096	valid
798.0ms	7141×	body	256	unsamplable
532.0ms	4975×	body	256	invalid
309.0ms	611×	body	512	invalid
256.0ms	494×	body	1024	unsamplable
203.0ms	296×	body	2048	unsamplable
153.0ms	193×	body	512	infinite
141.0ms	151×	body	1024	infinite
52.0ms	205×	body	512	unsamplable
36.0ms	5×	body	2048	invalid
21.0ms	2×	body	8192	valid
3.0ms	5×	body	2048	infinite

Bogosity

localize32.8s (13.4%)

Compiler: Compiled 13036 to 6576 computations (49.6% saved)

soundness31.7s (13%)

Rules

150306×	`fma-def`
75882×	`fma-neg`
69888×	`log-prod`
67516×	`associate-r`
67190×	`times-frac`

Stop Event

8×	saturated
191×	node limit

Compiler

Compiled 18207 to 11316 computations (37.8% saved)

eval24.9s (10.2%)

Compiler: Compiled 1311102 to 762960 computations (41.8% saved)

simplify18.7s (7.6%)

Algorithm

151×	egg-herbie

Rules

93114×	`fma-def`
57512×	`associate-r`
54796×	`fma-neg`
49834×	`associate-l`
48934×	`times-frac`

Stop Event

4×	done
47×	saturated
24×	fuel
104×	node limit

Counts

34400 → 34903

Compiler

Compiled 4180 to 2814 computations (32.7% saved)

prune12.2s (5%)

Counts: 55017 → 2249
Compiler: Compiled 116533 to 80499 computations (30.9% saved)

regimes12.0s (4.9%)

Counts

4502 → 381

Calls

43 calls:

3.1s	x
2.5s	eps
808.0ms	a
678.0ms	c
601.0ms	(/.f64 1 n)

Compiler

Compiled 50695 to 28267 computations (44.2% saved)

rewrite10.9s (4.4%)

Algorithm

95×	batch-egg-rewrite

Rules

56674×	`pow1`
53812×	`log1p-expm1-u`
53812×	`add-exp-log`
53768×	`expm1-log1p-u`
53140×	`log-prod`

Stop Event

95×	node limit

Counts

703 → 23808

bsearch7.2s (2.9%)

Algorithm

170×	binary-search
24×	left-value

Stop Event

167×	narrow-enough
3×	predicate-same

Results

2.3s	14926×	body	256	valid
1.7s	3329×	body	1024	valid
711.0ms	1997×	body	512	valid
681.0ms	807×	body	2048	valid
619.0ms	552×	body	1024	infinite
356.0ms	1471×	body	256	infinite
206.0ms	1248×	body	256	unsamplable
152.0ms	260×	body	512	infinite
111.0ms	1115×	body	256	invalid
1.0ms	2×	body	4096	valid

Compiler

Compiled 33594 to 24385 computations (27.4% saved)

series4.3s (1.7%)

Counts

703 → 10564

Calls

3297 calls:

Time	Variable		Point	Expression
483.0ms	x	@	inf	(-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) 2))) (cbrt.f64 x))
108.0ms	x	@	-inf	(cbrt.f64 (-.f64 1 (cos.f64 x)))
81.0ms	a	@	inf	(/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))
80.0ms	x	@	inf	(log1p.f64 (tan.f64 (+.f64 x eps)))
62.0ms	x	@	-inf	(-.f64 (exp.f64 (log1p.f64 (pow.f64 (tan.f64 x) 2))) 1)

end3.3s (1.3%)

Compiler: Compiled 9306 to 5580 computations (40% saved)

analyze2.8s (1.2%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
27.4%	24.9%	66%	9.1%	0%	0%	0%	1
39%	34.7%	54.4%	9.1%	0%	1.8%	0%	2
51%	44.1%	42.4%	9.1%	0%	4.5%	0%	3
58.9%	50.1%	35%	9.1%	0%	5.8%	0%	4
65.5%	55%	29%	9.1%	0%	6.9%	0%	5
67.8%	56.6%	26.9%	9.1%	0%	7.5%	0%	6
70.2%	57.8%	24.6%	9.1%	0%	8.4%	0.1%	7
72.2%	59.3%	22.8%	9.1%	0%	8.7%	0.1%	8
73.5%	60%	21.6%	9.1%	0%	9.1%	0.3%	9
74.7%	60.5%	20.4%	9.1%	0%	9.7%	0.3%	10
76.2%	61.5%	19.2%	9.1%	0%	9.9%	0.4%	11
76.9%	61.8%	18.5%	9.1%	0%	10.2%	0.4%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

preprocess1.9s (0.8%)

Algorithm

56×	egg-herbie

Rules

25662×	`fma-def`
8366×	`div-sub`
7144×	`distribute-lft-in`
6960×	`distribute-rgt-in`
6546×	`fma-neg`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

sample1.4min (33.6%)

localize32.8s (13.4%)

soundness31.7s (13%)

eval24.9s (10.2%)

simplify18.7s (7.6%)

prune12.2s (5%)

regimes12.0s (4.9%)

rewrite10.9s (4.4%)

bsearch7.2s (2.9%)

series4.3s (1.7%)

end3.3s (1.3%)

analyze2.8s (1.2%)

preprocess1.9s (0.8%)

Profiling