Metrics for Herbie run

Date:	Thursday, August 22nd, 2024
Commit:	0a751149 on faster-egg
Hostname:	nightly with Racket 8.11.1
Seed:	2024235
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

prune18.9min (18.7%)

Memory: -9 879.5MiB live, 1 718 345.2MiB allocated
Counts: 2 212 651 → 40 647
Compiler: Compiled 2 294 706 to 1 022 315 computations (55.4% saved)

sample18.7min (18.5%)

Memory

4 794.2MiB live, 1 226 241.4MiB allocated

Samples

7.7min	3 904 458×	0	valid
2.5min	428 215×	1	valid
1.3min	30 860×	5	exit
1.1min	127 870×	2	valid
50.8s	319 217×	0	invalid
12.4s	14 173×	3	valid
7.5s	49 562×	0	exit
6.6s	25 384×	1	exit
5.6s	25 304×	1	invalid
2.3s	519×	4	exit
510.0ms	119×	3	exit
459.0ms	1 311×	2	invalid
281.0ms	18×	2	exit
241.0ms	36×	4	valid

Precisions

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

ival-mult: 2.6min (24% of total)

ival-div: 56.0s (8.5% of total)

ival-sub: 53.1s (8.1% of total)

ival-sin: 50.0s (7.6% of total)

ival-add: 45.5s (6.9% of total)

ival-pow: 45.3s (6.9% of total)

const: 32.5s (5% of total)

ival-cos: 31.0s (4.7% of total)

adjust: 30.9s (4.7% of total)

ival-log: 21.9s (3.3% of total)

ival-exp: 20.9s (3.2% of total)

ival-tan: 20.7s (3.2% of total)

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

ival-<=: 12.0s (1.8% of total)

ival-pow2: 11.7s (1.8% of total)

ival-fabs: 5.8s (0.9% of total)

ival-neg: 4.9s (0.8% of total)

ival-hypot: 3.9s (0.6% of total)

exact: 3.5s (0.5% of total)

ival-<: 3.3s (0.5% of total)

ival-acos: 2.9s (0.4% of total)

ival-true: 2.9s (0.4% of total)

ival-and: 2.7s (0.4% of total)

ival-expm1: 2.3s (0.3% of total)

ival-atan2: 2.2s (0.3% of total)

ival-pi: 1.9s (0.3% of total)

ival-assert: 1.9s (0.3% of total)

ival-asin: 1.7s (0.3% of total)

ival-log1p: 1.2s (0.2% of total)

ival-atan: 1.2s (0.2% of total)

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

ival-fmod: 792.0ms (0.1% of total)

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

ival-floor: 605.0ms (0.1% of total)

ival-if: 552.0ms (0.1% of total)

ival-cbrt: 535.0ms (0.1% of total)

ival-==: 489.0ms (0.1% of total)

ival-fmin: 446.0ms (0.1% of total)

ival->=: 315.0ms (0% of total)

ival-fmax: 307.0ms (0% of total)

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

ival-log2: 233.0ms (0% of total)

ival-acosh: 225.0ms (0% of total)

ival-asinh: 216.0ms (0% of total)

ival-atanh: 133.0ms (0% of total)

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

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

Bogosity

soundness14.1min (14%)

Memory

0.9MiB live, 376 167.2MiB allocated

Rules

19 118 604×	`lower-fma.f32`
19 115 492×	`lower-fma.f64`
10 656 780×	`lower-*.f32`
10 647 148×	`lower-*.f64`
5 504 390×	`lower-+.f32`

Stop Event

3 349×	iter limit
2 222×	node limit
353×	fuel
186×	done
40×	saturated
11×	unsound

Compiler

Compiled 398 423 to 171 655 computations (56.9% saved)

simplify13.2min (13.1%)

Memory

7 159.4MiB live, 688 083.4MiB allocated

Algorithm

4 401×

egg-herbie

Rules

32 462 482×	`lower-fma.f32`
32 455 670×	`lower-fma.f64`
13 023 552×	`lower-*.f32`
13 006 206×	`lower-*.f64`
7 533 546×	`lower-+.f32`

Stop Event

5 759×	iter limit
2 768×	node limit
1 667×	saturated
3×	unsound

Counts

745 860 → 733 642

rewrite8.4min (8.3%)

Memory

207.1MiB live, 529 448.9MiB allocated

