integrate 1/(2+cos x) from 0 to 1