Anisotropic x16 LOD (line direction, u)

Percentage Accurate: 75.8% → 75.9%

Time: 24.3s

Alternatives: 6

Speedup: 1.0×

Specification

\[\left(\left(\left(\left(\left(\left(1 \leq w \land w \leq 16384\right) \land \left(1 \leq h \land h \leq 16384\right)\right) \land \left(10^{-20} \leq \left|dX.u\right| \land \left|dX.u\right| \leq 10^{+20}\right)\right) \land \left(10^{-20} \leq \left|dX.v\right| \land \left|dX.v\right| \leq 10^{+20}\right)\right) \land \left(10^{-20} \leq \left|dY.u\right| \land \left|dY.u\right| \leq 10^{+20}\right)\right) \land \left(10^{-20} \leq \left|dY.v\right| \land \left|dY.v\right| \leq 10^{+20}\right)\right) \land maxAniso = 16\]

Math

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left\lfloorh\right\rfloor \cdot dX.v\\ t_1 := \left\lfloorw\right\rfloor \cdot dY.u\\ t_2 := \left\lfloorw\right\rfloor \cdot dX.u\\ t_3 := t_2 \cdot t_2 + t_0 \cdot t_0\\ t_4 := \left\lfloorh\right\rfloor \cdot dY.v\\ t_5 := t_1 \cdot t_1 + t_4 \cdot t_4\\ t_6 := \frac{1}{\sqrt{\mathsf{max}\left(t_3, t_5\right)}}\\ \mathbf{if}\;t_3 \geq t_5:\\ \;\;\;\;t_6 \cdot t_2\\ \mathbf{else}:\\ \;\;\;\;t_6 \cdot t_1\\ \end{array} \end{array} \]

FPCore

(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
 :precision binary32
 (let* ((t_0 (* (floor h) dX.v))
        (t_1 (* (floor w) dY.u))
        (t_2 (* (floor w) dX.u))
        (t_3 (+ (* t_2 t_2) (* t_0 t_0)))
        (t_4 (* (floor h) dY.v))
        (t_5 (+ (* t_1 t_1) (* t_4 t_4)))
        (t_6 (/ 1.0 (sqrt (fmax t_3 t_5)))))
   (if (>= t_3 t_5) (* t_6 t_2) (* t_6 t_1))))

C

float code(float w, float h, float dX_46_u, float dX_46_v, float dY_46_u, float dY_46_v, float maxAniso) {
	float t_0 = floorf(h) * dX_46_v;
	float t_1 = floorf(w) * dY_46_u;
	float t_2 = floorf(w) * dX_46_u;
	float t_3 = (t_2 * t_2) + (t_0 * t_0);
	float t_4 = floorf(h) * dY_46_v;
	float t_5 = (t_1 * t_1) + (t_4 * t_4);
	float t_6 = 1.0f / sqrtf(fmaxf(t_3, t_5));
	float tmp;
	if (t_3 >= t_5) {
		tmp = t_6 * t_2;
	} else {
		tmp = t_6 * t_1;
	}
	return tmp;
}

Julia

function code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = Float32(floor(h) * dX_46_v)
	t_1 = Float32(floor(w) * dY_46_u)
	t_2 = Float32(floor(w) * dX_46_u)
	t_3 = Float32(Float32(t_2 * t_2) + Float32(t_0 * t_0))
	t_4 = Float32(floor(h) * dY_46_v)
	t_5 = Float32(Float32(t_1 * t_1) + Float32(t_4 * t_4))
	t_6 = Float32(Float32(1.0) / sqrt(((t_3 != t_3) ? t_5 : ((t_5 != t_5) ? t_3 : max(t_3, t_5)))))
	tmp = Float32(0.0)
	if (t_3 >= t_5)
		tmp = Float32(t_6 * t_2);
	else
		tmp = Float32(t_6 * t_1);
	end
	return tmp
end

MATLAB

function tmp_2 = code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = floor(h) * dX_46_v;
	t_1 = floor(w) * dY_46_u;
	t_2 = floor(w) * dX_46_u;
	t_3 = (t_2 * t_2) + (t_0 * t_0);
	t_4 = floor(h) * dY_46_v;
	t_5 = (t_1 * t_1) + (t_4 * t_4);
	t_6 = single(1.0) / sqrt(max(t_3, t_5));
	tmp = single(0.0);
	if (t_3 >= t_5)
		tmp = t_6 * t_2;
	else
		tmp = t_6 * t_1;
	end
	tmp_2 = tmp;
end

Initial Program: 75.8% accurate, 1.0× speedup

Math

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left\lfloorh\right\rfloor \cdot dX.v\\ t_1 := \left\lfloorw\right\rfloor \cdot dY.u\\ t_2 := \left\lfloorw\right\rfloor \cdot dX.u\\ t_3 := t_2 \cdot t_2 + t_0 \cdot t_0\\ t_4 := \left\lfloorh\right\rfloor \cdot dY.v\\ t_5 := t_1 \cdot t_1 + t_4 \cdot t_4\\ t_6 := \frac{1}{\sqrt{\mathsf{max}\left(t_3, t_5\right)}}\\ \mathbf{if}\;t_3 \geq t_5:\\ \;\;\;\;t_6 \cdot t_2\\ \mathbf{else}:\\ \;\;\;\;t_6 \cdot t_1\\ \end{array} \end{array} \]

FPCore

(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
 :precision binary32
 (let* ((t_0 (* (floor h) dX.v))
        (t_1 (* (floor w) dY.u))
        (t_2 (* (floor w) dX.u))
        (t_3 (+ (* t_2 t_2) (* t_0 t_0)))
        (t_4 (* (floor h) dY.v))
        (t_5 (+ (* t_1 t_1) (* t_4 t_4)))
        (t_6 (/ 1.0 (sqrt (fmax t_3 t_5)))))
   (if (>= t_3 t_5) (* t_6 t_2) (* t_6 t_1))))

C

