Verify: #(cotx - cscx)(cosx +1) =-sinx# ?