simplify sin(x + pi/4)