How do you evaluate #sin(pi/8) #?