Metrics for Herbie run

Date:	Thursday, July 6th, 2023
Commit:	45f2bb5c on result-filters
Hostname:	nightly with Racket 8.6
Seed:	2023187
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 (31%)

Results

31.1s	33476×	body	2048	valid
27.6s	62131×	body	1024	valid
11.0s	87134×	body	256	valid
8.5s	32995×	body	512	valid
1.6s	12989×	body	256	infinite
1.2s	2100×	body	4096	valid
830.0ms	1089×	body	1024	invalid
807.0ms	7122×	body	256	unsamplable
569.0ms	5083×	body	256	invalid
427.0ms	271×	body	2048	unsamplable
253.0ms	585×	body	512	invalid
198.0ms	439×	body	1024	unsamplable
175.0ms	192×	body	512	infinite
134.0ms	148×	body	1024	infinite
104.0ms	227×	body	512	unsamplable
6.0ms	5×	body	2048	invalid
2.0ms	1×	body	8192	valid
2.0ms	2×	body	2048	infinite

Bogosity

localize40.3s (14.7%)

Compiler: Compiled 14531 to 7257 computations (50.1% saved)

soundness38.9s (14.2%)

Rules

169360×	`fma-def`
96324×	`fma-neg`
89006×	`log-prod`
85968×	`associate-r`
82544×	`times-frac`

Stop Event

8×	saturated
229×	node limit

Compiler

Compiled 22287 to 13967 computations (37.3% saved)

eval29.0s (10.5%)

Compiler: Compiled 1327166 to 774551 computations (41.6% saved)

simplify19.9s (7.2%)

Algorithm

157×	egg-herbie

Rules

108378×	`fma-def`
55300×	`associate-r`
53238×	`fma-neg`
52792×	`times-frac`
47888×	`associate-l`

Stop Event

3×	done
47×	saturated
25×	fuel
110×	node limit

Counts

34288 → 36052

Compiler

Compiled 4593 to 3107 computations (32.4% saved)

regimes15.8s (5.7%)

Counts

4835 → 407

Calls

43 calls:

4.0s	x
3.0s	eps
1.4s	a
1.2s	b_2
1.0s	c

Compiler

Compiled 58052 to 31008 computations (46.6% saved)

prune14.4s (5.3%)

Counts: 52725 → 2339
Compiler: Compiled 122092 to 83287 computations (31.8% saved)

rewrite12.2s (4.4%)

Algorithm

101×	batch-egg-rewrite

Rules

63720×	`pow1`
60554×	`add-exp-log`
60512×	`log1p-expm1-u`
60472×	`expm1-log1p-u`
55432×	`add-log-exp`

Stop Event

101×	node limit

Counts

748 → 23299

bsearch6.3s (2.3%)

Algorithm

166×	binary-search
33×	left-value

Stop Event

163×	narrow-enough
3×	predicate-same

Results

2.1s	14064×	body	256	valid
1.7s	4085×	body	1024	valid
1.0s	1297×	body	2048	valid
618.0ms	1498×	body	512	valid
181.0ms	1470×	body	256	invalid
148.0ms	717×	body	256	infinite
25.0ms	26×	body	1024	infinite
16.0ms	81×	body	256	unsamplable
13.0ms	36×	body	1024	unsamplable
12.0ms	25×	body	512	infinite
11.0ms	19×	body	2048	unsamplable
7.0ms	25×	body	512	unsamplable

Compiler

Compiled 35761 to 25765 computations (28% saved)

series4.5s (1.6%)

Counts

748 → 10961

Calls

3393 calls:

Time	Variable		Point	Expression
89.0ms	eps	@	inf	(pow.f64 (pow.f64 (pow.f64 (+.f64 (tan.f64 x) (tan.f64 (+.f64 x eps))) 1/6) 2) 3)
89.0ms	eps	@	0	(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3)
62.0ms	eps	@	-inf	(log1p.f64 (sin.f64 (*.f64 1/2 (+.f64 x (+.f64 x eps)))))
57.0ms	x	@	inf	(-.f64 (/.f64 (tan.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
56.0ms	x	@	-inf	(/.f64 (-.f64 (+.f64 x 1) x) (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))

end3.9s (1.4%)

Compiler: Compiled 9996 to 5898 computations (41% saved)

analyze2.5s (0.9%)

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)

preprocess2.2s (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 (31%)

localize40.3s (14.7%)

soundness38.9s (14.2%)

eval29.0s (10.5%)

simplify19.9s (7.2%)

regimes15.8s (5.7%)

prune14.4s (5.3%)

rewrite12.2s (4.4%)

bsearch6.3s (2.3%)

series4.5s (1.6%)

end3.9s (1.4%)

analyze2.5s (0.9%)

preprocess2.2s (0.8%)

Profiling