Verify each identity

sin^x+siny/sinx-siny=tan(x+y/2) (times) cot(x-y/2)