How do you simplify cotxsecx?