int_0^{pi/2} e^(-(pi*tan(x)-1)^2)*dx