Metrics for Herbie run

Date:	Monday, August 28th, 2023
Commit:	5f639494 on main
Hostname:	nightly with Racket 8.6
Seed:	2023240
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.1%)

Results

3.9min	1795323×	body	256	valid
47.8s	337376×	body	256	infinite
24.6s	143153×	body	256	invalid
24.3s	45603×	body	1024	valid
10.2s	32428×	body	512	valid
7.0s	9838×	body	2048	valid
1.6s	4943×	body	1024	infinite
1.4s	1580×	body	8192	exit
729.0ms	3244×	body	512	infinite
718.0ms	365×	body	4096	valid
261.0ms	1241×	body	1024	invalid
159.0ms	940×	body	512	invalid
0.0ms	2×	body	2048	invalid

Bogosity

soundness5.3min (17.2%)

Rules

1233214×	`fma-def`
699430×	`associate-r`
645178×	`log-prod`
582842×	`fma-neg`
565406×	`associate-l`

Stop Event

129×	saturated
10×	unsound
1513×	node limit

Compiler

Compiled 115777 to 63631 computations (45% saved)

regimes4.7min (15.1%)

Counts

34616 → 5916

Calls

492 calls:

47.2s	x
45.3s	y
41.5s	z
28.9s	t
20.5s	a

Compiler

Compiled 395193 to 211883 computations (46.4% saved)

simplify3.1min (10%)

Algorithm

1383×

egg-herbie

Rules

915152×	`fma-def`
495178×	`log-prod`
488142×	`associate-r`
481676×	`fma-neg`
433722×	`associate-l`

Stop Event

69×	done
6×	unsound
436×	saturated
201×	fuel
941×	node limit

Counts

385406 → 282185

Compiler

Compiled 65769 to 39777 computations (39.5% saved)

localize2.9min (9.4%)

Compiler: Compiled 115730 to 47260 computations (59.2% saved)

eval2.5min (8%)

Compiler: Compiled 8303505 to 3919477 computations (52.8% saved)

prune1.7min (5.4%)

Counts: 354152 → 14239
Compiler: Compiled 709620 to 485650 computations (31.6% saved)

rewrite1.7min (5.4%)

Algorithm

843×	batch-egg-rewrite

Rules

541760×	`pow1`
510258×	`add-exp-log`
509950×	`log1p-expm1-u`
509920×	`expm1-log1p-u`
481098×	`add-log-exp`

Stop Event

1×	unsound
842×	node limit

Counts

5999 → 218039

bsearch1.4min (4.6%)

Algorithm

3493×	binary-search
317×	left-value

Stop Event

3435×	narrow-enough
58×	predicate-same

Results

51.6s	333664×	body	256	valid
19.1s	86437×	body	256	infinite
3.3s	5315×	body	1024	valid
2.3s	6588×	body	512	valid
755.0ms	5694×	body	256	invalid
448.0ms	896×	body	1024	infinite
191.0ms	635×	body	512	infinite
178.0ms	205×	body	2048	valid
21.0ms	26×	body	512	invalid
1.0ms	4×	body	4096	valid

Compiler

Compiled 765228 to 569917 computations (25.5% saved)

preprocess1.0min (3.2%)

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 145571 to 70452 computations (51.6% saved)

series28.1s (1.5%)

Counts

5999 → 167097

Calls

42342 calls:

Time	Variable		Point	Expression
468.0ms	t	@	inf	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/18) (*.f64 (/.f64 (sqrt.f64 t) z) (/.f64 x y)))))
219.0ms	x	@	0	(-.f64 (exp.f64 (log1p.f64 (*.f64 x 27061/100000))) 1)
170.0ms	y	@	inf	(pow.f64 (hypot.f64 y (hypot.f64 x y)) 2)
115.0ms	x	@	0	(*.f64 x (log.f64 y))
115.0ms	z	@	0	(pow.f64 (*.f64 (+.f64 y x) z) 3/2)

analyze16.0s (0.9%)

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.1%)

soundness5.3min (17.2%)

regimes4.7min (15.1%)

simplify3.1min (10%)

localize2.9min (9.4%)

eval2.5min (8%)

prune1.7min (5.4%)

rewrite1.7min (5.4%)

bsearch1.4min (4.6%)

preprocess1.0min (3.2%)

series28.1s (1.5%)

analyze16.0s (0.9%)

end51.0ms (0%)

Profiling