int(e^{-x^2/4}cos(x))dx from 0 to infinity