函数f(x)=1/(1+(tanx)^2)+(1+cos2x)/2化简