float code(float w, float h, float dX_46_u, float dX_46_v, float dY_46_u, float dY_46_v, float maxAniso) {
	float t_0 = floorf(h) * dX_46_v;
	float t_1 = floorf(w) * dY_46_u;
	float t_2 = floorf(w) * dX_46_u;
	float t_3 = (t_2 * t_2) + (t_0 * t_0);
	float t_4 = floorf(h) * dY_46_v;
	float t_5 = (t_1 * t_1) + (t_4 * t_4);
	float t_6 = 1.0f / sqrtf(fmaxf(t_3, t_5));
	float tmp;
	if (t_3 >= t_5) {
		tmp = t_6 * t_2;
	} else {
		tmp = t_6 * t_1;
	}
	return tmp;
}

Julia

function code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = Float32(floor(h) * dX_46_v)
	t_1 = Float32(floor(w) * dY_46_u)
	t_2 = Float32(floor(w) * dX_46_u)
	t_3 = Float32(Float32(t_2 * t_2) + Float32(t_0 * t_0))
	t_4 = Float32(floor(h) * dY_46_v)
	t_5 = Float32(Float32(t_1 * t_1) + Float32(t_4 * t_4))
	t_6 = Float32(Float32(1.0) / sqrt(((t_3 != t_3) ? t_5 : ((t_5 != t_5) ? t_3 : max(t_3, t_5)))))
	tmp = Float32(0.0)
	if (t_3 >= t_5)
		tmp = Float32(t_6 * t_2);
	else
		tmp = Float32(t_6 * t_1);
	end
	return tmp
end

MATLAB

function tmp_2 = code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = floor(h) * dX_46_v;
	t_1 = floor(w) * dY_46_u;
	t_2 = floor(w) * dX_46_u;
	t_3 = (t_2 * t_2) + (t_0 * t_0);
	t_4 = floor(h) * dY_46_v;
	t_5 = (t_1 * t_1) + (t_4 * t_4);
	t_6 = single(1.0) / sqrt(max(t_3, t_5));
	tmp = single(0.0);
	if (t_3 >= t_5)
		tmp = t_6 * t_2;
	else
		tmp = t_6 * t_1;
	end
	tmp_2 = tmp;
end

Alternative 1: 75.9% accurate, 0.8× speedup

Math

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left\lfloorh\right\rfloor \cdot dX.v\\ t_1 := \left\lfloorw\right\rfloor \cdot dY.u\\ t_2 := \mathsf{fma}\left(t_1, t_1, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\\ t_3 := \left\lfloorw\right\rfloor \cdot dX.u\\ t_4 := \mathsf{fma}\left(t_3, t_3, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot t_0\right)\right)\\ \mathbf{if}\;t_4 \geq t_2:\\ \;\;\;\;\frac{t_3}{\sqrt{\mathsf{max}\left(t_4, t_2\right)}}\\ \mathbf{else}:\\ \;\;\;\;t_1 \cdot \sqrt{\frac{1}{\mathsf{max}\left({t_0}^{2} + {t_3}^{2}, \mathsf{fma}\left(t_1, t_1, {\left(\left\lfloorh\right\rfloor\right)}^{2} \cdot {dY.v}^{2}\right)\right)}}\\ \end{array} \end{array} \]

FPCore

(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
 :precision binary32
 (let* ((t_0 (* (floor h) dX.v))
        (t_1 (* (floor w) dY.u))
        (t_2 (fma t_1 t_1 (* (floor h) (* dY.v (* (floor h) dY.v)))))
        (t_3 (* (floor w) dX.u))
        (t_4 (fma t_3 t_3 (* (floor h) (* dX.v t_0)))))
   (if (>= t_4 t_2)
     (/ t_3 (sqrt (fmax t_4 t_2)))
     (*
      t_1
      (sqrt
       (/
        1.0
        (fmax
         (+ (pow t_0 2.0) (pow t_3 2.0))
         (fma t_1 t_1 (* (pow (floor h) 2.0) (pow dY.v 2.0))))))))))

C

float code(float w, float h, float dX_46_u, float dX_46_v, float dY_46_u, float dY_46_v, float maxAniso) {
	float t_0 = floorf(h) * dX_46_v;
	float t_1 = floorf(w) * dY_46_u;
	float t_2 = fmaf(t_1, t_1, (floorf(h) * (dY_46_v * (floorf(h) * dY_46_v))));
	float t_3 = floorf(w) * dX_46_u;
	float t_4 = fmaf(t_3, t_3, (floorf(h) * (dX_46_v * t_0)));
	float tmp;
	if (t_4 >= t_2) {
		tmp = t_3 / sqrtf(fmaxf(t_4, t_2));
	} else {
		tmp = t_1 * sqrtf((1.0f / fmaxf((powf(t_0, 2.0f) + powf(t_3, 2.0f)), fmaf(t_1, t_1, (powf(floorf(h), 2.0f) * powf(dY_46_v, 2.0f))))));
	}
	return tmp;
}

Julia

function code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = Float32(floor(h) * dX_46_v)
	t_1 = Float32(floor(w) * dY_46_u)
	t_2 = fma(t_1, t_1, Float32(floor(h) * Float32(dY_46_v * Float32(floor(h) * dY_46_v))))
	t_3 = Float32(floor(w) * dX_46_u)
	t_4 = fma(t_3, t_3, Float32(floor(h) * Float32(dX_46_v * t_0)))
	tmp = Float32(0.0)
	if (t_4 >= t_2)
		tmp = Float32(t_3 / sqrt(((t_4 != t_4) ? t_2 : ((t_2 != t_2) ? t_4 : max(t_4, t_2)))));
	else
		tmp = Float32(t_1 * sqrt(Float32(Float32(1.0) / ((Float32((t_0 ^ Float32(2.0)) + (t_3 ^ Float32(2.0))) != Float32((t_0 ^ Float32(2.0)) + (t_3 ^ Float32(2.0)))) ? fma(t_1, t_1, Float32((floor(h) ^ Float32(2.0)) * (dY_46_v ^ Float32(2.0)))) : ((fma(t_1, t_1, Float32((floor(h) ^ Float32(2.0)) * (dY_46_v ^ Float32(2.0)))) != fma(t_1, t_1, Float32((floor(h) ^ Float32(2.0)) * (dY_46_v ^ Float32(2.0))))) ? Float32((t_0 ^ Float32(2.0)) + (t_3 ^ Float32(2.0))) : max(Float32((t_0 ^ Float32(2.0)) + (t_3 ^ Float32(2.0))), fma(t_1, t_1, Float32((floor(h) ^ Float32(2.0)) * (dY_46_v ^ Float32(2.0))))))))));
	end
	return tmp
