Metrics for Herbie run

Date:	Tuesday, July 23rd, 2024
Commit:	4c9fd745 on zane-merge-alt-and-improve
Hostname:	nightly with Racket 8.11.1
Seed:	2024205
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

eval4.6min (23.7%)

Memory: 534.5MiB live, 75 983.0MiB allocated
Compiler: Compiled 13 527 123 to 587 783 computations (95.7% saved)

soundness3.6min (18.4%)

Memory

281.8MiB live, 40 141.3MiB allocated

Rules

1 980 826×	`accelerator-lowering-fma.f32`
1 980 826×	`accelerator-lowering-fma.f64`
989 942×	`-lowering-.f32`
989 942×	`-lowering-.f64`
567 606×	`+-lowering-+.f32`

Stop Event

230×	iter limit
214×	node limit
34×	fuel
22×	done
3×	unsound
1×	saturated

Compiler

Compiled 34 922 to 15 604 computations (55.3% saved)

prune2.6min (13.4%)

Memory: -997.1MiB live, 72 569.7MiB allocated
Counts: 243 392 → 3 436
Compiler: Compiled 200 211 to 80 604 computations (59.7% saved)

sample2.6min (13.3%)

Memory

1 290.8MiB live, 139 869.7MiB allocated

Samples

1.4min	438 508×	0	valid
21.0s	3 900×	5	exit
7.3s	22 505×	1	valid
3.6s	8 186×	2	valid
709.0ms	7 888×	0	exit
466.0ms	1 232×	3	valid
113.0ms	162×	4	valid
52.0ms	567×	0	invalid

Precisions

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

ival-mult: 21.0s (29.3% of total)

ival-sin: 18.7s (26% of total)

ival-add: 4.8s (6.7% of total)

ival-div: 3.9s (5.5% of total)

const: 3.6s (5% of total)

ival-exp: 3.1s (4.3% of total)

ival-hypot: 2.5s (3.4% of total)

ival-sub: 2.5s (3.4% of total)

ival-log: 1.7s (2.4% of total)

adjust: 1.4s (2% of total)

ival-cos: 1.4s (2% of total)

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

ival-sqrt: 1.1s (1.5% of total)

ival-atan2: 965.0ms (1.3% of total)

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

ival-acosh: 408.0ms (0.6% of total)

exact: 381.0ms (0.5% of total)

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

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

ival-pow: 332.0ms (0.5% of total)

ival-asinh: 310.0ms (0.4% of total)

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

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

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

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

ival-<=: 174.0ms (0.2% of total)

ival-atanh: 167.0ms (0.2% of total)

ival-and: 74.0ms (0.1% of total)

Bogosity

simplify2.4min (12.4%)

Memory

719.7MiB live, 184 949.2MiB allocated

Algorithm

442×	egg-herbie

Rules

3 616 744×	`accelerator-lowering-fma.f32`
3 616 744×	`accelerator-lowering-fma.f64`
1 320 490×	`-lowering-.f32`
1 320 490×	`-lowering-.f64`
877 618×	`+-lowering-+.f32`

Stop Event

386×	iter limit
268×	node limit
174×	saturated

Counts

46 464 → 46 464

rewrite1.4min (6.9%)

Memory

239.1MiB live, 115 158.1MiB allocated

Algorithm

193×	batch-egg-rewrite

Rules

1 020 580×	`accelerator-lowering-fma.f32`
1 020 580×	`accelerator-lowering-fma.f64`
770 078×	`-lowering-.f32`
770 078×	`-lowering-.f64`
608 656×	`/-lowering-/.f64`

Stop Event

215×	iter limit
182×	node limit
6×	saturated
5×	unsound

Counts

2 563 → 134 488

explain34.0s (2.9%)

Memory

