Metrics for Herbie run

Date:	Thursday, August 17th, 2023
Commit:	1987babf on main
Hostname:	nightly with Racket 8.6
Seed:	2023229
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

sample11.0s (22.3%)

Results

8.5s	62959×	body	256	valid
1.2s	4185×	body	2048	valid
759.0ms	7160×	body	256	infinite
465.0ms	1961×	body	256	invalid

Bogosity

localize10.2s (20.7%)

Compiler: Compiled 5971 to 3103 computations (48% saved)

eval7.3s (14.8%)

Compiler: Compiled 419198 to 242225 computations (42.2% saved)

soundness5.7s (11.5%)

Rules

37464×	`fma-def`
14502×	`fma-neg`
14498×	`associate-r`
13060×	`times-frac`
10876×	`associate-l`

Stop Event

4×	saturated
28×	node limit

Compiler

Compiled 3039 to 1841 computations (39.4% saved)

simplify4.6s (9.3%)

Algorithm

39×	egg-herbie

Rules

29634×	`fma-def`
14792×	`associate-r`
13752×	`times-frac`
12446×	`associate-l`
12238×	`fma-neg`

Stop Event

15×	saturated
4×	done
5×	fuel
24×	node limit

Counts

7199 → 7004

Compiler

Compiled 832 to 556 computations (33.2% saved)

prune3.0s (6%)

Counts: 11334 → 301
Compiler: Compiled 25500 to 17068 computations (33.1% saved)

rewrite2.6s (5.3%)

Algorithm

21×	batch-egg-rewrite

Rules

16842×	`pow1`
15914×	`add-exp-log`
15886×	`log1p-expm1-u`
15884×	`expm1-log1p-u`
14150×	`add-log-exp`

Stop Event

21×	node limit

Counts

145 → 4394

regimes1.7s (3.5%)

Counts

360 → 56

Calls

19 calls:

340.0ms	c
332.0ms	a
238.0ms	b
163.0ms	z
139.0ms	y

Compiler

Compiled 7185 to 4296 computations (40.2% saved)

series1.3s (2.6%)

Counts

145 → 2796

Calls

924 calls:

Time	Variable		Point	Expression
168.0ms	c	@	inf	(exp.f64 (.f64 (+.f64 (log.f64 (.f64 c -4)) (log.f64 a)) 1/2))
123.0ms	c	@	0	(exp.f64 (.f64 (+.f64 (log.f64 (.f64 c -4)) (log.f64 a)) 1/2))
95.0ms	a	@	0	(exp.f64 (.f64 (+.f64 (log.f64 (.f64 c -4)) (log.f64 a)) 1/2))
79.0ms	x	@	0	(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
66.0ms	a	@	0	(pow.f64 (exp.f64 1/4) (.f64 2 (-.f64 (log.f64 (.f64 a 4)) (log.f64 (/.f64 -1 c)))))

preprocess1.0s (2%)

Algorithm

9×	egg-herbie

Rules

5828×	`div-sub`
5698×	`fma-neg`
5666×	`fma-def`
4786×	`times-frac`
3022×	`associate-/r*`

Stop Event

5×	saturated
4×	node limit

Compiler

Compiled 2125 to 1308 computations (38.4% saved)

analyze470.0ms (1%)

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

bsearch403.0ms (0.8%)

Algorithm

26×	binary-search

Stop Event

20×	narrow-enough
6×	predicate-same

Results

318.0ms	2584×	body	256	valid
30.0ms	264×	body	256	infinite
11.0ms	79×	body	256	invalid

Compiler

Compiled 6222 to 4443 computations (28.6% saved)

Herbie run

sample11.0s (22.3%)

localize10.2s (20.7%)

eval7.3s (14.8%)

soundness5.7s (11.5%)

simplify4.6s (9.3%)

prune3.0s (6%)

rewrite2.6s (5.3%)

regimes1.7s (3.5%)

series1.3s (2.6%)

preprocess1.0s (2%)

analyze470.0ms (1%)

bsearch403.0ms (0.8%)

end0.0ms (0%)

Profiling