∀ {E : Type u_1} [inst : NormedAddCommGroup E] [inst_1 : NormedSpace ℝ E] {f g : E → ℝ} {s : Set E} {n : WithTop ℕ∞},
  ContDiffOn ℝ n f s → ContDiffOn ℝ n g s → (∀ x ∈ s, f x ≠ 0) → ContDiffOn ℝ n (fun x => f x ^ g x) s