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

sample4.9min (82.7%)

Results

3.6min	1822579×	body	256	valid
42.8s	340249×	body	256	infinite
10.5s	25766×	body	1024	valid
10.0s	63995×	body	256	invalid
6.5s	22474×	body	512	valid
3.8s	7780×	body	2048	valid
1.4s	1625×	body	8192	exit
305.0ms	1217×	body	512	infinite
239.0ms	787×	body	1024	infinite
179.0ms	729×	body	1024	invalid
119.0ms	640×	body	512	invalid
11.0ms	12×	body	4096	valid

Bogosity

preprocess49.5s (13.8%)

Algorithm

269×	egg-herbie

Rules

118732×	`fma-def`
65118×	`*-commutative`
64525×	`distribute-lft-in`
57995×	`+-commutative`
55856×	`associate-+l-`

Stop Event

117×	saturated
152×	node limit

Compiler

Compiled 11309 to 5010 computations (55.7% saved)

analyze12.7s (3.5%)

Algorithm

269×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
46.5%	46.4%	53.4%	0.1%	0%	0%	0%	1
50.1%	49.7%	49.5%	0.1%	0%	0.6%	0%	2
58.6%	57%	40.3%	0.1%	0%	2.6%	0%	3
65.2%	62.7%	33.5%	0.1%	0%	3.6%	0%	4
71.2%	68.2%	27.5%	0.1%	0%	4.1%	0%	5
75.9%	72.3%	23%	0.1%	0%	4.6%	0%	6
79.8%	75.6%	19.1%	0.1%	0%	5.1%	0%	7
81.7%	77%	17.2%	0.1%	0%	5.6%	0%	8
84.4%	79.3%	14.7%	0.1%	0%	5.9%	0%	9
86%	80.5%	13.1%	0.1%	0%	6.2%	0%	10
88.5%	82.9%	10.7%	0.1%	0%	6.2%	0%	11
89.6%	83.7%	9.7%	0.1%	0%	6.5%	0%	12

Compiler

Compiled 4012 to 2763 computations (31.1% saved)

end1.0ms (0%)

Profiling

Loading profile data...