integral 1/(1 + cos(x)) from 0 to pi/2