How do you use the fundamental identities to simplify cotx/cscx?