How do you write 2sin(pi/6)cos(pi/6) as a single trigonometric function?