Metrics for Anisotropic x16 LOD (line direction, v)

start0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated

analyze1.9s (89.3%)

Memory

6.3MiB live, 721.3MiB 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)

sample75.0ms (3.6%)

Memory

2.4MiB live, 31.5MiB allocated

Samples

53.0ms

260×

valid

Precisions

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

ival-mult: 13.0ms (30.4% of total)

ival-<=: 7.0ms (16.4% of total)

ival-fabs: 5.0ms (11.7% of total)

const: 4.0ms (9.4% of total)

ival-floor: 3.0ms (7% of total)

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

ival-add: 2.0ms (4.7% of total)

ival-and: 2.0ms (4.7% of total)

ival-sqrt: 2.0ms (4.7% of total)

ival-fmax: 1.0ms (2.3% of total)

ival-==: 1.0ms (2.3% of total)

ival-if: 1.0ms (2.3% of total)

ival->=: 1.0ms (2.3% of total)

adjust: 0.0ms (0% of total)

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

exact: 0.0ms (0% of total)

Bogosity

explain54.0ms (2.5%)

Memory

-0.2MiB live, 20.8MiB allocated

Confusion

	Predicted +	Predicted -
+	73	0
-	0	183

Precision

1.0

Recall

1.0

Samples

35.0ms

256×

valid

Compiler

Compiled 404 to 83 computations (79.5% saved)

Precisions

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

ival-mult: 14.0ms (55.8% of total)

ival-floor: 3.0ms (11.9% of total)

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

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

ival-sqrt: 2.0ms (8% of total)

ival-fmax: 1.0ms (4% of total)

ival-if: 1.0ms (4% of total)

ival->=: 1.0ms (4% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

preprocess65.0ms (3.1%)

Memory

-2.3MiB live, 13.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	350	4813
1	905	4613
2	2184	4613
3	3632	4613
4	6224	4613
0	26	134
0	44	134
1	87	130
2	161	130
3	219	130
4	228	130
0	228	124

Stop Event

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

Calls

Call 1

Inputs
(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)))

Inputs

(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)))

Outputs
(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)))
(if (>=.f32 (fma.f32 (.f32 (.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (.f32 (.f32 (.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h))) (fma.f32 (.f32 (.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h) (.f32 (.f32 (.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w)))) (/.f32 (.f32 dX.v (floor.f32 h)) (sqrt.f32 (fmax.f32 (fma.f32 (.f32 (.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (.f32 (.f32 (.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h))) (fma.f32 (.f32 (.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h) (.f32 (.f32 (.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w)))))) (/.f32 (.f32 dY.v (floor.f32 h)) (sqrt.f32 (fmax.f32 (fma.f32 (.f32 (.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (.f32 (.f32 (.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h))) (fma.f32 (.f32 (.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h) (.f32 (.f32 (.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w)))))))

Outputs

(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)))

(if (>=.f32 (fma.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h))) (fma.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w)))) (/.f32 (*.f32 dX.v (floor.f32 h)) (sqrt.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h))) (fma.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w)))))) (/.f32 (*.f32 dY.v (floor.f32 h)) (sqrt.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h))) (fma.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w)))))))

Symmetry

(abs maxAniso)

(abs dY.u)

(abs dX.u)

Compiler

Compiled 134 to 27 computations (79.9% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	73.1%	(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)))

Status

Accuracy

Program

73.1%

(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)))

Compiler

Compiled 268 to 54 computations (79.9% saved)

simplify22.0ms (1%)

Memory

2.1MiB live, 18.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	134
1	37	134

Stop Event

1×

saturated

Calls

Call 1

Inputs
(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)))

Inputs

(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)))

Outputs
(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)))
(if (>=.f32 (+.f32 (.f32 (.f32 dX.v (floor.f32 h)) (.f32 dX.v (floor.f32 h))) (.f32 (.f32 dX.u (floor.f32 w)) (.f32 dX.u (floor.f32 w)))) (+.f32 (.f32 (.f32 dY.v (floor.f32 h)) (.f32 dY.v (floor.f32 h))) (.f32 (.f32 dY.u (floor.f32 w)) (.f32 dY.u (floor.f32 w))))) (.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 dX.v (floor.f32 h)) (.f32 dX.v (floor.f32 h))) (.f32 (.f32 dX.u (floor.f32 w)) (.f32 dX.u (floor.f32 w)))) (+.f32 (.f32 (.f32 dY.v (floor.f32 h)) (.f32 dY.v (floor.f32 h))) (.f32 (.f32 dY.u (floor.f32 w)) (.f32 dY.u (floor.f32 w))))))) (.f32 dX.v (floor.f32 h))) (.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 dX.v (floor.f32 h)) (.f32 dX.v (floor.f32 h))) (.f32 (.f32 dX.u (floor.f32 w)) (.f32 dX.u (floor.f32 w)))) (+.f32 (.f32 (.f32 dY.v (floor.f32 h)) (.f32 dY.v (floor.f32 h))) (.f32 (.f32 dY.u (floor.f32 w)) (.f32 dY.u (floor.f32 w))))))) (.f32 dY.v (floor.f32 h))))

Outputs

(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)))

(if (>=.f32 (+.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.u (floor.f32 w)))) (+.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dY.v (floor.f32 h))) (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dY.u (floor.f32 w))))) (*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.u (floor.f32 w)))) (+.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dY.v (floor.f32 h))) (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dY.u (floor.f32 w))))))) (*.f32 dX.v (floor.f32 h))) (*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.u (floor.f32 w)))) (+.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dY.v (floor.f32 h))) (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dY.u (floor.f32 w))))))) (*.f32 dY.v (floor.f32 h))))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 134 to 27 computations (79.9% saved)

preprocess9.0ms (0.4%)

Memory

-1.1MiB live, 6.8MiB allocated

Remove

(abs dX.u)

(abs dY.u)

(abs maxAniso)

Compiler

Compiled 2 144 to 432 computations (79.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.9s (89.3%)

sample75.0ms (3.6%)

explain54.0ms (2.5%)

preprocess65.0ms (3.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify22.0ms (1%)

soundness0.0ms (0%)

preprocess9.0ms (0.4%)

end0.0ms (0%)

Profiling