((int -1..1 (int (x^2)..(1+sqrt(1-x^2)) (xy) dy) dx))