integrate sqrt(1-sin(2*x)) x from 0 to pi