integrate sqrt(1-sin2x) from 0 to pi/4