Metrics for Herbie run

Date:	Thursday, July 27th, 2023
Commit:	7791686b on docs-link-fix
Hostname:	nightly with Racket 8.6
Seed:	2023208
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.2min (22.9%)

Results

37.8s	269628×	body	256	valid
17.5s	14508×	body	2048	valid
8.2s	19505×	body	1024	valid
5.3s	31010×	body	256	infinite
2.7s	10941×	body	512	valid
1.4s	202×	body	8192	exit
514.0ms	789×	body	4096	valid
321.0ms	2807×	body	256	invalid
158.0ms	166×	body	1024	infinite
127.0ms	962×	body	256	unsamplable
71.0ms	185×	body	512	infinite
19.0ms	20×	body	2048	infinite

Bogosity

localize1.1min (20.3%)

Compiler: Compiled 31289 to 17518 computations (44% saved)

soundness49.1s (15.1%)

Rules

217102×	`fma-def`
118522×	`associate-r`
107730×	`fma-neg`
103024×	`log-prod`
97044×	`distribute-lft-in`

Stop Event

6×	saturated
293×	node limit

Compiler

Compiled 30063 to 18565 computations (38.2% saved)

eval37.7s (11.6%)

Compiler: Compiled 1918979 to 1190057 computations (38% saved)

simplify25.0s (7.7%)

Algorithm

209×	egg-herbie

Rules

153716×	`fma-def`
76864×	`associate-r`
75614×	`fma-neg`
70826×	`distribute-lft-in`
69000×	`associate-l`

Stop Event

14×	done
58×	saturated
28×	fuel
151×	node limit

Counts

46549 → 40172

Compiler

Compiled 8441 to 5348 computations (36.6% saved)

regimes17.3s (5.3%)

Counts

4283 → 574

Calls

94 calls:

1.7s	c
1.7s	a
1.5s	x
1.3s	b
1.3s	d

Compiler

Compiled 72306 to 42599 computations (41.1% saved)

prune16.4s (5%)

Counts: 61441 → 2036
Compiler: Compiled 128091 to 85968 computations (32.9% saved)

rewrite13.9s (4.3%)

Algorithm

125×	batch-egg-rewrite

Rules

84228×	`pow1`
79842×	`add-exp-log`
79780×	`log1p-expm1-u`
79768×	`expm1-log1p-u`
76320×	`add-log-exp`

Stop Event

125×	node limit

Counts

910 → 28425

preprocess9.3s (2.8%)

Algorithm

42×	egg-herbie

Rules

53946×	`fma-def`
22276×	`fma-neg`
17644×	`unsub-neg`
17506×	`distribute-lft-in`
17362×	`sub-neg`

Stop Event

12×	saturated
30×	node limit

Compiler

Compiled 20569 to 11713 computations (43.1% saved)

bsearch8.4s (2.6%)

Algorithm

264×	binary-search
32×	left-value

Stop Event

252×	narrow-enough
12×	predicate-same

Results

4.9s	25678×	body	256	valid
1.3s	4761×	body	256	infinite
783.0ms	1783×	body	1024	valid
283.0ms	1219×	body	512	valid
214.0ms	336×	body	2048	valid
136.0ms	1507×	body	256	invalid
26.0ms	206×	body	256	unsamplable
26.0ms	44×	body	1024	infinite
12.0ms	33×	body	512	infinite
2.0ms	1×	body	4096	valid
1.0ms	1×	body	2048	infinite

Compiler

Compiled 67213 to 46674 computations (30.6% saved)

analyze5.6s (1.7%)

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
23.5%	12.8%	41.7%	45.5%	0%	0%	0%	1
39.5%	21.5%	33%	45.5%	0%	0%	0%	2
50.3%	26.8%	26.5%	45.5%	0%	1.2%	0%	3
58.5%	31%	22%	45.5%	0%	1.5%	0%	4
71.6%	37.8%	15%	45.6%	0%	1.7%	0%	5
73.1%	38.5%	14.1%	45.6%	0%	1.7%	0%	6
78.3%	40.9%	11.3%	45.6%	0%	2.2%	0%	7
81.8%	42.6%	9.5%	45.7%	0%	2.2%	0%	8
84.7%	43.9%	8%	45.7%	0%	2.5%	0%	9
86.7%	44.7%	6.9%	45.7%	0%	2.7%	0%	10
88.8%	45.6%	5.7%	45.7%	0%	2.8%	0.1%	11
89.7%	46%	5.3%	45.7%	0%	2.9%	0.1%	12

Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series2.5s (0.8%)

Counts

910 → 18082

Calls

4758 calls:

Time	Variable		Point	Expression
67.0ms	t	@	0	(-.f64 (pow.f64 t 3/2) 1)
57.0ms	x	@	0	(-.f64 (exp.f64 (.f64 -1 (.f64 (-.f64 1 eps) x))) (.f64 -1 (exp.f64 (.f64 -1 x))))
52.0ms	x	@	inf	(*.f64 (cos.f64 x) (sqrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 60) x) x))))
42.0ms	x	@	inf	(fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x))))
40.0ms	eps	@	inf	(pow.f64 (exp.f64 (-.f64 1 eps)) (neg.f64 x))

Herbie run

sample1.2min (22.9%)

localize1.1min (20.3%)

soundness49.1s (15.1%)

eval37.7s (11.6%)

simplify25.0s (7.7%)

regimes17.3s (5.3%)

prune16.4s (5%)

rewrite13.9s (4.3%)

preprocess9.3s (2.8%)

bsearch8.4s (2.6%)

analyze5.6s (1.7%)

series2.5s (0.8%)

end7.0ms (0%)

Profiling