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