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