Verify that #sin(x) + (cot^2x/cscx) = cscx# ?