How do you use the half angle formula to simplify sin^3(pi/6)?