=1/(1+2cos²x-1)
=1/(2cos²x)
=1/2*sec²x
所以原函数是1/2*tanx+C