arc length of e^-(1-ln^2(x))^1/2