求函数y=√(2cosx-√3)+lg(tanx+1)的定义域是