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