How do you solve cosx=-sqrt2/2?