Metrics for Henrywood and Agarwal, Equation (3)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze167.0ms (17.1%)

Memory

8.1MiB live, 71.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	5
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	6
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.2%	0%	0%	0%	8
28.6%	28.1%	70.2%	0.2%	0%	1.6%	0%	9
28.6%	28.1%	70.2%	0.2%	0%	1.6%	0%	10
28.8%	28.1%	69.4%	0.2%	0%	2.3%	0%	11
36.1%	32.7%	58.1%	0.2%	0%	9%	0%	12

Compiler

Compiled 10 to 10 computations (0% saved)

sample33.0ms (3.4%)

Memory

-3.3MiB live, 12.0MiB allocated

Samples

12.0ms	260×	0	valid
9.0ms	183×	0	invalid

Precisions

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

ival-mult: 5.0ms (45.4% of total)

ival-div: 3.0ms (27.3% of total)

ival-sqrt: 3.0ms (27.3% of total)

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

adjust: 0.0ms (0% of total)

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

Bogosity

explain568.0ms (58.3%)

Memory

4.3MiB live, 426.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
65	-	4	(-1.990030834191511e-67 -6.5772239695468185e-292 -2.724620036123875e+154 2.7025052639569803e-130)	`(sqrt.f64 (/.f64 A (*.f64 V l)))`
19	-	1	(-2.3982163453000026e+34 6.145220606496454e-12 1.2668207923308325e-26 3.4269679232806017e-286)	`(/.f64 A (*.f64 V l))`
9	-	1	(1.0310812406619682e+70 4.056184115142279e-105 -4.652989079620123e+300 -2.0447520452080943e+234)	`(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))`
0	-	0	-	`A`
0	-	0	-	`(*.f64 V l)`
0	-	0	-	`V`
0	-	0	-	`l`
0	-	0	-	`c0`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (/.f64 A (*.f64 V l)))`	oflow-rescue	34	0
↳	`(sqrt.f64 (/.f64 A (*.f64 V l)))`	overflow	6
↳	`(/.f64 A (*.f64 V l))`	overflow	40
↳	`(*.f64 V l)`	overflow	32
`sqrt.f64`	`(sqrt.f64 (/.f64 A (*.f64 V l)))`	uflow-rescue	27	0
↳	`(sqrt.f64 (/.f64 A (*.f64 V l)))`	underflow	6
↳	`(/.f64 A (*.f64 V l))`	underflow	33
↳	`(*.f64 V l)`	underflow	31
`/.f64`	`(/.f64 A (*.f64 V l))`	n/o	9	0
↳	`(*.f64 V l)`	overflow	32
`/.f64`	`(/.f64 A (*.f64 V l))`	n/u	9	0
↳	`(*.f64 V l)`	underflow	31
`*.f64`	`(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))`	*nu**	6	0
`*.f64`	`(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))`	*no**	2	0

Confusion

	Predicted +	Predicted -
+	60	3
-	27	166

Precision

0.6896551724137931

Recall

0.9523809523809523

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	60	0	3
-	27	0	166

Precision?

0.6896551724137931

Recall?

0.9523809523809523

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	169
1	87

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

2.99072265625

Average Time

0.011682510375976563

Samples

162.0ms

3 072×

valid

Compiler

Compiled 1 056 to 408 computations (61.4% saved)

Precisions

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

ival-mult: 37.0ms (47.3% of total)

ival-div: 19.0ms (24.3% of total)

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

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

adjust: 1.0ms (1.3% of total)

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

preprocess170.0ms (17.5%)

Memory

-4.0MiB live, 7.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	126
1	120	122
2	195	122
3	405	122
4	846	122
5	1906	122
6	2815	122
7	3496	122
8	3940	122
9	4093	122
10	4113	122
11	4130	122
12	4191	122
13	4192	122
14	4242	122
15	4262	122
16	4262	122
17	4262	122
18	4334	122
19	4612	122
0	8	8
0	12	8
1	16	8
2	18	8
0	18	8

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Outputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (sqrt.f64 (/.f64 A (.f64 l V))) c0)

Symmetry

(negabs c0)

(sort V l)

Compiler

Compiled 8 to 8 computations (0% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	77.6%	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Compiler

Compiled 16 to 16 computations (0% saved)

simplify27.0ms (2.8%)

Memory

-5.5MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	10	8

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Outputs
(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
(.f64 (sqrt.f64 (/.f64 A (.f64 l V))) c0)

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 8 to 8 computations (0% saved)

preprocess8.0ms (0.8%)

Memory

4.1MiB live, 4.1MiB allocated

Remove

(sort V l)

(negabs c0)

Compiler

Compiled 96 to 96 computations (0% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze167.0ms (17.1%)

sample33.0ms (3.4%)

explain568.0ms (58.3%)

preprocess170.0ms (17.5%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify27.0ms (2.8%)

soundness0.0ms (0%)

preprocess8.0ms (0.8%)

end0.0ms (0%)

Profiling