∀ (p : Polynomial ℂ) (s : ℂ) (x : ℝ),
  HasDerivAt (fun x => -(Complex.exp (-(x • s)) * Polynomial.eval (x • s) (Polynomial.sumIDeriv p)))
    (s * (Complex.exp (-(x • s)) * Polynomial.eval (x • s) p)) x