Isotropic LOD (LOD)

Time bar (total: 5.8s)

analyze1.7s (28.6%)

Memory
4.5MiB live, 2 240.9MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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)

sample4.0s (69.6%)

Memory
3.1MiB live, 7 464.1MiB allocated
Samples
2.8s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 720.0ms (32.2% of total)
ival-<=: 429.0ms (19.2% of total)
ival-fabs: 280.0ms (12.5% of total)
ival-add: 171.0ms (7.6% of total)
const: 148.0ms (6.6% of total)
ival-log2: 142.0ms (6.3% of total)
ival-floor: 131.0ms (5.9% of total)
ival-and: 91.0ms (4.1% of total)
ival-sqrt: 59.0ms (2.6% of total)
ival-fmax: 45.0ms (2% of total)
exact: 19.0ms (0.8% of total)
ival-assert: 3.0ms (0.1% of total)
Bogosity

preprocess89.0ms (1.5%)

Memory
-6.7MiB live, 183.8MiB allocated
Algorithm
2×egg-herbie
Rules
1 632×unsub-neg
1 062×distribute-lft-neg-out
1 060×distribute-rgt-neg-out
864×distribute-lft-in
840×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04613400
112393388
227023388
352003388
03161
18461
216961
317561
017557
Stop Event
1×iter limit
1×saturated
1×node limit
Calls
Call 1
Inputs
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
Outputs
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2.f32 (sqrt.f32 (fmax.f32 (fma.f32 (floor.f32 w) (*.f32 dX.u (*.f32 (floor.f32 w) dX.u)) (fma.f32 (floor.f32 h) (*.f32 (floor.f32 h) (*.f32 dX.v dX.v)) (*.f32 (floor.f32 d) (*.f32 (floor.f32 d) (*.f32 dX.w dX.w))))) (fma.f32 (floor.f32 w) (*.f32 (floor.f32 w) (*.f32 dY.u dY.u)) (fma.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)))))))
Call 2
Inputs
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor (neg w)) dX.u) (* (floor (neg w)) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor (neg w)) dY.u) (* (floor (neg w)) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor (neg h)) dX.v) (* (floor (neg h)) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor (neg h)) dY.v) (* (floor (neg h)) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor (neg d)) dX.w) (* (floor (neg d)) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor (neg d)) dY.w) (* (floor (neg d)) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) (neg dX.u)) (* (floor w) (neg dX.u))) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) (neg dX.v)) (* (floor h) (neg dX.v)))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) (neg dX.w)) (* (floor d) (neg dX.w)))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) (neg dY.u)) (* (floor w) (neg dY.u))) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) (neg dY.v)) (* (floor h) (neg dY.v)))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) (neg dY.w)) (* (floor d) (neg dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor (neg w)) dX.u) (* (floor (neg w)) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor (neg w)) dY.u) (* (floor (neg w)) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor (neg h)) dX.v) (* (floor (neg h)) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor (neg h)) dY.v) (* (floor (neg h)) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor (neg d)) dX.w) (* (floor (neg d)) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor (neg d)) dY.w) (* (floor (neg d)) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) (neg dX.u)) (* (floor w) (neg dX.u))) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) (neg dX.v)) (* (floor h) (neg dX.v)))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) (neg dX.w)) (* (floor d) (neg dX.w)))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) (neg dY.u)) (* (floor w) (neg dY.u))) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) (neg dY.v)) (* (floor h) (neg dY.v)))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) (neg dY.w)) (* (floor d) (neg dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor h) dX.u) (* (floor h) dX.u)) (* (* (floor w) dX.v) (* (floor w) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor h) dY.u) (* (floor h) dY.u)) (* (* (floor w) dY.v) (* (floor w) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor d) dX.u) (* (floor d) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.w) (* (floor w) dX.w))) (+ (+ (* (* (floor d) dY.u) (* (floor d) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor w) dY.w) (* (floor w) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dX.u) w) (* (floor dX.u) w)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dX.u) dY.u) (* (floor dX.u) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dX.v) dX.u) (* (floor dX.v) dX.u)) (* (* (floor h) w) (* (floor h) w))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dX.v) dY.u) (* (floor dX.v) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dX.w) dX.u) (* (floor dX.w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) w) (* (floor d) w))) (+ (+ (* (* (floor dX.w) dY.u) (* (floor dX.w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dY.u) dX.u) (* (floor dY.u) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dY.u) w) (* (floor dY.u) w)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dY.v) dX.u) (* (floor dY.v) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dY.v) dY.u) (* (floor dY.v) dY.u)) (* (* (floor h) w) (* (floor h) w))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dY.w) dX.u) (* (floor dY.w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dY.w) dY.u) (* (floor dY.w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) w) (* (floor d) w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor d) dX.v) (* (floor d) dX.v))) (* (* (floor h) dX.w) (* (floor h) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor d) dY.v) (* (floor d) dY.v))) (* (* (floor h) dY.w) (* (floor h) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) h) (* (floor w) h)) (* (* (floor dX.u) dX.v) (* (floor dX.u) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dX.u) dY.v) (* (floor dX.u) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dX.v) h) (* (floor dX.v) h))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dX.v) dY.v) (* (floor dX.v) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dX.w) dX.v) (* (floor dX.w) dX.v))) (* (* (floor d) h) (* (floor d) h))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dX.w) dY.v) (* (floor dX.w) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dY.u) dX.v) (* (floor dY.u) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) h) (* (floor w) h)) (* (* (floor dY.u) dY.v) (* (floor dY.u) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dY.v) dX.v) (* (floor dY.v) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dY.v) h) (* (floor dY.v) h))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dY.w) dX.v) (* (floor dY.w) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dY.w) dY.v) (* (floor dY.w) dY.v))) (* (* (floor d) h) (* (floor d) h))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) d) (* (floor w) d)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dX.u) dX.w) (* (floor dX.u) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dX.u) dY.w) (* (floor dX.u) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) d) (* (floor h) d))) (* (* (floor dX.v) dX.w) (* (floor dX.v) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dX.v) dY.w) (* (floor dX.v) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dX.w) d) (* (floor dX.w) d))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dX.w) dY.w) (* (floor dX.w) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dY.u) dX.w) (* (floor dY.u) dX.w))) (+ (+ (* (* (floor w) d) (* (floor w) d)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dY.u) dY.w) (* (floor dY.u) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dY.v) dX.w) (* (floor dY.v) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) d) (* (floor h) d))) (* (* (floor dY.v) dY.w) (* (floor dY.v) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dY.w) dX.w) (* (floor dY.w) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dY.w) d) (* (floor dY.w) d))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.v) (* (floor w) dX.v)) (* (* (floor h) dX.u) (* (floor h) dX.u))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.w) (* (floor w) dX.w)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.u) (* (floor d) dX.u))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dY.v) (* (floor w) dY.v)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.u) (* (floor h) dX.u))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dY.w) (* (floor w) dY.w)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dX.u) (* (floor d) dX.u))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.w) (* (floor h) dX.w))) (* (* (floor d) dX.v) (* (floor d) dX.v))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dY.u) (* (floor h) dY.u))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dX.v) (* (floor w) dX.v)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dY.w) (* (floor h) dY.w))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dX.v) (* (floor d) dX.v))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dY.u) (* (floor d) dY.u))) (+ (+ (* (* (floor w) dX.w) (* (floor w) dX.w)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dY.v) (* (floor d) dY.v))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.w) (* (floor h) dX.w))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.v) (* (floor w) dY.v)) (* (* (floor h) dY.u) (* (floor h) dY.u))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.w) (* (floor w) dY.w)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.u) (* (floor d) dY.u))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.w) (* (floor h) dY.w))) (* (* (floor d) dY.v) (* (floor d) dY.v))))))
Outputs
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor (neg w)) dX.u) (* (floor (neg w)) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor (neg w)) dY.u) (* (floor (neg w)) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (floor (neg w)) (* (* dX.u dX.u) (floor (neg w)))))) (+ (* (floor (neg w)) (* (* dY.u dY.u) (floor (neg w)))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor (neg h)) dX.v) (* (floor (neg h)) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor (neg h)) dY.v) (* (floor (neg h)) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (floor (neg h)) (* (* dX.v dX.v) (floor (neg h)))))) (+ (* (floor (neg h)) (* (* dY.v dY.v) (floor (neg h)))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor (neg d)) dX.w) (* (floor (neg d)) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor (neg d)) dY.w) (* (floor (neg d)) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor (neg d)) (* (* dX.w dX.w) (floor (neg d)))))) (+ (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (floor (neg d)) (* (* dY.w dY.w) (floor (neg d))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) (neg dX.u)) (* (floor w) (neg dX.u))) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) (neg dX.v)) (* (floor h) (neg dX.v)))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) (neg dX.w)) (* (floor d) (neg dX.w)))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) (neg dY.u)) (* (floor w) (neg dY.u))) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) (neg dY.v)) (* (floor h) (neg dY.v)))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) (neg dY.w)) (* (floor d) (neg dY.w)))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor (neg w)) dX.u) (* (floor (neg w)) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor (neg w)) dY.u) (* (floor (neg w)) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (floor (neg w)) (* (* dX.u dX.u) (floor (neg w)))))) (+ (* (floor (neg w)) (* (* dY.u dY.u) (floor (neg w)))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w)))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor (neg h)) dX.v) (* (floor (neg h)) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor (neg h)) dY.v) (* (floor (neg h)) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (floor (neg h)) (* (* dX.v dX.v) (floor (neg h)))))) (+ (* (floor (neg h)) (* (* dY.v dY.v) (floor (neg h)))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (floor d) (* dY.w (* (floor d) dY.w)))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor (neg d)) dX.w) (* (floor (neg d)) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor (neg d)) dY.w) (* (floor (neg d)) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor (neg d)) (* (* dX.w dX.w) (floor (neg d)))))) (+ (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (floor (neg d)) (* (* dY.w dY.w) (floor (neg d)))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) (neg dX.u)) (* (floor w) (neg dX.u))) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w)))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) (neg dX.v)) (* (floor h) (neg dX.v)))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w)))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) (neg dX.w)) (* (floor d) (neg dX.w)))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w)))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) (neg dY.u)) (* (floor w) (neg dY.u))) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w)))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) (neg dY.v)) (* (floor h) (neg dY.v)))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))))
(neg (log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w)))))))))
(neg (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) (neg dY.w)) (* (floor d) (neg dY.w))))))))
(neg (log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor h) dX.u) (* (floor h) dX.u)) (* (* (floor w) dX.v) (* (floor w) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor h) dY.u) (* (floor h) dY.u)) (* (* (floor w) dY.v) (* (floor w) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (+ (* (* dX.u (floor h)) (* dX.u (floor h))) (* (floor w) (* dX.v (* (floor w) dX.v))))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (+ (* (floor h) (* dY.u (* (floor h) dY.u))) (* (floor w) (* dY.v (* (floor w) dY.v))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor d) dX.u) (* (floor d) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.w) (* (floor w) dX.w))) (+ (+ (* (* (floor d) dY.u) (* (floor d) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor w) dY.w) (* (floor w) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor d) (* dX.u (* dX.u (floor d)))) (* (* (floor w) dX.w) (* (floor w) dX.w)))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (+ (* (floor d) (* dY.u (* (floor d) dY.u))) (* (floor w) (* dY.w (* (floor w) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dX.u) w) (* (floor dX.u) w)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dX.u) dY.u) (* (floor dX.u) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor dX.u) (* w (* w (floor dX.u)))) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor dX.u) (* dY.u (* dY.u (floor dX.u)))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dX.v) dX.u) (* (floor dX.v) dX.u)) (* (* (floor h) w) (* (floor h) w))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dX.v) dY.u) (* (floor dX.v) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (+ (* (* dX.u (floor dX.v)) (* dX.u (floor dX.v))) (* (floor h) (* w (* w (floor h)))))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor dX.v) (* dY.u (* dY.u (floor dX.v)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dX.w) dX.u) (* (floor dX.w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) w) (* (floor d) w))) (+ (+ (* (* (floor dX.w) dY.u) (* (floor dX.w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor dX.w) (* dX.u (* dX.u (floor dX.w)))) (* (floor d) (* w (* w (floor d)))))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (* (floor dX.w) (* dY.u (* dY.u (floor dX.w)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dY.u) dX.u) (* (floor dY.u) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dY.u) w) (* (floor dY.u) w)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor dY.u) (* dX.u (* dX.u (floor dY.u)))) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (* (* w (floor dY.u)) (* w (floor dY.u))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dY.v) dX.u) (* (floor dY.v) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dY.v) dY.u) (* (floor dY.v) dY.u)) (* (* (floor h) w) (* (floor h) w))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor dY.v) (* dX.u (* dX.u (floor dY.v)))) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (+ (* (floor h) (* w (* w (floor h)))) (* (floor dY.v) (* dY.u (* dY.u (floor dY.v)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor dY.w) dX.u) (* (floor dY.w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor dY.w) dY.u) (* (floor dY.w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) w) (* (floor d) w))))))
(log2 (sqrt (fmax (+ (* (floor dY.w) (* dX.u (* dX.u (floor dY.w)))) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (+ (* (floor d) (* w (* w (floor d)))) (* (* dY.u (floor dY.w)) (* dY.u (floor dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor d) dX.v) (* (floor d) dX.v))) (* (* (floor h) dX.w) (* (floor h) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor d) dY.v) (* (floor d) dY.v))) (* (* (floor h) dY.w) (* (floor h) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (* dX.v (floor d)) (* dX.v (floor d))) (* (* (floor h) dX.w) (* (floor h) dX.w)))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor d) dY.v) (* (floor d) dY.v)) (* (* (floor h) dY.w) (* (floor h) dY.w)))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) h) (* (floor w) h)) (* (* (floor dX.u) dX.v) (* (floor dX.u) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dX.u) dY.v) (* (floor dX.u) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (+ (* (* (floor w) h) (* (floor w) h)) (* (floor dX.u) (* dX.v (* dX.v (floor dX.u)))))) (+ (* (* dY.v (floor dX.u)) (* dY.v (floor dX.u))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dX.v) h) (* (floor dX.v) h))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dX.v) dY.v) (* (floor dX.v) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor dX.v) (* h (* h (floor dX.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (* (* dY.v (floor dX.v)) (* dY.v (floor dX.v))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dX.w) dX.v) (* (floor dX.w) dX.v))) (* (* (floor d) h) (* (floor d) h))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dX.w) dY.v) (* (floor dX.w) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor dX.w) (* dX.v (* dX.v (floor dX.w)))) (* (floor d) (* h (* h (floor d)))))) (+ (* (* dY.v (floor dX.w)) (* dY.v (floor dX.w))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dY.u) dX.v) (* (floor dY.u) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) h) (* (floor w) h)) (* (* (floor dY.u) dY.v) (* (floor dY.u) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* dX.v (floor dY.u)) (* dX.v (floor dY.u))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (+ (* (* (floor w) h) (* (floor w) h)) (* (floor dY.u) (* dY.v (* dY.v (floor dY.u)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dY.v) dX.v) (* (floor dY.v) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dY.v) h) (* (floor dY.v) h))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (floor dY.v) (* dX.v (* dX.v (floor dY.v)))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (* (floor dY.v) (* h (* h (floor dY.v)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor dY.w) dX.v) (* (floor dY.w) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor dY.w) dY.v) (* (floor dY.w) dY.v))) (* (* (floor d) h) (* (floor d) h))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (* dX.v (floor dY.w)) (* dX.v (floor dY.w))))) (+ (* dY.v (* (floor dY.w) (* dY.v (floor dY.w)))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (floor d) (* h (* h (floor d)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) d) (* (floor w) d)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dX.u) dX.w) (* (floor dX.u) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dX.u) dY.w) (* (floor dX.u) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor w) (* (floor w) (* d d))) (* (floor dX.u) (* dX.w (* dX.w (floor dX.u)))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* dY.w (floor dX.u)) (* dY.w (floor dX.u))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) d) (* (floor h) d))) (* (* (floor dX.v) dX.w) (* (floor dX.v) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dX.v) dY.w) (* (floor dX.v) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (* (floor h) d) (* (floor h) d)) (* (floor dX.v) (* dX.w (* dX.w (floor dX.v)))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* dY.w (floor dX.v)) (* dY.w (floor dX.v))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dX.w) d) (* (floor dX.w) d))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dX.w) dY.w) (* (floor dX.w) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor dX.w) (* d (* d (floor dX.w)))))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (floor dX.w) (* dY.w (* dY.w (floor dX.w)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dY.u) dX.w) (* (floor dY.u) dX.w))) (+ (+ (* (* (floor w) d) (* (floor w) d)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dY.u) dY.w) (* (floor dY.u) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor dY.u) (* dX.w (* dX.w (floor dY.u)))))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (+ (* (floor w) (* (floor w) (* d d))) (* (floor dY.u) (* dY.w (* dY.w (floor dY.u)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dY.v) dX.w) (* (floor dY.v) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) d) (* (floor h) d))) (* (* (floor dY.v) dY.w) (* (floor dY.v) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor dY.v) (* dX.w (* dX.w (floor dY.v)))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) d) (* (floor h) d)) (* (* dY.w (floor dY.v)) (* dY.w (floor dY.v))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor dY.w) dX.w) (* (floor dY.w) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor dY.w) d) (* (floor dY.w) d))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (* dX.w (floor dY.w)) (* dX.w (floor dY.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* d (floor dY.w)) (* d (floor dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.v) (* (floor w) dX.v)) (* (* (floor h) dX.u) (* (floor h) dX.u))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (+ (* (* dX.u (floor h)) (* dX.u (floor h))) (* (floor w) (* dX.v (* (floor w) dX.v))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.w) (* (floor w) dX.w)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.u) (* (floor d) dX.u))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor d) (* dX.u (* dX.u (floor d)))) (* (* (floor w) dX.w) (* (floor w) dX.w)))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (floor w) (* dY.u (* (floor w) dY.u))))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dY.v) (* (floor w) dY.v)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.u) (* (floor h) dX.u))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (floor w) (* dY.v (* (floor w) dY.v))) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (* (* dX.u (floor h)) (* dX.u (floor h))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dY.w) (* (floor w) dY.w)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dX.u) (* (floor d) dX.u))))))
(log2 (sqrt (fmax (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (floor w) (* dY.w (* (floor w) dY.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dX.u (* dX.u (floor d)))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.w) (* (floor h) dX.w))) (* (* (floor d) dX.v) (* (floor d) dX.v))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (* dX.v (floor d)) (* dX.v (floor d))) (* (* (floor h) dX.w) (* (floor h) dX.w)))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dY.u) (* (floor h) dY.u))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dX.v) (* (floor w) dX.v)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (floor h) (* dY.u (* (floor h) dY.u))))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor w) (* dX.v (* (floor w) dX.v))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dY.w) (* (floor h) dY.w))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dX.v) (* (floor d) dX.v))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (* (* (floor h) dY.w) (* (floor h) dY.w)))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* dX.v (floor d)) (* dX.v (floor d))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dY.u) (* (floor d) dY.u))) (+ (+ (* (* (floor w) dX.w) (* (floor w) dX.w)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dY.u (* (floor d) dY.u))))) (+ (* (* (floor w) dX.w) (* (floor w) dX.w)) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor d) (* dY.w (* (floor d) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dY.v) (* (floor d) dY.v))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dX.w) (* (floor h) dX.w))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (* (floor d) dY.v) (* (floor d) dY.v)))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (* (* (floor h) dX.w) (* (floor h) dX.w)))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dY.w (* (floor d) dY.w))))) (+ (* (floor d) (* dX.w (* (floor d) dX.w))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (* (* (floor h) dY.v) (* (floor h) dY.v)))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.v) (* (floor w) dY.v)) (* (* (floor h) dY.u) (* (floor h) dY.u))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor d) (* dY.w (* (floor d) dY.w))) (+ (* (floor h) (* dY.u (* (floor h) dY.u))) (* (floor w) (* dY.v (* (floor w) dY.v))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.w) (* (floor w) dY.w)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.u) (* (floor d) dY.u))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (* (floor h) dY.v) (* (floor h) dY.v)) (+ (* (floor d) (* dY.u (* (floor d) dY.u))) (* (floor w) (* dY.w (* (floor w) dY.w))))))))
(log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.w) (* (floor h) dY.w))) (* (* (floor d) dY.v) (* (floor d) dY.v))))))
(log2 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (+ (* (floor h) (* dX.v (* (floor h) dX.v))) (* (floor d) (* dX.w (* (floor d) dX.w))))) (+ (* (floor w) (* dY.u (* (floor w) dY.u))) (+ (* (* (floor d) dY.v) (* (floor d) dY.v)) (* (* (floor h) dY.w) (* (floor h) dY.w)))))))
Symmetry

(abs dX.u)

(abs dX.v)

(abs dX.w)

(abs dY.u)

(abs dY.v)

(abs dY.w)

explain15.0ms (0.3%)

Memory
-18.8MiB live, 62.8MiB allocated
Samples
1.0ms6×0valid
Compiler

Compiled 371 to 33 computations (91.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0ms
ival-floor: 0.0ms (0% of total)
ival-fmax: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-sqrt: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-log2: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...