integral of sqrt[1 - sin(x