How do I verify tanx/secx+cotx/cscx=sinx+cosx?