∫(7−lnx(x)(3+lnx))dx