What is the value of #Sin(pi/8) #?