1 log x dx