Definition:Real Arctangent