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