How do you verify #sinxtanx + cosx = secx#?