Tangent of Half Angle plus Quarter Pi

Theorem

 * $\map \tan {\dfrac x 2 + \dfrac \pi 4} = \tan x + \sec x$

Proof
Firstly, we have:

Then: