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