Metrics for Herbie run

Date:	Wednesday, April 17th, 2024
Commit:	6204de5a on fpcore-fixes
Hostname:	nightly with Racket 8.11.1
Seed:	2024108
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

localize1.7min (20.7%)

Results

45.5s	27167×	0	valid
6.3s	1547×	0	invalid
2.8s	759×	1	valid
24.6s	663×	5	exit
174.0ms	328×	0	unsamplable

Compiler

Compiled 110205 to 24789 computations (77.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.1min

ival-mult: 16.6s (25.1% of total)

ival-pow: 9.7s (14.6% of total)

ival-tan: 7.0s (10.5% of total)

ival-div: 5.4s (8.2% of total)

ival-sin: 4.9s (7.4% of total)

ival-add: 3.7s (5.5% of total)

backward-pass: 3.5s (5.2% of total)

ival-sub: 2.7s (4.1% of total)

ival-atan: 2.0s (3.1% of total)

ival-sqrt: 1.6s (2.4% of total)

ival-fma: 1.3s (1.9% of total)

const: 1.1s (1.6% of total)

ival-fmax: 1.1s (1.6% of total)

ival-log: 1.0s (1.6% of total)

ival-cos: 1.0s (1.5% of total)

ival-exp: 758.0ms (1.1% of total)

ival-log1p: 596.0ms (0.9% of total)

ival-cbrt: 566.0ms (0.9% of total)

ival-sinh: 309.0ms (0.5% of total)

ival-hypot: 279.0ms (0.4% of total)

ival-if: 244.0ms (0.4% of total)

ival-neg: 241.0ms (0.4% of total)

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

ival-log2: 132.0ms (0.2% of total)

ival-floor: 106.0ms (0.2% of total)

ival-expm1: 103.0ms (0.2% of total)

ival->=: 80.0ms (0.1% of total)

ival-pi: 76.0ms (0.1% of total)

ival-fabs: 59.0ms (0.1% of total)

ival-asin: 43.0ms (0.1% of total)

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

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

sample1.5min (17.8%)

Results

1.1min	247680×	0	valid
1.4s	8544×	0	invalid
669.0ms	2028×	0	precondition
22.0ms	53×	5	exit

Precisions

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

ival-mult: 13.3s (25% of total)

ival-<=: 9.5s (17.9% of total)

ival-div: 4.7s (8.7% of total)

ival-sin: 2.5s (4.7% of total)

ival-add: 2.4s (4.5% of total)

ival-sub: 2.3s (4.4% of total)

ival-fabs: 2.1s (3.9% of total)

ival-sqrt: 1.8s (3.4% of total)

ival-log: 1.6s (3% of total)

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

ival-tan: 1.5s (2.8% of total)

ival-pi: 1.3s (2.5% of total)

ival-cos: 1.3s (2.4% of total)

const: 1.3s (2.4% of total)

ival-atan: 979.0ms (1.8% of total)

ival-floor: 875.0ms (1.6% of total)

ival-exp: 840.0ms (1.6% of total)

ival-fmax: 740.0ms (1.4% of total)

ival-neg: 590.0ms (1.1% of total)

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

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

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

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

ival-==: 256.0ms (0.5% of total)

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

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

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

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

Bogosity

eval1.0min (12.7%)

Compiler: Compiled 10697820 to 2354618 computations (78% saved)

simplify1.0min (12.5%)

Algorithm

148×	egg-herbie

Rules

104784×	`fma-define`
71404×	`*-commutative`
67858×	`associate-r`
63988×	`distribute-lft-in`
60494×	`times-frac`

Stop Event

30×	saturated
118×	node limit

Counts

68327 → 52426

soundness43.5s (8.8%)

Rules

84758×	`fma-define`
61320×	`associate-r`
55240×	`times-frac`
49410×	`*-commutative`
45822×	`distribute-lft-in`

Stop Event

6×	saturated
137×	node limit
28×	fuel
2×	done

Compiler

Compiled 40167 to 18963 computations (52.8% saved)

prune29.4s (6%)

Counts: 109683 → 3634
Compiler: Compiled 249641 to 135013 computations (45.9% saved)

analyze26.4s (5.4%)

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 1267 computations (52.5% saved)

Precisions

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

ival-mult: 4.6s (27.8% of total)

ival-<=: 3.1s (19% of total)

ival-fabs: 1.6s (9.6% of total)

ival-div: 1.2s (7.2% of total)

ival-floor: 844.0ms (5.1% of total)

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

ival-sub: 582.0ms (3.5% of total)

ival-and: 533.0ms (3.2% of total)

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

ival-if: 416.0ms (2.5% of total)

ival-fmax: 401.0ms (2.4% of total)

const: 318.0ms (1.9% of total)

ival-==: 221.0ms (1.3% of total)

ival-tan: 207.0ms (1.3% of total)

ival-exp: 205.0ms (1.2% of total)

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

ival-sin: 183.0ms (1.1% of total)

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

ival->=: 102.0ms (0.6% of total)

ival->: 101.0ms (0.6% of total)

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

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

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

ival-pi: 42.0ms (0.3% of total)

ival-neg: 39.0ms (0.2% of total)

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

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

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

rewrite25.8s (5.2%)

Algorithm

118×	batch-egg-rewrite

Rules

64807×	`log1p-expm1-u`
46763×	`expm1-log1p-u`
33112×	`log-prod`
32432×	`add-exp-log`
32408×	`pow1`

Stop Event

118×	node limit

Counts

1339 → 33900

regimes17.1s (3.5%)

Counts

6619 → 306

Calls

145 calls:

719.0ms	dY.u
555.0ms	u1
529.0ms	cosTheta_i
510.0ms	s
507.0ms	u

Compiler

Compiled 11341 to 7722 computations (31.9% saved)

series14.4s (2.9%)

Counts

1339 → 34427

Calls

8022 calls:

Time	Variable		Point	Expression
274.0ms	dY.v	@	-inf	(log (pow (exp (fabs (* (floor w) (* (floor h) (- (* dX.u dY.v) (* dX.v dY.u)))))) (pow (fmax (pow (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) -1/2)))
173.0ms	h	@	inf	(log (pow (exp (fabs (* (floor w) (* (floor h) (- (* dX.u dY.v) (* dX.v dY.u)))))) (pow (fmax (pow (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) -1/2)))
151.0ms	cosTheta	@	-inf	(/ 1 (+ 1 (+ (* (/ (sqrt (/ (+ (* cosTheta -2) 1) (PI))) cosTheta) (pow (exp (neg cosTheta)) cosTheta)) c)))
133.0ms	dY.u	@	inf	(pow (fmax (pow (sqrt (+ (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dX.u) (* (floor w) dX.u)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) 1/4)
119.0ms	w	@	-inf	(log (fmax (pow (sqrt (+ (* (* dX.w (floor d)) (* dX.w (floor d))) (* (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h)))))))) 2) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (* (floor w) dY.u) (* (floor w) dY.u)))) 2)))

