integral dx/(cos(x)+2)