refactor: split long file Analysis.SpecialFunctions.Trigonometric.Deriv (leanprover-community#32605)

Results on hyperbolic trig functions moved to a different file.

Author: loefflerd

Mathlib.lean

@@ -2154,6 +2154,7 @@ public import Mathlib.Analysis.SpecialFunctions.Trigonometric.Complex
 public import Mathlib.Analysis.SpecialFunctions.Trigonometric.ComplexDeriv
 public import Mathlib.Analysis.SpecialFunctions.Trigonometric.Cotangent
 public import Mathlib.Analysis.SpecialFunctions.Trigonometric.Deriv
+public import Mathlib.Analysis.SpecialFunctions.Trigonometric.DerivHyp
 public import Mathlib.Analysis.SpecialFunctions.Trigonometric.EulerSineProd
 public import Mathlib.Analysis.SpecialFunctions.Trigonometric.Inverse
 public import Mathlib.Analysis.SpecialFunctions.Trigonometric.InverseDeriv

Mathlib/Analysis/Convex/SpecificFunctions/Deriv.lean

@@ -8,6 +8,7 @@ module
 public import Mathlib.Analysis.Calculus.Deriv.ZPow
 public import Mathlib.Analysis.SpecialFunctions.Sqrt
 public import Mathlib.Analysis.SpecialFunctions.Log.Deriv
+public import Mathlib.Analysis.SpecialFunctions.Trigonometric.Basic
 public import Mathlib.Analysis.SpecialFunctions.Trigonometric.Deriv
 public import Mathlib.Analysis.Convex.Deriv
 

Mathlib/Analysis/SpecialFunctions/Arsinh.lean

@@ -5,7 +5,7 @@ Authors: James Arthur, Chris Hughes, Shing Tak Lam
 -/
 module
 
-public import Mathlib.Analysis.SpecialFunctions.Trigonometric.Deriv
+public import Mathlib.Analysis.SpecialFunctions.Trigonometric.DerivHyp
 public import Mathlib.Analysis.SpecialFunctions.Log.Basic
 
 /-!
@@ -39,7 +39,6 @@ arsinh, arcsinh, argsinh, asinh, sinh injective, sinh bijective, sinh surjective
 
 @[expose] public section
 
-
 noncomputable section
 
 open Function Filter Set