integral e^(-log^2(x))