integrate sin(x)^2 Sqrt[1-k^2*sin(x)^2] from x=0 to Pi/2