d/dx(7 sin(5x - π/2) + cos(3x + π/2))