Rules

9 883 860×	`lower-fma.f32`
9 877 090×	`lower-fma.f64`
8 206 364×	`lower-*.f32`
8 189 348×	`lower-*.f64`
6 770 388×	`lower-/.f32`

Stop Event

3 952×	iter limit
1 875×	node limit
42×	saturated
34×	unsound

Counts

27 929 → 1 116 528

eval8.0min (7.9%)

Memory: 7 643.2MiB live, 620 131.1MiB allocated
Compiler: Compiled 108 027 286 to 4 591 241 computations (95.7% saved)

localize6.7min (6.6%)

Memory

-1 770.2MiB live, 453 278.8MiB allocated

Samples

1.9min	393 566×	0	valid
1.0min	59 612×	1	valid
49.1s	23 327×	2	valid
8.3s	899×	5	exit
5.9s	10 388×	0	invalid
4.2s	380×	3	exit
4.0s	2 174×	3	valid
1.2s	2 310×	0	exit
1.2s	106×	4	exit
676.0ms	429×	1	invalid
629.0ms	848×	1	exit
152.0ms	103×	2	invalid
98.0ms	164×	2	exit
50.0ms	28×	4	valid
5.0ms	2×	3	invalid

Compiler

Compiled 605 793 to 60 944 computations (89.9% saved)

Precisions

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

ival-mult: 50.3s (26.2% of total)

adjust: 26.5s (13.8% of total)

ival-div: 23.4s (12.2% of total)

ival-add: 19.8s (10.3% of total)

ival-cos: 11.2s (5.8% of total)

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

ival-sub: 9.3s (4.8% of total)

const: 7.9s (4.1% of total)

ival-tan: 6.9s (3.6% of total)

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

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

ival-pow: 3.8s (2% of total)

ival-exp: 3.2s (1.7% of total)

ival-pow2: 2.3s (1.2% of total)

ival-neg: 2.2s (1.2% of total)

ival-hypot: 1.3s (0.7% of total)

ival-log1p: 760.0ms (0.4% of total)

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

exact: 637.0ms (0.3% of total)

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

ival-atan2: 460.0ms (0.2% of total)

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

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

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

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

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

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

ival-cbrt: 241.0ms (0.1% of total)

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

ival-if: 138.0ms (0.1% of total)

ival-cosh: 121.0ms (0.1% of total)

ival-copysign: 112.0ms (0.1% of total)

ival-fmax: 102.0ms (0.1% of total)

ival-floor: 79.0ms (0% of total)

ival-fmod: 56.0ms (0% of total)

ival-log2: 56.0ms (0% of total)

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

ival->=: 17.0ms (0% of total)

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

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

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

regimes4.2min (4.1%)

Memory

-57.5MiB live, 341 413.1MiB allocated

Counts

122 572 → 9 437

Calls

1 219 calls:

20.9s	x
14.9s	y
10.6s	z
8.0s	t
7.7s	a

Compiler

Compiled 196 120 to 129 370 computations (34% saved)

series2.4min (2.4%)

Memory

-241.1MiB live, 167 418.0MiB allocated

Counts

27 936 → 745 932

Calls

85050 calls:

Time	Variable		Point	Expression
14.6s	z	@	inf	(* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2))))
853.0ms	hi	@	-inf	(* (+ (neg (/ (+ (/ (neg (+ (* hi (/ hi lo)) hi)) lo) -1) x)) (/ (- -1 (/ hi lo)) lo)) x)
382.0ms	x	@	-inf	(* y x)
370.0ms	base	@	0	(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0)))
359.0ms	z	@	0	(/ 1 (+ (* (/ 1/3 b) a) (* (cos (- y (/ (* z t) 3))) (* (sqrt x) 2))))

preprocess2.4min (2.3%)

Memory

1 552.4MiB live, 146 184.1MiB allocated

Algorithm

542×	egg-herbie

Rules

2 120 258×	`lower-fma.f32`
2 120 256×	`lower-fma.f64`
556 378×	`lower-*.f32`
554 402×	`lower-*.f64`
388 482×	`unsub-neg`

Stop Event

1 080×	iter limit
743×	saturated
345×	node limit

Compiler

Compiled 459 029 to 135 408 computations (70.5% saved)

explain2.0min (2%)

Memory

