|y|<=1-2|x|-1
-----------
2|x|
can be written
as
|y|<=2-|x|+2|x|-1-|x|
den
|y|<=2-|x|-1/2
den
solve for mod
2^{\left|x \right|}\left|y \right|+2^{\left|x \right|-1}\leq 1,\left|x \right|\leq \frac{1}{2},\left|y \right|\leq \frac{1}{2}
|y|<=1-2|x|-1
-----------
2|x|
can be written
as
|y|<=2-|x|+2|x|-1-|x|
den
|y|<=2-|x|-1/2
den
solve for mod