Metrics for Anisotropic x16 LOD (ratio of anisotropy)

start1.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated

analyze2.3s (29.4%)

Memory

8.6MiB live, 860.1MiB 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
3.1%	0%	0%	100%	0%	0%	0%	7
3.1%	0%	0%	100%	0%	0%	0%	8
3.1%	0%	0%	100%	0%	0%	0%	9
3.1%	0%	0%	100%	0%	0%	0%	10

Compiler

Compiled 654 to 71 computations (89.1% saved)

sample86.0ms (1.1%)

Memory

-2.5MiB live, 37.1MiB allocated

Samples

63.0ms

260×

valid

Precisions

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

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

ival-fabs: 6.0ms (11.4% of total)

ival-<=: 6.0ms (11.4% of total)

ival-div: 4.0ms (7.6% of total)

ival-floor: 4.0ms (7.6% of total)

const: 4.0ms (7.6% of total)

ival-if: 3.0ms (5.7% of total)

ival-add: 3.0ms (5.7% of total)

ival-fmax: 2.0ms (3.8% of total)

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

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

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

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

ival->: 1.0ms (1.9% of total)

ival-<: 1.0ms (1.9% of total)

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

exact: 0.0ms (0% of total)

Bogosity

explain5.1s (65.9%)

Memory

11.4MiB live, 3 379.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
59	-	-	`(/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))`
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)))))`
5	-	-	`(/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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	-	-	(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))
0	-	-	(fmax.f32 #s(literal 1 binary32) (.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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	-	-	(if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))))
0	-	-	`(*.f32 (floor.f32 h) dY.v)`
0	-	-	`(>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso))`
0	-	-	`(/.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))))) (floor.f32 maxAniso))`
0	-	-	`dX.v`
0	-	-	`(*.f32 (floor.f32 w) dX.u)`
0	-	-	`(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))`
0	-	-	`#s(literal 1 binary32)`
0	-	-	`maxAniso`
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 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v))`
0	-	-	`(*.f32 (floor.f32 h) dX.v)`
0	-	-	`w`
0	-	-	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`
0	-	-	`dX.u`
0	-	-	`h`
0	-	-	(.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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	-	-	`(fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))`
0	-	-	(if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))`
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	-	-	`(floor.f32 maxAniso)`
0	-	-	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`
0	-	-	`dY.u`
0	-	-	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`
0	-	-	`(floor.f32 w)`
0	-	-	(<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32))
0	-	-	`(-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))`
0	-	-	`(floor.f32 h)`
0	-	-	`dY.v`

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	17
↳	`(+.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	31
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`	overflow	23
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`	overflow	7
↳	`(+.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	30
↳	`(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	14
`/.f32`	`(/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))`	o/n	54	0
↳	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`	overflow	17
↳	`(+.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	31
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`	overflow	23
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`	overflow	7
↳	`(+.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	30
↳	`(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	14
`/.f32`	`(/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))`	o/n	5	0
↳	`(fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))`	overflow	5
↳	`(-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))`	overflow	5
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v))`	overflow	1
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))`	overflow	4
`/.f32`	`(/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))`	o/o	5	0
↳	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`	overflow	17
↳	`(+.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	31
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`	overflow	23
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`	overflow	7
↳	`(+.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	30
↳	`(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	14
↳	`(fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))`	overflow	5
↳	`(-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))`	overflow	5
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v))`	overflow	1
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))`	overflow	4

Confusion

	Predicted +	Predicted -
+	5	0
-	54	197

Precision

0.0847457627118644

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5	0	0
-	54	0	197

Precision?

0.0847457627118644

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	197
2	54
3	5

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

18.65966796875

Average Time

0.07288932800292969

Samples

555.0ms	2 988×	0	valid
32.0ms	84×	1	valid

Compiler

Compiled 83 364 to 1 800 computations (97.8% saved)

Precisions

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

ival-mult: 175.0ms (41.8% of total)

ival-div: 48.0ms (11.5% of total)

ival-floor: 47.0ms (11.2% of total)

ival-if: 32.0ms (7.6% of total)

ival-fmax: 28.0ms (6.7% of total)

ival-add: 23.0ms (5.5% of total)

ival-sqrt: 19.0ms (4.5% of total)

ival-fabs: 14.0ms (3.3% of total)

ival-sub: 12.0ms (2.9% of total)

ival->: 7.0ms (1.7% of total)

ival-<: 6.0ms (1.4% of total)

adjust: 3.0ms (0.7% of total)

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

exact: 2.0ms (0.5% of total)

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

preprocess246.0ms (3.2%)

Memory

0.2MiB live, 32.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	594	21261
1	1352	20869
2	3564	19853
3	7270	19853
0	37	594
0	63	594
1	115	594
2	245	570
3	514	546
4	893	546
5	1431	546
6	2069	546
7	2666	546
8	3355	546
9	3704	546
10	3806	546
11	3888	546
12	4988	546
13	5420	546
14	5435	546
15	5435	546
16	5435	546
17	5435	546
18	5435	546
19	5467	546
20	5467	546
0	5467	526

Stop Event

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

Calls

Call 1

Inputs
(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))

Inputs

(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (*.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))

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

Outputs

(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (*.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))

(if (<.f32 (if (>.f32 (/.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h)))) (fabs.f32 (*.f32 (fma.f32 (neg.f32 dY.u) dX.v (*.f32 dY.v dX.u)) (*.f32 (floor.f32 h) (floor.f32 w))))) (floor.f32 maxAniso)) (/.f32 (sqrt.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (*.f32 (fma.f32 (neg.f32 dY.u) dX.v (*.f32 dY.v dX.u)) (*.f32 (floor.f32 h) (floor.f32 w)))) (sqrt.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (*.f32 (if (>.f32 (/.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h)))) (fabs.f32 (*.f32 (fma.f32 (neg.f32 dY.u) dX.v (*.f32 dY.v dX.u)) (*.f32 (floor.f32 h) (floor.f32 w))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h)))) (fabs.f32 (*.f32 (fma.f32 (neg.f32 dY.u) dX.v (*.f32 dY.v dX.u)) (*.f32 (floor.f32 h) (floor.f32 w)))))) (if (>.f32 (/.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h)))) (fabs.f32 (*.f32 (fma.f32 (neg.f32 dY.u) dX.v (*.f32 dY.v dX.u)) (*.f32 (floor.f32 h) (floor.f32 w))))) (floor.f32 maxAniso)) (/.f32 (sqrt.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (*.f32 (fma.f32 (neg.f32 dY.u) dX.v (*.f32 dY.v dX.u)) (*.f32 (floor.f32 h) (floor.f32 w)))) (sqrt.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h))))))))) (if (>.f32 (/.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h)))) (fabs.f32 (*.f32 (fma.f32 (neg.f32 dY.u) dX.v (*.f32 dY.v dX.u)) (*.f32 (floor.f32 h) (floor.f32 w))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h) (*.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w))) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h)))) (fabs.f32 (*.f32 (fma.f32 (neg.f32 dY.u) dX.v (*.f32 dY.v dX.u)) (*.f32 (floor.f32 h) (floor.f32 w)))))))

