f(x)=x-[x]-tan(x) 这个函数的解是什么