求函数y=(根号25-x^2)+logcosx的定义域