integrate x/(1 + cos^2(x)) dx