Metrics for ENA, Section 1.4, Mentioned, B

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze4.0ms (0.5%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
25%	0%	0%	100%	0%	0%	0%	3
62.5%	0%	0%	100%	0%	0%	0%	4
81.3%	0%	0%	100%	0%	0%	0%	5
90.6%	0%	0%	100%	0%	0%	0%	6
95.3%	0%	0%	100%	0%	0%	0%	7
97.7%	0%	0%	100%	0%	0%	0%	8
98.8%	0%	0%	100%	0%	0%	0%	9
99.4%	0%	0%	100%	0%	0%	0%	10
99.7%	0%	0%	100%	0%	0%	0%	11
99.9%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 15 to 12 computations (20% saved)

sample24.0ms (2.6%)

Memory

0.2MiB live, 8.7MiB allocated

Samples

16.0ms	259×	0	valid
0.0ms	1×	1	valid

Precisions

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

const: 6.0ms (50.6% of total)

ival-div: 2.0ms (16.9% of total)

ival-mult: 2.0ms (16.9% of total)

ival-sub: 1.0ms (8.4% of total)

ival-<=: 1.0ms (8.4% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

Bogosity

explain497.0ms (54.5%)

Memory

5.0MiB live, 385.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
249	7	(0.999071020116407)	-	`(-.f64 #s(literal 1 binary64) (*.f64 x x))`
0	0	-	-	`(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))`
0	0	-	-	`#s(literal 1 binary64)`
0	0	-	-	`(*.f64 x x)`
0	0	-	-	`#s(literal 10 binary64)`
0	0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 #s(literal 1 binary64) (*.f64 x x))`	cancellation	256	0

Confusion

	Predicted +	Predicted -
+	247	0
-	9	0

Precision

0.96484375

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	247	0	0
-	9	0	0

Precision?

0.96484375

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
1	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Total Time

3.685302734375

Average Time

0.014395713806152344

Samples

114.0ms	3 060×	0	valid
1.0ms	12×	1	valid

Compiler

Compiled 756 to 312 computations (58.7% saved)

Precisions

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

ival-mult: 21.0ms (36.3% of total)

ival-div: 18.0ms (31.1% of total)

ival-sub: 13.0ms (22.4% of total)

ival-true: 2.0ms (3.5% of total)

exact: 2.0ms (3.5% of total)

adjust: 1.0ms (1.7% of total)

ival-assert: 1.0ms (1.7% of total)

preprocess365.0ms (40%)

Memory

7.5MiB live, 59.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	31	14
2	56	14
3	108	14
4	145	14
5	202	14
6	387	14
7	686	14
8	1180	14
9	2059	14
10	4811	14
11	6557	14
12	7323	14
13	7621	14
14	7677	14
15	7697	14
16	7972	14
0	6	7
0	9	7
1	16	7
2	23	7
3	31	7
4	46	7
5	68	7
6	124	7
7	342	7
8	649	7
9	1241	7
10	2306	7
11	3371	7
12	4079	7
13	4374	7
14	4679	7
15	4835	7
16	4912	7
17	5121	7
18	5884	7
19	6090	7
20	7775	7
0	8029	6

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))

Outputs
(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))
(/.f64 #s(literal -10 binary64) (fma.f64 x x #s(literal -1 binary64)))

Symmetry

(abs x)

Compiler

Compiled 7 to 6 computations (14.3% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	87.8%	(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))

Compiler

Compiled 14 to 12 computations (14.3% saved)

simplify20.0ms (2.2%)

Memory

-5.3MiB live, 18.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	14	7
2	21	7
3	25	7
4	27	7

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))

Outputs
(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 7 to 6 computations (14.3% saved)

preprocess2.0ms (0.2%)

Memory: 1.3MiB live, 1.3MiB allocated
Remove: (abs x)
Compiler: Compiled 56 to 48 computations (14.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze4.0ms (0.5%)

sample24.0ms (2.6%)

explain497.0ms (54.5%)

preprocess365.0ms (40%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify20.0ms (2.2%)

soundness0.0ms (0%)

preprocess2.0ms (0.2%)

end0.0ms (0%)

Profiling