∀ {E : Type u_1} [inst : NormedAddCommGroup E] [inst_1 : NormedSpace ℂ E] {f g : E → ℂ} {x : E},
  DifferentiableAt ℂ f x → DifferentiableAt ℂ g x → f x ∈ Complex.slitPlane → DifferentiableAt ℂ (fun x => f x ^ g x) x