Simplify sin(135 degrees )