There are at least 6 well-known formulas for the tangent of 
half an angle.  Since 315° is a special angle, (a QIV angle
with a reference angle of 45°), we can use any of these:













The last one is the simplest as it has no denominator. The others
will require more complicated simplification, but will all end
up with the same expression:



Edwin