Metrics for Herbie run

Date:	Thursday, February 15th, 2024
Commit:	3a78953a on artem-minus-and-trig-tuning
Hostname:	nightly with Racket 8.11.1
Seed:	2024046
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

sample7.6s (78.1%)

Results

614.0ms	6655×	0	valid
3.4s	6364×	4	valid
715.0ms	4710×	1	valid
912.0ms	2455×	3	valid
227.0ms	2032×	0	infinite
728.0ms	1380×	5	valid
290.0ms	1172×	2	valid
0.0ms	1×	6	exit

Precisions

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

Operation ival-add, time spent: 3.1s, 74.0% of total-time

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

Operation const, time spent: 169.0ms, 4.0% of total-time

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

Bogosity

preprocess1.3s (13%)

Algorithm

3×	egg-herbie

Rules

8166×	`fma-neg`
2784×	`associate-+r+`
2680×	`associate-+l+`
2552×	`unsub-neg`
2488×	`associate-+r-`

Stop Event

1×	saturated
2×	node limit

Compiler

Compiled 372 to 268 computations (28% saved)

Precisions

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

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

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

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

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

soundness795.0ms (8.1%)

Rules

8166×	`fma-neg`
2784×	`associate-+r+`
2680×	`associate-+l+`
2552×	`unsub-neg`
2488×	`associate-+r-`

Stop Event

1×	saturated
2×	node limit

Compiler

Compiled 134 to 80 computations (40.3% saved)

localize45.0ms (0.5%)

Compiler: Compiled 20 to 16 computations (20% saved)
Precisions: Click to see histograms. Total time spent on operations: 10.0ms
Operation ival-add, time spent: 5.0ms, 51.0% of total-time
Operation ival-mult, time spent: 2.0ms, 20.0% of total-time
Operation const, time spent: 2.0ms, 20.0% of total-time

regimes25.0ms (0.3%)

Counts

6 → 3

Calls

8 calls:

9.0ms	x
3.0ms	(+.f64 x 1)
2.0ms	z
2.0ms	y
2.0ms	(-.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1)

Compiler

Compiled 58 to 40 computations (31% saved)

simplify5.0ms (0.1%)

Algorithm

3×	egg-herbie

Rules

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

Stop Event

3×	saturated
3×	done

Compiler

Compiled 12 to 10 computations (16.7% saved)

prune5.0ms (0.1%)

Counts: 3 → 3
Compiler: Compiled 61 to 45 computations (26.2% saved)

eval2.0ms (0%)

Compiler: Compiled 48 to 34 computations (29.2% 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-sub, time spent: 0.0ms, 0.0% of total-time

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

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

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

Herbie run

sample7.6s (78.1%)

preprocess1.3s (13%)

soundness795.0ms (8.1%)

localize45.0ms (0.5%)

regimes25.0ms (0.3%)

simplify5.0ms (0.1%)

prune5.0ms (0.1%)

eval2.0ms (0%)

analyze1.0ms (0%)

end0.0ms (0%)

Profiling