end

Derivation

1. Initial program 78.4%

   \[\begin{array}{l} \mathbf{if}\;\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

3. Simplified 78.5%

   \[\leadsto \color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \frac{1}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ } \end{array}} \]

4. Taylor expanded in w around 0 78.6%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left(\mathsf{fma}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.u \cdot \left\lfloorw\right\rfloor, {dX.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right), \mathsf{fma}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.u \cdot \left\lfloorw\right\rfloor, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}}\\ \end{array} \]

6. Simplified 78.6%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2} + {dX.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}, \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, {\left(\left\lfloorh\right\rfloor\right)}^{2} \cdot {dY.v}^{2}\right)\right)}}}\\ \end{array} \]

7. Taylor expanded in dX.u around 0 78.6%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({dX.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2} + {\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2}, \mathsf{fma}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.u \cdot \left\lfloorw\right\rfloor, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}}\\ \end{array} \]
8. Step-by-step derivation

   1. unpow2 78.6%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left(\left(dX.v \cdot dX.v\right) \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2} + {\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2}, \mathsf{fma}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.u \cdot \left\lfloorw\right\rfloor, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}\\ \end{array} \]

   2. unpow2 78.6%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left(\left(dX.v \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot \left\lfloorh\right\rfloor\right) + {\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2}, \mathsf{fma}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.u \cdot \left\lfloorw\right\rfloor, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}\\ \end{array} \]

   3. swap-sqr 78.6%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left(\left(dX.v \cdot \left\lfloorh\right\rfloor\right) \cdot \left(dX.v \cdot \left\lfloorh\right\rfloor\right) + {\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2}, \mathsf{fma}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.u \cdot \left\lfloorw\right\rfloor, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}\\ \end{array} \]

   4. unpow2 78.6%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(dX.v \cdot \left\lfloorh\right\rfloor\right)}^{2} + {\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2}, \mathsf{fma}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.u \cdot \left\lfloorw\right\rfloor, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}\\ \end{array} \]

   5. +-commutative 78.6%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2} + {\left(dX.v \cdot \left\lfloorh\right\rfloor\right)}^{2}, \mathsf{fma}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.u \cdot \left\lfloorw\right\rfloor, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}\\ \end{array} \]

   6. *-commutative 78.6%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2} + {\left(dX.v \cdot \left\lfloorh\right\rfloor\right)}^{2}, \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, dY.u \cdot \left\lfloorw\right\rfloor, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}\\ \end{array} \]

   7. *-commutative 78.6%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2} + {\left(dX.v \cdot \left\lfloorh\right\rfloor\right)}^{2}, \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}}\\ \end{array} \]

   8. *-commutative 78.6%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2} + {\left(dX.v \cdot \left\lfloorh\right\rfloor\right)}^{2}, \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, {\left(\left\lfloorh\right\rfloor\right)}^{2} \cdot {dY.v}^{2}\right)\right)}}\\ \end{array} \]

9. Simplified 78.6%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(dX.u \cdot \left\lfloorw\right\rfloor\right)}^{2} + {\left(dX.v \cdot \left\lfloorh\right\rfloor\right)}^{2}, \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, {\left(\left\lfloorh\right\rfloor\right)}^{2} \cdot {dY.v}^{2}\right)\right)}}}\\ \end{array} \]

10. Final simplification 78.6%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{\left\lfloorw\right\rfloor \cdot dX.u}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\left\lfloorh\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2}, \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, {\left(\left\lfloorh\right\rfloor\right)}^{2} \cdot {dY.v}^{2}\right)\right)}}\\ \end{array} \]

Alternative 2: 76.0% accurate, 0.9× speedup

Math

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left\lfloorh\right\rfloor \cdot dX.v\\ t_1 := \left\lfloorw\right\rfloor \cdot dY.u\\ t_2 := \left\lfloorw\right\rfloor \cdot dX.u\\ t_3 := \left\lfloorh\right\rfloor \cdot dY.v\\ t_4 := \mathsf{max}\left({\left(\mathsf{hypot}\left(t_2, t_0\right)\right)}^{2}, {\left(\mathsf{hypot}\left(t_1, t_3\right)\right)}^{2}\right)\\ \mathbf{if}\;\mathsf{fma}\left(t_2, t_2, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot t_0\right)\right) \geq \mathsf{fma}\left(t_1, t_1, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot t_3\right)\right):\\ \;\;\;\;\frac{t_2}{{t_4}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;{\left(\frac{\sqrt{t_4}}{t_1}\right)}^{-1}\\ \end{array} \end{array} \]

FPCore

(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
 :precision binary32
 (let* ((t_0 (* (floor h) dX.v))
        (t_1 (* (floor w) dY.u))
        (t_2 (* (floor w) dX.u))
        (t_3 (* (floor h) dY.v))
        (t_4 (fmax (pow (hypot t_2 t_0) 2.0) (pow (hypot t_1 t_3) 2.0))))
   (if (>=
        (fma t_2 t_2 (* (floor h) (* dX.v t_0)))
        (fma t_1 t_1 (* (floor h) (* dY.v t_3))))
     (/ t_2 (pow t_4 0.5))
     (pow (/ (sqrt t_4) t_1) -1.0))))

