Simplify sin(45)