What is the equation for the inverse of y=cos x +3?