Tangent addition formula (source code)

= Tangent addition formula

The tangent addition formula is
$$
\tan(A+B)=\frac{\tan A+\tan B}{1-\tan A\tan B}
$$
where both sides are defined.