Simplify sin(pi/4)