explain13.9s (2.8%)

Results

9.8s	15306×	0	valid
72.0ms	54×	5	exit

Compiler

Compiled 16652 to 4502 computations (73% saved)

Precisions

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

ival-mult: 2.8s (34.2% of total)

ival-tan: 1.0s (12.9% of total)

ival-div: 752.0ms (9.4% of total)

ival-atan: 618.0ms (7.7% of total)

ival-sub: 550.0ms (6.8% of total)

ival-sin: 543.0ms (6.8% of total)

ival-cos: 483.0ms (6% of total)

ival-add: 402.0ms (5% of total)

ival-log: 225.0ms (2.8% of total)

ival-sqrt: 188.0ms (2.3% of total)

const: 134.0ms (1.7% of total)

ival-exp: 71.0ms (0.9% of total)

ival-neg: 52.0ms (0.6% of total)

ival-floor: 49.0ms (0.6% of total)

backward-pass: 31.0ms (0.4% of total)

ival-pi: 25.0ms (0.3% of total)

ival-fmax: 23.0ms (0.3% of total)

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

ival-log2: 22.0ms (0.3% of total)

ival-if: 21.0ms (0.3% of total)

ival-fabs: 13.0ms (0.2% of total)

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

ival-asin: 6.0ms (0.1% of total)

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

ival-<: 4.0ms (0% of total)

preprocess8.6s (1.7%)

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 35058 to 16306 computations (53.5% saved)

bsearch40.0ms (0%)

Algorithm

28×	binary-search
26×	left-value

Stop Event

28×	narrow-enough

Compiler

Compiled 2099 to 1211 computations (42.3% saved)

Herbie run

localize1.7min (20.7%)

sample1.5min (17.8%)

eval1.0min (12.7%)

simplify1.0min (12.5%)

soundness43.5s (8.8%)

prune29.4s (6%)

analyze26.4s (5.4%)

rewrite25.8s (5.2%)

regimes17.1s (3.5%)

series14.4s (2.9%)

explain13.9s (2.8%)

preprocess8.6s (1.7%)

bsearch40.0ms (0%)

end0.0ms (0%)

Profiling