Metrics for Kahan p9 Example

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze5.0ms (0.5%)

Memory

10.7MiB live, 10.7MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	18.7%	81.3%	0%	0%	0%	0
0%	0%	18.7%	81.3%	0%	0%	0%	1
0%	0%	18.7%	81.3%	0%	0%	0%	2
50%	9.4%	9.4%	81.3%	0%	0%	0%	3
50%	9.4%	9.4%	81.3%	0%	0%	0%	4
87.5%	16.4%	2.3%	81.3%	0%	0%	0%	5
87.5%	16.4%	2.3%	81.3%	0%	0%	0%	6
96.9%	18.1%	0.6%	81.3%	0%	0%	0%	7
96.9%	18.1%	0.6%	81.3%	0%	0%	0%	8
99.2%	18.6%	0.1%	81.3%	0%	0%	0%	9
99.2%	18.6%	0.1%	81.3%	0%	0%	0%	10
99.8%	18.7%	0%	81.3%	0%	0%	0%	11
99.8%	18.7%	0%	81.3%	0%	0%	0%	12

Compiler

Compiled 27 to 17 computations (37% saved)

sample870.0ms (84.9%)

Memory

-43.1MiB live, 1 135.0MiB allocated; 167ms collecting garbage

Samples

569.0ms

8 256×

valid

Precisions

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

ival-mult: 158.0ms (44.7% of total)

ival-add: 76.0ms (21.5% of total)

ival-sub: 60.0ms (17% of total)

ival-div: 55.0ms (15.6% of total)

ival-assert: 3.0ms (0.8% of total)

adjust: 2.0ms (0.6% of total)

Bogosity

explain106.0ms (10.4%)

Memory

20.3MiB live, 209.0MiB allocated; 20ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
94	-	-	`(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))`
0	-	-	`(*.f64 (-.f64 x y) (+.f64 x y))`
0	-	-	`(*.f64 x x)`
0	-	-	`(+.f64 (.f64 x x) (.f64 y y))`
0	-	-	`y`
0	-	-	`(+.f64 x y)`
0	-	-	`(-.f64 x y)`
0	-	-	`(*.f64 y y)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))`	o/o	52	0
↳	`(*.f64 (-.f64 x y) (+.f64 x y))`	overflow	52
↳	`(*.f64 y y)`	overflow	52
↳	`(+.f64 (.f64 x x) (.f64 y y))`	overflow	52
`/.f64`	`(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))`	u/u	42	0
↳	`(*.f64 (-.f64 x y) (+.f64 x y))`	underflow	42
↳	`(*.f64 y y)`	underflow	84
↳	`(*.f64 x x)`	underflow	132
↳	`(+.f64 (.f64 x x) (.f64 y y))`	underflow	42

Confusion

	Predicted +	Predicted -
+	94	0
-	0	162

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	94	0	0
-	0	0	162

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	162
1	94

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

42.0ms

512×

valid

Compiler

Compiled 105 to 31 computations (70.5% saved)

Precisions

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

ival-mult: 10.0ms (48.7% of total)

ival-add: 5.0ms (24.3% of total)

ival-sub: 3.0ms (14.6% of total)

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

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

adjust: 0.0ms (0% of total)

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

preprocess43.0ms (4.2%)

Memory

-20.1MiB live, 25.3MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	99
1	118	93
2	316	93
3	739	90
4	1776	90
5	2943	90
6	5639	90
0	12	15
0	16	15
0	16	15

Stop Event

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze5.0ms (0.5%)

sample870.0ms (84.9%)

explain106.0ms (10.4%)

preprocess43.0ms (4.2%)

end0.0ms (0%)

Profiling