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