原函数=∫1/[2(1+cos2t)] dt
=∫1/[2(1+2cos²t-1)]dt
=∫1/(cos²t)dt
=∫sec²tdt
=tant+C