Metrics for Herbie run

Date:	Monday, April 22nd, 2024
Commit:	1ba62266 on faster-localize-cost
Hostname:	nightly with Racket 8.11.1
Seed:	2024113
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

prune2.3min (21.8%)

Counts: 146204 → 4084
Compiler: Compiled 328347 to 129421 computations (60.6% saved)

simplify1.9min (18.4%)

Algorithm

148×	egg-herbie

Rules

94804×	`fma-define`
77648×	`*-commutative`
75490×	`times-frac`
64652×	`distribute-lft-in`
58214×	`associate-r`

Stop Event

30×	saturated
118×	node limit

Counts

100567 → 71370

sample1.4min (13.4%)

Results

1.0min	247680×	0	valid
1.3s	8203×	0	invalid
664.0ms	2247×	0	precondition
24.0ms	62×	5	exit

Precisions

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

ival-mult: 13.5s (26.6% of total)

ival-<=: 10.3s (20.4% of total)

ival-div: 5.1s (10.1% of total)

ival-sub: 2.1s (4.2% of total)

ival-sin: 2.1s (4.1% of total)

ival-add: 2.0s (3.9% of total)

ival-fabs: 1.9s (3.7% of total)

ival-sqrt: 1.7s (3.3% of total)

ival-and: 1.5s (3.1% of total)

ival-log: 1.5s (2.9% of total)

ival-floor: 1.3s (2.6% of total)

ival-exp: 1.0s (2.1% of total)

ival-pi: 944.0ms (1.9% of total)

ival-cos: 862.0ms (1.7% of total)

const: 655.0ms (1.3% of total)

ival-neg: 646.0ms (1.3% of total)

ival-fmax: 562.0ms (1.1% of total)

ival-<: 538.0ms (1.1% of total)

ival-atan: 466.0ms (0.9% of total)

ival-tan: 452.0ms (0.9% of total)

ival-log2: 318.0ms (0.6% of total)

ival-if: 278.0ms (0.5% of total)

ival->: 263.0ms (0.5% of total)

ival-==: 168.0ms (0.3% of total)

ival-asin: 139.0ms (0.3% of total)

backward-pass: 123.0ms (0.2% of total)

ival-sinh: 105.0ms (0.2% of total)

ival->=: 103.0ms (0.2% of total)

Bogosity

soundness1.2min (11.6%)

Rules

98128×	`fma-define`
58852×	`*-commutative`
58040×	`associate-r`
57514×	`times-frac`
51244×	`distribute-lft-in`

Stop Event

8×	saturated
144×	node limit
28×	fuel
1×	done

Compiler

Compiled 41754 to 10661 computations (74.5% saved)

localize1.0min (9.7%)

Algorithm

118×	egg-herbie

Rules

118316×	`fma-define`
80674×	`associate-+r-`
71564×	`fma-neg`
54244×	`unsub-neg`
48762×	`distribute-lft-in`

Stop Event

35×	saturated
83×	node limit

Results

19.4s	27246×	0	valid
1.2s	1242×	0	invalid
6.6s	1000×	5	exit
455.0ms	716×	0	unsamplable
6.0ms	4×	1	valid

Compiler

Compiled 102078 to 5376 computations (94.7% saved)

Precisions

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

ival-mult: 3.9s (24.1% of total)

ival-div: 2.2s (14% of total)

ival-pow: 2.0s (12.2% of total)

backward-pass: 965.0ms (6% of total)

ival-sin: 792.0ms (4.9% of total)

ival-sqrt: 781.0ms (4.9% of total)

ival-sub: 695.0ms (4.3% of total)

ival-add: 613.0ms (3.8% of total)

ival-log: 511.0ms (3.2% of total)

ival-log1p: 415.0ms (2.6% of total)

ival-fma: 388.0ms (2.4% of total)

ival-hypot: 317.0ms (2% of total)

ival-cos: 308.0ms (1.9% of total)

ival-exp: 302.0ms (1.9% of total)

ival-tan: 238.0ms (1.5% of total)

