Derivative of cscx (or) cosecx formula Proof