C

float code(float w, float h, float dX_46_u, float dX_46_v, float dY_46_u, float dY_46_v, float maxAniso) {
	float t_0 = floorf(h) * dX_46_v;
	float t_1 = floorf(w) * dY_46_u;
	float t_2 = floorf(w) * dX_46_u;
	float t_3 = floorf(h) * dY_46_v;
	float t_4 = fmaxf(powf(hypotf(t_2, t_0), 2.0f), powf(hypotf(t_1, t_3), 2.0f));
	float tmp;
	if (fmaf(t_2, t_2, (floorf(h) * (dX_46_v * t_0))) >= fmaf(t_1, t_1, (floorf(h) * (dY_46_v * t_3)))) {
		tmp = t_2 / powf(t_4, 0.5f);
	} else {
		tmp = powf((sqrtf(t_4) / t_1), -1.0f);
	}
	return tmp;
}

Julia

function code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = Float32(floor(h) * dX_46_v)
	t_1 = Float32(floor(w) * dY_46_u)
	t_2 = Float32(floor(w) * dX_46_u)
	t_3 = Float32(floor(h) * dY_46_v)
	t_4 = ((hypot(t_2, t_0) ^ Float32(2.0)) != (hypot(t_2, t_0) ^ Float32(2.0))) ? (hypot(t_1, t_3) ^ Float32(2.0)) : (((hypot(t_1, t_3) ^ Float32(2.0)) != (hypot(t_1, t_3) ^ Float32(2.0))) ? (hypot(t_2, t_0) ^ Float32(2.0)) : max((hypot(t_2, t_0) ^ Float32(2.0)), (hypot(t_1, t_3) ^ Float32(2.0))))
	tmp = Float32(0.0)
	if (fma(t_2, t_2, Float32(floor(h) * Float32(dX_46_v * t_0))) >= fma(t_1, t_1, Float32(floor(h) * Float32(dY_46_v * t_3))))
		tmp = Float32(t_2 / (t_4 ^ Float32(0.5)));
	else
		tmp = Float32(sqrt(t_4) / t_1) ^ Float32(-1.0);
	end
	return tmp
end

Derivation

1. Initial program 78.4%

   \[\begin{array}{l} \mathbf{if}\;\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

3. Simplified 78.5%

   \[\leadsto \color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \frac{1}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ } \end{array}} \]

5. Applied egg-rr 78.5%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;{\left(\frac{\sqrt{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}{\left\lfloorw\right\rfloor \cdot dY.u}\right)}^{-1}\\ \end{array} \]

7. Applied egg-rr 78.5%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\color{blue}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}}\\ \mathbf{else}:\\ \;\;\;\;{\left(\frac{\sqrt{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}{\left\lfloorw\right\rfloor \cdot dY.u}\right)}^{-1}\\ \end{array} \]

8. Final simplification 78.5%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{\left\lfloorw\right\rfloor \cdot dX.u}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;{\left(\frac{\sqrt{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}{\left\lfloorw\right\rfloor \cdot dY.u}\right)}^{-1}\\ \end{array} \]

Alternative 3: 75.9% accurate, 0.9× speedup

Math

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left\lfloorh\right\rfloor \cdot dX.v\\ t_1 := \left\lfloorw\right\rfloor \cdot dY.u\\ t_2 := \left\lfloorw\right\rfloor \cdot dX.u\\ t_3 := {\left(\mathsf{hypot}\left(t_2, t_0\right)\right)}^{2}\\ t_4 := \left\lfloorh\right\rfloor \cdot dY.v\\ \mathbf{if}\;\mathsf{fma}\left(t_2, t_2, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot t_0\right)\right) \geq \mathsf{fma}\left(t_1, t_1, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot t_4\right)\right):\\ \;\;\;\;\frac{t_2}{{\left(\mathsf{max}\left(t_3, {\left(\mathsf{hypot}\left(t_1, t_4\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;t_1 \cdot \sqrt{\frac{1}{\mathsf{max}\left(t_3, {t_1}^{2} + {t_4}^{2}\right)}}\\ \end{array} \end{array} \]

FPCore

(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
 :precision binary32
 (let* ((t_0 (* (floor h) dX.v))
        (t_1 (* (floor w) dY.u))
        (t_2 (* (floor w) dX.u))
        (t_3 (pow (hypot t_2 t_0) 2.0))
        (t_4 (* (floor h) dY.v)))
   (if (>=
        (fma t_2 t_2 (* (floor h) (* dX.v t_0)))
        (fma t_1 t_1 (* (floor h) (* dY.v t_4))))
     (/ t_2 (pow (fmax t_3 (pow (hypot t_1 t_4) 2.0)) 0.5))
     (* t_1 (sqrt (/ 1.0 (fmax t_3 (+ (pow t_1 2.0) (pow t_4 2.0)))))))))

C

float code(float w, float h, float dX_46_u, float dX_46_v, float dY_46_u, float dY_46_v, float maxAniso) {
	float t_0 = floorf(h) * dX_46_v;
	float t_1 = floorf(w) * dY_46_u;
	float t_2 = floorf(w) * dX_46_u;
	float t_3 = powf(hypotf(t_2, t_0), 2.0f);
	float t_4 = floorf(h) * dY_46_v;
	float tmp;
	if (fmaf(t_2, t_2, (floorf(h) * (dX_46_v * t_0))) >= fmaf(t_1, t_1, (floorf(h) * (dY_46_v * t_4)))) {
		tmp = t_2 / powf(fmaxf(t_3, powf(hypotf(t_1, t_4), 2.0f)), 0.5f);
	} else {
		tmp = t_1 * sqrtf((1.0f / fmaxf(t_3, (powf(t_1, 2.0f) + powf(t_4, 2.0f)))));
	}
	return tmp;
}

Julia

function code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = Float32(floor(h) * dX_46_v)
	t_1 = Float32(floor(w) * dY_46_u)
	t_2 = Float32(floor(w) * dX_46_u)
	t_3 = hypot(t_2, t_0) ^ Float32(2.0)
	t_4 = Float32(floor(h) * dY_46_v)
	tmp = Float32(0.0)
	if (fma(t_2, t_2, Float32(floor(h) * Float32(dX_46_v * t_0))) >= fma(t_1, t_1, Float32(floor(h) * Float32(dY_46_v * t_4))))
		tmp = Float32(t_2 / (((t_3 != t_3) ? (hypot(t_1, t_4) ^ Float32(2.0)) : (((hypot(t_1, t_4) ^ Float32(2.0)) != (hypot(t_1, t_4) ^ Float32(2.0))) ? t_3 : max(t_3, (hypot(t_1, t_4) ^ Float32(2.0))))) ^ Float32(0.5)));
	else
		tmp = Float32(t_1 * sqrt(Float32(Float32(1.0) / ((t_3 != t_3) ? Float32((t_1 ^ Float32(2.0)) + (t_4 ^ Float32(2.0))) : ((Float32((t_1 ^ Float32(2.0)) + (t_4 ^ Float32(2.0))) != Float32((t_1 ^ Float32(2.0)) + (t_4 ^ Float32(2.0)))) ? t_3 : max(t_3, Float32((t_1 ^ Float32(2.0)) + (t_4 ^ Float32(2.0)))))))));
	end
	return tmp
end

Derivation

1. Initial program 78.4%

   \[\begin{array}{l} \mathbf{if}\;\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

3. Simplified 78.5%

   \[\leadsto \color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \frac{1}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ } \end{array}} \]

5. Applied egg-rr 78.2%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot {\left({\left(\sqrt{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}\right)}^{-0.5}\right)}^{2}}\\ \end{array} \]

7. Applied egg-rr 78.2%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\color{blue}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot {\left({\left(\sqrt{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}\right)}^{-0.5}\right)}^{2}\\ \end{array} \]

8. Taylor expanded in w around 0 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}\right)}}}\\ \end{array} \]
9. Step-by-step derivation

   1. *-commutative 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, dY.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}\right)}}\\ \end{array} \]

   2. *-commutative 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]

