What is the value of #sin(pi/4)#?