Metrics for Herbie run

Date:	Friday, August 18th, 2023
Commit:	5f639494 on main
Hostname:	nightly with Racket 8.6
Seed:	2023230
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

sample6.0min (19.2%)

Results

3.9min	1794590×	body	256	valid
48.9s	337928×	body	256	infinite
24.5s	46579×	body	1024	valid
24.3s	143332×	body	256	invalid
10.3s	31568×	body	512	valid
6.9s	9966×	body	2048	valid
1.8s	1627×	body	8192	exit
1.8s	4889×	body	1024	infinite
870.0ms	3243×	body	512	infinite
690.0ms	357×	body	4096	valid
348.0ms	1286×	body	1024	invalid
157.0ms	989×	body	512	invalid
1.0ms	3×	body	2048	invalid

Bogosity

soundness5.3min (17.1%)

Rules

1232572×	`fma-def`
688592×	`associate-r`
606294×	`log-prod`
562222×	`fma-neg`
552568×	`associate-l`

Stop Event

141×	saturated
10×	unsound
1470×	node limit

Compiler

Compiled 111318 to 61579 computations (44.7% saved)

regimes4.7min (15.1%)

Counts

35933 → 5899

Calls

492 calls:

45.0s	y
42.4s	x
41.3s	z
32.2s	t
20.6s	a

Compiler

Compiled 411177 to 224535 computations (45.4% saved)

simplify3.0min (9.6%)

Algorithm

1365×

egg-herbie

Rules

905638×	`fma-def`
505196×	`associate-r`
490200×	`log-prod`
452644×	`fma-neg`
440480×	`associate-l`

Stop Event

3×	unsound
64×	done
436×	saturated
206×	fuel
926×	node limit

Counts

381374 → 282018

Compiler

Compiled 67034 to 40554 computations (39.5% saved)

localize3.0min (9.5%)

Compiler: Compiled 115931 to 47691 computations (58.9% saved)

eval2.6min (8.4%)

Compiler: Compiled 8542969 to 4102322 computations (52% saved)

prune1.7min (5.4%)

Counts: 358418 → 14163
Compiler: Compiled 714861 to 487412 computations (31.8% saved)

rewrite1.6min (5.2%)

Algorithm

825×	batch-egg-rewrite

Rules

524414×	`pow1`
494024×	`add-exp-log`
493684×	`log1p-expm1-u`
493660×	`expm1-log1p-u`
471618×	`add-log-exp`

Stop Event

3×	unsound
822×	node limit

Counts

6004 → 215133

bsearch1.5min (4.7%)

Algorithm

3455×	binary-search
353×	left-value

Stop Event

3406×	narrow-enough
49×	predicate-same

Results

52.7s	325285×	body	256	valid
21.1s	91216×	body	256	infinite
3.1s	5232×	body	1024	valid
1.9s	5506×	body	512	valid
652.0ms	5909×	body	256	invalid
273.0ms	904×	body	1024	infinite
175.0ms	503×	body	512	infinite
84.0ms	216×	body	2048	valid
3.0ms	2×	body	4096	valid
0.0ms	1×	body	1024	invalid

Compiler

Compiled 768379 to 576585 computations (25% saved)

preprocess1.1min (3.5%)

Algorithm

270×	egg-herbie

Rules

380012×	`fma-def`
124642×	`fma-neg`
117048×	`sub-neg`
102858×	`unsub-neg`
98826×	`div-sub`

Stop Event

124×	saturated
146×	node limit

Compiler

Compiled 148939 to 72746 computations (51.2% saved)

series30.6s (1.6%)

Counts

6004 → 165971

Calls

42579 calls:

Time	Variable		Point	Expression
308.0ms	y	@	-inf	(log.f64 (/.f64 y x))
279.0ms	c	@	0	(fma.f64 x (log.f64 y) (+.f64 a (fma.f64 (+.f64 b -1/2) (log.f64 c) z)))
191.0ms	x	@	-inf	(log.f64 (/.f64 y x))
152.0ms	t	@	0	(log.f64 (.f64 (.f64 z y) (pow.f64 t (+.f64 -1/2 a))))
150.0ms	y	@	inf	(sqrt.f64 (.f64 x (.f64 27 y)))

analyze15.3s (0.8%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
46.7%	46.6%	53.2%	0.1%	0%	0%	0%	1
50.1%	49.9%	49.7%	0.1%	0%	0.2%	0%	2
58%	57.5%	41.6%	0.1%	0%	0.7%	0%	3
64.2%	63.3%	35.4%	0.1%	0%	1.2%	0%	4
69.9%	68.8%	29.6%	0.1%	0%	1.4%	0%	5
74.5%	72.8%	25%	0.1%	0%	2%	0%	6
78.6%	76.1%	20.7%	0.1%	0%	3%	0%	7
80.4%	77.4%	18.9%	0.1%	0%	3.5%	0%	8
83.2%	79.7%	16.1%	0.1%	0%	4%	0%	9
84.9%	80.8%	14.4%	0.1%	0%	4.6%	0%	10
87.7%	83.1%	11.6%	0.1%	0%	5.1%	0%	11
88.9%	83.9%	10.5%	0.1%	0%	5.5%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

Herbie run

sample6.0min (19.2%)

soundness5.3min (17.1%)

regimes4.7min (15.1%)

simplify3.0min (9.6%)

localize3.0min (9.5%)

eval2.6min (8.4%)

prune1.7min (5.4%)

rewrite1.6min (5.2%)

bsearch1.5min (4.7%)

preprocess1.1min (3.5%)

series30.6s (1.6%)

analyze15.3s (0.8%)

end93.0ms (0%)

Profiling