Metrics for Anisotropic x16 LOD (line direction, u)

start0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

analyze2.2s (37.9%)

Memory

36.4MiB live, 3 359.8MiB 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)

sample3.0s (52%)

Memory

63.0MiB live, 4 232.1MiB allocated

Samples

2.1s

8 256×

valid

Precisions

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

ival-mult: 531.0ms (29.7% of total)

ival-<=: 239.0ms (13.4% of total)

ival-add: 220.0ms (12.3% of total)

ival-fabs: 176.0ms (9.8% of total)

const: 161.0ms (9% of total)

ival-floor: 91.0ms (5.1% of total)

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

ival-and: 65.0ms (3.6% of total)

ival-div: 59.0ms (3.3% of total)

ival-if: 50.0ms (2.8% of total)

ival-fmax: 43.0ms (2.4% of total)

ival-==: 26.0ms (1.5% of total)

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

exact: 19.0ms (1.1% of total)

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

Bogosity

explain332.0ms (5.8%)

Memory

13.5MiB live, 608.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
54	-	-	`(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 (+.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 w) dX.u)) (.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 w) dY.u)))
0	-	-	`(+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v)))`
0	-	-	`(*.f32 (floor.f32 h) dY.v)`
0	-	-	`(*.f32 (floor.f32 w) dY.u)`
0	-	-	`(.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 w) dX.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	-	-	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`
0	-	-	`dY.u`
0	-	-	`dX.v`
0	-	-	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`
0	-	-	`(floor.f32 w)`
0	-	-	`(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))`
0	-	-	`(*.f32 (floor.f32 w) dX.u)`
0	-	-	`(>=.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))))`
0	-	-	`#s(literal 1 binary32)`
0	-	-	`(+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))`
0	-	-	`(.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))) (.f32 (floor.f32 w) dY.u))`
0	-	-	`(/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))))))`
0	-	-	`(*.f32 (floor.f32 h) dX.v)`
0	-	-	`(floor.f32 h)`
0	-	-	`w`
0	-	-	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`
0	-	-	`dY.v`
0	-	-	`h`
0	-	-	`dX.u`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f32`	`(sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))`	oflow-rescue	54	0
↳	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`	overflow	15
↳	`(+.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	25
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`	overflow	20
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`	overflow	12
↳	`(+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v)))`	overflow	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	54
↳	`(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))`	overflow	12

Confusion

	Predicted +	Predicted -
+	54	0
-	0	202

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	54	0	0
-	0	0	202

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	202
1	54

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

80.0ms	500×	0	valid
4.0ms	12×	1	valid

Compiler

Compiled 1 605 to 112 computations (93% saved)

Precisions

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

ival-mult: 28.0ms (49.8% of total)

ival-floor: 9.0ms (16% of total)

ival-sqrt: 4.0ms (7.1% of total)

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

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

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

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

ival->=: 2.0ms (3.6% of total)

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

adjust: 0.0ms (0% of total)

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

exact: 0.0ms (0% of total)

preprocess7.0ms (0.1%)

Memory

14.8MiB live, 14.8MiB allocated

Algorithm

1×	egg-herbie

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 w) dX.u)) (*.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 w) dY.u)))

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 w) dX.u)) (*.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 w) dY.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

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

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

Status

Accuracy

Program

▶

80.0%

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

Compiler

Compiled 134 to 27 computations (79.9% saved)

simplify2.0ms (0%)

Memory

3.3MiB live, 3.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))
cost-diff	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)))
cost-diff	0	(>=.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))))
cost-diff	0	(if (>=.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))) (.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))))) (.f32 (floor.f32 w) dX.u)) (.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 w) dY.u)))

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 w) dX.u)) (.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 w) dY.u)))
(>=.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 (.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 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))
(*.f32 (floor.f32 w) dX.u)
(floor.f32 w)
w
dX.u
(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))
(*.f32 (floor.f32 h) dX.v)
(floor.f32 h)
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 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))
(*.f32 (floor.f32 w) dY.u)
dY.u
(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))
(*.f32 (floor.f32 h) dY.v)
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 w) dX.u))
(/.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))))))
#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)))))
(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 (/.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 w) dY.u))

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 w) dX.u)) (.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 w) dY.u)))
(>=.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 (.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 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))
(*.f32 (floor.f32 w) dX.u)
(floor.f32 w)
w
dX.u
(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))
(*.f32 (floor.f32 h) dX.v)
(floor.f32 h)
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 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))
(*.f32 (floor.f32 w) dY.u)
dY.u
(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))
(*.f32 (floor.f32 h) dY.v)
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 w) dX.u))
(/.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))))))
#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)))))
(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 (/.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 w) dY.u))

localize67.0ms (1.2%)

Memory

-25.9MiB live, 92.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.4225387695368841	(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))
accuracy	0.4225387695368841	(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))
accuracy	0.4489250488422101	(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))
accuracy	6.18540653770796	(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)))))

