integral_(0)^(2pi ) (integral_(0)^(1) r(2^(-r^2 ) -1/2 -(r^2 -1)) dr ) d(phi)