int(cos(6*pi*t)*e^(-pi*t^2)*cos(2*3*pi*t),t,-inf,inf)