10. Simplified 78.4%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}}\\ \end{array} \]
11. Step-by-step derivation

    1. unpow2 78.4%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, \mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}}\\ \end{array} \]

    2. hypot-udef 78.5%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)} \cdot \mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}}\\ \end{array} \]

    3. pow2 78.5%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}} \cdot \mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}}\\ \end{array} \]

    4. exp-to-pow 61.8%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}} \cdot \mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}}\\ \end{array} \]

    5. hypot-udef 61.8%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}} \cdot \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)}\right)}}\\ \end{array} \]

    6. pow2 61.8%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}} \cdot \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}}\right)}}\\ \end{array} \]

    7. exp-to-pow 61.5%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}} \cdot \sqrt{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}}\right)}}\\ \end{array} \]

    8. add-sqr-sqrt 61.5%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}\right)}}\\ \end{array} \]

    9. pow2 61.5%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\left\lfloorw\right\rfloor \cdot dY.u\right)}^{2} + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}\right)}}\\ \end{array} \]

    10. exp-to-pow 78.5%

        \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\left\lfloorw\right\rfloor \cdot dY.u\right)}^{2} + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}\right)}}\\ \end{array} \]

12. Applied egg-rr 78.5%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\left\lfloorw\right\rfloor \cdot dY.u\right)}^{2} + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}\right)}}\\ \end{array} \]

13. Final simplification 78.5%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{\left\lfloorw\right\rfloor \cdot dX.u}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\left\lfloorw\right\rfloor \cdot dY.u\right)}^{2} + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}\right)}}\\ \end{array} \]

Alternative 4: 75.9% accurate, 0.9× speedup

Math

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left\lfloorh\right\rfloor \cdot dX.v\\ t_1 := \left\lfloorw\right\rfloor \cdot dY.u\\ t_2 := \left\lfloorw\right\rfloor \cdot dX.u\\ t_3 := {\left(\mathsf{hypot}\left(t_2, t_0\right)\right)}^{2}\\ t_4 := \left\lfloorh\right\rfloor \cdot dY.v\\ \mathbf{if}\;\mathsf{fma}\left(t_2, t_2, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot t_0\right)\right) \geq \mathsf{fma}\left(t_1, t_1, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot t_4\right)\right):\\ \;\;\;\;\frac{t_2}{{\left(\mathsf{max}\left(t_3, {t_4}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;t_1 \cdot \sqrt{\frac{1}{\mathsf{max}\left(t_3, {\left(\mathsf{hypot}\left(t_1, t_4\right)\right)}^{2}\right)}}\\ \end{array} \end{array} \]

FPCore

(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
 :precision binary32
 (let* ((t_0 (* (floor h) dX.v))
        (t_1 (* (floor w) dY.u))
        (t_2 (* (floor w) dX.u))
        (t_3 (pow (hypot t_2 t_0) 2.0))
        (t_4 (* (floor h) dY.v)))
   (if (>=
        (fma t_2 t_2 (* (floor h) (* dX.v t_0)))
        (fma t_1 t_1 (* (floor h) (* dY.v t_4))))
     (/ t_2 (pow (fmax t_3 (pow t_4 2.0)) 0.5))
     (* t_1 (sqrt (/ 1.0 (fmax t_3 (pow (hypot t_1 t_4) 2.0))))))))

C

float code(float w, float h, float dX_46_u, float dX_46_v, float dY_46_u, float dY_46_v, float maxAniso) {
	float t_0 = floorf(h) * dX_46_v;
	float t_1 = floorf(w) * dY_46_u;
	float t_2 = floorf(w) * dX_46_u;
	float t_3 = powf(hypotf(t_2, t_0), 2.0f);
	float t_4 = floorf(h) * dY_46_v;
	float tmp;
	if (fmaf(t_2, t_2, (floorf(h) * (dX_46_v * t_0))) >= fmaf(t_1, t_1, (floorf(h) * (dY_46_v * t_4)))) {
		tmp = t_2 / powf(fmaxf(t_3, powf(t_4, 2.0f)), 0.5f);
	} else {
		tmp = t_1 * sqrtf((1.0f / fmaxf(t_3, powf(hypotf(t_1, t_4), 2.0f))));
	}
	return tmp;
}

Julia

function code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = Float32(floor(h) * dX_46_v)
	t_1 = Float32(floor(w) * dY_46_u)
	t_2 = Float32(floor(w) * dX_46_u)
	t_3 = hypot(t_2, t_0) ^ Float32(2.0)
	t_4 = Float32(floor(h) * dY_46_v)
	tmp = Float32(0.0)
	if (fma(t_2, t_2, Float32(floor(h) * Float32(dX_46_v * t_0))) >= fma(t_1, t_1, Float32(floor(h) * Float32(dY_46_v * t_4))))
		tmp = Float32(t_2 / (((t_3 != t_3) ? (t_4 ^ Float32(2.0)) : (((t_4 ^ Float32(2.0)) != (t_4 ^ Float32(2.0))) ? t_3 : max(t_3, (t_4 ^ Float32(2.0))))) ^ Float32(0.5)));
	else
		tmp = Float32(t_1 * sqrt(Float32(Float32(1.0) / ((t_3 != t_3) ? (hypot(t_1, t_4) ^ Float32(2.0)) : (((hypot(t_1, t_4) ^ Float32(2.0)) != (hypot(t_1, t_4) ^ Float32(2.0))) ? t_3 : max(t_3, (hypot(t_1, t_4) ^ Float32(2.0))))))));
	end
	return tmp
end

Derivation

1. Initial program 78.4%

   \[\begin{array}{l} \mathbf{if}\;\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

3. Simplified 78.5%

   \[\leadsto \color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \frac{1}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ } \end{array}} \]

5. Applied egg-rr 78.2%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot {\left({\left(\sqrt{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}\right)}^{-0.5}\right)}^{2}}\\ \end{array} \]

