Metrics for Herbie run

Date:	Monday, July 22nd, 2024
Commit:	11cd870a on better-preprocessing
Hostname:	nightly with Racket 8.11.1
Seed:	2024204
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample3.4min (24.6%)

Memory

403.4MiB live, 249 511.8MiB allocated

Samples

59.0s	121 989×	1	valid
39.2s	280 231×	0	valid
31.6s	14 553×	5	exit
16.5s	22 694×	2	valid
8.1s	4 257×	3	valid
6.1s	35 271×	0	exit
4.7s	10 725×	1	exit
2.9s	20 857×	0	invalid
2.6s	11 239×	1	invalid
801.0ms	43×	4	exit
496.0ms	141×	4	valid
405.0ms	26×	3	exit
381.0ms	830×	2	invalid
30.0ms	15×	2	exit

Precisions

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

ival-pow: 26.0s (17.4% of total)

ival-mult: 18.5s (12.4% of total)

ival-cos: 17.2s (11.5% of total)

ival-sin: 16.5s (11% of total)

ival-div: 12.8s (8.6% of total)

adjust: 9.9s (6.6% of total)

ival-pow2: 8.7s (5.8% of total)

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

ival-exp: 6.3s (4.2% of total)

ival-add: 6.1s (4.1% of total)

ival-log: 4.2s (2.8% of total)

ival-sqrt: 4.0s (2.7% of total)

ival-neg: 3.5s (2.4% of total)

ival-<: 1.7s (1.1% of total)

const: 1.5s (1% of total)

ival-tan: 988.0ms (0.7% of total)

ival-atan2: 772.0ms (0.5% of total)

ival-pi: 602.0ms (0.4% of total)

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

exact: 509.0ms (0.3% of total)

ival-acos: 367.0ms (0.2% of total)

ival-atan: 347.0ms (0.2% of total)

ival-and: 329.0ms (0.2% of total)

ival-cbrt: 308.0ms (0.2% of total)

ival-true: 302.0ms (0.2% of total)

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

ival-assert: 207.0ms (0.1% of total)

ival-log1p: 152.0ms (0.1% of total)

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

ival-<=: 105.0ms (0.1% of total)

ival-==: 1.0ms (0% of total)

ival-or: 0.0ms (0% of total)

Bogosity

simplify2.6min (18.7%)

Memory

591.0MiB live, 205 237.8MiB allocated

Algorithm

450×	egg-herbie

Rules

3 543 184×	`accelerator-lowering-fma.f32`
3 543 184×	`accelerator-lowering-fma.f64`
1 711 838×	`-lowering-.f32`
1 711 838×	`-lowering-.f64`
957 180×	`+-lowering-+.f32`

Stop Event

399×	iter limit
314×	node limit
136×	saturated

Counts

83 616 → 83 616

rewrite1.3min (9.7%)

Memory

-56.2MiB live, 108 584.1MiB allocated

Algorithm

199×	batch-egg-rewrite

Rules

849 980×	`accelerator-lowering-fma.f32`
849 980×	`accelerator-lowering-fma.f64`
843 630×	`-lowering-.f32`
843 630×	`-lowering-.f64`
670 484×	`/-lowering-/.f32`

Stop Event

212×	iter limit
198×	node limit
1×	saturated

Counts

3 341 → 155 465

soundness1.1min (8.2%)

Memory

194.9MiB live, 55 032.1MiB allocated

Rules

2 174 504×	`accelerator-lowering-fma.f32`
2 174 504×	`accelerator-lowering-fma.f64`
1 447 866×	`-lowering-.f32`
1 447 866×	`-lowering-.f64`
745 166×	`+-lowering-+.f32`

Stop Event

284×	iter limit
277×	node limit
45×	fuel
7×	done
1×	saturated

Compiler

Compiled 52 068 to 25 381 computations (51.3% saved)

localize59.5s (7.1%)

Memory

100.0MiB live, 83 277.1MiB allocated

Samples

15.9s	13 629×	1	valid
8.4s	4 212×	2	valid
7.6s	28 104×	0	valid
5.8s	859×	5	exit
1.5s	3 260×	0	invalid
1.3s	596×	3	valid
544.0ms	97×	4	exit
376.0ms	46×	4	valid
155.0ms	17×	3	exit
129.0ms	76×	1	invalid
65.0ms	48×	1	exit

Compiler

Compiled 92 494 to 7 936 computations (91.4% saved)

Precisions

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

ival-mult: 7.7s (23.5% of total)

ival-cos: 5.5s (16.6% of total)

ival-sin: 4.5s (13.5% of total)

ival-div: 3.2s (9.6% of total)

adjust: 2.6s (7.9% of total)

ival-add: 2.2s (6.6% of total)

const: 1.2s (3.5% of total)

ival-pow2: 820.0ms (2.5% of total)

ival-sqrt: 819.0ms (2.5% of total)

