integral 1/(16+(lnx)^2)