Tangent and Half Angle

The two formulas the addition lesson left out, and the one that runs a doubling backwards.