Initial program 97.6%
\[\begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}{\left|\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right) - \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right) - \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right)\right|}{\sqrt{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\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\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}{\left|\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right) - \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}{\left|\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right) - \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}{\left|\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right) - \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right) - \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right)\right|}{\sqrt{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}{\left|\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right) - \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left(\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dX.u\right) + \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dX.v\right), \left(\left\lfloor w\right\rfloor \cdot dY.u\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right) + \left(\left\lfloor h\right\rfloor \cdot dY.v\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right)\right)}{\left|\left(\left\lfloor w\right\rfloor \cdot dX.u\right) \cdot \left(\left\lfloor h\right\rfloor \cdot dY.v\right) - \left(\left\lfloor h\right\rfloor \cdot dX.v\right) \cdot \left(\left\lfloor w\right\rfloor \cdot dY.u\right)\right|}\\
\end{array}
\]
- Add Preprocessing
Applied rewrites97.5%
\[\leadsto \color{blue}{\begin{array}{l}
\color{blue}{\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
}
\end{array}}
\]
Taylor expanded in dX.u around inf
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \color{blue}{\left(-1 \cdot \left(dX.u \cdot dY.v\right)\right)}\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Step-by-step derivation
associate-*r*N/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-1 \cdot dX.u\right) \cdot \color{blue}{dY.v}\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
mul-1-negN/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(\mathsf{neg}\left(dX.u\right)\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
lower-*.f32N/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(\mathsf{neg}\left(dX.u\right)\right) \cdot \color{blue}{dY.v}\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
lift-neg.f3298.0
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Applied rewrites98.0%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \color{blue}{\left(\left(-dX.u\right) \cdot dY.v\right)}\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Taylor expanded in dY.u around inf
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, \color{blue}{{dY.u}^{2} \cdot {\left(\left\lfloor w\right\rfloor \right)}^{2}}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Step-by-step derivation
*-commutativeN/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor w\right\rfloor \right)}^{2} \cdot \color{blue}{{dY.u}^{2}}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
unpow-prod-downN/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{\color{blue}{2}}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
lift-floor.f32N/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
lift-*.f32N/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
lift-pow.f3297.7
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{\color{blue}{2}}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Applied rewrites97.7%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, \color{blue}{{\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Taylor expanded in dX.u around inf
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\color{blue}{{dX.u}^{2} \cdot {\left(\left\lfloor w\right\rfloor \right)}^{2}}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Step-by-step derivation
unpow-prod-downN/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\color{blue}{dX.u}}^{2} \cdot {\left(\left\lfloor w\right\rfloor \right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
unpow2N/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({dX.u}^{2} \cdot {\left(\left\lfloor w\right\rfloor \right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
unpow2N/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({dX.u}^{2} \cdot {\left(\left\lfloor w\right\rfloor \right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
swap-sqrN/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\color{blue}{dX.u}}^{2} \cdot {\left(\left\lfloor w\right\rfloor \right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
*-commutativeN/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor w\right\rfloor \right)}^{2} \cdot \color{blue}{{dX.u}^{2}}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
unpow-prod-downN/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{\color{blue}{2}}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
lift-floor.f32N/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
lift-*.f32N/A
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
lift-pow.f3297.1
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{\color{blue}{2}}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Applied rewrites97.1%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left(\color{blue}{{\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.u \cdot dX.v - dY.v \cdot dX.u\right)\right|}\\
\end{array}
\]
Final simplification97.1%
\[\leadsto \begin{array}{l}
\mathbf{if}\;\begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.v \cdot dX.u - dY.u \cdot dX.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.v \cdot dX.u - dY.u \cdot dX.v\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array} < 1:\\
\;\;\;\;\mathsf{max}\left(1, \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.v \cdot dX.u - dY.u \cdot dX.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.v \cdot dX.u - dY.u \cdot dX.v\right)\right|}\\
\end{array} \cdot \begin{array}{l}
\mathbf{if}\;\frac{\mathsf{max}\left({\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.v \cdot dX.u - dY.u \cdot dX.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\frac{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}{\left\lfloor maxAniso\right\rfloor }\\
\mathbf{else}:\\
\;\;\;\;\frac{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.v \cdot dX.u - dY.u \cdot dX.v\right)\right|}{\sqrt{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}}\\
\end{array}\right)\\
\mathbf{elif}\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(\left(-dX.u\right) \cdot dY.v\right)\right|} > \left\lfloor maxAniso\right\rfloor :\\
\;\;\;\;\left\lfloor maxAniso\right\rfloor \\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{max}\left({\left(\left\lfloor h\right\rfloor \cdot dX.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dX.u\right)}^{2}, {\left(\left\lfloor h\right\rfloor \cdot dY.v\right)}^{2} + {\left(\left\lfloor w\right\rfloor \cdot dY.u\right)}^{2}\right)}{\left|\left(\left\lfloor h\right\rfloor \cdot \left\lfloor w\right\rfloor \right) \cdot \left(dY.v \cdot dX.u - dY.u \cdot dX.v\right)\right|}\\
\end{array}
\]
- Add Preprocessing