Derivative of log tan x by first principle July 8, 2019 16 32 64 128 Derivative of lnx Derivative of logarithmic functions proof