d/dx(6*sin(5x - pi/2) + 6*cos(x)), x = 2pi