How do you solve cosx=1?