Compiler

Compiled 594 to 37 computations (93.8% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	98.0%	(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))

Status

Accuracy

Program

98.0%

(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (*.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))

Compiler

Compiled 1 188 to 74 computations (93.8% saved)

simplify29.0ms (0.4%)

Memory

2.6MiB live, 19.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	594
1	56	594
2	81	594
3	116	594
4	138	594
5	152	594
6	156	594

Stop Event

1×

saturated

Calls

Call 1

Inputs
(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 h) dY.v)) (.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))

Inputs

(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (*.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))

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

Outputs

(if (<.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (*.f32 (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (/.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))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))) (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))))))))) (if (>.f32 (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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)))) (fabs.f32 (-.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dY.v)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dY.u)))))))

(if (<.f32 (if (>.f32 (/.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))))) (fabs.f32 (-.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w)))))) (floor.f32 maxAniso)) (/.f32 (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)))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w))))) (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)))))))) #s(literal 1 binary32)) (fmax.f32 #s(literal 1 binary32) (*.f32 (if (>.f32 (/.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))))) (fabs.f32 (-.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w)))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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))))) (fabs.f32 (-.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w))))))) (if (>.f32 (/.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))))) (fabs.f32 (-.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w)))))) (floor.f32 maxAniso)) (/.f32 (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)))))) (floor.f32 maxAniso)) (/.f32 (fabs.f32 (-.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w))))) (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)))))))))) (if (>.f32 (/.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))))) (fabs.f32 (-.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w)))))) (floor.f32 maxAniso)) (floor.f32 maxAniso) (/.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))))) (fabs.f32 (-.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w))))))))

soundness1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 594 to 37 computations (93.8% saved)

preprocess2.0ms (0%)

Memory: -6.8MiB live, 1.0MiB allocated
Compiler: Compiled 2 376 to 148 computations (93.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start1.0ms (0%)

analyze2.3s (29.4%)

sample86.0ms (1.1%)

explain5.1s (65.9%)

preprocess246.0ms (3.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify29.0ms (0.4%)

soundness1.0ms (0%)

preprocess2.0ms (0%)

end0.0ms (0%)

Profiling