int 1 dy dx with x from -1 to 1, y from 0 to (-x^2+1)^1/2