integrate sqrt(1-x)