What is the value of #cos(pi/6)#?