integrate from 1 to sqrt(3) 3x^2*arccotg(1/x)