acot(-9)