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

sample43.5s (83.2%)

Results

12.6s	114900×	body	256	valid
11.7s	12653×	body	8192	exit
8.9s	24153×	body	1024	valid
4.4s	5884×	body	2048	valid
3.3s	15202×	body	512	valid
788.0ms	2321×	body	1024	invalid
753.0ms	4805×	body	256	invalid
637.0ms	4977×	body	256	infinite
219.0ms	1154×	body	512	invalid
134.0ms	1149×	body	256	unsamplable
3.0ms	1×	body	8192	invalid
2.0ms	4×	body	1024	infinite
0.0ms	1×	body	2048	invalid

Bogosity

analyze5.8s (11.1%)

Algorithm

20×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	73.7%	26.3%	0%	0%	0%	0
22.1%	16.3%	57.5%	26.3%	0%	0%	0%	1
44.1%	32.5%	41.2%	26.3%	0%	0%	0%	2
52.6%	38.7%	35%	26.3%	0%	0%	0%	3
61.9%	45.6%	28.1%	26.3%	0%	0%	0%	4
65.2%	47.5%	25.3%	26.3%	0%	0.9%	0%	5
66.8%	48.4%	24%	26.3%	0%	1.1%	0.2%	6
71%	51.1%	20.8%	26.3%	0%	1.6%	0.2%	7
72%	51.6%	20.1%	26.3%	0%	1.8%	0.2%	8
74.2%	53%	18.4%	26.3%	0%	2%	0.2%	9
75.7%	53.9%	17.3%	26.3%	0%	2.2%	0.3%	10
76.4%	54.3%	16.8%	26.3%	0%	2.3%	0.3%	11
77.1%	54.8%	16.3%	26.3%	0%	2.4%	0.3%	12

Compiler

Compiled 295 to 210 computations (28.8% saved)

preprocess3.0s (5.7%)

Algorithm

20×	egg-herbie

Rules

6787×	`fma-def`
4317×	`distribute-lft-in`
3530×	`distribute-rgt-in`
3408×	`*-commutative`
3133×	`associate-r`

Stop Event

12×	saturated
8×	node limit

Compiler

Compiled 475 to 208 computations (56.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...