Tangent of Half Angle plus Quarter Pi

Theorem

 * $\tan \left({\dfrac x 2 + \dfrac \pi 4}\right) = \tan x + \sec x$

Proof
Firstly, we have:

Then: