integrate sqrt(1-sin^2(x)/4), x=0..pi