integrate (1-x^2)^(1/2) from 0 to 1