What is #sin(pi/6)#?