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