Question 577830
Look up half-angle formulas on Wikipedia.
tan(pi/12) = tan(30/2) in degs