integrate arccot(x) from -1 to 2