How do you verify (sinx + tanx) / cosx + 1 = tanx?