7. Applied egg-rr 78.2%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{\color{blue}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot {\left({\left(\sqrt{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}\right)}^{-0.5}\right)}^{2}\\ \end{array} \]

8. Taylor expanded in w around 0 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(dY.u \cdot \left\lfloorw\right\rfloor, dY.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}\right)}}}\\ \end{array} \]
9. Step-by-step derivation

   1. *-commutative 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, dY.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}\right)}}\\ \end{array} \]

   2. *-commutative 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]

10. Simplified 78.4%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}}\\ \end{array} \]

11. Taylor expanded in dY.u around 0 78.4%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, \color{blue}{{dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]
12. Step-by-step derivation

    1. unpow2 78.4%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, \color{blue}{\left(dY.v \cdot dY.v\right)} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]

    2. unpow2 78.4%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, \left(dY.v \cdot dY.v\right) \cdot \color{blue}{\left(\left\lfloorh\right\rfloor \cdot \left\lfloorh\right\rfloor\right)}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]

    3. swap-sqr 78.4%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, \color{blue}{\left(dY.v \cdot \left\lfloorh\right\rfloor\right) \cdot \left(dY.v \cdot \left\lfloorh\right\rfloor\right)}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]

    4. unpow2 78.4%

       \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, \color{blue}{{\left(dY.v \cdot \left\lfloorh\right\rfloor\right)}^{2}}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]

13. Simplified 78.4%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{1 \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, \color{blue}{{\left(dY.v \cdot \left\lfloorh\right\rfloor\right)}^{2}}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(dX.u \cdot \left\lfloorw\right\rfloor, dX.v \cdot \left\lfloorh\right\rfloor\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]

14. Final simplification 78.4%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot \left(dX.v \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right)\right)\right) \geq \mathsf{fma}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right):\\ \;\;\;\;\frac{\left\lfloorw\right\rfloor \cdot dX.u}{{\left(\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}\right)\right)}^{0.5}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \sqrt{\frac{1}{\mathsf{max}\left({\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dX.u, \left\lfloorh\right\rfloor \cdot dX.v\right)\right)}^{2}, {\left(\mathsf{hypot}\left(\left\lfloorw\right\rfloor \cdot dY.u, \left\lfloorh\right\rfloor \cdot dY.v\right)\right)}^{2}\right)}}\\ \end{array} \]

Alternative 5: 75.8% accurate, 1.0× speedup

Math

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left\lfloorh\right\rfloor \cdot dX.v\\ t_1 := t_0 \cdot t_0\\ t_2 := \left\lfloorh\right\rfloor \cdot dY.v\\ t_3 := \left\lfloorw\right\rfloor \cdot dY.u\\ t_4 := t_3 \cdot t_3\\ t_5 := \left\lfloorw\right\rfloor \cdot dX.u\\ t_6 := \frac{1}{\sqrt{\mathsf{max}\left(t_1 + t_5 \cdot t_5, t_4 + t_2 \cdot t_2\right)}}\\ \mathbf{if}\;{t_5}^{2} + t_1 \geq {t_2}^{2} + t_4:\\ \;\;\;\;t_5 \cdot t_6\\ \mathbf{else}:\\ \;\;\;\;t_3 \cdot t_6\\ \end{array} \end{array} \]

FPCore

(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
 :precision binary32
 (let* ((t_0 (* (floor h) dX.v))
        (t_1 (* t_0 t_0))
        (t_2 (* (floor h) dY.v))
        (t_3 (* (floor w) dY.u))
        (t_4 (* t_3 t_3))
        (t_5 (* (floor w) dX.u))
        (t_6 (/ 1.0 (sqrt (fmax (+ t_1 (* t_5 t_5)) (+ t_4 (* t_2 t_2)))))))
   (if (>= (+ (pow t_5 2.0) t_1) (+ (pow t_2 2.0) t_4))
     (* t_5 t_6)
     (* t_3 t_6))))

