integral((x)/(1+2cos(x)) )