What is the derivative of picos((pit)/6)πcos(πt6)?