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