Derivative of tan x: Proof by First Principle, Product, Quotient, Chain Rule