Metrics for Herbie run

Date:	Sunday, October 1st, 2023
Commit:	89d2ba58 on better-profiles
Hostname:	nightly with Racket 8.6
Seed:	2023274
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

sample8.7min (19.1%)

Results

5.7min	1792897×	body	256	valid
1.2min	332369×	body	256	infinite
36.5s	143989×	body	256	invalid
35.5s	45006×	body	1024	valid
17.2s	32152×	body	512	valid
9.9s	9888×	body	2048	valid
2.9s	5016×	body	1024	infinite
2.7s	1563×	body	8192	exit
1.2s	3226×	body	512	infinite
737.0ms	308×	body	4096	valid
711.0ms	1315×	body	1024	invalid
287.0ms	941×	body	512	invalid
1.0ms	2×	body	2048	infinite
1.0ms	3×	body	2048	invalid

Bogosity

regimes7.6min (16.6%)

Counts

36575 → 6234

Calls

493 calls:

1.2min	y
1.1min	x
1.1min	z
46.7s	t
34.8s	a

Compiler

Compiled 429919 to 235801 computations (45.2% saved)

soundness7.2min (15.8%)

Rules

1312278×	`fma-def`
696852×	`associate-r`
649202×	`log-prod`
636002×	`fma-neg`
564864×	`times-frac`

Stop Event

89×	saturated
5×	unsound
1538×	node limit

Results

Compiler

Compiled 111913 to 61586 computations (45% saved)

localize4.5min (9.8%)

Compiler: Compiled 112132 to 46190 computations (58.8% saved)

simplify3.9min (8.6%)

Algorithm

1096×

egg-herbie

Rules

635096×	`fma-def`
495090×	`log-prod`
433110×	`associate-r`
376548×	`associate-l`
364498×	`times-frac`

Stop Event

73×	done
5×	unsound
269×	saturated
196×	fuel
822×	node limit

Counts

371931 → 273497

Compiler

Compiled 71220 to 42919 computations (39.7% saved)

eval3.9min (8.6%)

Compiler: Compiled 8092386 to 3910976 computations (51.7% saved)

prune2.6min (5.6%)

Counts: 355060 → 13429
Compiler: Compiled 718208 to 491583 computations (31.6% saved)

rewrite2.4min (5.2%)

Algorithm

827×	batch-egg-rewrite

Rules

501454×	`pow1`
472582×	`add-exp-log`
472284×	`log1p-expm1-u`
472256×	`expm1-log1p-u`
453686×	`add-log-exp`

Stop Event

2×	unsound
825×	node limit

Counts

5729 → 216272

bsearch2.3min (5%)

Algorithm

3774×	binary-search
288×	left-value

Stop Event

3704×	narrow-enough
70×	predicate-same

Results

1.3min	355322×	body	256	valid
36.7s	101826×	body	256	infinite
4.9s	5812×	body	1024	valid
2.5s	5225×	body	512	valid
1.2s	7864×	body	256	invalid
435.0ms	1064×	body	1024	infinite
205.0ms	621×	body	512	infinite
140.0ms	226×	body	2048	valid

Compiler

Compiled 862872 to 643476 computations (25.4% saved)

preprocess1.5min (3.3%)

Algorithm

269×	egg-herbie

Rules

379496×	`fma-def`
124614×	`fma-neg`
117016×	`sub-neg`
102806×	`unsub-neg`
98826×	`div-sub`

Stop Event

123×	saturated
146×	node limit

Compiler

Compiled 141985 to 71616 computations (49.6% saved)

series39.9s (1.5%)

Counts

5729 → 155659

Calls

39741 calls:

Time	Variable		Point	Expression
501.0ms	z	@	0	(log.f64 (*.f64 z (pow.f64 t (+.f64 -1/2 a))))
447.0ms	x	@	inf	(pow.f64 (cbrt.f64 (*.f64 x (log1p.f64 (neg.f64 (/.f64 y x))))) 3)
405.0ms	y	@	0	(/.f64 (-.f64 y x) (-.f64 a t))
389.0ms	z	@	0	(log.f64 (.f64 (.f64 z (pow.f64 t (+.f64 a -1/2))) y))
353.0ms	i	@	0	(+.f64 (/.f64 (.f64 c (-.f64 (/.f64 28832688827/125000 i) (/.f64 c (/.f64 (.f64 i i) t)))) i) (/.f64 (.f64 t b) (.f64 i i)))

analyze24.3s (0.9%)

Algorithm

269×

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
49.9%	49.7%	49.9%	0.1%	0%	0.2%	0%	2
57.9%	57.4%	41.7%	0.1%	0%	0.7%	0%	3
64%	63.2%	35.5%	0.1%	0%	1.2%	0%	4
69.8%	68.7%	29.8%	0.1%	0%	1.4%	0%	5
74.4%	72.7%	25.1%	0.1%	0%	2.1%	0%	6
78.5%	76%	20.8%	0.1%	0%	3%	0%	7
80.3%	77.4%	19%	0.1%	0%	3.5%	0%	8
83.1%	79.6%	16.2%	0.1%	0%	4.1%	0%	9
84.8%	80.8%	14.4%	0.1%	0%	4.7%	0%	10
87.7%	83.1%	11.7%	0.1%	0%	5.1%	0%	11
88.9%	83.8%	10.5%	0.1%	0%	5.5%	0%	12

Compiler

Compiled 4012 to 2763 computations (31.1% saved)

Herbie run

sample8.7min (19.1%)

regimes7.6min (16.6%)

soundness7.2min (15.8%)

localize4.5min (9.8%)

simplify3.9min (8.6%)

eval3.9min (8.6%)

prune2.6min (5.6%)

rewrite2.4min (5.2%)

bsearch2.3min (5%)

preprocess1.5min (3.3%)

series39.9s (1.5%)

analyze24.3s (0.9%)

end98.0ms (0%)

Profiling