integrate Boole(3-x^2>y>e^x), x=-oo..oo, y=-oo..oo