Metrics for Isotropic LOD (LOD)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze1.2s (80.4%)

Memory

7.0MiB live, 420.7MiB 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

Compiler

Compiled 145 to 78 computations (46.2% saved)

sample103.0ms (7.2%)

Memory

2.9MiB live, 39.5MiB allocated

Samples

75.0ms

260×

valid

Precisions

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

ival-mult: 18.0ms (30.1% of total)

ival-<=: 11.0ms (18.4% of total)

ival-fabs: 8.0ms (13.4% of total)

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

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

const: 4.0ms (6.7% of total)

ival-and: 3.0ms (5% of total)

ival-log2: 3.0ms (5% of total)

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

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

exact: 1.0ms (1.7% of total)

adjust: 0.0ms (0% of total)

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

Bogosity

explain69.0ms (4.8%)

Memory

-0.0MiB live, 24.7MiB allocated

Confusion

	Predicted +	Predicted -
+	85	0
-	0	171

Precision

1.0

Recall

1.0

Samples

46.0ms

256×

valid

Compiler

Compiled 185 to 95 computations (48.6% saved)

Precisions

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

ival-mult: 17.0ms (51.3% of total)

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

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

ival-log2: 3.0ms (9.1% of total)

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

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

adjust: 0.0ms (0% of total)

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

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

preprocess63.0ms (4.4%)

Memory

-0.9MiB live, 14.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	458	3351
1	1236	3327
2	2692	3327
3	5196	3327
0	31	61
0	53	61
1	106	61
2	193	61
3	200	61
0	200	57

Stop Event

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

Calls

Call 1

Inputs
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 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 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (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 d) dY.w) (.f32 (floor.f32 d) dY.w))))))

Inputs

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 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 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (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 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

Outputs
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 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 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (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 d) dY.w) (.f32 (floor.f32 d) dY.w))))))
(log2.f32 (sqrt.f32 (fmax.f32 (fma.f32 (.f32 (.f32 dX.w (floor.f32 d)) dX.w) (floor.f32 d) (fma.f32 (.f32 (.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (.f32 (.f32 (.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h)))) (fma.f32 (.f32 (.f32 dY.w (floor.f32 d)) dY.w) (floor.f32 d) (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)))))))

Outputs

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 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 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (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 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

(log2.f32 (sqrt.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.w (floor.f32 d)) dX.w) (floor.f32 d) (fma.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h)))) (fma.f32 (*.f32 (*.f32 dY.w (floor.f32 d)) dY.w) (floor.f32 d) (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)))))))

Symmetry

(abs dY.w)

(abs dY.v)

(abs dY.u)

(abs dX.w)

(abs dX.v)

(abs dX.u)

Compiler

Compiled 61 to 31 computations (49.2% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	68.9%	(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 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 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (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 d) dY.w) (.f32 (floor.f32 d) dY.w))))))

Status

Accuracy

Program

68.9%

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 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 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (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 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

Compiler

Compiled 122 to 62 computations (49.2% saved)

simplify21.0ms (1.5%)

Memory

-4.7MiB live, 18.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	61
1	41	61

Stop Event

1×

saturated

Calls

Call 1

Inputs
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 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 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (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 d) dY.w) (.f32 (floor.f32 d) dY.w))))))

Inputs

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 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 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (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 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

Outputs
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 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 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (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 d) dY.w) (.f32 (floor.f32 d) dY.w))))))
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 dX.w (floor.f32 d)) (.f32 dX.w (floor.f32 d))) (+.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.w (floor.f32 d)) (.f32 dY.w (floor.f32 d))) (+.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))))))))

Outputs

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 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 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (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 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (*.f32 (*.f32 dX.w (floor.f32 d)) (*.f32 dX.w (floor.f32 d))) (+.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.w (floor.f32 d)) (*.f32 dY.w (floor.f32 d))) (+.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))))))))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 61 to 31 computations (49.2% saved)

preprocess23.0ms (1.6%)

Memory

-4.7MiB live, 18.8MiB allocated

Remove

(abs dX.u)

(abs dX.v)

(abs dX.w)

(abs dY.u)

(abs dY.v)

(abs dY.w)

Compiler

Compiled 1 708 to 868 computations (49.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.2s (80.4%)

sample103.0ms (7.2%)

explain69.0ms (4.8%)

preprocess63.0ms (4.4%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify21.0ms (1.5%)

soundness0.0ms (0%)

preprocess23.0ms (1.6%)

end0.0ms (0%)

Profiling