-2 960.0MiB live, 154 110.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	8992	51
`sqrt.f64`	`#f`	oflow-rescue	5317	0
`log.f64`	`#f`	sensitivity	3496	11
`cos.f64`	`#f`	sensitivity	3299	8
`+.f64`	`#f`	cancellation	3053	113
`/.f64`	`#f`	o/n	1982	0
`sin.f64`	`#f`	sensitivity	1977	2
`/.f64`	`#f`	o/o	1765	0
`-.f64`	`#f`	nan-rescue	1381	0
`log.f32`	`#f`	sensitivity	1147	86
`*.f64`	`#f`	*no**	1107	0
`/.f64`	`#f`	n/o	1014	0
`/.f64`	`#f`	u/u	1005	0
`sqrt.f64`	`#f`	uflow-rescue	967	0
`+.f64`	`#f`	nan-rescue	854	0
`/.f64`	`#f`	u/n	710	0
`sqrt.f32`	`#f`	oflow-rescue	533	0
`acos.f64`	`#f`	sensitivity	527	5
`*.f64`	`#f`	*nu**	443	0
`pow.f64`	`#f`	sensitivity	422	43
`-.f32`	`#f`	cancellation	411	34
`tan.f64`	`#f`	sensitivity	403	2
`/.f64`	`#f`	n/u	324	0
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	218	0
`exp.f64`	`#f`	sensitivity	189	30
`cos.f64`	`#f`	oflow-rescue	187	0
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	176	19
`cos.f32`	`#f`	sensitivity	173	17
`*.f64`	`#f`	*uo**	171	0
`pow.f64`	`#f`	oflow-rescue	155	0
`/.f32`	`#f`	o/n	136	0
`*.f64`	`#f`	*ou**	136	0
`asin.f64`	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))`	sensitivity	108	2
`log.f64`	`#f`	oflow-rescue	100	0
`log.f64`	`#f`	uflow-rescue	85	0
`cbrt.f64`	`#f`	oflow-rescue	81	0
`pow.f64`	`#f`	uflow-rescue	65	0
`cbrt.f64`	`#f`	uflow-rescue	50	0
`sin.f64`	`#f`	oflow-rescue	43	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	42	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	42
`exp.f32`	`#f`	sensitivity	35	25
`sqrt.f32`	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))`	uflow-rescue	15	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	294
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	15
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	147
↳	`(*.f32 eta eta)`	underflow	15
`/.f32`	`#f`	u/n	14	0
`/.f32`	`#f`	o/o	10	0
`/.f32`	`(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))`	n/o	5	0
↳	`(/.f32 sin2phi (*.f32 alphay alphay))`	overflow	12
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	12
`*.f32`	`#f`	*no**	3	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	2	0
`log.f32`	`#f`	oflow-rescue	2	0

Confusion

	Predicted +	Predicted -
+	30954	910
-	5891	100997

Precision

0.8401139910435609

Recall

0.9714411247803163

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30954	249	661
-	5891	426	100571

Precision?

0.831636460554371

Recall?

0.9792555862415265

Freqs

test

number	freq
0	101907
1	30961
2	4762
3	652
4	308
5	97
6	29
7	24
8	4
9	7
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	339	3	0
-	12	3	185

Precision?

0.957983193277311

Recall?

1.0

Samples

26.7s	234 256×	0	valid
11.3s	31 544×	1	valid
6.5s	10 542×	2	valid
1.1s	1 050×	3	valid
13.0ms	96×	1	exit
9.0ms	4×	4	valid
6.0ms	12×	5	exit

Compiler

Compiled 95 375 to 19 668 computations (79.4% saved)

Precisions

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

ival-mult: 6.9s (22.6% of total)

ival-div: 3.3s (10.9% of total)

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

ival-add: 2.5s (8.1% of total)

ival-cos: 2.1s (6.9% of total)

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

ival-log: 1.8s (6% of total)

adjust: 1.8s (5.8% of total)

ival-tan: 1.4s (4.5% of total)

ival-exp: 1.2s (3.8% of total)

ival-sqrt: 984.0ms (3.2% of total)

const: 611.0ms (2% of total)

ival-pow2: 559.0ms (1.8% of total)

ival-pow: 539.0ms (1.8% of total)

ival-fabs: 286.0ms (0.9% of total)

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

ival-true: 239.0ms (0.8% of total)

