How do you verify #(sin(x)cos(y)+cos(x)sin(y))/(cos(x)cos(y)-sin(x)sin(y)) = (tan(x)+tan(y))/(1-tan(x)tan(y))#?