Metrics for Herbie run

Date:	Sunday, July 14th, 2024
Commit:	2fc85eec on zane-odyssey-timeline
Hostname:	nightly with Racket 8.11.1
Seed:	2024196
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

sample5.6min (38.4%)

Memory

607.9MiB live, 127 576.0MiB allocated

Samples

1.9min	3 703×	5	exit
1.6min	26 344×	1	valid
1.2min	433 816×	0	valid
28.5s	8 579×	2	valid
1.2s	9 205×	0	exit
509.0ms	1 292×	3	valid
88.0ms	145×	4	valid
41.0ms	550×	0	invalid

Precisions

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

ival-sin: 1.3min (29.2% of total)

ival-pi: 45.7s (16.7% of total)

ival-asin: 40.2s (14.7% of total)

ival-mult: 34.9s (12.8% of total)

ival-add: 33.7s (12.3% of total)

ival-div: 17.9s (6.5% of total)

const: 4.1s (1.5% of total)

ival-exp: 2.8s (1% of total)

ival-hypot: 2.6s (0.9% of total)

ival-sub: 2.0s (0.7% of total)

ival-log: 1.9s (0.7% of total)

adjust: 1.2s (0.5% of total)

ival-sqrt: 1.2s (0.4% of total)

ival-cos: 945.0ms (0.3% of total)

ival-atan2: 708.0ms (0.3% of total)

ival-acosh: 491.0ms (0.2% of total)

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

exact: 354.0ms (0.1% of total)

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

ival-pow: 333.0ms (0.1% of total)

ival-neg: 315.0ms (0.1% of total)

ival-asinh: 282.0ms (0.1% of total)

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

ival-atanh: 191.0ms (0.1% of total)

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

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

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

ival-and: 71.0ms (0% of total)

Bogosity

simplify2.8min (19.2%)

Memory

-431.0MiB live, 100 831.9MiB allocated

Algorithm

268×	egg-herbie

Rules

1 906 620×	`accelerator-lowering-fma.f32`
1 906 620×	`accelerator-lowering-fma.f64`
673 572×	`-lowering-.f32`
673 572×	`-lowering-.f64`
357 192×	`+-lowering-+.f32`

Stop Event

234×	iter limit
143×	node limit
125×	saturated

Counts

23 484 → 23 484

soundness2.7min (18.3%)

Memory

129.0MiB live, 18 327.5MiB allocated

Rules

1 050 056×	`accelerator-lowering-fma.f32`
1 050 056×	`accelerator-lowering-fma.f64`
504 410×	`-lowering-.f32`
504 410×	`-lowering-.f64`
284 380×	`/-lowering-/.f64`

Stop Event

130×	iter limit
116×	node limit
18×	done
16×	fuel
3×	unsound
1×	saturated

Compiler

Compiled 13 790 to 6 259 computations (54.6% saved)

rewrite1.2min (8.4%)

Memory

-190.5MiB live, 68 439.3MiB allocated

Algorithm

115×	batch-egg-rewrite

Rules

555 008×	`accelerator-lowering-fma.f32`
555 008×	`accelerator-lowering-fma.f64`
401 006×	`-lowering-.f32`
401 006×	`-lowering-.f64`
315 802×	`/-lowering-/.f64`

Stop Event

133×	iter limit
104×	node limit
7×	saturated
4×	unsound

Counts

1 307 → 88 436

eval34.1s (3.9%)

Memory: 857.1MiB live, 36 402.1MiB allocated
Compiler: Compiled 4 789 078 to 281 493 computations (94.1% saved)

prune28.3s (3.2%)

Memory: -868.3MiB live, 34 048.3MiB allocated
Counts: 139 395 → 1 544
Compiler: Compiled 58 546 to 28 181 computations (51.9% saved)

localize26.4s (3%)

Memory

-13.5MiB live, 16 304.9MiB allocated

Samples

10.1s	28 481×	0	valid
5.7s	1 217×	0	invalid

Compiler

Compiled 20 290 to 2 828 computations (86.1% saved)

Precisions

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

ival-add: 10.1s (73.9% of total)

ival-mult: 1.7s (12.5% of total)

ival-div: 518.0ms (3.8% of total)

const: 406.0ms (3% of total)

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

ival-sqrt: 110.0ms (0.8% of total)

ival-sub: 77.0ms (0.6% of total)

ival-pow: 75.0ms (0.6% of total)

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

ival-atan2: 50.0ms (0.4% of total)

ival-pow2: 50.0ms (0.4% of total)

ival-sin: 45.0ms (0.3% of total)

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

ival-cos: 36.0ms (0.3% of total)

exact: 33.0ms (0.2% of total)

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

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

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

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

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

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

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

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

preprocess17.9s (2%)

Memory

-359.1MiB live, 19 542.4MiB allocated

Algorithm

112×	egg-herbie

Rules

