integral 1/[1+cos(x)]dx