(1-tan^215°)/2tan15°
=(cos^215°-sin^215°)/(2sin15°cos15°)
=cos30°/sin30°
=(√3/2)/(1/2)
=√3.