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