C

float code(float w, float h, float dX_46_u, float dX_46_v, float dY_46_u, float dY_46_v, float maxAniso) {
	float t_0 = floorf(h) * dX_46_v;
	float t_1 = t_0 * t_0;
	float t_2 = floorf(h) * dY_46_v;
	float t_3 = floorf(w) * dY_46_u;
	float t_4 = t_3 * t_3;
	float t_5 = floorf(w) * dX_46_u;
	float t_6 = 1.0f / sqrtf(fmaxf((t_1 + (t_5 * t_5)), (t_4 + (t_2 * t_2))));
	float tmp;
	if ((powf(t_5, 2.0f) + t_1) >= (powf(t_2, 2.0f) + t_4)) {
		tmp = t_5 * t_6;
	} else {
		tmp = t_3 * t_6;
	}
	return tmp;
}

Julia

function code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = Float32(floor(h) * dX_46_v)
	t_1 = Float32(t_0 * t_0)
	t_2 = Float32(floor(h) * dY_46_v)
	t_3 = Float32(floor(w) * dY_46_u)
	t_4 = Float32(t_3 * t_3)
	t_5 = Float32(floor(w) * dX_46_u)
	t_6 = Float32(Float32(1.0) / sqrt(((Float32(t_1 + Float32(t_5 * t_5)) != Float32(t_1 + Float32(t_5 * t_5))) ? Float32(t_4 + Float32(t_2 * t_2)) : ((Float32(t_4 + Float32(t_2 * t_2)) != Float32(t_4 + Float32(t_2 * t_2))) ? Float32(t_1 + Float32(t_5 * t_5)) : max(Float32(t_1 + Float32(t_5 * t_5)), Float32(t_4 + Float32(t_2 * t_2)))))))
	tmp = Float32(0.0)
	if (Float32((t_5 ^ Float32(2.0)) + t_1) >= Float32((t_2 ^ Float32(2.0)) + t_4))
		tmp = Float32(t_5 * t_6);
	else
		tmp = Float32(t_3 * t_6);
	end
	return tmp
end

MATLAB

function tmp_2 = code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = floor(h) * dX_46_v;
	t_1 = t_0 * t_0;
	t_2 = floor(h) * dY_46_v;
	t_3 = floor(w) * dY_46_u;
	t_4 = t_3 * t_3;
	t_5 = floor(w) * dX_46_u;
	t_6 = single(1.0) / sqrt(max((t_1 + (t_5 * t_5)), (t_4 + (t_2 * t_2))));
	tmp = single(0.0);
	if (((t_5 ^ single(2.0)) + t_1) >= ((t_2 ^ single(2.0)) + t_4))
		tmp = t_5 * t_6;
	else
		tmp = t_3 * t_6;
	end
	tmp_2 = tmp;
end

Derivation

1. Initial program 78.4%

   \[\begin{array}{l} \mathbf{if}\;\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]
2. Step-by-step derivation

   1. pow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\color{blue}{{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2}} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

3. Applied egg-rr 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\color{blue}{{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2}} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

4. Taylor expanded in h around 0 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{{dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]
5. Step-by-step derivation

   1. *-commutative 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{{\left(\left\lfloorh\right\rfloor\right)}^{2} \cdot {dY.v}^{2}}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   2. unpow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{\left(\left\lfloorh\right\rfloor \cdot \left\lfloorh\right\rfloor\right)} \cdot {dY.v}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   3. unpow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot \left\lfloorh\right\rfloor\right) \cdot \color{blue}{\left(dY.v \cdot dY.v\right)}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   4. swap-sqr 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{\left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   5. unpow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{{\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

6. Simplified 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{{\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

7. Final simplification 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2} + \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right):\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) + \left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) + \left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}}\\ \end{array} \]

Alternative 6: 75.8% accurate, 1.0× speedup

Math

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left\lfloorh\right\rfloor \cdot dY.v\\ t_1 := \left\lfloorw\right\rfloor \cdot dY.u\\ t_2 := t_1 \cdot t_1\\ t_3 := \left\lfloorw\right\rfloor \cdot dX.u\\ t_4 := \left\lfloorh\right\rfloor \cdot dX.v\\ t_5 := t_4 \cdot t_4\\ t_6 := t_5 + t_3 \cdot t_3\\ \mathbf{if}\;{t_3}^{2} + t_5 \geq {t_0}^{2} + t_2:\\ \;\;\;\;t_3 \cdot \frac{1}{\sqrt{\mathsf{max}\left(t_6, t_2 + t_0 \cdot t_0\right)}}\\ \mathbf{else}:\\ \;\;\;\;t_1 \cdot \frac{1}{\sqrt{\mathsf{max}\left(t_6, t_2 + \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot t_0\right)\right)}}\\ \end{array} \end{array} \]

FPCore

(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
 :precision binary32
 (let* ((t_0 (* (floor h) dY.v))
        (t_1 (* (floor w) dY.u))
        (t_2 (* t_1 t_1))
        (t_3 (* (floor w) dX.u))
        (t_4 (* (floor h) dX.v))
        (t_5 (* t_4 t_4))
        (t_6 (+ t_5 (* t_3 t_3))))
   (if (>= (+ (pow t_3 2.0) t_5) (+ (pow t_0 2.0) t_2))
     (* t_3 (/ 1.0 (sqrt (fmax t_6 (+ t_2 (* t_0 t_0))))))
     (* t_1 (/ 1.0 (sqrt (fmax t_6 (+ t_2 (* (floor h) (* dY.v t_0))))))))))

C

