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