Definition:Complex Tangent Function