0\le\frac{\prod_{i=0}^{n}\left(\operatorname{sign}\left(\frac{\left|\frac{\sin2^{i}\pi x}{\sin3^{-.5}2^{i}\pi y}\right|-1}{\sin3^{-.5}2^{i}\tau y}\right)+1\right)}{\operatorname{sign}\left(y\right)-\operatorname{sign}\left(\left|1-2x\right|+3^{-.5}2y-1\right)-1}