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