How do you evaluate sin(pi/8) ?