Samples

47.0ms	250×	0	valid
2.0ms	6×	1	valid

Compiler

Compiled 980 to 56 computations (94.3% saved)

Precisions

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

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

ival-floor: 7.0ms (22.9% of total)

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

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

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

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

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

ival->=: 1.0ms (3.3% 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)

series40.0ms (0.7%)

Memory

23.0MiB live, 60.1MiB allocated

Counts

8 → 10

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 w) dX.u)) (.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 w) dY.u)))
(>=.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 (.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 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.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)))))
(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))
(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))
(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))

Outputs
(if (>= (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2)))) (* (* dX.u (floor w)) (sqrt (/ 1 (fmax (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2))))))) (* (* dY.u (floor w)) (sqrt (/ 1 (fmax (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2))))))))
(>= (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2))))
(+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2)))
(* (pow dX.u 2) (pow (floor w) 2))
(sqrt (fmax (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2)))))
(* (pow dY.u 2) (pow (floor w) 2))
(* (pow dX.v 2) (pow (floor h) 2))
(* (pow dY.v 2) (pow (floor h) 2))
(* (pow dX.u 2) (+ (/ (* (pow dX.v 2) (pow (floor h) 2)) (pow dX.u 2)) (pow (floor w) 2)))
(* (pow dX.v 2) (+ (/ (* (pow dX.u 2) (pow (floor w) 2)) (pow dX.v 2)) (pow (floor h) 2)))

Calls

21 calls:

Time	Variable		Point	Expression
6.0ms	dX.u	@	inf	((if (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dX.u)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor h) dY.v) (* (floor h) dY.v)))
4.0ms	h	@	-inf	((if (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dX.u)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor h) dY.v) (* (floor h) dY.v)))
3.0ms	w	@	0	((if (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dX.u)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor h) dY.v) (* (floor h) dY.v)))
3.0ms	w	@	inf	((if (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dX.u)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor h) dY.v) (* (floor h) dY.v)))
2.0ms	w	@	-inf	((if (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dX.u)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor h) dY.v) (* (floor h) dY.v)))

simplify1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Counts

10 → 8

Calls

Call 1

Inputs
(if (>= (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2)))) (* (* dX.u (floor w)) (sqrt (/ 1 (fmax (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2))))))) (* (* dY.u (floor w)) (sqrt (/ 1 (fmax (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2))))))))
(>= (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2))))
(+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2)))
(* (pow dX.u 2) (pow (floor w) 2))
(sqrt (fmax (+ (* (pow dX.u 2) (pow (floor w) 2)) (* (pow dX.v 2) (pow (floor h) 2))) (+ (* (pow dY.u 2) (pow (floor w) 2)) (* (pow dY.v 2) (pow (floor h) 2)))))
(* (pow dY.u 2) (pow (floor w) 2))
(* (pow dX.v 2) (pow (floor h) 2))
(* (pow dY.v 2) (pow (floor h) 2))
(* (pow dX.u 2) (+ (/ (* (pow dX.v 2) (pow (floor h) 2)) (pow dX.u 2)) (pow (floor w) 2)))
(* (pow dX.v 2) (+ (/ (* (pow dX.u 2) (pow (floor w) 2)) (pow dX.v 2)) (pow (floor h) 2)))

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

rewrite1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Counts

8 → 8

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 w) dX.u)) (.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 w) dY.u)))
(>=.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 (.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 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.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)))))
(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))
(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))
(.f32 (.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 w) dX.u)) (.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 w) dY.u)))
(>=.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 (.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 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.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)))))
(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))
(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))
(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))

eval7.0ms (0.1%)

Memory: -28.4MiB live, 9.3MiB allocated
Compiler: Compiled 5 529 to 110 computations (98% saved)

prune95.0ms (1.6%)

Memory

-51.8MiB live, 145.7MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	1	39

Accuracy

80.0%

Counts

39 → 1

Alt Table

Click to see full alt table

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

Status

Accuracy

Program

✓

80.0%

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

Compiler

Compiled 268 to 54 computations (79.9% saved)

simplify5.0ms (0.1%)

Memory

9.2MiB live, 9.2MiB allocated

Algorithm

1×	egg-herbie

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 w) dX.u)) (*.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 w) dY.u)))

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 w) dX.u)) (*.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 w) dY.u)))

soundness0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Stop Event

1×

done

Compiler

Compiled 134 to 27 computations (79.9% saved)

preprocess23.0ms (0.4%)

Memory: -0.8MiB live, 36.4MiB allocated
Compiler: Compiled 536 to 108 computations (79.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze2.2s (37.9%)

sample3.0s (52%)

explain332.0ms (5.8%)

preprocess7.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

localize67.0ms (1.2%)

series40.0ms (0.7%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval7.0ms (0.1%)

prune95.0ms (1.6%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

preprocess23.0ms (0.4%)

end0.0ms (0%)

Profiling