tan x sin x + cos x = sec x