integrate 1/sqrt(cos(x)) from 0 to Pi/2