Definition:Complex Cotangent Function