How do you solve cosx*cotx=cosx?