int from 0 to pi/2 of1/sqrt(cos(t)) dt