D dx log 1 x