ival-fmax: 192.0ms (1.2% of total)

ival-neg: 190.0ms (1.2% of total)

ival-log2: 168.0ms (1% of total)

ival-if: 164.0ms (1% of total)

ival-cbrt: 161.0ms (1% of total)

ival-asin: 112.0ms (0.7% of total)

ival-floor: 111.0ms (0.7% of total)

ival->: 105.0ms (0.7% of total)

const: 104.0ms (0.6% of total)

ival-atan: 98.0ms (0.6% of total)

ival-pi: 81.0ms (0.5% of total)

ival-expm1: 51.0ms (0.3% of total)

ival->=: 50.0ms (0.3% of total)

ival-fabs: 47.0ms (0.3% of total)

ival-sinh: 14.0ms (0.1% of total)

ival-<: 12.0ms (0.1% of total)

ival-e: 7.0ms (0% of total)

ival-acos: 3.0ms (0% of total)

rewrite32.1s (5.1%)

Algorithm

118×	batch-egg-rewrite

Rules

58438×	`log1p-expm1-u`
49284×	`expm1-log1p-u`
35713×	`pow1`
35400×	`log-prod`
35142×	`add-exp-log`

Stop Event

118×	node limit

Counts

1959 → 44176

eval31.7s (5.1%)

Compiler: Compiled 15357019 to 595892 computations (96.1% saved)

series29.4s (4.7%)

Counts

1959 → 56391

Calls

13638 calls:

Time	Variable		Point	Expression
776.0ms	w	@	0	(log (log2 (sqrt (fmax (pow (* (floor w) dX.u) 2) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 2)))))
374.0ms	s	@	0	(* (* s -3) (log (+ 1 1/3)))
360.0ms	w	@	inf	(pow (fmax (pow (sqrt (+ (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))))) 2) (pow (* (floor d) dY.w) 2)) 1/4)
267.0ms	dX.v	@	-inf	(sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* dX.v (* dX.v (* (floor h) (floor h))))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (* (floor h) (floor h)) (* dY.v dY.v)))))
243.0ms	h	@	0	(if (> (/ (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (floor h) (* dX.v dX.v)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h))))) (fabs (* (floor w) (* (floor h) (- (* dY.v dX.u) (* dX.v dY.u)))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (floor h) (* dX.v dX.v)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h)))))) (floor maxAniso)) (/ (fabs (* (floor w) (* (floor h) (- (* dY.v dX.u) (* dX.v dY.u))))) (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (floor h) (* dX.v dX.v)))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (floor h) (* (* dY.v dY.v) (floor h))))))))

regimes24.0s (3.8%)

Counts

8938 → 387

Calls

145 calls:

689.0ms	dX.u
611.0ms	cosTheta_i
590.0ms	u1
589.0ms	dX.v
559.0ms	w

Compiler

Compiled 12726 to 8617 computations (32.3% saved)

analyze23.9s (3.8%)

Algorithm

30×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	2.6%	97.4%	0%	0%	0%	0
0.2%	0%	2.6%	97.4%	0%	0%	0%	1
9.2%	0.2%	2.4%	97.4%	0%	0%	0%	2
10.8%	0.3%	2.3%	97.4%	0%	0%	0%	3
15.5%	0.4%	2.2%	97.4%	0%	0%	0%	4
48.8%	1.3%	1.3%	97.4%	0%	0%	0%	5
53.6%	1.4%	1.2%	97.4%	0%	0%	0%	6
70.7%	1.8%	0.8%	97.4%	0%	0%	0%	7
72.6%	1.9%	0.7%	97.4%	0%	0.1%	0%	8
81.8%	2.1%	0.5%	97.4%	0%	0.1%	0%	9
83.3%	2.1%	0.4%	97.4%	0%	0.1%	0%	10
88.8%	2.2%	0.3%	97.4%	0%	0.1%	0%	11
89.5%	2.2%	0.3%	97.4%	0%	0.1%	0%	12

Compiler

Compiled 2668 to 1046 computations (60.8% saved)

