Definition:Real Arccotangent