How do you solve #cos(x+45)+cos(x-45)=sqrt2#?