Metrics for Herbie run

Date:	Thursday, February 8th, 2024
Commit:	b35bd1f1 on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024039
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

sample2.3min (43.1%)

Results

25.6s	142111×	256	precondition
15.0s	95740×	256	valid
28.6s	57955×	1024	valid
42.7s	36459×	2048	valid
8.7s	34620×	512	valid
16.3s	7284×	8192	exit
808.0ms	4178×	256	infinite
446.0ms	4156×	256	invalid
490.0ms	3851×	256	unsamplable
1.7s	1861×	4096	valid
176.0ms	205×	512	infinite
147.0ms	150×	1024	infinite

Bogosity

localize41.9s (12.8%)

Compiler: Compiled 13167 to 7756 computations (41.1% saved)

soundness32.9s (10.1%)

Rules

85596×	`fma-define`
80958×	`fma-neg`
47762×	`log-prod`
43820×	`times-frac`
42886×	`associate-r`

Stop Event

3×	saturated
143×	node limit

Compiler

Compiled 12576 to 8077 computations (35.8% saved)

eval28.6s (8.7%)

Compiler: Compiled 1262083 to 836042 computations (33.8% saved)

simplify21.4s (6.5%)

Algorithm

123×	egg-herbie

Rules

65260×	`fma-define`
52274×	`fma-neg`
44638×	`associate-r`
42536×	`log-prod`
41578×	`times-frac`

Stop Event

28×	saturated
95×	node limit
19×	fuel
9×	done

Counts

33644 → 34249

Compiler

Compiled 1966 to 1391 computations (29.2% saved)

rewrite18.1s (5.6%)

Algorithm

95×	batch-egg-rewrite

Rules

57970×	`log1p-expm1-u`
48750×	`expm1-log1p-u`
34000×	`prod-diff`
30526×	`unpow-prod-down`
30282×	`fma-define`

Stop Event

95×	node limit

Counts

665 → 24647

preprocess14.6s (4.5%)

Algorithm

28×	egg-herbie

Rules

23796×	`fma-neg`
15718×	`fma-define`
9020×	`distribute-lft-in`
8670×	`sub-neg`
8024×	`div-sub`

Stop Event

15×	saturated
13×	node limit

Compiler

Compiled 8927 to 5438 computations (39.1% saved)

prune10.8s (3.3%)

Counts: 52518 → 1721
Compiler: Compiled 56999 to 40954 computations (28.1% saved)

regimes6.7s (2%)

Counts

2032 → 201

Calls

43 calls:

1.4s	a
1.1s	x
976.0ms	c
762.0ms	b
554.0ms	(/.f64 1 n)

Compiler

Compiled 1264 to 888 computations (29.7% saved)

series5.2s (1.6%)

Counts

665 → 8997

Calls

3198 calls:

Time	Variable		Point	Expression
175.0ms	n	@	0	(/.f64 (neg.f64 (log.f64 x)) n)
97.0ms	c	@	inf	(/.f64 (-.f64 (+.f64 (.f64 -1 b_2) (.f64 1/2 (.f64 (/.f64 -1 b_2) (/.f64 (.f64 c a) -1)))) b_2) a)
88.0ms	c	@	inf	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
75.0ms	x	@	0	(cbrt.f64 (sqrt.f64 (*.f64 1/3 x)))
68.0ms	x	@	-inf	(log1p.f64 (neg.f64 (cos.f64 x)))

bsearch3.0s (0.9%)

Algorithm

59×	binary-search
10×	left-value

Stop Event

1×	predicate-same
58×	narrow-enough

Results

634.0ms	4581×	256	valid
148.0ms	1293×	256	invalid
799.0ms	879×	1024	valid
343.0ms	630×	256	infinite
226.0ms	394×	512	valid
718.0ms	342×	2048	valid
44.0ms	52×	1024	infinite
1.0ms	8×	256	unsamplable
0.0ms	1×	512	infinite
0.0ms	1×	4096	valid

Compiler

Compiled 10168 to 7518 computations (26.1% saved)

analyze2.7s (0.8%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	61.1%	38.9%	0%	0%	0%	0
18.1%	11.1%	50%	38.9%	0%	0%	0%	1
25.4%	15.5%	45.6%	38.9%	0%	0%	0%	2
40.7%	23.8%	34.6%	41.6%	0%	0%	0%	3
49.4%	28.8%	29.5%	41.7%	0%	0%	0%	4
56.4%	32.5%	25.1%	42.4%	0%	0%	0%	5
58.7%	33.4%	23.5%	43.1%	0%	0%	0%	6
62.4%	34.4%	20.7%	44%	0%	0.8%	0.1%	7
65.4%	35.7%	18.9%	44.5%	0%	0.8%	0.1%	8
67.8%	36.4%	17.3%	44.9%	0%	1.2%	0.3%	9
69.8%	36.8%	15.9%	45.2%	0%	1.7%	0.3%	10
72.3%	37.8%	14.5%	45.4%	0%	1.9%	0.4%	11
73.5%	38.1%	13.7%	45.6%	0%	2.2%	0.4%	12

Compiler

Compiled 505 to 355 computations (29.7% saved)

Herbie run

sample2.3min (43.1%)

localize41.9s (12.8%)

soundness32.9s (10.1%)

eval28.6s (8.7%)

simplify21.4s (6.5%)

rewrite18.1s (5.6%)

preprocess14.6s (4.5%)

prune10.8s (3.3%)

regimes6.7s (2%)

series5.2s (1.6%)

bsearch3.0s (0.9%)

analyze2.7s (0.8%)

end2.0ms (0%)

Profiling