How do you solve cosx/2=sqrt2/4?