Verify: (cotxcscx)(cosx+1)=sinx ?