1-tg{x}tg{y}=\frac{\sqrt{2}}{2(\cos{x}\cos{y})}