lim_{x->1} (6 arccot(x) - 6pi/4)/(x-1)