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.2min (81.3%)

Results

31.9s	179789×	body	256	valid
10.0s	67249×	body	256	invalid
7.1s	42267×	body	256	infinite
5.4s	12087×	body	1024	valid
5.4s	10214×	body	2048	valid
2.8s	5784×	body	1024	invalid
2.1s	6722×	body	512	valid
2.0s	670×	body	4096	infinite
1.7s	2026×	body	4096	valid
1.0s	664×	body	2048	infinite
974.0ms	2991×	body	512	invalid
666.0ms	802×	body	8192	valid
207.0ms	421×	body	1024	infinite
86.0ms	274×	body	512	infinite
43.0ms	198×	body	256	unsamplable
8.0ms	11×	body	8192	exit
1.0ms	1×	body	2048	invalid

Bogosity

analyze8.7s (9.9%)

Algorithm

31×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
23%	22.6%	75.6%	1.8%	0%	0%	0%	1
24.2%	23.3%	73.2%	1.8%	0%	1.6%	0%	2
29.6%	27.4%	65.2%	1.8%	0%	5.6%	0%	3
33.6%	30.4%	60.2%	1.8%	0%	7.3%	0.4%	4
35.9%	32.4%	57.9%	1.8%	0%	7.3%	0.6%	5
40.2%	36.2%	53.8%	1.8%	0%	7.5%	0.7%	6
45.3%	40.3%	48.7%	1.8%	0%	8.1%	1.1%	7
47.6%	41.8%	45.9%	1.8%	0%	9.4%	1.2%	8
50.6%	44.1%	43.1%	1.8%	0%	9.7%	1.2%	9
51.7%	44.9%	41.9%	1.8%	0%	10.1%	1.3%	10
53.4%	46%	40.1%	1.8%	0%	10.7%	1.3%	11
55.2%	47.2%	38.3%	1.8%	0%	11.3%	1.4%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

preprocess7.8s (8.8%)

Algorithm

31×	egg-herbie

Rules

10161×	`distribute-lft-in`
10079×	`fma-def`
9070×	`*-commutative`
7997×	`associate-r`
7573×	`distribute-rgt-in`

Stop Event

4×	saturated
27×	node limit

Compiler

Compiled 3400 to 1735 computations (49% saved)

end0.0ms (0%)

Profiling

Loading profile data...