float code(float w, float h, float dX_46_u, float dX_46_v, float dY_46_u, float dY_46_v, float maxAniso) {
	float t_0 = floorf(h) * dY_46_v;
	float t_1 = floorf(w) * dY_46_u;
	float t_2 = t_1 * t_1;
	float t_3 = floorf(w) * dX_46_u;
	float t_4 = floorf(h) * dX_46_v;
	float t_5 = t_4 * t_4;
	float t_6 = t_5 + (t_3 * t_3);
	float tmp;
	if ((powf(t_3, 2.0f) + t_5) >= (powf(t_0, 2.0f) + t_2)) {
		tmp = t_3 * (1.0f / sqrtf(fmaxf(t_6, (t_2 + (t_0 * t_0)))));
	} else {
		tmp = t_1 * (1.0f / sqrtf(fmaxf(t_6, (t_2 + (floorf(h) * (dY_46_v * t_0))))));
	}
	return tmp;
}

Julia

function code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = Float32(floor(h) * dY_46_v)
	t_1 = Float32(floor(w) * dY_46_u)
	t_2 = Float32(t_1 * t_1)
	t_3 = Float32(floor(w) * dX_46_u)
	t_4 = Float32(floor(h) * dX_46_v)
	t_5 = Float32(t_4 * t_4)
	t_6 = Float32(t_5 + Float32(t_3 * t_3))
	tmp = Float32(0.0)
	if (Float32((t_3 ^ Float32(2.0)) + t_5) >= Float32((t_0 ^ Float32(2.0)) + t_2))
		tmp = Float32(t_3 * Float32(Float32(1.0) / sqrt(((t_6 != t_6) ? Float32(t_2 + Float32(t_0 * t_0)) : ((Float32(t_2 + Float32(t_0 * t_0)) != Float32(t_2 + Float32(t_0 * t_0))) ? t_6 : max(t_6, Float32(t_2 + Float32(t_0 * t_0))))))));
	else
		tmp = Float32(t_1 * Float32(Float32(1.0) / sqrt(((t_6 != t_6) ? Float32(t_2 + Float32(floor(h) * Float32(dY_46_v * t_0))) : ((Float32(t_2 + Float32(floor(h) * Float32(dY_46_v * t_0))) != Float32(t_2 + Float32(floor(h) * Float32(dY_46_v * t_0)))) ? t_6 : max(t_6, Float32(t_2 + Float32(floor(h) * Float32(dY_46_v * t_0)))))))));
	end
	return tmp
end

MATLAB

function tmp_2 = code(w, h, dX_46_u, dX_46_v, dY_46_u, dY_46_v, maxAniso)
	t_0 = floor(h) * dY_46_v;
	t_1 = floor(w) * dY_46_u;
	t_2 = t_1 * t_1;
	t_3 = floor(w) * dX_46_u;
	t_4 = floor(h) * dX_46_v;
	t_5 = t_4 * t_4;
	t_6 = t_5 + (t_3 * t_3);
	tmp = single(0.0);
	if (((t_3 ^ single(2.0)) + t_5) >= ((t_0 ^ single(2.0)) + t_2))
		tmp = t_3 * (single(1.0) / sqrt(max(t_6, (t_2 + (t_0 * t_0)))));
	else
		tmp = t_1 * (single(1.0) / sqrt(max(t_6, (t_2 + (floor(h) * (dY_46_v * t_0))))));
	end
	tmp_2 = tmp;
end

Derivation

1. Initial program 78.4%

   \[\begin{array}{l} \mathbf{if}\;\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]
2. Step-by-step derivation

   1. pow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;\color{blue}{{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2}} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

3. Applied egg-rr 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\color{blue}{{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2}} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right):\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

4. Taylor expanded in h around 0 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{{dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]
5. Step-by-step derivation

   1. *-commutative 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{{\left(\left\lfloorh\right\rfloor\right)}^{2} \cdot {dY.v}^{2}}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   2. unpow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{\left(\left\lfloorh\right\rfloor \cdot \left\lfloorh\right\rfloor\right)} \cdot {dY.v}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   3. unpow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot \left\lfloorh\right\rfloor\right) \cdot \color{blue}{\left(dY.v \cdot dY.v\right)}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   4. swap-sqr 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{\left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   5. unpow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{{\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

6. Simplified 78.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \color{blue}{{\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]
7. Step-by-step derivation

   1. pow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   2. pow-to-exp 61.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

8. Applied egg-rr 61.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + e^{\log \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot 2}\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]
9. Step-by-step derivation

   1. exp-to-pow 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   2. pow2 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   3. *-commutative 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(dY.v \cdot \left\lfloorh\right\rfloor\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

   4. associate-*r* 78.4%

      \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

10. Applied egg-rr 78.4%

    \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right) + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)}} \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\\ \end{array} \]

11. Final simplification 78.4%

    \[\leadsto \begin{array}{l} \mathbf{if}\;{\left(\left\lfloorw\right\rfloor \cdot dX.u\right)}^{2} + \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \geq {\left(\left\lfloorh\right\rfloor \cdot dY.v\right)}^{2} + \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right):\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) + \left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left(\left\lfloorh\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)}}\\ \mathbf{else}:\\ \;\;\;\;\left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \frac{1}{\sqrt{\mathsf{max}\left(\left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dX.v\right) + \left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dX.u\right), \left(\left\lfloorw\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right) + \left\lfloorh\right\rfloor \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right)\right)\right)}}\\ \end{array} \]

Reproduce

herbie shell --seed 2023318 
(FPCore (w h dX.u dX.v dY.u dY.v maxAniso)
  :name "Anisotropic x16 LOD (line direction, u)"
  :precision binary32
  :pre (and (and (and (and (and (and (and (<= 1.0 w) (<= w 16384.0)) (and (<= 1.0 h) (<= h 16384.0))) (and (<= 1e-20 (fabs dX.u)) (<= (fabs dX.u) 1e+20))) (and (<= 1e-20 (fabs dX.v)) (<= (fabs dX.v) 1e+20))) (and (<= 1e-20 (fabs dY.u)) (<= (fabs dY.u) 1e+20))) (and (<= 1e-20 (fabs dY.v)) (<= (fabs dY.v) 1e+20))) (== maxAniso 16.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.0 (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.0 (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))))