int_{-infty}^{infty} (e^(-x) cos(x))^2 dx