Precisions

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

ival-mult: 4.1s (25.2% of total)

ival-<=: 3.4s (20.9% of total)

ival-fabs: 2.2s (13.4% of total)

ival-floor: 974.0ms (6% of total)

ival-div: 869.0ms (5.4% of total)

ival-add: 664.0ms (4.1% of total)

ival-if: 548.0ms (3.4% of total)

ival-fmax: 538.0ms (3.3% of total)

ival-and: 538.0ms (3.3% of total)

ival-sqrt: 490.0ms (3% of total)

ival-sub: 360.0ms (2.2% of total)

ival-==: 194.0ms (1.2% of total)

ival-log2: 177.0ms (1.1% of total)

ival->: 172.0ms (1.1% of total)

ival-sin: 151.0ms (0.9% of total)

ival-cos: 145.0ms (0.9% of total)

const: 126.0ms (0.8% of total)

ival-pi: 83.0ms (0.5% of total)

ival->=: 82.0ms (0.5% of total)

ival-asin: 82.0ms (0.5% of total)

ival-log: 80.0ms (0.5% of total)

ival-exp: 52.0ms (0.3% of total)

ival-neg: 49.0ms (0.3% of total)

ival-tan: 46.0ms (0.3% of total)

ival-<: 46.0ms (0.3% of total)

backward-pass: 28.0ms (0.2% of total)

ival-atan: 20.0ms (0.1% of total)

ival-sinh: 16.0ms (0.1% of total)

preprocess8.6s (1.4%)

Algorithm

30×	egg-herbie

Rules

30630×	`fma-define`
21782×	`fma-neg`
15892×	`unsub-neg`
14706×	`distribute-lft-neg-in`
11858×	`distribute-rgt-neg-in`

Stop Event

11×	saturated
19×	node limit

Compiler

Compiled 40948 to 14140 computations (65.5% saved)

explain7.5s (1.2%)

Results

4.1s	15300×	0	valid
75.0ms	60×	5	exit

Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions

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

ival-mult: 747.0ms (31.9% of total)

ival-div: 378.0ms (16.2% of total)

ival-sin: 173.0ms (7.4% of total)

ival-sub: 157.0ms (6.7% of total)

ival-log: 143.0ms (6.1% of total)

ival-floor: 137.0ms (5.9% of total)

ival-add: 99.0ms (4.2% of total)

ival-pi: 85.0ms (3.6% of total)

ival-tan: 73.0ms (3.1% of total)

ival-sqrt: 72.0ms (3.1% of total)

ival-cos: 46.0ms (2% of total)

ival-exp: 41.0ms (1.8% of total)

ival-neg: 35.0ms (1.5% of total)

const: 29.0ms (1.2% of total)

ival-fmax: 22.0ms (0.9% of total)

backward-pass: 22.0ms (0.9% of total)

ival-if: 16.0ms (0.7% of total)

ival-log2: 14.0ms (0.6% of total)

ival-atan: 11.0ms (0.5% of total)

ival-fabs: 11.0ms (0.5% of total)

ival->=: 8.0ms (0.3% of total)

ival-sinh: 7.0ms (0.3% of total)

ival-asin: 5.0ms (0.2% of total)

ival->: 5.0ms (0.2% of total)

ival-<: 2.0ms (0.1% of total)

bsearch46.0ms (0%)

Algorithm

65×	binary-search
16×	left-value

Stop Event

65×	narrow-enough

Compiler

Compiled 4711 to 2109 computations (55.2% saved)

Herbie run

prune2.3min (21.8%)

simplify1.9min (18.4%)

sample1.4min (13.4%)

soundness1.2min (11.6%)

localize1.0min (9.7%)

rewrite32.1s (5.1%)

eval31.7s (5.1%)

series29.4s (4.7%)

regimes24.0s (3.8%)

analyze23.9s (3.8%)

preprocess8.6s (1.4%)

explain7.5s (1.2%)

bsearch46.0ms (0%)

end0.0ms (0%)

Profiling