d/dx log(2, e^(-x*cos(pi*x)))