I derive Tan(15 degrees) using the half angle formula for Tangent. https://owlsmath.neocities.org/Trig%20Identities%20and%20Formulas/trig%20identities.html https://owlsmath.neocities.org
No download links available.