How do you simplify #sec(x) cos(x) #?