e^(-x/2) * cos(x√3/2)