Initial program 96.4%
\[\begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\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)}{\left|\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right) - \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\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)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right) - \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\right|}{\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)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\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)}{\left|\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right) - \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\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)}{\left|\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right) - \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\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)}{\left|\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right) - \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\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)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right) - \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\right|}{\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)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\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)}{\left|\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right) - \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\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)}{\left|\left(\left\lfloorw\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloorh\right\rfloor \cdot dY.v\right) - \left(\left\lfloorh\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloorw\right\rfloor \cdot dY.u\right)\right|}\\
\end{array}
\]
Simplified96.4%
\[\leadsto \color{blue}{\begin{array}{l}
\color{blue}{\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
}
\end{array}}
\]
- Add Preprocessing
Taylor expanded in dX.u around inf 97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\color{blue}{dX.u \cdot \left(dY.v \cdot \left(\left\lfloorh\right\rfloor \cdot \left\lfloorw\right\rfloor\right)\right)}\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
Step-by-step derivation
associate-*r*97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\color{blue}{\left(dX.u \cdot dY.v\right) \cdot \left(\left\lfloorh\right\rfloor \cdot \left\lfloorw\right\rfloor\right)}\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
*-commutative97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left(dX.u \cdot dY.v\right) \cdot \color{blue}{\left(\left\lfloorw\right\rfloor \cdot \left\lfloorh\right\rfloor\right)}\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
associate-*r*97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\color{blue}{\left(\left(dX.u \cdot dY.v\right) \cdot \left\lfloorw\right\rfloor\right) \cdot \left\lfloorh\right\rfloor}\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
associate-*r*97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\color{blue}{\left(dX.u \cdot \left(dY.v \cdot \left\lfloorw\right\rfloor\right)\right)} \cdot \left\lfloorh\right\rfloor\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
*-commutative97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\color{blue}{\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(dY.v \cdot \left\lfloorw\right\rfloor\right)\right)}\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
*-commutative97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \color{blue}{\left(\left\lfloorw\right\rfloor \cdot dY.v\right)}\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
Simplified97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\color{blue}{\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right)\right)}\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
Taylor expanded in w around 0 97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\color{blue}{\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left({dX.u}^{2} \cdot {\left(\left\lfloorw\right\rfloor\right)}^{2} + {dX.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}, {dY.u}^{2} \cdot {\left(\left\lfloorw\right\rfloor\right)}^{2} + {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)}}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
Simplified97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\color{blue}{\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\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} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
Taylor expanded in w around 0 97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\color{blue}{\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\mathsf{max}\left({dX.u}^{2} \cdot {\left(\left\lfloorw\right\rfloor\right)}^{2} + {dX.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}, {dY.u}^{2} \cdot {\left(\left\lfloorw\right\rfloor\right)}^{2} + {dY.v}^{2} \cdot {\left(\left\lfloorh\right\rfloor\right)}^{2}\right)}}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\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} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
Simplified97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\color{blue}{\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\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} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\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} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
Applied egg-rr97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\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} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}{\sqrt{\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} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\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) \cdot \frac{1}{\left|\left\lfloorh\right\rfloor \cdot \mathsf{fma}\left(dX.u, \left\lfloorw\right\rfloor \cdot dY.v, -dY.u \cdot \left(dX.v \cdot \left\lfloorw\right\rfloor\right)\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dX.u \cdot dX.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dX.v \cdot dX.v\right) \cdot \left\lfloorh\right\rfloor\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left(dY.u \cdot dY.u\right) \cdot \left\lfloorw\right\rfloor, \left\lfloorh\right\rfloor \cdot \left(\left(dY.v \cdot dY.v\right) \cdot \left\lfloorh\right\rfloor\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left(dY.u \cdot dX.v\right) \cdot \left\lfloorw\right\rfloor\right)\right|}\\
\end{array}
\]
Final simplification97.8%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dX.u \cdot dX.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dX.v \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dY.u \cdot dY.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dY.v \cdot dY.v\right)\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left\lfloorw\right\rfloor \cdot \left(dX.v \cdot dY.u\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dX.u \cdot dX.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dX.v \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dY.u \cdot dY.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dY.v \cdot dY.v\right)\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left\lfloorw\right\rfloor \cdot \left(dX.v \cdot dY.u\right)\right)\right|}{\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)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dX.u \cdot dX.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dX.v \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dY.u \cdot dY.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dY.v \cdot dY.v\right)\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left\lfloorw\right\rfloor \cdot \left(dX.v \cdot dY.u\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dX.u \cdot dX.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dX.v \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dY.u \cdot dY.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dY.v \cdot dY.v\right)\right)\right)\right)}}{\left\lfloormaxAniso\right\rfloor}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left\lfloorw\right\rfloor \cdot \left(dX.v \cdot dY.u\right)\right)\right|}{\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)}}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dX.u \cdot dX.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dX.v \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dY.u \cdot dY.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dY.v \cdot dY.v\right)\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left\lfloorw\right\rfloor \cdot \left(dX.v \cdot dY.u\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\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) \cdot \frac{1}{\left|\left\lfloorh\right\rfloor \cdot \mathsf{fma}\left(dX.u, \left\lfloorw\right\rfloor \cdot dY.v, \left(\left\lfloorw\right\rfloor \cdot dX.v\right) \cdot \left(-dY.u\right)\right)\right|}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dX.u \cdot dX.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dX.v \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dY.u \cdot dY.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dY.v \cdot dY.v\right)\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right)\right)\right|} > \left\lfloormaxAniso\right\rfloor:\\
\;\;\;\;\left\lfloormaxAniso\right\rfloor\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dX.u \cdot dX.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dX.v \cdot dX.v\right)\right)\right), \mathsf{fma}\left(\left\lfloorw\right\rfloor, \left\lfloorw\right\rfloor \cdot \left(dY.u \cdot dY.u\right), \left\lfloorh\right\rfloor \cdot \left(\left\lfloorh\right\rfloor \cdot \left(dY.v \cdot dY.v\right)\right)\right)\right)}{\left|\left\lfloorh\right\rfloor \cdot \left(dX.u \cdot \left(\left\lfloorw\right\rfloor \cdot dY.v\right) - \left\lfloorw\right\rfloor \cdot \left(dX.v \cdot dY.u\right)\right)\right|}\\
\end{array}
\]
- Add Preprocessing