Definition:Real Tangent Function