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.9min (88.9%)

Results

51.0s	372533×	body	256	valid
39.7s	7473×	body	8192	exit
10.3s	72127×	body	256	infinite
4.9s	11014×	body	1024	valid
2.2s	3222×	body	1024	infinite
2.0s	7050×	body	512	valid
1.0s	2230×	body	2048	valid
555.0ms	1253×	body	512	infinite
439.0ms	1032×	body	4096	valid
388.0ms	4027×	body	256	unsamplable
133.0ms	135×	body	2048	infinite
48.0ms	476×	body	256	invalid

Bogosity

preprocess11.9s (9.3%)

Algorithm

57×	egg-herbie

Rules

21679×	`fma-def`
15815×	`distribute-lft-in`
14210×	`*-commutative`
12790×	`+-commutative`
11744×	`distribute-rgt-in`

Stop Event

21×	saturated
36×	node limit

Compiler

Compiled 6193 to 2876 computations (53.6% saved)

analyze2.2s (1.8%)

Algorithm

58×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
55.6%	48%	38.3%	13.7%	0%	0%	0%	1
64.1%	54.2%	30.4%	13.7%	0%	1.7%	0%	2
72%	59%	23%	13.7%	0%	4.3%	0%	3
77.8%	62.3%	17.8%	13.7%	0%	6.2%	0%	4
83.7%	67%	13%	13.7%	0%	6.3%	0%	5
85.9%	68.4%	11.2%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.3%	13.7%	0%	6.6%	0%	7
90%	71.6%	8%	13.7%	0%	6.8%	0%	8
91.2%	72.5%	7%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1558 to 994 computations (36.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...