ival-sub: 786.0ms (2.4% of total)

ival-exp: 560.0ms (1.7% of total)

ival-log: 556.0ms (1.7% of total)

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

ival-pow: 431.0ms (1.3% of total)

ival-atan2: 350.0ms (1.1% of total)

ival-acos: 202.0ms (0.6% of total)

ival-tan: 187.0ms (0.6% of total)

ival-cbrt: 163.0ms (0.5% of total)

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

ival-atan: 126.0ms (0.4% of total)

ival-pi: 124.0ms (0.4% of total)

exact: 115.0ms (0.3% of total)

ival-log1p: 109.0ms (0.3% of total)

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

ival-true: 47.0ms (0.1% of total)

ival-expm1: 27.0ms (0.1% of total)

ival-assert: 23.0ms (0.1% of total)

ival-asin: 15.0ms (0% of total)

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

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

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

ival-tanh: 2.0ms (0% of total)

ival-sinh: 2.0ms (0% of total)

eval58.6s (7%)

Memory: 1 499.1MiB live, 89 028.7MiB allocated
Compiler: Compiled 14 277 920 to 814 224 computations (94.3% saved)

regimes56.4s (6.8%)

Memory

139.5MiB live, 79 807.8MiB allocated

Counts

28 589 → 1 054

Calls

155 calls:

4.3s	phi1
3.7s	phi2
3.3s	lambda1
3.2s	lambda2
2.7s	b

Compiler

Compiled 28 460 to 16 980 computations (40.3% saved)

prune55.7s (6.7%)

Memory: -1 518.6MiB live, 96 744.0MiB allocated
Counts: 311 577 → 8 325
Compiler: Compiled 697 947 to 299 595 computations (57.1% saved)

explain22.1s (2.6%)

Memory

-121.9MiB live, 30 557.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1776	3
`+.f64`	`#f`	cancellation	1730	35
`sin.f64`	`#f`	sensitivity	1548	4
`sqrt.f64`	`#f`	oflow-rescue	1403	0
`-.f64`	`#f`	cancellation	953	8
`log.f64`	`#f`	sensitivity	612	0
`-.f64`	`#f`	nan-rescue	576	0
`/.f64`	`#f`	o/n	471	0
`/.f64`	`#f`	o/o	311	0
`/.f64`	`#f`	u/u	311	0
`*.f64`	`#f`	*no**	236	0
`/.f64`	`#f`	u/n	175	0
`exp.f64`	`#f`	sensitivity	175	23
`sqrt.f64`	`#f`	uflow-rescue	142	0
`*.f64`	`#f`	*nu**	122	0
`/.f64`	`#f`	n/o	108	0
`cbrt.f64`	`#f`	oflow-rescue	87	0
`/.f64`	`#f`	n/u	40	0
`cbrt.f64`	`#f`	uflow-rescue	33	0
`*.f64`	`#f`	*uo**	25	0
`*.f64`	`#f`	*ou**	25	0
`acos.f64`	`(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))`	sensitivity	16	5
`pow.f64`	`#f`	sensitivity	5	0
`pow.f64`	`#f`	uflow-rescue	4	0
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	oflow-rescue	4	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	overflow	4
↳	`(exp.f64 b)`	overflow	4

Confusion

	Predicted +	Predicted -
+	5766	67
-	1338	6141

Precision

0.8116554054054054

Recall

0.9885136293502486

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5766	37	30
-	1338	26	6115

Precision?

0.809683270545556

Recall?

0.9948568489627979

Freqs

test

number	freq
0	6208
1	4746
2	1596
3	364
4	227
5	106
6	45
7	13
8	5
9	1
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	40	0	0
-	3	1	8

Precision?

0.9090909090909091

Recall?

1.0

Samples

4.4s	8 108×	1	valid
2.2s	16 294×	0	valid
1.9s	1 828×	2	valid
620.0ms	390×	3	valid
2.0ms	4×	4	valid

Compiler

Compiled 21 748 to 3 336 computations (84.7% saved)

Precisions

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

ival-sin: 1.7s (23.6% of total)

ival-cos: 1.2s (17.2% of total)

ival-mult: 858.0ms (12.2% of total)

ival-div: 599.0ms (8.5% of total)

ival-pow2: 425.0ms (6% of total)

adjust: 396.0ms (5.6% of total)

ival-add: 374.0ms (5.3% of total)

ival-sub: 333.0ms (4.7% of total)

ival-log: 250.0ms (3.6% of total)

ival-sqrt: 204.0ms (2.9% of total)

ival-exp: 202.0ms (2.9% of total)

ival-neg: 124.0ms (1.8% of total)

ival-hypot: 63.0ms (0.9% of total)

ival-atan2: 55.0ms (0.8% of total)

ival-pi: 53.0ms (0.8% of total)

ival-tan: 53.0ms (0.8% of total)

