Flyspeck/lemma-1-7.tex

If $$\cos(x)\ne 0$$, $$\cos(y)\ne 0$$, and $$\cos(x+y)\ne 0$$ then

$$\tan(x+y)=\frac{\tan(x)+\tan(y)}{1-\tan(x)\tan(y)}$$