293 348×	`accelerator-lowering-fma.f32`
293 348×	`accelerator-lowering-fma.f64`
77 174×	`-lowering-.f32`
77 174×	`-lowering-.f64`
51 510×	`+-lowering-+.f32`

Stop Event

77×	saturated
56×	iter limit
35×	node limit

Compiler

Compiled 18 120 to 5 742 computations (68.3% saved)

regimes15.1s (1.7%)

Memory

-116.7MiB live, 9 705.8MiB allocated

Counts

4 299 → 435

Calls

78 calls:

8.5s	x
767.0ms	im
530.0ms	re
384.0ms	y.im
216.0ms	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 9 106 to 4 849 computations (46.7% saved)

explain6.4s (0.7%)

Memory

328.4MiB live, 10 816.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	637	0
`/.f64`	`#f`	o/o	596	0
`/.f64`	`#f`	o/n	112	0
`sqrt.f32`	`(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))`	oflow-rescue	111	0
↳	`(*.f32 x x)`	overflow	111
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	111
`-.f64`	`#f`	nan-rescue	104	0
`/.f64`	`#f`	n/o	85	0
`sqrt.f64`	`#f`	uflow-rescue	68	0
`*.f64`	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)	*nu**	66	0
`/.f64`	`#f`	u/u	62	0
`/.f64`	`#f`	u/n	43	0
`+.f64`	`#f`	nan-rescue	31	0
`*.f64`	`#f`	*no**	30	0
`/.f64`	`#f`	n/u	5	0
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	3	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	3
↳	`(*.f32 x x)`	overflow	111
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	111
`exp.f64`	`#f`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	1657	28
-	2	8041

Precision

0.9987944544906571

Recall

0.9833827893175074

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1657	0	28
-	2	0	8041

Precision?

0.9987944544906571

Recall?

0.9833827893175074

Freqs

test

number	freq
0	8069
1	1364
2	294
3	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	19	0	0
-	2	0	17

Precision?

0.9047619047619048

Recall?

1.0

Samples

2.1s

19 548×

valid

Compiler

Compiled 10 440 to 2 007 computations (80.8% saved)

Precisions

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

ival-mult: 547.0ms (41.5% of total)

ival-hypot: 137.0ms (10.4% of total)

ival-log: 123.0ms (9.3% of total)

ival-div: 122.0ms (9.3% of total)

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

const: 62.0ms (4.7% of total)

ival-sub: 54.0ms (4.1% of total)

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

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

ival-atan2: 22.0ms (1.7% of total)

ival-sin: 21.0ms (1.6% of total)

ival-sqrt: 18.0ms (1.4% of total)

ival-true: 17.0ms (1.3% of total)

exact: 10.0ms (0.8% of total)

ival-assert: 8.0ms (0.6% of total)

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

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

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

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

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

series4.3s (0.5%)

Memory

549.7MiB live, 6 035.6MiB allocated

Counts

1 307 → 23 484

Calls

4500 calls:

Time	Variable		Point	Expression
178.0ms	x	@	-inf	(- (log x) (log (log x)))
140.0ms	beta	@	0	(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
115.0ms	im	@	0	(/ (log im) (log 10))
103.0ms	re	@	inf	(+ 0 (log (/ (log base) (atan2 im re))))
90.0ms	x	@	0	(- (log x) (log (log x)))

analyze2.2s (0.3%)

Memory

-12.3MiB live, 3 714.0MiB 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)

bsearch1.5s (0.2%)

Memory

63.9MiB live, 2 333.9MiB allocated

Algorithm

130×	left-value
75×	binary-search

Stop Event

74×	narrow-enough
1×	predicate-same

Samples

1.0s	8 943×	0	valid
0.0ms	1×	1	valid

Compiler

Compiled 18 276 to 11 367 computations (37.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 645.0ms

ival-mult: 315.0ms (48.8% of total)

const: 124.0ms (19.2% of total)

ival-add: 87.0ms (13.5% of total)

ival-div: 61.0ms (9.5% of total)

ival-sub: 42.0ms (6.5% of total)

ival-true: 6.0ms (0.9% of total)

ival-sin: 4.0ms (0.6% of total)

ival-assert: 4.0ms (0.6% of total)

exact: 2.0ms (0.3% of total)

ival-exp: 1.0ms (0.2% of total)

adjust: 0.0ms (0% of total)

end0.0ms (0%)

Memory: 1.2MiB live, 1.0MiB allocated

sample5.6min (38.4%)

simplify2.8min (19.2%)

soundness2.7min (18.3%)

rewrite1.2min (8.4%)

eval34.1s (3.9%)

prune28.3s (3.2%)

localize26.4s (3%)

preprocess17.9s (2%)

regimes15.1s (1.7%)

explain6.4s (0.7%)

series4.3s (0.5%)

analyze2.2s (0.3%)

bsearch1.5s (0.2%)

end0.0ms (0%)

Profiling