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