ival-atan: 26.0ms (0.4% of total)

ival-pow: 26.0ms (0.4% of total)

exact: 25.0ms (0.4% of total)

ival-acos: 25.0ms (0.4% of total)

ival-true: 25.0ms (0.4% of total)

ival-cbrt: 19.0ms (0.3% of total)

ival-assert: 12.0ms (0.2% of total)

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

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

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

preprocess19.6s (2.3%)

Memory

-278.5MiB live, 22 478.6MiB allocated

Algorithm

52×	egg-herbie

Rules

237 718×	`accelerator-lowering-fma.f32`
237 718×	`accelerator-lowering-fma.f64`
81 446×	`-lowering-.f32`
81 446×	`-lowering-.f64`
46 834×	`unsub-neg`

Stop Event

61×	saturated
52×	iter limit
43×	node limit

Compiler

Compiled 70 920 to 22 206 computations (68.7% saved)

series18.5s (2.2%)

Memory

224.7MiB live, 24 785.7MiB allocated

Counts

3 341 → 83 616

Calls

16596 calls:

Time	Variable		Point	Expression
298.0ms	angle	@	-inf	(pow (* 2 (+ (* (+ 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* b b)) (* (- 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* a a)))) 1/4)
280.0ms	C	@	-inf	(/ -1 (/ (+ (* C (* A -4)) (* B B)) (sqrt (* B (* (+ (* C (* A -4)) (* B B)) (* F 2))))))
183.0ms	t	@	0	(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* 1 (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
150.0ms	angle	@	inf	(pow (* 2 (+ (* (+ 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* b b)) (* (- 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* a a)))) 1/4)
139.0ms	t	@	inf	(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))

bsearch16.4s (2%)

Memory

-198.9MiB live, 21 114.0MiB allocated

Algorithm

264×	binary-search
217×	left-value

Stop Event

257×	narrow-enough
7×	predicate-same

Samples

8.8s	11 526×	1	valid
3.6s	19 242×	0	valid
530.0ms	1 022×	2	valid
177.0ms	1 492×	0	invalid
85.0ms	139×	3	valid
29.0ms	27×	1	exit
7.0ms	23×	4	valid
0.0ms	9×	0	exit

Compiler

Compiled 86 459 to 59 294 computations (31.4% saved)

Precisions

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

ival-cos: 3.3s (29.2% of total)

ival-sin: 3.0s (26.5% of total)

ival-mult: 1.5s (13% of total)

adjust: 547.0ms (4.8% of total)

ival-pow2: 546.0ms (4.8% of total)

ival-div: 505.0ms (4.4% of total)

ival-sub: 504.0ms (4.4% of total)

ival-atan2: 356.0ms (3.1% of total)

ival-add: 275.0ms (2.4% of total)

ival-sqrt: 248.0ms (2.2% of total)

ival-acos: 164.0ms (1.4% of total)

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

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

ival-tan: 66.0ms (0.6% of total)

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

ival-atan: 42.0ms (0.4% of total)

ival-pi: 28.0ms (0.2% of total)

ival-true: 27.0ms (0.2% of total)

ival-log: 22.0ms (0.2% of total)

exact: 19.0ms (0.2% of total)

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

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

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

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

analyze16.3s (2%)

Memory

-82.4MiB live, 22 205.7MiB allocated

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
17.2%	13.7%	65.7%	20.6%	0%	0%	0%	1
25%	19.6%	58.5%	20.6%	0%	1.3%	0%	2
35.2%	26.6%	48.9%	20.6%	0%	3.8%	0%	3
42.3%	31.7%	43.1%	20.6%	0%	4.5%	0%	4
47.9%	35.6%	38.7%	20.6%	0%	5.1%	0%	5
51%	37.6%	36.1%	20.6%	0%	5.7%	0%	6
54.4%	39.7%	33.2%	20.6%	0%	6.5%	0%	7
56.2%	40.7%	31.8%	20.6%	0%	6.8%	0%	8
59%	42.5%	29.5%	20.6%	0%	7.4%	0%	9
60.3%	43.2%	28.4%	20.6%	0%	7.7%	0%	10
62.1%	44.3%	27%	20.6%	0%	8.1%	0%	11
63.6%	45.1%	25.8%	20.6%	0%	8.5%	0%	12

Compiler

Compiled 1 826 to 990 computations (45.8% saved)

end0.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated

sample3.4min (24.6%)

simplify2.6min (18.7%)

rewrite1.3min (9.7%)

soundness1.1min (8.2%)

localize59.5s (7.1%)

eval58.6s (7%)

regimes56.4s (6.8%)

prune55.7s (6.7%)

explain22.1s (2.6%)

preprocess19.6s (2.3%)

series18.5s (2.2%)

bsearch16.4s (2%)

analyze16.3s (2%)

end0.0ms (0%)

Profiling