Herbie run

Date:	Friday, January 5th, 2024
Commit:	7adfcfcc on platforms
Hostname:	nightly with Racket 8.6
Seed:	2024005
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.1min (80.3%)

Results

36.7s	269527×	body	256	valid
12.2s	14176×	body	2048	valid
6.8s	19760×	body	1024	valid
5.1s	31035×	body	256	infinite
2.2s	11046×	body	512	valid
1.3s	202×	body	8192	exit
396.0ms	825×	body	4096	valid
267.0ms	2639×	body	256	invalid
125.0ms	960×	body	256	unsamplable
94.0ms	161×	body	1024	infinite
74.0ms	209×	body	512	infinite
13.0ms	13×	body	2048	infinite

Bogosity

preprocess10.2s (12.5%)

Algorithm

42×	egg-herbie

Rules

21535×	`fma-def`
11921×	`*-commutative`
11600×	`distribute-lft-in`
10626×	`+-commutative`
9953×	`associate--r+`

Stop Event

11×	saturated
31×	node limit

Compiler

Compiled 3427 to 2161 computations (36.9% saved)

analyze5.9s (7.2%)

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
23.5%	12.8%	41.7%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
49.2%	26.2%	27.1%	45.5%	0%	1.2%	0%	3
58%	30.7%	22.3%	45.5%	0%	1.5%	0%	4
71.4%	37.7%	15.1%	45.6%	0%	1.7%	0%	5
73%	38.4%	14.2%	45.6%	0%	1.7%	0%	6
78%	40.7%	11.5%	45.6%	0%	2.2%	0%	7
81.6%	42.6%	9.6%	45.7%	0%	2.2%	0%	8
84.5%	43.8%	8%	45.7%	0%	2.5%	0%	9
86.6%	44.6%	6.9%	45.7%	0%	2.7%	0%	10
88.7%	45.6%	5.8%	45.7%	0%	2.8%	0.1%	11
89.7%	45.9%	5.3%	45.7%	0%	2.9%	0.1%	12

Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...