-63.0MiB live, 20 894.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1213	0
`-.f64`	`#f`	cancellation	756	6
`/.f64`	`#f`	o/o	639	0
`sqrt.f32`	`#f`	oflow-rescue	191	0
`/.f64`	`#f`	o/n	183	0
`sin.f64`	`(sin.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	sensitivity	182	0
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	sensitivity	182	0
`+.f64`	`#f`	cancellation	154	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	131	1
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	126	2
`sqrt.f64`	`#f`	uflow-rescue	121	0
`/.f64`	`#f`	n/o	98	0
`-.f64`	`#f`	nan-rescue	96	0
`*.f64`	`#f`	*nu**	65	0
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/u	63	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	97
↳	`(*.f64 i i)`	underflow	126
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	63
`+.f64`	`#f`	nan-rescue	61	0
`*.f64`	`#f`	*no**	35	0
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/n	34	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	97
↳	`(*.f64 i i)`	underflow	126
`/.f64`	`#f`	n/u	9	0
`log.f32`	`#f`	oflow-rescue	9	0
`exp.f64`	`(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))`	sensitivity	1	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	oflow-rescue	1	0
↳	`(+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))`	overflow	1
↳	`(*.f64 x x)`	overflow	71
↳	`(+.f64 (*.f64 x x) #s(literal 1 binary64))`	overflow	71

Confusion

	Predicted +	Predicted -
+	3603	44
-	182	10763

Precision

0.9519154557463673

Recall

0.9879352892788593

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3603	6	38
-	182	4	10759

Precision?

0.9509881422924901

Recall?

0.9895804771044694

Freqs

test

number	freq
0	10807
1	3221
2	563
3	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	0
-	1	0	20

Precision?

0.972972972972973

Recall?

1.0

Samples

3.1s	25 908×	0	valid
1.2s	2 426×	1	valid
504.0ms	746×	2	valid
46.0ms	94×	3	valid
5.0ms	8×	4	valid
1.0ms	2×	5	exit

Compiler

Compiled 15 052 to 2 968 computations (80.3% saved)

Precisions

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

ival-mult: 822.0ms (24.9% of total)

ival-add: 424.0ms (12.8% of total)

ival-hypot: 369.0ms (11.2% of total)

const: 254.0ms (7.7% of total)

ival-log: 241.0ms (7.3% of total)

ival-div: 222.0ms (6.7% of total)

adjust: 176.0ms (5.3% of total)

ival-exp: 172.0ms (5.2% of total)

ival-sub: 119.0ms (3.6% of total)

ival-cos: 96.0ms (2.9% of total)

ival-sin: 91.0ms (2.8% of total)

ival-asin: 68.0ms (2.1% of total)

ival-sqrt: 52.0ms (1.6% of total)

ival-atan2: 41.0ms (1.2% of total)

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

ival-pow: 23.0ms (0.7% of total)

exact: 22.0ms (0.7% of total)

ival-fabs: 21.0ms (0.6% of total)

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

ival-copysign: 15.0ms (0.5% of total)

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

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

ival-log1p: 7.0ms (0.2% of total)

localize29.9s (2.5%)

Memory

-117.2MiB live, 44 124.6MiB allocated

Samples

9.9s	40 300×	0	valid
2.6s	2 888×	1	valid
1.9s	1 331×	2	valid
1.7s	4 342×	0	invalid
965.0ms	346×	3	valid
118.0ms	27×	4	valid
92.0ms	169×	0	exit
4.0ms	5×	5	exit

Compiler

Compiled 53 704 to 5 470 computations (89.8% saved)

Precisions

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

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

ival-add: 2.1s (16.8% of total)

ival-div: 1.3s (10.3% of total)

ival-log: 977.0ms (7.7% of total)

const: 863.0ms (6.8% of total)

adjust: 605.0ms (4.8% of total)

ival-pow: 318.0ms (2.5% of total)

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

ival-exp: 269.0ms (2.1% of total)

ival-asin: 255.0ms (2% of total)

ival-sqrt: 247.0ms (2% of total)

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

ival-acos: 191.0ms (1.5% of total)

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

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

ival-hypot: 121.0ms (1% of total)

ival-pow2: 105.0ms (0.8% of total)

ival-copysign: 89.0ms (0.7% of total)

exact: 80.0ms (0.6% of total)

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

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

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

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

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

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

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

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

preprocess27.2s (2.3%)

