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.3min (90.9%)

Results

28.7s	37778×	body	2048	valid
19.4s	58451×	body	1024	valid
11.2s	94203×	body	256	valid
8.7s	63138×	body	256	precondition
6.9s	33787×	body	512	valid
1.3s	2305×	body	4096	valid
815.0ms	1065×	body	1024	invalid
683.0ms	4317×	body	256	infinite
524.0ms	5165×	body	256	invalid
456.0ms	4009×	body	256	unsamplable
217.0ms	570×	body	512	invalid
174.0ms	145×	body	1024	infinite
84.0ms	181×	body	512	infinite
7.0ms	6×	body	2048	invalid
1.0ms	1×	body	8192	valid

Bogosity

preprocess6.0s (6.8%)

Algorithm

28×	egg-herbie

Rules

8209×	`fma-def`
6065×	`*-commutative`
5681×	`associate-/r*`
5426×	`distribute-lft-in`
5186×	`+-commutative`

Stop Event

13×	saturated
15×	node limit

Compiler

Compiled 951 to 478 computations (49.7% saved)

analyze2.0s (2.2%)

Algorithm

28×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	83%	17%	0%	0%	0%	0
25.8%	21.4%	61.5%	17%	0%	0%	0%	1
37.6%	29.9%	49.5%	17%	0%	3.6%	0%	2
50%	39.2%	39.3%	17%	0%	4.5%	0%	3
57.1%	44.5%	33.5%	17.2%	0%	4.9%	0%	4
63.5%	49%	28.2%	17.2%	0%	5.6%	0%	5
65.6%	50.2%	26.3%	17.5%	0%	5.9%	0%	6
68.5%	51.5%	23.7%	17.9%	0%	6.7%	0.1%	7
70.8%	53%	21.9%	18.1%	0%	6.9%	0.1%	8
72.4%	53.7%	20.5%	18.2%	0%	7.3%	0.3%	9
73.8%	54.1%	19.2%	18.4%	0%	7.9%	0.3%	10
75.5%	55.1%	17.9%	18.5%	0%	8.1%	0.4%	11
76.4%	55.4%	17.2%	18.6%	0%	8.5%	0.4%	12

Compiler

Compiled 408 to 294 computations (27.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...