Metrics for Anisotropic x16 LOD (line direction, v)

start0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated

analyze2.1s (39.2%)

Memory

-19.7MiB live, 2 584.2MiB 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
0%	0%	0%	100%	0%	0%	0%	3
0%	0%	0%	100%	0%	0%	0%	4
0%	0%	0%	100%	0%	0%	0%	5
0%	0%	0%	100%	0%	0%	0%	6
6.3%	0%	0%	100%	0%	0%	0%	7
6.3%	0%	0%	100%	0%	0%	0%	8
6.3%	0%	0%	100%	0%	0%	0%	9
6.3%	0%	0%	100%	0%	0%	0%	10

Compiler

Compiled 194 to 61 computations (68.6% saved)

sample2.9s (53.2%)

Memory

84.0MiB live, 3 267.2MiB allocated

Samples

2.2s

8 256×

valid

Precisions

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

ival-mult: 729.0ms (40.9% of total)

ival-<=: 225.0ms (12.6% of total)

const: 174.0ms (9.8% of total)

ival-fabs: 165.0ms (9.3% of total)

ival-floor: 90.0ms (5% of total)

ival-add: 68.0ms (3.8% of total)

ival-and: 66.0ms (3.7% of total)

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

ival-sqrt: 55.0ms (3.1% of total)

ival-fmax: 44.0ms (2.5% of total)

ival-if: 36.0ms (2% of total)

ival->=: 23.0ms (1.3% of total)

ival-==: 22.0ms (1.2% of total)

exact: 18.0ms (1% of total)

adjust: 3.0ms (0.2% of total)

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

Bogosity

explain388.0ms (7.2%)

Memory

-20.1MiB live, 483.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
59	-	-	`(sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))`
0	-	-	`(+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v)))`
0	-	-	`(*.f32 (floor.f32 h) dY.v)`
0	-	-	`(*.f32 (floor.f32 w) dY.u)`
0	-	-	`(fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))))`
0	-	-	`dY.u`
0	-	-	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`
0	-	-	`dX.v`
0	-	-	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`
0	-	-	`(floor.f32 w)`
0	-	-	`(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))`
0	-	-	`(*.f32 (floor.f32 w) dX.u)`
0	-	-	`(>=.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))))`
0	-	-	`(.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))) (.f32 (floor.f32 h) dX.v))`
0	-	-	`#s(literal 1 binary32)`
0	-	-	`(+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))`
0	-	-	`(.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))) (.f32 (floor.f32 h) dY.v))`
0	-	-	`(/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))))))`
0	-	-	`(*.f32 (floor.f32 h) dX.v)`
0	-	-	`(floor.f32 h)`
0	-	-	(if (>=.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))) (.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))) (.f32 (floor.f32 h) dX.v)) (.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))) (.f32 (floor.f32 h) dY.v)))
0	-	-	`w`
0	-	-	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`
0	-	-	`dY.v`
0	-	-	`h`
0	-	-	`dX.u`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f32`	`(sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))`	oflow-rescue	59	0
↳	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`	overflow	16
↳	`(+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))`	overflow	34
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`	overflow	18
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`	overflow	12
↳	`(+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v)))`	overflow	29
↳	`(fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))))`	overflow	59
↳	`(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))`	overflow	19

Confusion

	Predicted +	Predicted -
+	59	0
-	0	197

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	59	0	0
-	0	0	197

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	197
1	59

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

97.0ms	500×	0	valid
16.0ms	12×	1	valid

Compiler

Compiled 1 116 to 85 computations (92.4% saved)

Precisions

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

ival-mult: 34.0ms (42.4% of total)

ival-div: 16.0ms (19.9% of total)

ival-sqrt: 8.0ms (10% of total)

ival-floor: 6.0ms (7.5% of total)

ival->=: 6.0ms (7.5% of total)

ival-add: 4.0ms (5% of total)

ival-fmax: 3.0ms (3.7% of total)

ival-if: 2.0ms (2.5% of total)

adjust: 1.0ms (1.2% of total)

ival-true: 1.0ms (1.2% of total)

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

exact: 0.0ms (0% of total)

preprocess21.0ms (0.4%)

Memory: 33.2MiB live, 33.2MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze2.1s (39.2%)

sample2.9s (53.2%)

explain388.0ms (7.2%)

preprocess21.0ms (0.4%)

end0.0ms (0%)

Profiling