How do you prove #sin(2W )/ (1-cos(2W)) = 2csc2W - tanW#?