化简 sin(x + pi/4)