\frac{\left(\frac{\left(\left|y+\frac{0.2\sqrt{2}}{\sqrt{3}+1}\right|-\frac{0.2\sqrt{2}}{\sqrt{3}+1}\right)}{\left|\left|y+\frac{0.2\sqrt{2}}{\sqrt{3}+1}\right|-\frac{0.2\sqrt{2}}{\sqrt{3}+1}\right|}-\left(\frac{0.5-\left|x\right|}{\left|\left|x\right|-0.5\right|}-1\right)\right)}{\left|\left(\frac{\left(\left|y+\frac{0.2\sqrt{2}}{\sqrt{3}+1}\right|-\frac{0.2\sqrt{2}}{\sqrt{3}+1}\right)}{\left|\left|y+\frac{0.2\sqrt{2}}{\sqrt{3}+1}\right|-\frac{0.2\sqrt{2}}{\sqrt{3}+1}\right|}-\left(\frac{0.5-\left|x\right|}{\left|\left|x\right|-0.5\right|}-1\right)\right)\right|}+\frac{\left(\left|y\ +\left|2x\right|-0.8\right|-0.2+1-\frac{\left(y+1\right)}{\left|y+1\right|}\right)}{\left|\left(\left|y\ +\left|2x\right|-0.8\right|-0.2+1-\frac{\left(y+1\right)}{\left|y+1\right|}\right)\right|}\le2