ival-neg: 207.0ms (0.7% of total)

exact: 162.0ms (0.5% of total)

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

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

ival-assert: 115.0ms (0.4% of total)

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

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

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

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

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

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

ival-cbrt: 34.0ms (0.1% of total)

ival-fmod: 33.0ms (0.1% of total)

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

ival-copysign: 28.0ms (0.1% of total)

ival-if: 22.0ms (0.1% of total)

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

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

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

ival->=: 6.0ms (0% of total)

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

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

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

analyze1.3min (1.3%)

Memory

675.2MiB live, 106 294.1MiB allocated

Algorithm

545×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	84.4%	15.6%	0%	0%	0%	0
39.8%	33.6%	50.8%	15.6%	0%	0%	0%	1
45.9%	38.4%	45.3%	15.6%	0%	0.8%	0%	2
54.5%	44.5%	37.2%	15.6%	0%	2.8%	0%	3
61.4%	49.5%	31.1%	15.6%	0%	3.8%	0%	4
67.7%	54.3%	25.9%	15.6%	0%	4.3%	0%	5
71.6%	57.1%	22.7%	15.6%	0%	4.7%	0%	6
75.5%	59.8%	19.4%	15.6%	0%	5.2%	0%	7
77.5%	61.1%	17.7%	15.6%	0%	5.6%	0%	8
80.1%	62.9%	15.6%	15.6%	0%	5.9%	0%	9
81.7%	63.9%	14.3%	15.6%	0%	6.2%	0%	10
83.9%	65.5%	12.6%	15.6%	0%	6.4%	0%	11
85%	66.2%	11.6%	15.6%	0%	6.6%	0%	12

Compiler

Compiled 12 518 to 7 841 computations (37.4% saved)

bsearch52.5s (0.9%)

Memory

226.9MiB live, 67 778.4MiB allocated

Algorithm

2 561×	binary-search
2 220×	left-value

Stop Event

2 479×	narrow-enough
81×	predicate-same
1×	predicate-failed

Samples

24.3s	181 285×	0	valid
7.0s	14 449×	1	valid
979.0ms	9 695×	0	invalid
731.0ms	1 899×	2	valid
122.0ms	175×	3	valid
53.0ms	161×	1	invalid
20.0ms	188×	0	exit
12.0ms	1×	3	exit
9.0ms	28×	1	exit
2.0ms	6×	2	invalid

Compiler

Compiled 730 993 to 477 450 computations (34.7% saved)

Precisions

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

ival-mult: 8.2s (33.7% of total)

ival-sub: 2.8s (11.7% of total)

ival-div: 2.3s (9.5% of total)

ival-sin: 2.3s (9.3% of total)

ival-cos: 2.0s (8.4% of total)

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

ival-log: 650.0ms (2.7% of total)

adjust: 630.0ms (2.6% of total)

ival-pow: 579.0ms (2.4% of total)

ival-exp: 475.0ms (2% of total)

ival-sqrt: 457.0ms (1.9% of total)

ival-pow2: 320.0ms (1.3% of total)

const: 315.0ms (1.3% of total)

ival-hypot: 200.0ms (0.8% of total)

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

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

ival-true: 150.0ms (0.6% of total)

ival-neg: 130.0ms (0.5% of total)

exact: 91.0ms (0.4% of total)

ival-assert: 81.0ms (0.3% of total)

ival-acos: 68.0ms (0.3% of total)

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

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

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

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

ival-fmod: 15.0ms (0.1% of total)

ival-tanh: 13.0ms (0.1% of total)

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

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

ival-expm1: 6.0ms (0% of total)

ival->=: 5.0ms (0% of total)

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

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

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

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

start46.0ms (0%)

Memory: -20.7MiB live, 22.8MiB allocated

end3.0ms (0%)

Memory: 10.2MiB live, 9.2MiB allocated

prune18.9min (18.7%)

sample18.7min (18.5%)

soundness14.1min (14%)

simplify13.2min (13.1%)

rewrite8.4min (8.3%)

eval8.0min (7.9%)

localize6.7min (6.6%)

regimes4.2min (4.1%)

series2.4min (2.4%)

preprocess2.4min (2.3%)

explain2.0min (2%)

analyze1.3min (1.3%)

bsearch52.5s (0.9%)

start46.0ms (0%)

end3.0ms (0%)

Profiling