Question 983612
cot = cos/sin
----------------
--> {{{cot(x+y) = (1 - tan(x)*tan(y))/(tan(x) + tan(y))}}}