What is the derivative of sin(x)12?