∫1 /(1+cos2x) dx