What is the derivative of #sin(4 pi x)#?