What is the derivative of [lnx]8?