tanπ/12 / (1-tan^2π/12)
=1/2*(2tanπ/12) / (1-tan^2π/12)
=1/2*tan(π/12+π/12)
=1/2*tanπ/6
=1/2*√3/3
=√3/6