Barton Willis - 2018-11-20

I think the problem with this definite integral in computing the limit:

limit(x*log(2*sqrt(1-x^2)+4),x,2,'minus)

I belive that tlimit compute the limit correctly

(%i1)   tlimit(x*log(2*sqrt(1-x^2)+4),x,2,'minus);
(%o1)   2*log(2*sqrt(3)*%i+4)