Metrics for Herbie run

Date:	Wednesday, January 24th, 2024
Commit:	89eba0ac on mix-histograms
Hostname:	nightly with Racket 8.6
Seed:	2024024
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.5s (78.8%)

Results

2.6s	4443×	body	2048	valid
1.9s	6819×	body	1024	valid
1.0s	8547×	body	256	valid
575.0ms	2937×	body	512	valid
269.0ms	2014×	body	256	infinite
3.0ms	8×	body	4096	valid

Precisions

Click to see histograms. Total time spent on operations: 2.2s

Operation ival-add, time spent: 1.2s, 53.0% of total-time

Operation ival-sub, time spent: 743.0ms, 34.0% of total-time

Operation const, time spent: 153.0ms, 7.0% of total-time

Operation ival-mult, time spent: 137.0ms, 6.0% of total-time

Bogosity

preprocess860.0ms (10.4%)

Algorithm

3×	egg-herbie

Rules

7490×	`fma-neg`
2784×	`associate-+r+`
2680×	`associate-+l+`
2674×	`fma-def`
2556×	`unsub-neg`

Stop Event

1×	saturated
2×	node limit

Compiler

Compiled 303 to 234 computations (22.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 70.0ms

Operation ival-add, time spent: 44.0ms, 63.0% of total-time

Operation ival-sub, time spent: 10.0ms, 14.0% of total-time

Operation const, time spent: 7.0ms, 10.0% of total-time

Operation ival-mult, time spent: 7.0ms, 10.0% of total-time

soundness807.0ms (9.8%)

Rules

7490×	`fma-neg`
2784×	`associate-+r+`
2680×	`associate-+l+`
2674×	`fma-def`
2556×	`unsub-neg`

Stop Event

1×	saturated
2×	node limit

Compiler

Compiled 134 to 80 computations (40.3% saved)

localize37.0ms (0.5%)

Compiler: Compiled 12 to 8 computations (33.3% saved)
Precisions: Click to see histograms. Total time spent on operations: 7.0ms
Operation ival-add, time spent: 4.0ms, 54.0% of total-time
Operation ival-mult, time spent: 2.0ms, 27.0% of total-time
Operation const, time spent: 1.0ms, 14.0% of total-time

regimes28.0ms (0.3%)

Counts

6 → 3

Calls

8 calls:

8.0ms	x
4.0ms	y
2.0ms	z
2.0ms	(+.f64 x 1)
2.0ms	(-.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1)

Compiler

Compiled 95 to 65 computations (31.6% saved)

prune11.0ms (0.1%)

Counts: 9 → 9
Compiler: Compiled 109 to 91 computations (16.5% saved)

simplify5.0ms (0.1%)

Algorithm

3×	egg-herbie

Rules

3×	`1-exp`
2×	`*-commutative`
2×	`+-commutative`

Stop Event

1×	done
3×	saturated
2×	fuel

Compiler

Compiled 12 to 10 computations (16.7% saved)

eval2.0ms (0%)

Compiler: Compiled 60 to 46 computations (23.3% saved)

analyze1.0ms (0%)

Algorithm

3×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 33 to 23 computations (30.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Herbie run

sample6.5s (78.8%)

preprocess860.0ms (10.4%)

soundness807.0ms (9.8%)

localize37.0ms (0.5%)

regimes28.0ms (0.3%)

prune11.0ms (0.1%)

simplify5.0ms (0.1%)

eval2.0ms (0%)

analyze1.0ms (0%)

end0.0ms (0%)

Profiling