How do I evaluate tan(23pi/6) without using a calculator?