Trigonometric function/Arccotangent/Definition