∫(1/(a+1) a^(a+1))'logxdx