integral of 9dx/(xln(2x))