Tangent/Cotangent/Derivative/Fact

The

tangent function

is differentiable, with

and the cotangent function

is differentiable, with