How do you prove #tan^2(x) / sec(x) = sec(x) - cos(x) #?