Memory

38.9MiB live, 23 108.4MiB allocated

Algorithm

57×	egg-herbie

Rules

299 290×	`accelerator-lowering-fma.f32`
299 290×	`accelerator-lowering-fma.f64`
81 926×	`-lowering-.f32`
81 926×	`-lowering-.f64`
55 342×	`+-lowering-+.f32`

Stop Event

76×	saturated
57×	iter limit
38×	node limit

Compiler

Compiled 43 628 to 11 390 computations (73.9% saved)

regimes26.5s (2.3%)

Memory

-416.3MiB live, 24 936.9MiB allocated

Counts

11 207 → 988

Calls

130 calls:

5.5s	(cos.f64 im)
4.3s	(*.f64 (exp.f64 re) (cos.f64 im))
932.0ms	im
884.0ms	re
875.0ms	x

Compiler

Compiled 18 691 to 10 537 computations (43.6% saved)

series10.1s (0.9%)

Memory

206.7MiB live, 13 090.8MiB allocated

Counts

2 563 → 46 464

Calls

8748 calls:

Time	Variable		Point	Expression
470.0ms	x	@	0	(/ (- (* 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)))
214.0ms	i	@	0	(/ (* (* -2 (+ alpha beta)) (+ (* 1/16 (* 2 (+ alpha beta))) (* (+ alpha beta) -1/8))) i)
114.0ms	x	@	0	(log x)
96.0ms	x.im	@	0	(log (/ -1 x.im))
95.0ms	im	@	-inf	(* (sqrt im) (* (sqrt 2) 1/2))

bsearch5.8s (0.5%)

Memory

-82.9MiB live, 7 956.1MiB allocated

Algorithm

286×	left-value
219×	binary-search

Stop Event

214×	narrow-enough
5×	predicate-same

Samples

2.8s	23 471×	0	valid
983.0ms	2 066×	1	valid
72.0ms	275×	2	valid
28.0ms	108×	3	valid

Compiler

Compiled 50 053 to 32 874 computations (34.3% saved)

Precisions

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

ival-mult: 1.0s (33.6% of total)

const: 304.0ms (9.9% of total)

ival-add: 247.0ms (8% of total)

adjust: 226.0ms (7.4% of total)

ival-hypot: 226.0ms (7.4% of total)

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

ival-sin: 195.0ms (6.3% of total)

ival-exp: 164.0ms (5.3% of total)

ival-div: 113.0ms (3.7% of total)

ival-sub: 105.0ms (3.4% of total)

ival-atan2: 81.0ms (2.6% of total)

ival-sqrt: 63.0ms (2.1% of total)

ival-cos: 54.0ms (1.8% of total)

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

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

exact: 8.0ms (0.3% of total)

end3.6s (0.3%)

Memory: 22.2MiB live, 4 421.3MiB allocated

analyze3.1s (0.3%)

Memory

35.1MiB live, 3 311.9MiB allocated

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
55.4%	47.8%	38.5%	13.7%	0%	0%	0%	1
65.9%	55.7%	28.9%	13.7%	0%	1.7%	0%	2
71.2%	58.4%	23.6%	13.7%	0%	4.3%	0%	3
77.4%	62%	18.1%	13.7%	0%	6.2%	0%	4
83.5%	66.8%	13.2%	13.7%	0%	6.3%	0%	5
85.8%	68.3%	11.3%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.4%	13.7%	0%	6.6%	0%	7
89.9%	71.5%	8%	13.7%	0%	6.8%	0%	8
91.1%	72.5%	7.1%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1 498 to 821 computations (45.2% saved)

eval4.6min (23.7%)

soundness3.6min (18.4%)

prune2.6min (13.4%)

sample2.6min (13.3%)

simplify2.4min (12.4%)

rewrite1.4min (6.9%)

explain34.0s (2.9%)

localize29.9s (2.5%)

preprocess27.2s (2.3%)

regimes26.5s (2.3%)

series10.1s (0.9%)

bsearch5.8s (0.5%)

end3.6s (0.3%)

analyze3.1s (0.3%)

Profiling