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