d/dx (-3cos(x) + 5)