sec−125=tan−121 (since cosθ=52⇒tanθ=21).
\[2\tan^{-1}\frac15=\tan^{-1}\left(\frac{2\cdot\frac15}{1-\frac{1}{25}}\right)=\tan^{-1}\frac{5}{12},\qquad 2\tan^{-1}\frac18=\tan^{-1}\left(\frac{2\cdot\frac18}{1-\frac{1}{64}}\right)=\tan^{-1}\frac{4}{63}\ (\text{approx.}).\]
Combining all three via repeated tangent addition (as in the source working) simplifies step by step to tan−143+tan−121→tan−145/85→tan−12, giving
\[\tan(\tan^{-1}2)=2.\]