D dx of log x