How do you prove #tanx + (cosx)/(1+cosx) = secx#?