What is the arclength of f(x)=sqrt((x^2-3)(x-1))-3xf(x)=(x23)(x1)3x on x in [6,7]x[6,7]?