from 0 to 1 integrate sqrt(1^2-x^2) dx