Metrics for Herbie run

Date:	Saturday, February 24th, 2024
Commit:	0406aea6 on zane-regimes-2
Hostname:	nightly with Racket 8.11.1
Seed:	2024055
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

sample5.3s (68.8%)

Results

749.0ms	8508×	256	valid
1.5s	6884×	1024	valid
1.8s	4371×	2048	valid
442.0ms	2948×	512	valid
189.0ms	2049×	256	infinite
2.0ms	8×	4096	valid

Precisions

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

Operation ival-add, time spent: 1.4s, 71.0% of total-time

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

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

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

Bogosity

preprocess1.1s (14.1%)

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 390 to 278 computations (28.7% saved)

Precisions

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

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

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

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

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

soundness892.0ms (11.6%)

Rules

8276×	`fma-neg`
2784×	`associate-+r+`
2680×	`associate-+l+`
2552×	`unsub-neg`
2490×	`associate-+r-`

Stop Event

1×	saturated
3×	node limit

Compiler

Compiled 153 to 91 computations (40.5% saved)

rewrite169.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

636×	`unpow-prod-down`
396×	`log1p-expm1-u`
396×	`expm1-log1p-u`
377×	`add-exp-log`
370×	`cbrt-prod`

Stop Event

1×	node limit

Counts

1 → 47

simplify95.0ms (1.2%)

Algorithm

4×	egg-herbie

Rules

1686×	`times-frac`
654×	`fma-define`
562×	`associate-r`
546×	`fma-neg`
536×	`prod-exp`

Stop Event

3×	saturated
1×	node limit
3×	done

Counts

59 → 64

Compiler

Compiled 23 to 17 computations (26.1% saved)

localize78.0ms (1%)

Compiler: Compiled 38 to 27 computations (28.9% saved)
Precisions: Click to see histograms. Total time spent on operations: 22.0ms
Operation ival-mult, time spent: 10.0ms, 45.0% of total-time
Operation ival-add, time spent: 6.0ms, 27.0% of total-time
Operation composed, time spent: 4.0ms, 18.0% of total-time
Operation const, time spent: 2.0ms, 9.0% of total-time

regimes45.0ms (0.6%)

Counts

12 → 5

Calls

8 calls:

12.0ms	x
7.0ms	z
6.0ms	(-.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1)
5.0ms	(+.f64 x 1)
4.0ms	(*.f64 (+.f64 x 1) (+.f64 x 1))

Compiler

Compiled 84 to 59 computations (29.8% saved)

eval18.0ms (0.2%)

Compiler: Compiled 783 to 563 computations (28.1% saved)

prune14.0ms (0.2%)

Counts: 70 → 8
Compiler: Compiled 98 to 68 computations (30.6% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(* x (+ x 2))
1.0ms	x	@	inf	(* x (+ x 2))
0.0ms	x	@	0	(* x (+ x 2))

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

sample5.3s (68.8%)

preprocess1.1s (14.1%)

soundness892.0ms (11.6%)

rewrite169.0ms (2.2%)

simplify95.0ms (1.2%)

localize78.0ms (1%)

regimes45.0ms (0.6%)

eval18.0ms (0.2%)

prune14.0ms (0.2%)

series2.0ms (0%)

analyze1.0ms (0%)

end0.0ms (0%)

Profiling